RODIN Files

iUML-B Class Diagrams provides a class diagram editor for adding
entity-relationship data modelling and class lifting to Event-B models.

Release history:
------------------------------------------------------------------------
### 2.0.1 ### 
 - (for Rodin 3.x.x)
  classdiagrams (2.0.1)
    - fix: SubtypeGroupImpl.getSubtypes() was returning a list that caused exceptions in EMF utility code
### 2.0.0 ### 
 - (for Rodin 3.x.x)
  classdiagrams (2.0.0)
  	- add state-machines in classes
  	- attributes default to total functions
  	- add subtype groups with disjoint/covers property
  	- add class instances field for enumerations
  	- add refines reference for methods (to enable extends to work)
    - add component reference to constraints (to enable axioms anywhere)
    - upgrade execution environment to Java 1.8
  diagram (2.0.0)
  	- add state-machines in classes
  	- code generation based on latest version of gmf tooling
  	- add diagram facilities and properties for subtype groups
  	- add properties for enumerations, constraint component and method extends
  	- upgrade execution environment to Java 1.8
  edit (2.0.0)
  	- class extends StatemachineOwner and ClassdiagramOwner
  	- code generation based on latest version of gmf tooling
  	- update (re-generated) to support new metamodel features (subtype groups etc.)
  	- upgrade execution environment to Java 1.8
  generator (1.2.0)
    - add generation handling for state-machines in classes
    - provide alternative initialisation of whole relation for attributes and associations
  	- generate constraints even if class is not linked (iUML-B bug 26)
  	- change to use the emf translator instead of iUML-B generator
  	- suppress quantification if predicate does not contain self_name
  	- add generator support for subtype groups
  	- add generator support for locating constraints in external contexts
  	- add generator support for enumerated instances of a class
  	- support generation of extended class methods
  	- upgrade execution environment to Java 1.8
  navigator (1.2.0)
   - bugfix: context class diagrams were all in a single layout file
   - upgrade execution environment to Java 1.8
  persistence (1.1.0) - upgrade execution environment to Java 1.8
### 1.2.0 ### 
 - (for Rodin 3.x.x)
  generator (1.1.0)
    - Make attribute invariants come after association invariants in case they refer to the associations
    - Refactor Validator to use abstract validator
    - Improve priority of method parameter typing guard to 2
  navigator (1.1.1) - update dependency to use ac.soton.eventb.emf.diagrams.navigator v3.0.0
  diagram (1.1.1) - update dependency to use ac.soton.eventb.emf.diagrams.navigator v3.0.0
### 1.1.0 ### 
 - (for Rodin 3.x.x)
  diagram (1.1.0) - use refactoring, improve deactivation part listener (was responding to all parts),
    provide facility for animation to turn off change recording,  move preference pages to iUML-B main page,
    prevent save while animating as model contains animation artifacts, correct externalisation/localisation etc.
  edit (1.0.1) - correct externalisation/localisation etc.
  generator (1.0.1) - fix #21: association multiplicities, correct externalisation/localisation etc.
  navigator (1.1.0) - contribute classdiagrams element refiner, correct externalisation/localisation etc.
  persistence (1.0.1) - correct externalisation/localisation etc.
### 1.0.0 ### 
 - First Release
------------------------------------------------------------------------
Prototype Releases history:
### 0.2.0 ### 
 - major rework of properties sections and generation (this prototype not released.. prep for first proper release)
### 0.1.0 ### 
 - add feedback frame for class method
### 0.0.3 ### 
 - improve data elaboration method,  + other corrections
### 0.0.2 ### 
 - move common property sheets into diagrams plug-in, add property sheets for method guards, actions etc.. 
### 0.0.1 ### 
 - First prototype release.