Extending the Rodin database (How to extend Rodin Tutorial)

From Event-B
Revision as of 09:32, 18 August 2010 by imported>Tommy (Creation of the page "Extend the database")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigationJump to search
<prev: Extend the database ^up: How to extend Rodin Tutorial (Index)

Extend Rodin Tuto 1 5 Manifest dependencies.png

Extend Rodin Tuto 1 5 Added Dependencies.png

Extend Rodin Tuto 1 6 Add Extension Point.png

Extend Rodin Tuto 1 6 Extension Point Selection.png

Extend Rodin Tuto 1 7 Add Attibute Extension.png

Extend Rodin Tuto 1 7 Add Attibute Extension2.png

Extend Rodin Tuto 1 7 Bound Extension.png

Extend Rodin Tuto 1 7 Bound Extension New Java Class Bound.png

Extend Rodin Tuto 1 7 Create Interface Menu.png

Extend Rodin Tuto 1 7 Create Interface Wizard.png

Extend Rodin Tuto 1 7 Used Extensions.png

//move Ibound.java

Extend Rodin Tuto 1 7 ProjectExplorer2.png.png


<prev: Extend the database ^up: How to extend Rodin Tutorial (Index)
Retrieved from ‘https://wiki.event-b.org/index.php?title=Extending_the_Rodin_database_(How_to_extend_Rodin_Tutorial)&oldid=4938’