Developer FAQ - Revision history

imported>Tommy: /* How to setup an environment for core platform development? */

2015-05-19T16:29:56Z

How to setup an environment for core platform development?

← Older revision		Revision as of 16:29, 19 May 2015
Line 34:		Line 34:
	* Then, click {{Button\|Finish}} to close the target content popup and finally select the just defined target platform to activate it and click {{Button\|OK}} in the {{Menu\|Preferences}} window.		* Then, click {{Button\|Finish}} to close the target content popup and finally select the just defined target platform to activate it and click {{Button\|OK}} in the {{Menu\|Preferences}} window.

	To activate the Execution environment for Java 6 on ''org.eventb.core.ast~~'''~~, go to {{Button\|Window > Preferences...}}, type <tt>exec</tt> in the search box in the upper-left corner and select {{Menu\|Java > Installed JREs > Execution Environments}} and select a compatible JRE for the entry {{{JavaSE-1.6}}}.		To activate the Execution environment for Java 6 on <tt>org.eventb.core.ast</tt>, go to {{Button\|Window > Preferences...}}, type <tt>exec</tt> in the search box in the upper-left corner and select {{Menu\|Java > Installed JREs > Execution Environments}} and select a compatible JRE for the entry {{{JavaSE-1.6}}}.

	Then perform a full build : click on {{Button\|Project > Clean...}}, select {{Button\|Clean all projects}} and click {{Button\|OK}}.		Then perform a full build : click on {{Button\|Project > Clean...}}, select {{Button\|Clean all projects}} and click {{Button\|OK}}.

imported>Tommy: /* How to setup an environment for core platform development? */

2015-05-19T16:29:01Z

How to setup an environment for core platform development?

← Older revision		Revision as of 16:29, 19 May 2015
Line 34:		Line 34:
	* Then, click {{Button\|Finish}} to close the target content popup and finally select the just defined target platform to activate it and click {{Button\|OK}} in the {{Menu\|Preferences}} window.		* Then, click {{Button\|Finish}} to close the target content popup and finally select the just defined target platform to activate it and click {{Button\|OK}} in the {{Menu\|Preferences}} window.

	To activate the Execution environment for Java 6 on ~~{{{~~org.eventb.core.ast~~}}}~~, go to {{Button\|Window > Preferences...}}, type <tt>exec</tt> in the search box in the upper-left corner and select {{Menu\|Java > Installed JREs > Execution Environments}} and select a compatible JRE for the entry {{{JavaSE-1.6}}}.		To activate the Execution environment for Java 6 on ''org.eventb.core.ast''', go to {{Button\|Window > Preferences...}}, type <tt>exec</tt> in the search box in the upper-left corner and select {{Menu\|Java > Installed JREs > Execution Environments}} and select a compatible JRE for the entry {{{JavaSE-1.6}}}.

	Then perform a full build : click on {{Button\|Project > Clean...}}, select {{Button\|Clean all projects}} and click {{Button\|OK}}.		Then perform a full build : click on {{Button\|Project > Clean...}}, select {{Button\|Clean all projects}} and click {{Button\|OK}}.

imported>Tommy: /* How to setup an environment for core platform development? */

2015-05-19T16:28:08Z

How to setup an environment for core platform development?

← Older revision		Revision as of 16:28, 19 May 2015
Line 34:		Line 34:
	* Then, click {{Button\|Finish}} to close the target content popup and finally select the just defined target platform to activate it and click {{Button\|OK}} in the {{Menu\|Preferences}} window.		* Then, click {{Button\|Finish}} to close the target content popup and finally select the just defined target platform to activate it and click {{Button\|OK}} in the {{Menu\|Preferences}} window.

	~~The workspace normally builds itself against this newly defined target platform~~. ~~If it is not~~ the ~~case, please~~ select {{Button\|Project > Clean...}}, select {{Button\|Clean all projects}} and click {{Button\|OK}}.		To activate the Execution environment for Java 6 on {{{org.eventb.core.ast}}}, go to {{Button\|Window > Preferences...}}, type <tt>exec</tt> in the search box in the upper-left corner and select {{Menu\|Java > Installed JREs > Execution Environments}} and select a compatible JRE for the entry {{{JavaSE-1.6}}}.

			Then perform a full build : click on {{Button\|Project > Clean...}}, select {{Button\|Clean all projects}} and click {{Button\|OK}}.

	You have finished installing the core development environment. Please see below for accessing the source files from Git.		You have finished installing the core development environment. Please see below for accessing the source files from Git.

imported>Tommy: /* How to setup an environment for plug-in development? */

2015-05-19T15:52:44Z

How to setup an environment for plug-in development?

← Older revision		Revision as of 15:52, 19 May 2015
Line 42:		Line 42:
	You first need to download the Rodin developer archive from SourceForge. It is the file named {{File\|org.rodinp.dev-VERSION.zip}} located in the appropriate sub-directory of [http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/].		You first need to download the Rodin developer archive from SourceForge. It is the file named {{File\|org.rodinp.dev-VERSION.zip}} located in the appropriate sub-directory of [http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/].

	You need to download and install [http://~~download~~.eclipse.org/eclipse/downloads/drops4/R-4.3.2-~~201402211700~~/ Eclipse 4.3.2] ~~for~~ your development OS. After installation, please proceed with the following steps:		You need to download and install [http://archive.eclipse.org/eclipse/downloads/drops4/R-4.4.2-201502041700/ Eclipse 4.4.2] as your development IDE. After installation, please proceed with the following steps:
	* Click {{Button\|Window > Preferences...}}, type <tt>target</tt> in the search box in the upper-left corner and select {{Menu\|Target Platform}} in the tree and click {{Button\|Add...}} in the pane.		* Click {{Button\|Window > Preferences...}}, type <tt>target</tt> in the search box in the upper-left corner and select {{Menu\|Target Platform}} in the tree and click {{Button\|Add...}} in the pane.
	* In the popup, click {{Button\|Next}} (start with {{Menu\|Nothing}}), then enter a name such as <tt>Rodin 3.x</tt>.		* In the popup, click {{Button\|Next}} (start with {{Menu\|Nothing}}), then enter a name such as <tt>Rodin 3.x</tt>.

imported>Tommy: /* How to setup an environment for core platform development? */

2015-05-19T15:50:43Z

How to setup an environment for core platform development?

← Older revision		Revision as of 15:50, 19 May 2015
Line 34:		Line 34:
	* Then, click {{Button\|Finish}} to close the target content popup and finally select the just defined target platform to activate it and click {{Button\|OK}} in the {{Menu\|Preferences}} window.		* Then, click {{Button\|Finish}} to close the target content popup and finally select the just defined target platform to activate it and click {{Button\|OK}} in the {{Menu\|Preferences}} window.

	The workspace normally ~~build~~ itself against this newly defined target platform. If it is not the case, please select {{Button\|Project > Clean...}}, select {{Button\|Clean all projects}} and click {{Button\|OK}}.		The workspace normally builds itself against this newly defined target platform. If it is not the case, please select {{Button\|Project > Clean...}}, select {{Button\|Clean all projects}} and click {{Button\|OK}}.


	You have finished installing the core development environment. Please see below for accessing the source files from Git.		You have finished installing the core development environment. Please see below for accessing the source files from Git.

imported>Tommy: /* How to setup an environment for core platform development? */

2015-05-19T15:50:28Z

How to setup an environment for core platform development?

← Older revision		Revision as of 15:50, 19 May 2015
Line 33:		Line 33:
	* For the Location, select the place where you unpacked Eclipse 4.4 and click {{Button\|Finish}}.		* For the Location, select the place where you unpacked Eclipse 4.4 and click {{Button\|Finish}}.
	* Then, click {{Button\|Finish}} to close the target content popup and finally select the just defined target platform to activate it and click {{Button\|OK}} in the {{Menu\|Preferences}} window.		* Then, click {{Button\|Finish}} to close the target content popup and finally select the just defined target platform to activate it and click {{Button\|OK}} in the {{Menu\|Preferences}} window.

			The workspace normally build itself against this newly defined target platform. If it is not the case, please select {{Button\|Project > Clean...}}, select {{Button\|Clean all projects}} and click {{Button\|OK}}.


	You have finished installing the core development environment. Please see below for accessing the source files from Git.		You have finished installing the core development environment. Please see below for accessing the source files from Git.

imported>Tommy: /* How to setup an environment for core platform development? */

2015-05-19T15:14:26Z

How to setup an environment for core platform development?

← Older revision		Revision as of 15:14, 19 May 2015
Line 21:		Line 21:

	First, you have to download the files that will constitute your development target platform:		First, you have to download the files that will constitute your development target platform:
	* the Eclipse SDK for your OS from [http://archive.eclipse.org/eclipse/downloads/drops4/R-4.4-201406061215],		* the Eclipse SDK for your OS from [http://archive.eclipse.org/eclipse/downloads/drops4/R-4.4-201406061215 Eclipse 4.4.(0)],
	* the Delta Pack from the same location,		* the Delta Pack from the same location,

imported>Tommy at 15:13, 19 May 2015

2015-05-19T15:13:39Z

imported>Colin: /* I need to create a new file type. How do I know mu file extension isn't already used by another plugin? */

2015-01-31T13:10:04Z

I need to create a new file type. How do I know mu file extension isn't already used by another plugin?

← Older revision		Revision as of 13:10, 31 January 2015
Line 200:		Line 200:


	=== I need to create a new file type. How do I know mu file extension isn't already used by another plugin? ===		=== I need to create a new file type. How do I know my file extension isn't already used by another plugin? ===

	An inventory of file extensions used in the Rodin platform is maintained here: [[Rodin File Types]].		An inventory of file extensions used in the Rodin platform is maintained here: [[Rodin File Types]].
			Please add your file extension to the inventory.


	[[Category:Developer FAQ]]		[[Category:Developer FAQ]]

imported>Colin: /* I have compilation errors after having checked out the org.eventb.core.seqprover plug-in, what shall I do? */

2015-01-31T13:08:17Z

I have compilation errors after having checked out the org.eventb.core.seqprover plug-in, what shall I do?

← Older revision		Revision as of 13:08, 31 January 2015
Line 198:		Line 198:
	The plugin.xml has been refreshed and normally all errors disappeared.		The plugin.xml has been refreshed and normally all errors disappeared.
	If you still encounter compilation errors, please contact the [mailto:rodin-b-sharp-devel@lists.sourceforge.net Rodin developers].		If you still encounter compilation errors, please contact the [mailto:rodin-b-sharp-devel@lists.sourceforge.net Rodin developers].


			=== I need to create a new file type. How do I know mu file extension isn't already used by another plugin? ===

			An inventory of file extensions used in the Rodin platform is maintained here: [[Rodin File Types]].


	[[Category:Developer FAQ]]		[[Category:Developer FAQ]]

← Older revision		Revision as of 16:29, 19 May 2015
Line 34:		Line 34:
	* Then, click {{Button\|Finish}} to close the target content popup and finally select the just defined target platform to activate it and click {{Button\|OK}} in the {{Menu\|Preferences}} window.		* Then, click {{Button\|Finish}} to close the target content popup and finally select the just defined target platform to activate it and click {{Button\|OK}} in the {{Menu\|Preferences}} window.

	To activate the Execution environment for Java 6 on ''org.eventb.core.ast~~'''~~, go to {{Button\|Window > Preferences...}}, type <tt>exec</tt> in the search box in the upper-left corner and select {{Menu\|Java > Installed JREs > Execution Environments}} and select a compatible JRE for the entry {{{JavaSE-1.6}}}.		To activate the Execution environment for Java 6 on <tt>org.eventb.core.ast</tt>, go to {{Button\|Window > Preferences...}}, type <tt>exec</tt> in the search box in the upper-left corner and select {{Menu\|Java > Installed JREs > Execution Environments}} and select a compatible JRE for the entry {{{JavaSE-1.6}}}.

	Then perform a full build : click on {{Button\|Project > Clean...}}, select {{Button\|Clean all projects}} and click {{Button\|OK}}.		Then perform a full build : click on {{Button\|Project > Clean...}}, select {{Button\|Clean all projects}} and click {{Button\|OK}}.

← Older revision		Revision as of 16:29, 19 May 2015
Line 34:		Line 34:
	* Then, click {{Button\|Finish}} to close the target content popup and finally select the just defined target platform to activate it and click {{Button\|OK}} in the {{Menu\|Preferences}} window.		* Then, click {{Button\|Finish}} to close the target content popup and finally select the just defined target platform to activate it and click {{Button\|OK}} in the {{Menu\|Preferences}} window.

	To activate the Execution environment for Java 6 on ~~{{{~~org.eventb.core.ast~~}}}~~, go to {{Button\|Window > Preferences...}}, type <tt>exec</tt> in the search box in the upper-left corner and select {{Menu\|Java > Installed JREs > Execution Environments}} and select a compatible JRE for the entry {{{JavaSE-1.6}}}.		To activate the Execution environment for Java 6 on ''org.eventb.core.ast''', go to {{Button\|Window > Preferences...}}, type <tt>exec</tt> in the search box in the upper-left corner and select {{Menu\|Java > Installed JREs > Execution Environments}} and select a compatible JRE for the entry {{{JavaSE-1.6}}}.

	Then perform a full build : click on {{Button\|Project > Clean...}}, select {{Button\|Clean all projects}} and click {{Button\|OK}}.		Then perform a full build : click on {{Button\|Project > Clean...}}, select {{Button\|Clean all projects}} and click {{Button\|OK}}.

← Older revision		Revision as of 15:13, 19 May 2015
Line 21:		Line 21:

	First, you have to download the files that will constitute your development target platform:		First, you have to download the files that will constitute your development target platform:
	* the Eclipse SDK for your OS from [http://archive.eclipse.org/eclipse/downloads/~~drops~~/R-3.~~8.2~~-~~201301310800/~~],		* the Eclipse SDK for your OS from [http://archive.eclipse.org/eclipse/downloads/drops4/R-4.4-201406061215],
	* the Delta Pack from the same location,		* the Delta Pack from the same location,
	* the EMF 2.9.2 update site from [http://www.eclipse.org/modeling/download.php?file=/modeling/emf/emf/downloads/drops/2.9.2/R201402031126/emf-xsd-Update-2.9.2.zip].

	Then, in some stable directory (it will need to last as long as you are developing on Rodin core), unpack ~~the first~~ two files in the same place (the second will overwrite some files).		Then, in some stable directory (it will need to last as long as you are developing on Rodin core), unpack these two files in the same place (the second will overwrite some files).

	You need to download and install [http://~~download~~.eclipse.org/eclipse/downloads/drops4/R-4.3.2-~~201402211700~~/ Eclipse 4.3.2] ~~for~~ your development OS. After installation, please proceed with the following steps:		You need to download and install [http://archive.eclipse.org/eclipse/downloads/drops4/R-4.4.2-201502041700/ Eclipse 4.4.2] as your development IDE. After installation, please proceed with the following steps:
	* Click {{Button\|Help > Install New Software...}}. Then, select the {{Menu\|Eclipse Project Updates}} site and select the {{Menu\|API Tools Execution Environment Descriptions}} feature and install it.		* Click {{Button\|Help > Install New Software...}}. Then, select the {{Menu\|Eclipse Project Updates}} site and select the {{Menu\|API Tools Execution Environment Descriptions}} feature and install it.
	* Click {{Button\|Window > Preferences...}}, type <tt>target</tt> in the search box in the upper-left corner and select {{Menu\|Target Platform}} in the tree and click {{Button\|Add...}} in the pane.		* Click {{Button\|Window > Preferences...}}, type <tt>target</tt> in the search box in the upper-left corner and select {{Menu\|Target Platform}} in the tree and click {{Button\|Add...}} in the pane.
	* In the popup, click {{Button\|Next}} (start with {{Menu\|Nothing}}), then enter a name such as <tt>Eclipse 3.8.~~2 + EMF 2.9.2~~</tt>.		* In the popup, click {{Button\|Next}} (start with {{Menu\|Nothing}}), then enter a name such as <tt>Eclipse 4.4.0</tt>.
	* Then, click {{Button\|Add...}} again. In the new popup, select {{Menu\|Installation}} and click {{Button\|Next}}.		* Then, click {{Button\|Add...}} again. In the new popup, select {{Menu\|Installation}} and click {{Button\|Next}}.
	* For the Location, select the place where you unpacked Eclipse 3.~~8.2 and click {{Button\|Finish}}.~~		* For the Location, select the place where you unpacked Eclipse 4.4 and click {{Button\|Finish}}.
	* Then, click once again {{Button\|Add...}}, select "Software Site" and click {{Button\|Next}}.
	* In the "Work with" text entry, enter the full path to the downloaded downloaded EMF SDK packed site, then select the {{Menu\|EMF - Eclipse Modeling Framework Core Runtime}} and {{Menu\|EMF Common}} features.
	* Untick the {{Button\|Include required software}} checkbox and click {{Button\|Finish}}.
	* Then, click {{Button\|Finish}} to close the target content popup and finally select the just defined target platform to activate it and click {{Button\|OK}} in the {{Menu\|Preferences}} window.		* Then, click {{Button\|Finish}} to close the target content popup and finally select the just defined target platform to activate it and click {{Button\|OK}} in the {{Menu\|Preferences}} window.