Difference between revisions of "Extending the Rodin Database"
From Event-B
Jump to navigationJump to searchimported>Son |
imported>Son |
||
Line 3: | Line 3: | ||
== Adding a New Attribute to Existing Elements == | == Adding a New Attribute to Existing Elements == | ||
The extension point <code>org.rodinp.core.attributeTypes</code> to declare a new attribute. | The extension point <code>org.rodinp.core.attributeTypes</code> 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 |
Revision as of 15:55, 24 March 2010
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