Database - Revision history

imported>Jastram: /* IMachineRoot */

2009-09-03T07:55:47Z

IMachineRoot

← Older revision		Revision as of 07:55, 3 September 2009
Line 52:		Line 52:
	=== IMachineRoot ===		=== IMachineRoot ===
	* Get a machine root by name		* Get a machine root by name
	IMachineRoot machineRoot = ~~(IMachineRoot)~~ eventBProject.~~getMachineFile~~(name~~).getRoot(~~);		IMachineRoot machineRoot = eventBProject.getMachineRoot(name);


	[[Category:Developer documentation]]		[[Category:Developer documentation]]
	[[Category:Rodin Platform]]		[[Category:Rodin Platform]]

2009-05-30T14:28:07Z

IRodinDB

← Older revision		Revision as of 14:28, 30 May 2009
Line 10:		Line 10:

	import org.rodinp.core.RodinCore;		import org.rodinp.core.RodinCore;
			import org.rodinp.core.IRodinDB;
	...		...
	IRodinDB rodinDB = RodinCore.getRodinDB();		IRodinDB rodinDB = RodinCore.getRodinDB();

2009-03-02T13:50:15Z

← Older revision		Revision as of 13:50, 2 March 2009
Line 32:		Line 32:

	IRodinFile getRodinFile(String fileName);		IRodinFile getRodinFile(String fileName);

			== IInternalElement ==
			* Get the root element corresponding to a Rodin file.

			IInternalElement rootElement = rodinFile.getRoot();

2009-03-02T13:41:01Z

← Older revision		Revision as of 13:41, 2 March 2009
Line 14:		Line 14:

	== IRodinProject ==		== IRodinProject ==
	From Rodin database to get ~~rodin projects~~		From Rodin database to get Rodin project(s)
	* Get the list of Rodin projects in the Rodin database.		* Get the list of Rodin projects in the Rodin database.

	IRodinProject [] ~~projects~~ = rodinDB.getRodinProjects();		IRodinProject [] rodinProjects = rodinDB.getRodinProjects();

	* Get a Rodin project by name		* Get a Rodin project by name

	IRodinProject rodinProject = rodinDB.getRodinProject(name);		IRodinProject rodinProject = rodinDB.getRodinProject(name);

			== IRodinFile ==
			From the Rodin project to get Rodin file(s)
			* Get the list of Rodin files in a Rodin project

			IRodinFile[] getRodinFiles() throws RodinDBException;

			* Get a Rodin file by name

			IRodinFile getRodinFile(String fileName);

2009-02-25T14:27:47Z

IMachineRoot

← Older revision		Revision as of 14:27, 25 February 2009
Line 35:		Line 35:

	=== IMachineRoot ===		=== IMachineRoot ===
	* Get a machine root by name		* Get a machine root by name
	IMachineRoot machineRoot = (IMachineRoot) eventBProject.getMachineFile(name).getRoot();		IMachineRoot machineRoot = (IMachineRoot) eventBProject.getMachineFile(name).getRoot();

2009-02-25T14:27:33Z

← Older revision		Revision as of 14:27, 25 February 2009
Line 35:		Line 35:

	=== IMachineRoot ===		=== IMachineRoot ===
			* Get a machine root by name
			IMachineRoot machineRoot = (IMachineRoot) eventBProject.getMachineFile(name).getRoot();


	[[Category:Developer documentation]]		[[Category:Developer documentation]]
	[[Category:Rodin Platform]]		[[Category:Rodin Platform]]

2009-02-25T14:17:33Z

← Older revision		Revision as of 14:17, 25 February 2009
Line 21:		Line 21:
	* Get a Rodin project by name		* Get a Rodin project by name

	IRodinProject ~~project~~ = rodinDB.getRodinProject(name);		IRodinProject rodinProject = rodinDB.getRodinProject(name);


			== IEventBProject ==
			Getting an Event-B Project from a Rodin Project.

			IEventBProject eventBProject = rodinProject.getAdapter(IEventBProject.class);


	== IRodinElement ==		== IRodinElement ==

2009-02-25T14:13:33Z

@@ Line 12: / Line 12: @@
   ...
   IRodinDB rodinDB = RodinCore.getRodinDB();
 == IRodinElement ==

2009-02-25T14:10:26Z

IRodinDB

← Older revision		Revision as of 14:10, 25 February 2009
Line 9:		Line 9:
	Getting the Rodin Database		Getting the Rodin Database

	import org.rodinp.core.RodinCore;		import org.rodinp.core.RodinCore;
	...		...
	IRodinDB rodinDB = RodinCore.getRodinDB();		IRodinDB rodinDB = RodinCore.getRodinDB();


	== IRodinElement ==		== IRodinElement ==

2009-02-25T14:09:03Z

← Older revision		Revision as of 14:09, 25 February 2009
Line 6:		Line 6:
	The common interface for all dtabase elements is {{class\|IRodinElement}}.		The common interface for all dtabase elements is {{class\|IRodinElement}}.

			== IRodinDB ==
			Getting the Rodin Database

			import org.rodinp.core.RodinCore;
			...
			IRodinDB rodinDB = RodinCore.getRodinDB();