Difference between pages "How to read Rodin projects and elements programmatically" and "File:Steve Wright Quite Big Model Presentation.pdf"

Latest revision as of 20:49, 30 April 2020

Slides from Steve Wright's presentation "Experiences with a Quite Big Event-b Model", given at the Rodin workshop, Southampton, July 16th 2009.

@@ Line 1: / Line 1: @@
-==How to read a Rodin Project==
+Slides from Steve Wright's presentation "Experiences with a Quite Big Event-b Model", given at the Rodin workshop, Southampton, July 16th 2009.
-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]]