Difference between revisions of "Extending the Rodin Database"
From Event-B
Jump to navigationJump to searchimported>Son |
imported>Son |
||
| 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 15: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.
