Difference between revisions of "Extending the Structure Editor"
From Event-B
Jump to navigationJump to searchimported>Son |
imported>Jrloria |
||
| 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 11:28, 26 March 2010
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.
