Difference between revisions of "Extending the Structure Editor"

From Event-B
Jump to: navigation, search
m (The relationship between the attribute and an internal element)
m (Adding a New Attribute)
Line 3: Line 3:
 
=== Adding a New Attribute ===
 
=== Adding a New Attribute ===
  
In order to add a new displaying/editing a new attribute in the Structure Editor, there are two steps.
+
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 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 19:11, 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: 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