Difference between revisions of "Database"
From Event-B
Jump to navigationJump to searchimported>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();