From Event-B
(Difference between pages)
Jump to navigationJump to search
imported>Fabian |
|
| Line 1: |
Line 1: |
| − | {| align="right"
| |
| − | | __TOC__
| |
| − | |}
| |
| | | | |
| − |
| |
| − | Some impression of the TextEditor...
| |
| − |
| |
| − | ====Machine 'm0' from example 'maximum' ====
| |
| − |
| |
| − | See [[TextEditor_EBNF#Examples|TextEditor EBNF - Examples]] for the code or download the [http://deploy-eprints.ecs.soton.ac.uk/56/4/maximum.zip project].
| |
| − |
| |
| − |
| |
| − | [[Image:Screen_max_m0.png]]
| |
| − |
| |
| − |
| |
| − | ====Context 'array' from example 'maximum' ====
| |
| − |
| |
| − | See [[TextEditor_EBNF#Examples|TextEditor EBNF - Examples]] for the code or download the [http://deploy-eprints.ecs.soton.ac.uk/56/4/maximum.zip project].
| |
| − |
| |
| − |
| |
| − | [[Image:Screen_max_array.png]]
| |
| − |
| |
| − |
| |
| − | ====Code completion for an event template ====
| |
| − |
| |
| − | [[Image:Screen_max_completion_event.png]]
| |
| − |
| |
| − |
| |
| − | ====Code completion for a constant name ====
| |
| − |
| |
| − | [[Image:Screen_max_completion_constant.png]]
| |
Latest revision as of 20:50, 30 April 2020
