Database: Difference between revisions

From Event-B
Jump to navigationJump to search
imported>Son
No edit summary
imported>Son
No edit summary
Line 21: Line 21:
* Get a Rodin project by name
* Get a Rodin project by name


  IRodinProject project = rodinDB.getRodinProject(name);
  IRodinProject rodinProject = rodinDB.getRodinProject(name);
 
 
== IEventBProject ==
Getting an Event-B Project from a Rodin Project.
IEventBProject eventBProject = rodinProject.getAdapter(IEventBProject.class);
 


== IRodinElement ==
== IRodinElement ==

Revision as of 14:17, 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 rodinProject = rodinDB.getRodinProject(name);


IEventBProject

Getting an Event-B Project from a Rodin Project.

IEventBProject eventBProject = rodinProject.getAdapter(IEventBProject.class);


IRodinElement

IMachineRoot