Difference between revisions of "Event-B XText Front-end"

From Event-B
Jump to: navigation, search
m (A basic overview)
m
Line 1: Line 1:
 
{{TOCright}}
 
{{TOCright}}
 
Return to [[Rodin Plug-ins]]
 
Return to [[Rodin Plug-ins]]
 
[[Image:RodinEditor_basicView1.png|450px|left|a basic view of the XContext Editor on a context]]
 
  
 
The Event-B XText front-end provides text editors for XContexts and and XMachines which then compiled automatically to Event-B contexts and machines.
 
The Event-B XText front-end provides text editors for XContexts and and XMachines which then compiled automatically to Event-B contexts and machines.

Revision as of 18:34, 4 November 2016

Return to Rodin Plug-ins

The Event-B XText front-end provides text editors for XContexts and and XMachines which then compiled automatically to Event-B contexts and machines.


Please have a look also at the Event-B XText Front-end User Guide.

Current version

The Event-B XText front-end is available as a separate plug-in from the main Rodin update site (under the Editor category).


Principles

The Event-B XText editors (i.e., XContext and XMachine editors) do not work directly on the Rodin files. Instead, they operate on the separate XContext and XMachine and they are compiled to the Rodin files.

A basic overview