Difference between revisions of "Extending the Rodin Database"

From Event-B
Jump to: navigation, search
m (Adding a New Attribute to Existing Elements)
m (Adding a New Attribute to Existing Elements)
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 16: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