Difference between revisions of "Extending the Rodin Database"

From Event-B
Jump to: navigation, search
m (New page: == Adding a New Element == == Adding a New Attribute to Existing Elements ==)
 
m (Adding a New Attribute to Existing Elements)
Line 1: Line 1:
 
 
 
== Adding a New Element ==
 
== Adding a New Element ==
  
 
== 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.

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