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 ====
| |
| − | This screenshot shows the content assist with code templates. The selected template would insert the structure for a new event which is diplayed in the right, yellow field.
| |
| − |
| |
| − | [[Image:Screen_max_completion_event.png]]
| |
| − |
| |
| − | ====Code completion for a constant name ====
| |
| − | The screenshot shows how the code completion provides easy access to identifiers such as constants. In this case the two variables of the machine and the two constants from the seen context ''array'' are offered to be inserted.
| |
| − |
| |
| − | [[Image:Screen_max_completion_constant.png]]
| |
Latest revision as of 20:50, 30 April 2020
