Difference between revisions of "TextEditor Screenshots"

From Event-B
Jump to navigationJump to search
imported>Fabian
imported>Mathieu
 
(4 intermediate revisions by one other user not shown)
Line 4: Line 4:
  
  
Some impression of the TextEditor...
+
''Some impression of the TextEditor in action...''
 +
 
 +
 
  
 
====Machine 'm0' from example 'maximum' ====
 
====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].
 
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]]
 
[[Image:Screen_max_m0.png]]
Line 22: Line 25:
  
 
====Code completion for an event template ====
 
====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]]
 
[[Image:Screen_max_completion_event.png]]
 
  
 
====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]]
 +
 +
[[Category:Text editor]]
 +
[[Category:User documentation]]

Latest revision as of 12:43, 12 August 2009


Some impression of the TextEditor in action...


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

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.

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