Name | Modified | Size | Downloads / Week |
---|---|---|---|
Parent folder | |||
readme.txt | 2014-12-22 | 3.5 kB | |
ac.soton.eventb.emf.diagrams.edit_2.1.0.jar | 2014-12-22 | 124.2 kB | |
ac.soton.eventb.emf.diagrams.feature_5.1.0.jar | 2014-12-22 | 12.9 kB | |
Totals: 3 Items | 140.7 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.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