Extending the Structure Editor

From Event-B
Revision as of 19:04, 24 March 2010 by Son (talk | contribs) (Adding a New Attribute)
Jump to: navigation, 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