Difference between revisions of "Database"
From Event-B
Jump to navigationJump to searchimported>Mathieu m (TODO) |
imported>Mathieu m (a small bit of info...) |
||
Line 1: | Line 1: | ||
This page described the rodin database API. | This page described the rodin database API. | ||
+ | {{TODO|by someone knowing the internals of rodin. Describe the database API}} | ||
+ | |||
+ | The database API is located in the {{package|org.rodinp.core}} in the {{ident|org.rodinp.core}} plug-in. | ||
+ | |||
+ | The common interface for all dtabase elements is {{class|IRodinElement}}. | ||
+ | |||
− | |||
− | == | + | == IRodinElement == |
+ | |||
− | |||
=== IMachineRoot === | === IMachineRoot === |
Revision as of 20:43, 22 February 2009
This page described the rodin database API. TODO: by someone knowing the internals of rodin. Describe the database API
The database API is located in the
org.rodinp.core
in the
org.rodinp.core
plug-in.
The common interface for all dtabase elements is IRodinElement.