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 2: Line 2:
  
 
== Adding a New Attribute to Existing Elements ==
 
== Adding a New Attribute to Existing Elements ==
The extension point org.rodinp.core.attributeTypes to declare a new attribute.
+
The extension point <code>org.rodinp.core.attributeTypes</code> to declare a new attribute.

Revision as of 16:51, 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.