Difference between pages "How to read Rodin projects and elements programmatically" and "Main Page"

From Event-B

(Difference between pages)

Revision as of 12:07, 26 March 2008

MediaWiki has been successfully installed.

Consult the User's Guide for information on using the wiki software.

@@ Line 1: / Line 1: @@
-==How to read a Rodin Project==
+<big>'''MediaWiki has been successfully installed.'''</big>
-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.
+Consult the [http://meta.wikimedia.org/wiki/Help:Contents User's Guide] for information on using the wiki software.
-==How to read a Machine or a Context==
+== Getting started ==
-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:
+* [http://www.mediawiki.org/wiki/Manual:Configuration_settings Configuration settings list]
+* [http://www.mediawiki.org/wiki/Manual:FAQ MediaWiki FAQ]
+* [http://lists.wikimedia.org/mailman/listinfo/mediawiki-announce MediaWiki release mailing list]
-[[Category:Developer documentation]]
-[[Category:Rodin Platform]]