Difference between pages "AnimB Javascript Tutorial" and "AnimB install"

From Event-B
(Difference between pages)
Jump to navigationJump to search
imported>Christophe
 
imported>Christophe
 
Line 1: Line 1:
This page discribes how to build a graphical animation for a event-b model.
+
Generally speaking, AnimB is installed and updated from within Rodin.
These animations are built following the pattern MVC (Model/View/Controller).
 
  
The view part is done by a browser and a HTML page.
+
There is two  ways of installing AnimB:
The model part is given by a running animation in the Rodin plateform through AnimB and a event-b model.
+
* for the first one (advised), you need to be connected on internet
The controller is ensured by a piece of javascript code running in the browser.
+
* for the second one (troubles with proxy or firewall, ...), you download the update site and install from local.
  
= The installation =
+
==Begin the installation==
In your Event-B project, create a directory called "animation".
+
Begin the installation from the Rodin Help menu item :
Then dowload the two following files in this directory:
+
*Help
* [https://rodin-b-sharp.svn.sourceforge.net/svnroot/rodin-b-sharp/trunk/AnimB/org.animb.jscomponent/animation/AnimB.js AnimB.js] the AnimB javascript component
+
*Software Updates
* [https://rodin-b-sharp.svn.sourceforge.net/svnroot/rodin-b-sharp/trunk/AnimB/org.animb.jscomponent/animation/index.html index.html] a basic HTML file
+
*Find and Install...
 +
[[Image:step1.png|600px|center]]<br>
 +
----
 +
Select the option for new feature.<br>
 +
[[Image:step2.png|400px|center]]
 +
==Adding the AnimB update site==
 +
This screen will vary depending on the features you have installed already. <br>
 +
Click on the "New Remote Site..." button. <br>
 +
If you are behind a proxy and the Eclipse install mechanism does not work, then you can [http://www.animb.org/updatesite/AnimB.zip download] an Archived Site and then click the "New Archived Site..." button instead.
 +
[[Image:step6.png|500px|center]]<br>
 +
===Remote site===
 +
Fill in the "New Update Site" dialog with the following information and click OK.
 +
[[Image:Step7.png|300px|center]]
 +
===Archived Site===
 +
First download the [http://www.animb.org/updatesite/AnimB.zip archived site] and save it on local.<br>
 +
Then click on "New Archived Site..."<br>
 +
Selected the downloaded file and click on open.
 +
[[Image:step8.png|400px|center]]
 +
Control the value field of the next dialog :
 +
[[image:step9.png|300px|center]]
 +
==Install AnimB==
 +
Select the AnimB site and click on finish.
 +
[[Image:Step10.png|600px|center]]
 +
----
 +
The reste is fairly straightforward.

Revision as of 10:41, 2 July 2008

Generally speaking, AnimB is installed and updated from within Rodin.

There is two ways of installing AnimB:

  • for the first one (advised), you need to be connected on internet
  • for the second one (troubles with proxy or firewall, ...), you download the update site and install from local.

Begin the installation

Begin the installation from the Rodin Help menu item :

  • Help
  • Software Updates
  • Find and Install...
Step1.png



Select the option for new feature.

Step2.png

Adding the AnimB update site

This screen will vary depending on the features you have installed already.
Click on the "New Remote Site..." button.
If you are behind a proxy and the Eclipse install mechanism does not work, then you can download an Archived Site and then click the "New Archived Site..." button instead.

Step6.png


Remote site

Fill in the "New Update Site" dialog with the following information and click OK.

Step7.png

Archived Site

First download the archived site and save it on local.
Then click on "New Archived Site..."
Selected the downloaded file and click on open.

Step8.png

Control the value field of the next dialog :

Step9.png

Install AnimB

Select the AnimB site and click on finish.

Step10.png

The reste is fairly straightforward.