Download Latest Version
ac.ddorf.refactory_feature_1.4.0.202502270902.jar (12.5 kB)
Get an email when there's a new version of RODIN
| Name | Modified | Size | Downloads / Week |
|---|---|---|---|
| Parent folder | |||
| readme.txt | 2015-03-26 | 1.6 kB | |
| ac.soton.eventb.emf.diagrams.edit_2.2.1.jar | 2015-03-26 | 106.7 kB | |
| ac.soton.eventb.emf.diagrams.feature_5.3.0.jar | 2015-03-26 | 13.1 kB | |
| ac.soton.eventb.emf.diagrams.generator_3.6.0.jar | 2015-03-26 | 54.4 kB | |
| ac.soton.eventb.emf.diagrams.navigator_2.2.1.jar | 2015-03-26 | 32.5 kB | |
| Totals: 5 Items | 208.3 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.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
