Difference between revisions of "Extending the Rodin Database"
From Event-B
Jump to navigationJump to searchimported>Son |
imported>Son |
||
| Line 6: | Line 6: | ||
In the example below, we assume that the extensions are developed within a plug-in project with name '''org.eventb.developer.examples''' | In the example below, we assume that the extensions are developed within a plug-in project with name '''org.eventb.developer.examples''' | ||
| − | The following | + | The following extension declares a new string attribute. |
| − | |||
<extension | <extension | ||
point="org.rodinp.core.attributeTypes"> | point="org.rodinp.core.attributeTypes"> | ||
| Line 16: | Line 15: | ||
</attributeType> | </attributeType> | ||
</extension> | </extension> | ||
| + | The | ||
Revision as of 16:06, 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.
In the example below, we assume that the extensions are developed within a plug-in project with name org.eventb.developer.examples
The following extension declares a new string attribute.
<extension
point="org.rodinp.core.attributeTypes">
<attributeType
id="stringAttr"
kind="string"
name="%eventBStringAttribute">
</attributeType>
</extension>
The
