AnimB Javascript Tutorial - Revision history

imported>Tommy at 18:39, 22 February 2011

2011-02-22T18:39:22Z

← Older revision		Revision as of 18:39, 22 February 2011
Line 20:		Line 20:
	* '''model''' set to the model name used to build the animation		* '''model''' set to the model name used to build the animation
	* '''name''' set to the name of the animation		* '''name''' set to the name of the animation

			[[Category:AnimB]]

imported>Christophe: /* Create your own animation */

2010-10-10T13:09:03Z

Create your own animation

← Older revision		Revision as of 13:09, 10 October 2010
Line 13:		Line 13:

	= Create your own animation =		= Create your own animation =

			Create a animation consiste in editing the index.html file.

	First you must set the three variables describing your project.		First you must set the three variables describing your project.

imported>Christophe: /* Create your own animation */

2010-10-10T12:54:21Z

Create your own animation

← Older revision		Revision as of 12:54, 10 October 2010
Line 15:		Line 15:

	First you must set the three variables describing your project.		First you must set the three variables describing your project.
	* project ~~this variable must be~~ to ~~set with~~ the Rodin project name		* '''project''' set to the Rodin project name
	* model ~~this variable must be~~ to ~~set with~~ the model used to build the animation		* '''model''' set to the model name used to build the animation
			* '''name''' set to the name of the animation

imported>Christophe at 12:37, 10 October 2010

2010-10-10T12:37:42Z

← Older revision		Revision as of 12:37, 10 October 2010
Line 10:		Line 10:
	Then dowload the two following files in this directory:		Then dowload the two following files in this directory:
	* [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		* [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
	* [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		* [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. This file could be used to create your own animation.

			= Create your own animation =

			First you must set the three variables describing your project.
			* project this variable must be to set with the Rodin project name
			* model this variable must be to set with the model used to build the animation

imported>Christophe: /* The basics */

2010-10-10T12:31:40Z

The basics

← Older revision		Revision as of 12:31, 10 October 2010
Line 6:		Line 6:
	The controller is ensured by a piece of javascript code running in the browser.		The controller is ensured by a piece of javascript code running in the browser.

	= The ~~basics~~ =		= The installation =
	In your Event-B project, create a directory called "animation".		In your Event-B project, create a directory called "animation".
	Then dowload the two following files in this directory:		Then dowload the two following files in this directory:
	* [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		* [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
	* [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		* [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

imported>Christophe at 01:36, 6 October 2010

2010-10-06T01:36:44Z

← Older revision		Revision as of 01:36, 6 October 2010
Line 9:		Line 9:
	In your Event-B project, create a directory called "animation".		In your Event-B project, create a directory called "animation".
	Then dowload the two following files in this directory:		Then dowload the two following files in this directory:
	AnimB.js		* [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
	index.html		* [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

imported>Christophe at 01:21, 6 October 2010

2010-10-06T01:21:42Z

← Older revision		Revision as of 01:21, 6 October 2010
Line 5:		Line 5:
	The model part is given by a running animation in the Rodin plateform through AnimB and a event-b model.		The model part is given by a running animation in the Rodin plateform through AnimB and a event-b model.
	The controller is ensured by a piece of javascript code running in the browser.		The controller is ensured by a piece of javascript code running in the browser.

			= The basics =
			In your Event-B project, create a directory called "animation".
			Then dowload the two following files in this directory:
			AnimB.js
			index.html

imported>Christophe: New page: This page discribes how to build a graphical animation for a event-b model. These animations are built following the pattern MVC (Model/View/Controller). The view part is done by a browse...

2010-10-06T01:15:17Z

New page: This page discribes how to build a graphical animation for a event-b model. These animations are built following the pattern MVC (Model/View/Controller). The view part is done by a browse...

New page

This page discribes how to build a graphical animation for a event-b model.
These animations are built following the pattern MVC (Model/View/Controller).

The view part is done by a browser and a HTML page.
The model part is given by a running animation in the Rodin plateform through AnimB and a event-b model.
The controller is ensured by a piece of javascript code running in the browser.