Difference between revisions of "TextEditor Screenshots"

From Event-B
Jump to navigationJump to search
imported>Fabian
imported>Fabian
Line 7: Line 7:
  
 
====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].
  
 
[[Image:Screen_max_m0.png]]
 
[[Image:Screen_max_m0.png]]
Line 12: Line 14:
  
 
====Context 'array' from example 'maximum' ====
 
====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]]
 
[[Image:Screen_max_array.png]]

Revision as of 09:12, 31 May 2009


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

Screen max completion constant.png