How to read Rodin projects and elements programmatically: Difference between revisions
From Event-B
Jump to navigationJump to search
imported>Maria No edit summary |
imported>Maria No edit summary |
||
| Line 8: | Line 8: | ||
The following method returns all existing <code>IMachineRoot</code>s of a project: | The following method returns all existing <code>IMachineRoot</code>s of a project: | ||
[[Category:Developer documentation]] | [[Category:Developer documentation]] | ||
[[Category:Rodin Platform]] | [[Category:Rodin Platform]] | ||
Revision as of 13:58, 28 October 2008
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 calling RodinCore.getRodinDB().getRodinProjects, which returns an array with of all existing IRodinProjects.
How to read a Machine or a Context
Machines and Contexts are accessed through IMachineRoot and IContextRoot respectively. Those roots are stored in IRodinFiles.
The following method returns all existing IMachineRoots of a project:
