Database

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 project = rodinDB.getRodinProject(name);