Difference between revisions of "Database"
From Event-B
Jump to navigationJump to searchimported>Son |
imported>Son |
||
Line 14: | Line 14: | ||
== IRodinProject == | == IRodinProject == | ||
− | From Rodin database to get | + | From Rodin database to get Rodin project(s) |
* Get the list of Rodin projects in the Rodin database. | * Get the list of Rodin projects in the Rodin database. | ||
− | IRodinProject [] | + | IRodinProject [] rodinProjects = rodinDB.getRodinProjects(); |
* Get a Rodin project by name | * Get a Rodin project by name | ||
IRodinProject rodinProject = rodinDB.getRodinProject(name); | IRodinProject rodinProject = rodinDB.getRodinProject(name); | ||
+ | |||
+ | == IRodinFile == | ||
+ | From the Rodin project to get Rodin file(s) | ||
+ | * Get the list of Rodin files in a Rodin project | ||
+ | |||
+ | IRodinFile[] getRodinFiles() throws RodinDBException; | ||
+ | |||
+ | * Get a Rodin file by name | ||
+ | |||
+ | IRodinFile getRodinFile(String fileName); | ||
Revision as of 13:41, 2 March 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 project(s)
- Get the list of Rodin projects in the Rodin database.
IRodinProject [] rodinProjects = rodinDB.getRodinProjects();
- Get a Rodin project by name
IRodinProject rodinProject = rodinDB.getRodinProject(name);
IRodinFile
From the Rodin project to get Rodin file(s)
- Get the list of Rodin files in a Rodin project
IRodinFile[] getRodinFiles() throws RodinDBException;
- Get a Rodin file by name
IRodinFile getRodinFile(String fileName);
IEventBProject
Getting an Event-B Project from a Rodin Project.
IEventBProject eventBProject = rodinProject.getAdapter(IEventBProject.class);
IRodinElement
IMachineRoot
- Get a machine root by name
IMachineRoot machineRoot = (IMachineRoot) eventBProject.getMachineFile(name).getRoot();