RODIN Files

This feature provides generic support for plugins that contribute diagram models inside an Event-B machine.
It provides meta-classes, adapters and diagram provider for opening a diagram from navigator.

Release history:
------------------------------------------------------------------------------------------------------------
### 7.0.0 ### 
  diagrams (4.1.0) 	- upgrade execution environment to Java 1.8
  branding (1.0.0)  - initial branding plugin
  edit (2.3.0) 		- add name utils for property sheets in diagrams
  					- upgrade execution environment to Java 1.8
  generator (4.0.0) - re-written to use ac.soton.emf.translator
  					- fix bug that was making generator hang,
  					- translateAll now runs from context menu in navigator,
  					- add refinement participant to regenerate diagrams,
  					- remove superceded refinement participant that copies generated attribute
  					- upgrade execution environment to Java 1.8
  navigator (3.1.0) - make Diagram Provider accessible externally,
  					- close editors before deleting diagram layout files
  					- upgrade execution environment to Java 1.8
  refactor (1.0.0)	- replace dummy version with one from CODA,
  					- Use new TranslateAll command,
  					- upgrade execution environment to Java 1.8
### 6.1.0 ### 
 - (For Rodin 3.3.x)
  generator (3.9.0) - 
  			add API that executes generateAll without needing the UI thread.
			Remove RodinWorkspaceRunnable as not needed
			change priority of removed items to highest level
			add utility make method for creating proxy references
			do not set generated on references 
			if resource already exists re-use it (CODA bug #5)
			avoid adding resources to modified resources list multiple times
			avoid trying to save null resource
			move monitor.done() inside finally in case of exceptions
			fix bug stopping dialog boxes in generate all action
			fix incorrect message in dialog for generator
			fix bug that was causing negative priority elements to be first in list
  edit (2.2.3) -
   			remove unnecessary dependency on persistence
### 6.0.0 ### 
 - (For Rodin 3.2.x)
  generator (3.8.0) - Move attribute identifier constants to emf framework persistence,
  			Improve ordering of generated elements in containments: 
  				i.e. priority of elements generated from other extensions is respected and generated elements follow ordering of extensions,
			When removing don't need priority param,
			In generator add facilities for generating editable elements that are not deleted on re-generation,
			Fix problem in priority/position algorithm that was reversing order of generated elements compared with source containment,
			Check for string equivalent actions in looking for matches,
			Add AbstractValidator to simplify Validator wrapper classes,
			improve GenerateAll - so that it doesn't delete everything first,
			fix copyrights
  navigator (3.0.0) - removed refactoring to a separate plugin
  refactor (0.0.0) - initial dummy version
### 5.5.1 ### 
 - (For Rodin 3.2.x)
  navigator (2.4.1) - some features disabled for time being
### 5.5.0 ### 
 - (For Rodin 3.x)
  generator (3.7.0) - ensure element not proxy before saving, provide reporting on generation
  navigator (2.4.0) - major improvements and corrections to refactoring, Add facility for archiving project, add icon for delete diagram command
### 5.4.0 ### 
  diagrams (4.0.2) - Correct externalisation/localisation etc.
  edit (2.2.2) - Correct externalisation/localisation etc.
  generator (3.6.2) - improve generator by resolve proxies, fix test for existing predicates, Correct externalisation/localisation etc.
  navigator (2.3.0) - introduce Refactoring support, use iUML-B main preference page, Correct externalisation/localisation etc.
### 5.3.1refactor_v20150527 ### 
 - A prototype release for re-factoring support
  navigator (2.2.2.refactor_v20150527) - add refactoring facilities (for strings only)
### 5.3.1 ### 
 - (For Rodin 3.x)
  generator (3.6.1) - check for element to be generated not in a component/resource
  navigator (2.2.2) - EMFRodinDB is no longer a singleton, diagrams might not exist when copying to a new refinement
### 5.3.0 ### 
 - (For Rodin 3.x)
  edit (2.2.1) - change toolbar categories
  generator (3.6.0) - add Generate All Command
  navigator (2.2.1) - improve diagram renaming, fix bug #1 :- fails to find existing layout, fix open diagram
### 5.2.0 ### 
 - (For Rodin 3.x)
  edit (2.2.0) - Refactor structure of property sections to remove repetition, add containment col in elaborates data section
  generator (3.5.0) - Correction to priorities handling in generator
### 5.1.0 ### 
 - (For Rodin 3.x)
  edit (2.1.0) - improve properties sections to support multi-line text fields
### 5.0.2 ### 
 - (For Rodin 3.x)
  diagrams (4.0.1) - update dependencies
  edit (2.0.1) - update dependencies
  generator (3.4.1) - corrections to enabling of generate/validate actions, update dependencies
  navigator (2.1.1) - update dependencies
### 5.0.1 ### 
 - (For Rodin 3.x)
  navigator (2.1.1) - correction - update version as dependencies have changed
### 5.0.0 ### 
 - (For Rodin 3.x)
  diagrams (4.0.0) -  split out edit plug-in to avoid reliance on ui in meta-model plug-in
  edit (2.0.0) - reinstated, added generic property sheets for diagrams
  generator (3.4.0) - remove generated elements from all seen contexts (not just implicit context), 
  					 add comment parameter to make witness, check that parent is consistent with (i.e. has)
  					 the feature being set, Remove command stack flush from generator as causes exception in Rodin editor
### 4.2.0 ###
 - improved generator facilities to support new state-machines generation
  diagrams.generator (3.3.0)
	improved removal of elements, add literals of AbstractRule, added utils, facility for rules to remove elements
### 4.1.0 ### 
 - For Rodin 3.0.
  navigator (2.1.0)
	update dependencies for Rodin 3.0
### 4.0.0 ### 
 - improved generator facilities and diagram updating utilities
  diagrams (3.0.0)
	move edit providers into diagrams plug-in, npe bugfix
  diagrams.generator (3.2.0)
	provide new feature to fire a conditional rule after all others
	detect invalid placements in containers
  diagrams.navigator (2.0.0)
	revised Diagram updating utilities to work with new reference id
	use new EMF resource loading facility
	fix proxy problem in open diagram action
### 3.2.1 ### 
	navigator (1.3.1) - Temporary Workaround to stop Rodin builder problems + Early startup for Rodin listener
### 3.2.0 ### 
 - Interim Release
	navigator (1.3.0) - refactored diagram copier refinement participant, refactor diagram delete handler, support project and machine renaming
### 3.1.0 ### 
 - Interim Release
	generator (3.1.0) - refactored to provide DeleteGenerated and Generate as EMF Commands
	navigator (1.2.0) - in generic diagram delete command, also delete generated elements
### 3.0.0  ### 
 - Release
	diagram (2.0.0) - renamed Utils class
	edit (1.0.3) - minor
	generator (3.0.0) - improved system of priorities for ordering generated elements
	navigator (1.1.0) - Added generic diagram Refiner and generic diagram delete command
### 2.1.0 ### 
 - Release
	generator (2.1.0) - provide method for programmatic use of a registered validator
### 2.0.0 ### 
 - Release
	generator (2.0.0) - Refactored generator and validator command handling to avoid need for clients to declare handlers
	diagrams  (1.2.0) - add separators in menu
### 1.1.2 ### 
 - Bug Fix
	generator (1.0.1) - filter for extended events should be transitive
### 1.1.1 ### 
 - Fix release
	edit (1.0.2) increment version to get p2 update site to recognise this plugin.
### 1.1.0 ### 
 - Release
	diagrams (1.1.0) added generic toolbar
	generator (1.0.0) new generic generator framework
	navigator (1.0.2) minor fix to workspace refresh
### 1.0.1 ### 
 - Minor release fixes
	diagrams (1.0.1)
		fix version numbering and dependencies
	edit (1.0.1)
		fix version numbering and dependencies
	navigator (1.0.1)
		fix version numbering and dependencies
### 1.0.0 ### 
 - Initial release