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 :
-
Cliquer sur le bouton"New Remote Site .";
-
Dans la fenêtre dedialogue qui est apparue, saisir :
-
Cliquer sur le bouton"New Remote Site .";
-
Dans la fenêtre dedialogue qui est apparue, saisir :
-
« callisto »
dans le champ « Name »
-
-
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 :
