Difference between pages "TextEditor Screenshots" and "File:ImplicitGuards.png"

From Event-B
(Difference between pages)
Jump to navigationJump to search
imported>Fabian
m
 
imported>Tommy
(Displaying implicit guards.)
 
Line 1: Line 1:
{| align="right"
+
Displaying implicit guards.
| __TOC__
 
|}
 
 
 
 
 
Some impression of the TextEditor...
 
 
 
====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]]
 
 
 
 
 
====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]]
 
 
 
 
 
====Code completion for an event template ====
 
 
 
[[Image:Screen_max_completion_event.png]]
 
 
 
 
 
====Code completion for a constant name ====
 
 
 
[[Image:Screen_max_completion_constant.png]]
 

Revision as of 09:53, 16 April 2010

Displaying implicit guards.