Extending the Structure Editor

From Event-B
Revision as of 19:11, 24 March 2010 by Son (talk | contribs) (Adding a New Attribute)
Jump to: navigation, search

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: How the attribute is going to be displayed/edited and The relationship between the attribute and internal elements.

How the attribute is going to be displayed/edited

The relationship between the attribute and internal elements