Difference between revisions of "Database"
From Event-B
Jump to navigationJump to searchimported>Son |
imported>Son |
||
Line 12: | Line 12: | ||
... | ... | ||
IRodinDB rodinDB = RodinCore.getRodinDB(); | IRodinDB rodinDB = RodinCore.getRodinDB(); | ||
+ | |||
+ | == IRodinProject == | ||
+ | From Rodin database to get rodin projects | ||
+ | * Get the list of Rodin projects in the Rodin database. | ||
+ | |||
+ | IRodinProject [] projects = rodinDB.getRodinProjects(); | ||
+ | |||
+ | * Get a Rodin project by name | ||
+ | |||
+ | IRodinProject project = rodinDB.getRodinProject(name); | ||
== IRodinElement == | == IRodinElement == |
Revision as of 14:13, 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();
IRodinProject
From Rodin database to get rodin projects
- Get the list of Rodin projects in the Rodin database.
IRodinProject [] projects = rodinDB.getRodinProjects();
- Get a Rodin project by name
IRodinProject project = rodinDB.getRodinProject(name);