Extending the Rodin Database
From Event-B
Revision as of 15:55, 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.
<extension point="org.rodinp.core.attributeTypes"> <attributeType id="configuration" kind="string" name="%eventBConfigurationAttribute"> </attributeType> </extension>
In order to access an attribute of an internal element