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 IRodinProjects.
