Extending the Structure Editor - Revision history

imported>Jrloria at 09:45, 18 May 2010

2010-05-18T09:45:42Z

@@ Line 2: / Line 2: @@
 The Extension Point is org.eventb.ui.editorItems
 So, each new internal element should be map to a "element" (=configuration of the display). After elements should be placed in the tree with a childRelation (=where the element appear) and each attribute of the internal element should be placed with a attributeRelation (=where the attribut appear)
 === Adding a New Element ===

2010-05-18T09:21:31Z

← Older revision		Revision as of 09:21, 18 May 2010
Line 1:		Line 1:
			The "edit" view is mainly a tree with elements as nodes and attributes as value for nodes.
			The Extension Point is org.eventb.ui.editorItems
			So, each new internal element should be map to a "element" (=configuration of the display). After elements should be placed in the tree with a childRelation (=where the element appear) and each attribute of the internal element should be placed with a attributeRelation (=where the attribut appear)

	=== Adding a New Element ===		=== Adding a New Element ===

2010-03-26T11:28:38Z

← Older revision		Revision as of 11:28, 26 March 2010
Line 8:		Line 8:

	==== The relationship between the attribute and internal elements ====		==== The relationship between the attribute and internal elements ====


			[[Category:Developer documentation]]

2010-03-24T18:12:51Z

Adding a New Attribute

← Older revision		Revision as of 18:12, 24 March 2010
Line 3:		Line 3:
	=== Adding a New Attribute ===		=== Adding a New Attribute ===

	The extension point <code>org.rodinp.core.attributeTypes</code> is used to declare a new displaying/editing a new attribute in the Structure Editor. There are two steps for doing this: '''How the attribute is going to be displayed/edited''' and '''~~The~~ relationship between the attribute and internal elements'''.		The extension point <code>org.rodinp.core.attributeTypes</code> is used to declare a new displaying/editing a new attribute in the Structure Editor. There are two steps for doing this: first, '''How the attribute is going to be displayed/edited''' and second, '''the relationship between the attribute and internal elements'''.

	==== How the attribute is going to be displayed/edited ====		==== How the attribute is going to be displayed/edited ====

	==== The relationship between the attribute and internal elements ====		==== The relationship between the attribute and internal elements ====

2010-03-24T18:11:50Z

Adding a New Attribute

← Older revision		Revision as of 18:11, 24 March 2010
Line 3:		Line 3:
	=== 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.		The extension point <code>org.rodinp.core.attributeTypes</code> is used to declare a new displaying/editing a new attribute in the Structure Editor. There are two steps for doing this: '''How the attribute is going to be displayed/edited''' and '''The relationship between the attribute and internal elements'''.

	==== How the attribute is going to be displayed/edited ====		==== How the attribute is going to be displayed/edited ====

	==== The relationship between the attribute and internal elements ====		==== The relationship between the attribute and internal elements ====

2010-03-24T18:06:45Z

The relationship between the attribute and an internal element

← Older revision		Revision as of 18:06, 24 March 2010
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 ====

2010-03-24T18:04:51Z

Adding a New Attribute

← Older revision		Revision as of 18:04, 24 March 2010
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 ====

2010-03-24T17:52:47Z

Adding a new attribute

2010-03-24T17:52:37Z

Adding a new element

2010-03-24T17:49:50Z

New page: === Adding a new element === === Adding a new attribute ===

New page

=== Adding a new element ===

=== Adding a new attribute ===