TextEditor Screenshots

From Event-B
Revision as of 09:23, 31 May 2009 by imported>Fabian (→‎Code completion for a constant name)
Jump to navigationJump to search


Some impression of the TextEditor...

Machine 'm0' from example 'maximum'

See TextEditor EBNF - Examples for the code or download the project.


Screen max m0.png


Context 'array' from example 'maximum'

See TextEditor EBNF - Examples for the code or download the project.


Screen max array.png


Code completion for an event template

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.

Screen max completion constant.png

Retrieved from ‘https://wiki.event-b.org/index.php?title=TextEditor_Screenshots&oldid=10155’