Extending the Structure Editor

From Event-B
Revision as of 18:04, 24 March 2010 by imported>Son (→‎Adding a New Attribute)
Jump to navigationJump to search

Adding a New Element

Adding a New Attribute

In order to add a new displaying/editing a new attribute in the Structure Editor, there are two steps.

How the attribute is going to be displayed/edited

The relationship between the attribute and an internal element

Retrieved from ‘https://wiki.event-b.org/index.php?title=Extending_the_Structure_Editor&oldid=5079’