Difference between revisions of "Extending the Structure Editor"

From Event-B
Jump to: navigation, search
m (Adding a New Attribute)
m (The relationship between the attribute and an internal element)
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 an internal element ====
+
==== The relationship between the attribute and internal elements ====

Revision as of 19:06, 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 internal elements