Difference between pages "CamilleX Release Notes" and "CamilleX User Guide"
From Event-B
(Difference between pages)
Jump to navigationJump to searchimported>Son |
imported>Son |
||
Line 1: | Line 1: | ||
− | + | The complete XEvent-B User Guide is available as pdf [https://sourceforge.net/projects/rodin-b-sharp/files/Plugin_XEventB/0.0.6/XEventBUserManual_v0.0.2.pdf/download 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.<br> | |
− | + | For more details about the principles of this editor, see [[Event-B_XText_Front-end|the Event-B XText Front-end page]].<br> | |
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | === | + | == Installation == |
− | |||
− | + | === Setup === | |
− | + | * Before install the Event-B XText front-end, you need to add the XText update site (http://download.eclipse.org/modeling/tmf/xtext/updates/composite/releases/) as an additional software site. | |
− | + | * The Event-B XText front-end is available as a separate plug-in from the main Rodin update site (under 'Editors' category) | |
− | === | + | === Release Notes === |
− | + | See [[Event-B_XText_Front-end_Release_Notes | Event-B XText Front-end Release Notes]] | |
− | |||
− | * Event-B XText | + | === 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. | |
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | === | ||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− |
Revision as of 07:34, 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 Event-B XText Front-end page.
Installation
Setup
- Before install the Event-B XText front-end, you need to add the XText update site (http://download.eclipse.org/modeling/tmf/xtext/updates/composite/releases/) as an additional software site.
- The Event-B XText front-end is available as a separate plug-in from the main Rodin update site (under 'Editors' category)
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.