Outils B - Brama

Comment installer Brama ?

Dépendances

Brama nécessite la présence de la plateforme Rodin en version 0.7.3 ou ultérieure. L'installation de Brama utilise la fonctionnalité "UpdateSite" d'Eclipse. Trois plugins sont nécessaires:

Brama : le plugin d'animation proprement dit
B2Rodin : réutilisation du wizard d'importation
GEF : la librairie graphique

Instructions

L'installation de brama utilise la fonctionnalité "UpdateSite" d'Eclipse. Pour ce faire, il faut :

Activer, dans le menuHelp / Software Updates, la fonctionnalité "Find and Install" ;

Sélectionner "Search for a new feature to install";
Cliquer sur le bouton "New Remote Site";
Dans la fenêtre dedialogue qui est apparue, saisir :

"b2rama" dans le champ "Name" ;
http://www.bmethod.com/update_site/brama dans le champ "URL"
cliquer sur le bouton "OK" ;

Cliquer sur le bouton "New Remote Site";
Dans la fenêtre dedialogue qui est apparue, saisir :

"b2rodin" dans le champ "Name"
http://www.bmethod.com/update_site/b2rodin dans le champ "URL"
cliquer sur le bouton"OK";

Cliquer sur le bouton "New Remote Site";
Dans la fenêtre dedialogue qui est apparue, saisir :

"callisto" dans le champ "Name"
http://download.eclipse.org/callisto/releases dans le champ "URL"
cliquer sur le bouton"OK"
Vous devez obtenir la configuration suivante :

Cliquer sur le bouton "Finish" pour parcourir le contenu de ces sites de mise à jour.
Sélectionner les dernières versions des "features" (fonctionnalités) de brama et b2rodin (1.0.4 et 0.0.5 dans cet exemple).
Sélectionner Graphical Editing Framework.

Cliquer deux fois sur "Finish". Le téléchargement des plugins commence immédiatement. La plateforme Eclipse doit être redémarrée pour que ces modifications soient prises en compte.

L'aide en ligne permet de comprendre comment mettre en oeuvre cet outil. Pour accéder à cette aide, sélectionner le menu "Help" puis "Help Contents".

La fenêtre d'aide s'affiche. Elle est divisée en deux parties : la partie gauche indique quelles sont les aides accessibles, la partie droite contient le texte de l'aide une fois un des chapitres choisi. Cliquer sur "Brama Help" pour accéder à l'aide relative à Brama :