TextEditor Screenshots

From Event-B
Jump to: navigation, search


Some impression of the TextEditor in action...


Machine 'm0' from example 'maximum'

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


Error creating thumbnail: Unable to save thumbnail to destination


Context 'array' from example 'maximum'

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


Error creating thumbnail: Unable to save thumbnail to destination


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.

Error creating thumbnail: Unable to save thumbnail to destination

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.

Error creating thumbnail: Unable to save thumbnail to destination