Difference between revisions of "Database"

From Event-B
Jump to navigationJump to search
imported>Son
imported>Son
Line 9: Line 9:
 
Getting the Rodin Database
 
Getting the Rodin Database
  
import org.rodinp.core.RodinCore;
+
import org.rodinp.core.RodinCore;
...
+
...
IRodinDB rodinDB = RodinCore.getRodinDB();
+
IRodinDB rodinDB = RodinCore.getRodinDB();
 
 
  
 
== IRodinElement ==
 
== IRodinElement ==

Revision as of 14:10, 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();

IRodinElement

IMachineRoot