Difference between revisions of "Database"

From Event-B
Jump to navigationJump to search
imported>Son
imported>Son
Line 35: Line 35:
  
 
=== IMachineRoot ===
 
=== IMachineRoot ===
* Get a machine root by name
+
* Get a machine root by name
 
  IMachineRoot machineRoot = (IMachineRoot) eventBProject.getMachineFile(name).getRoot();
 
  IMachineRoot machineRoot = (IMachineRoot) eventBProject.getMachineFile(name).getRoot();
  

Revision as of 14:27, 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

  • Get a machine root by name
IMachineRoot machineRoot = (IMachineRoot) eventBProject.getMachineFile(name).getRoot();