Extending the Rodin Database
From Event-B
Revision as of 15:50, 24 March 2010 by imported>Son (→Adding a New Attribute to Existing Elements)
Adding a New Element
Adding a New Attribute to Existing Elements
The extension point org.rodinp.core.attributeTypes to declare a new attribute.