Difference between revisions of "Extending the Structure Editor"

From Event-B
Jump to: navigation, search
m (Adding a New Attribute)
Line 8: Line 8:
  
 
==== The relationship between the attribute and internal elements ====
 
==== The relationship between the attribute and internal elements ====
 +
 +
 +
[[Category:Developer documentation]]

Revision as of 12:28, 26 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.

How the attribute is going to be displayed/edited

The relationship between the attribute and internal elements