Difference between revisions of "Extending the Structure Editor"
From Event-B
Jump to navigationJump to searchimported>Son |
imported>Son |
||
Line 7: | Line 7: | ||
==== How the attribute is going to be displayed/edited ==== | ==== How the attribute is going to be displayed/edited ==== | ||
− | ==== The relationship between the attribute and | + | ==== The relationship between the attribute and internal elements ==== |
Revision as of 18:06, 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.