Database: Difference between revisions
From Event-B
Jump to navigationJump to search
imported>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.
