Database: Difference between revisions
From Event-B
Jump to navigationJump to search
imported>Mathieu m a small bit of info... |
imported>Son No edit summary |
||
| Line 6: | Line 6: | ||
The common interface for all dtabase elements is {{class|IRodinElement}}. | The common interface for all dtabase elements is {{class|IRodinElement}}. | ||
== IRodinDB == | |||
Getting the Rodin Database | |||
import org.rodinp.core.RodinCore; | |||
... | |||
IRodinDB rodinDB = RodinCore.getRodinDB(); | |||
Revision as of 14:09, 25 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.
IRodinDB
Getting the Rodin Database
import org.rodinp.core.RodinCore; ... IRodinDB rodinDB = RodinCore.getRodinDB();
