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.
