Difference between revisions of "Extending the Structure Editor"
From Event-B
Jump to navigationJump to searchimported>Son |
imported>Son |
||
Line 2: | Line 2: | ||
=== Adding a New Attribute === | === 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 ==== |
Revision as of 18:04, 24 March 2010
Contents
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.