How to read Rodin projects and elements programmatically
From Event-B
Revision as of 13:33, 28 October 2008 by imported>Maria (New page: ==How to read a Rodin Project== You can access an existing Rodin project using <code>RodinCore.getRodinDB().getRodinProject("your_project_name")</code>. This returns a handle to an <code>I...)
How to read a Rodin Project
You can access an existing Rodin project using RodinCore.getRodinDB().getRodinProject("your_project_name")
. This returns a handle to an IRodinProject
. This project may or may not exist. Call exists
on the resulting project to be sure.
An other option is to call RodinCore.getRodinDB().getRodinProjects
, which returns an array with of all existing IRodinProject
s.