Difference between revisions of "CamilleX User Guide"

From Event-B
Jump to: navigation, search
Line 4: Line 4:
  
 
The Event-B XText front-end provides text editors for XContexts and and XMachines which then compiled automatically to Event-B contexts and machines.<br>
 
The Event-B XText front-end provides text editors for XContexts and and XMachines which then compiled automatically to Event-B contexts and machines.<br>
For more details about the principles of this editor,  see [[Event-B_XText_Front-end|the Event-B XText Front-end page]].<br>
+
For more details about the principles of this editor,  see the [[XEvent-B|XEvent-B page]].<br>
  
 
== Installation ==
 
== Installation ==

Revision as of 08:36, 22 July 2017

The complete XEvent-B User Guide is available as pdf here. Some important information is listed below.

Introduction

The Event-B XText front-end provides text editors for XContexts and and XMachines which then compiled automatically to Event-B contexts and machines.
For more details about the principles of this editor, see the XEvent-B page.

Installation

Setup

Release Notes

See Event-B XText Front-end Release Notes

IMPORTANT

  • Currently, Event-B XText front-end ONLY supports "standard" Event-B machines and contexts.
  • Since the XContexts and XMachines are compiled to the Rodin files, the corresponding Rodin contexts and machines will be OVER-WRITTEN. Any changes in the Rodin files will not be lost.
  • DO NOT USE the Event-B XText Front-end if you use modelling plug-ins such as iUML-B state-machines and class-diagrams, as the additional modelling elements will be over-written.

KNOWN ISSUES

- Converting to XText: Currently, the "extended" attribute of events are not serialised.