Difference between revisions of "Extending the Structure Editor"

From Event-B
Jump to navigationJump to search
imported>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

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