Difference between revisions of "TextEditor Screenshots"
From Event-B
Jump to navigationJump to searchimported>Fabian m |
imported>Fabian |
||
| Line 28: | Line 28: | ||
====Code completion for a constant name ==== | ====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]] | [[Image:Screen_max_completion_constant.png]] | ||
Revision as of 09:23, 31 May 2009
Some impression of the TextEditor...
Machine 'm0' from example 'maximum'
See TextEditor EBNF - Examples for the code or download the project.
Context 'array' from example 'maximum'
See TextEditor EBNF - Examples for the code or download the project.
Code completion for an event template
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.
