Extending the Structure Editor: Difference between revisions
From Event-B
Jump to navigationJump to search
imported>Son |
imported>Son |
||
| Line 3: | Line 3: | ||
=== Adding a New Attribute === | === Adding a New Attribute === | ||
The extension point <code>org.rodinp.core.attributeTypes</code> is used to declare a new displaying/editing a new attribute in the Structure Editor. There are two steps for doing this: '''How the attribute is going to be displayed/edited''' and ''' | The extension point <code>org.rodinp.core.attributeTypes</code> is used to declare a new displaying/editing a new attribute in the Structure Editor. There are two steps for doing this: first, '''How the attribute is going to be displayed/edited''' and second, '''the relationship between the attribute and internal elements'''. | ||
==== How the attribute is going to be displayed/edited ==== | ==== How the attribute is going to be displayed/edited ==== | ||
==== The relationship between the attribute and internal elements ==== | ==== The relationship between the attribute and internal elements ==== | ||
Revision as of 18:12, 24 March 2010
Adding a New Element
Adding a New Attribute
The extension point org.rodinp.core.attributeTypes is used to declare a new displaying/editing a new attribute in the Structure Editor. There are two steps for doing this: first, How the attribute is going to be displayed/edited and second, the relationship between the attribute and internal elements.
