EMF Compare Editor installation - Revision history

imported>Colin: /* Installation into Rodin 1.0.x */

2009-10-21T14:17:29Z

Installation into Rodin 1.0.x

← Older revision		Revision as of 14:17, 21 October 2009
Line 18:		Line 18:

	Unfortunately, the Camille editor is very strict on dependencies, so although it would work fine with a minor update, it has to be removed before you can install the new version of the framework. Therefore, first go to the Installed Software tab and remove Camille (I also removed the old version of EMF framework but i am not sure this is necessary, it should just update).		Unfortunately, the Camille editor is very strict on dependencies, so although it would work fine with a minor update, it has to be removed before you can install the new version of the framework. Therefore, first go to the Installed Software tab and remove Camille (I also removed the old version of EMF framework but i am not sure this is necessary, it should just update).
			[Note that Camille and the EMF framework have both been re-issued for Rodin 1.1.x so that these problems are only applicable for the old Rodin 1.0.x releases]

	Then go to the Available Software and add an update site with this URL:		Then go to the Available Software and add an update site with this URL:

imported>Colin: /* Installation into Rodin 1.1.x */

2009-10-21T14:09:22Z

Installation into Rodin 1.1.x

← Older revision		Revision as of 14:09, 21 October 2009
Line 7:		Line 7:
	http://users.ecs.soton.ac.uk/cfs/downloads/org.eventb.emf.testsite/		http://users.ecs.soton.ac.uk/cfs/downloads/org.eventb.emf.testsite/

	Then install the ~~Eventboth features~~ from it.		Then install the "Event-B EMF Emerging Features" feature from it. (Do not install the Event-B EMF framework from this test site as the changes have now been incorporated into the released version 1.1.2)

	You may also have to manually install the EMF Compare feature (it should have installed automatically but didn't for me - maybe I forgot to add a dependency)		You may also have to manually install the EMF Compare feature (it should have installed automatically but didn't for me - maybe I forgot to add a dependency)

imported>Colin: /* Installation */

2009-10-21T14:01:26Z

Installation

← Older revision		Revision as of 14:01, 21 October 2009
Line 1:		Line 1:
	==Installation==		==Installation into Rodin 1.1.x==

			The EMF Compare facilities are enabled by a small feature called ''Event-B EMF Teamwork''. I have put this in a test site for now.

			Go to the Software Updates-Available Software and add an update site with this URL:

			http://users.ecs.soton.ac.uk/cfs/downloads/org.eventb.emf.testsite/

			Then install the Eventboth features from it.

			You may also have to manually install the EMF Compare feature (it should have installed automatically but didn't for me - maybe I forgot to add a dependency)
			Do this from the ''Ganymede'' update site, under ''Models and model development'', tick ''EMF Compare (Incubation)''

			==Installation into Rodin 1.0.x==

	The EMF Compare facilities are enabled by a small feature called ''Event-B EMF Teamwork''. However, this feature requires a minor update to the ''Event-B EMF Framework'' feature.		The EMF Compare facilities are enabled by a small feature called ''Event-B EMF Teamwork''. However, this feature requires a minor update to the ''Event-B EMF Framework'' feature.

imported>Colin: /* Installation */

2009-09-25T17:57:46Z

Installation

← Older revision		Revision as of 17:57, 25 September 2009
Line 12:		Line 12:
	Then install both features from it.		Then install both features from it.

			You may also have to manually install the EMF Compare feature (it should have installed automatically but didn't for me - maybe I forgot to add a dependency)
			Do this from the ''Ganymede'' update site, under ''Models and model development'', tick ''EMF Compare (Incubation)''

	==Usage==		==Usage==

imported>Colin: New page: ==Installation== The EMF Compare facilities are enabled by a small feature called ''Event-B EMF Teamwork''. However, this feature requires a minor update to the ''Event-B EMF Framework'' ...

2009-09-25T17:28:35Z

New page: ==Installation== The EMF Compare facilities are enabled by a small feature called ''Event-B EMF Teamwork''. However, this feature requires a minor update to the ''Event-B EMF Framework'' ...

New page

==Installation==

The EMF Compare facilities are enabled by a small feature called ''Event-B EMF Teamwork''. However, this feature requires a minor update to the ''Event-B EMF Framework'' feature.
I have put both of these in a test site for now.

Unfortunately, the Camille editor is very strict on dependencies, so although it would work fine with a minor update, it has to be removed before you can install the new version of the framework. Therefore, first go to the Installed Software tab and remove Camille (I also removed the old version of EMF framework but i am not sure this is necessary, it should just update).

Then go to the Available Software and add an update site with this URL:

http://users.ecs.soton.ac.uk/cfs/downloads/org.eventb.emf.testsite/

Then install both features from it.

==Usage==

You use the Compare editor just like you would the Java one. I.e. select two machine or context files and then use the pop-up menu ''compare with'' - ''each other''. Also, it should be invoked automatically if you do team actions into a repository (i.e. CVS or SVN).

However there is one snag at the moment - the Event-B common navigator doesn't show you files (the machines you can see are root elements within the files) therefore to select a file you have to either open a resource navigator (show view) or you can change the default configuration of the Event-B navigator (little down triangle on its menu bar) to un-tick the filters for ''All Files ..'' and ''unchecked machine/context files''.