Download Latest Version ac.ddorf.refactory_feature_1.4.0.202502270902.jar (12.5 kB)
Email in envelope

Get an email when there's a new version of RODIN

Home / Plugin_EventB EMF Support For Diagrams / 5.0.0
Name Modified Size InfoDownloads / Week
Parent folder
ac.soton.eventb.emf.diagrams.generator_3.4.0.jar 2014-11-04 48.0 kB
0
ac.soton.eventb.emf.diagrams.edit_2.0.0.jar 2014-11-04 116.4 kB
0
ac.soton.eventb.emf.diagrams_4.0.0.jar 2014-11-04 18.1 kB
0
readme.txt 2014-11-04 1.5 kB
0
ac.soton.eventb.emf.diagrams.feature_5.0.0.jar 2014-11-04 12.8 kB
0
Totals: 5 Items   196.8 kB 0 
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:
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
Source: readme.txt, updated 2014-11-04