Extending the Structure Editor
From Event-B
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.
