Difference between revisions of "Extending the Structure Editor"
From Event-B
Jump to navigationJump to searchimported>Jrloria |
imported>Jrloria |
||
| Line 1: | Line 1: | ||
| + | The "edit" view is mainly a tree with elements as nodes and attributes as value for nodes. | ||
| + | The Extension Point is org.eventb.ui.editorItems | ||
| + | So, each new internal element should be map to a "element" (=configuration of the display). After elements should be placed in the tree with a childRelation (=where the element appear) and each attribute of the internal element should be placed with a attributeRelation (=where the attribut appear) | ||
| + | |||
=== Adding a New Element === | === Adding a New Element === | ||
Revision as of 09:21, 18 May 2010
The "edit" view is mainly a tree with elements as nodes and attributes as value for nodes. The Extension Point is org.eventb.ui.editorItems So, each new internal element should be map to a "element" (=configuration of the display). After elements should be placed in the tree with a childRelation (=where the element appear) and each attribute of the internal element should be placed with a attributeRelation (=where the attribut appear)
Contents
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.
