Adaptation of the EMF translator for Event-B and Rodin
Plug-in contains:-
- an adapter that can be used (i.e. referenced in the extension declaration) by translators (based on ac.soton.emf.translator) that target the Event-B EMF meta-model.
- a command handler that can be used (i.e. referenced in the extension declaration) by translators (based on ac.soton.emf.translator) that are invoked by selecting a Rodin element.