Home / Plugin_EventB EMF Support For Extensions
Name Modified Size Downloads / Week Status
Parent folder
Totals: 22 Items   3.7 kB 1
5.3.0 2016-03-02 22 weekly downloads
5.2.0 2015-12-17 1515 weekly downloads
5.1.1 2015-09-02 22 weekly downloads
5.1.0 2015-05-06 22 weekly downloads
5.0.1 2015-03-26 22 weekly downloads
5.0.0 2015-01-29 22 weekly downloads
4.0.0 2014-12-18 88 weekly downloads
3.2.0 2014-11-04 11 weekly downloads
3.1.0 2014-05-27 11 weekly downloads
3.0.0 2014-04-14 11 weekly downloads
2.1.0 2013-05-15 11 weekly downloads
2.0.0 2013-01-16 44 weekly downloads
1.3.0 2012-06-03 44 weekly downloads
1.2.1 2012-05-28 44 weekly downloads
1.2.0 2012-04-30 44 weekly downloads
1.1.0 2012-04-12 33 weekly downloads
1.0.4 2011-11-13 88 weekly downloads
1.0.3 2011-10-17 88 weekly downloads
1.0.2 2011-10-17 33 weekly downloads
1.0.1 2011-09-14 33 weekly downloads
1.0.0 2011-08-23 22 weekly downloads
readme.txt 2016-03-02 3.7 kB 11 weekly downloads
Generic features to support developers making extensions to the EventB EMF Framework. ------------------------------------------------------------------------------------- Release history: 5.3.0 navigator (4.3.0) - improvements to element refiner including clone facilities. 5.2.0 navigator (4.2.0) - Adds antisorter to prevent iUML-B elements to be sorted in the Event-B Explorer; Improves element refiner utilities. 5.1.1 - (For Rodin 3.x) navigator (4.1.1) - Improvements to refinement support: getEquivalentElement, refine and getNewReference 5.1.0 - (For Rodin 3.x) navigator (4.1.0) - extension point for declaring element refiners, in ExtensionContentProvider do not set read only resource map 5.0.1 - (For Rodin 3.x) navigator (4.0.1) - ExtensionContentProvider uses editing domain from EMFRodinDB persistence (2.1.2) - fix problem when loading extensions (should not set an unset feature) 5.0.0 - (For Rodin 3.x) navigator (4.0.0) - AbstractExtensionRefiner handling of references: equiv now falls back to copy if equiv na. Also removed GeneratedCopier 4.0.0 - (For Rodin 3.x) extension (4.0.0) - edit providers removed to separate plug-in edit (1.0.0) - new plugin for edit providers navigator (3.2.1) - update dependencies persistence (2.1.1) - update dependencies 3.2.0 - (For Rodin 3.x) navigator (3.2.0) - make generated copier specific to elements that have a generator_ID attribute extensions (3.1.0) - Overide enotify to update label when elaborates is changed, add wrapping of label if over 50 chars long 3.1.0 - For Rodin 3.0. navigator (3.2.0) update dependencies for Rodin 3.0 persistence (2.1.0) update dependencies for Rodin 3.0 define Rodin element relations using new extension point 3.0.0 - The extensions meta-model now allows event-groups to own the kinds of things that events do (so that things like guards and actions can be specified once on an event-group and then generated into each event). extension (3.0.0) revised meta-model, use custom templates, update to use new core meta-model nsURI changed due to meta-model changes (breaks old models) extension.navigator (3.0.0) use new EMF resource loading facility update refiner for meta-model changes handle core exceptions (anticipate Rodin 3.0) extension.persistence (2.0.0) update persistence for core meta-model changes handle core exceptions (anticipate Rodin 3.0) 2.1.0 - Release extension (2.1.0) fix getLabel, revised extension meta-classes to provide stronger basis for extensions. persistence(1.2.0) - raise min re-exported dependency org.eventb.emf.persistence to 2.4.2. 2.0.0 - Release extension (2.0.0) & navigator (2.0.0): added support for DataElaboration, RelationKind and EventGroup abstract meta-classes persistence(1.1.1) - minor 1.3.0 - Interim release navigator (1.3.0): add refinement participant to preserve generated attribute in refinements 1.2.1 - Interim release navigator (1.2.1): fix array index exception bug in refiner 1.2.0 - Interim release navigator (1.2.0): refiner supports filtering elements based on type 1.1.0 - Interim release navigator (1.1.0): add generic refiner, bugfix persistence (1.1.0): disabling of Transactional Change Recorder during save 1.0.4 - Minor fixes unique id generation moved to SerialisedExtensionSynchroniser 1.0.2 - Minor release fixes navigator (1.0.1) fix unsafe class cast 1.0.1 - Minor release fixes extension (1.1.1) added all contents of model folder (inc. ecore) to build 1.0.0 - Initial Release extension (1.1.0) (was in Event-B EMF framework feature) added EventBLabeled meta-class navigator (1.0.0) initial release persistence (1.0.0) initial release
Source: readme.txt, updated 2016-03-02

Thanks for helping keep SourceForge clean.

Screenshot instructions:
Windows
Mac
Red Hat Linux   Ubuntu

Click URL instructions:
Right-click on ad, choose "Copy Link", then paste here →
(This may not be possible with some types of ads)

More information about our ad policies
X

Briefly describe the problem (required):

Upload screenshot of ad (required):
Select a file, or drag & drop file here.

Please provide the ad click URL, if possible:

Get latest updates about Open Source Projects, Conferences and News.

Sign up for the SourceForge newsletter:

No, thanks