Difference between pages "Extension Proof Rules" and "How to read Rodin projects and elements programmatically"
From Event-B
(Difference between pages)
Jump to navigationJump to searchimported>Nicolas m |
imported>Maria |
||
Line 1: | Line 1: | ||
− | + | ==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>IRodinProject</code>. This project may or may not exist. Call <code>exists</code> on the resulting project to be sure. | |
− | |||
− | + | An other option is calling <code>RodinCore.getRodinDB().getRodinProjects</code>, which returns an array with of all existing <code>IRodinProject</code>s. | |
− | + | ==How to read a Machine or a Context== | |
− | + | Machines and Contexts are accessed through <code>IMachineRoot</code> and <code>IContextRoot</code> respectively. Those roots are stored in <code>IRodinFile</code>s. | |
− | |||
− | |||
+ | The following method returns all existing <code>IMachineRoot</code>s of a project: | ||
− | |||
− | |||
− | + | [[Category:Developer documentation]] | |
− | + | [[Category:Rodin Platform]] | |
− | [[Category: | ||
− | [[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 IRodinProject
s.
How to read a Machine or a Context
Machines and Contexts are accessed through IMachineRoot
and IContextRoot
respectively. Those roots are stored in IRodinFile
s.
The following method returns all existing IMachineRoot
s of a project: