Discussion :

[Road.Runner]

Bonjour,

Utilisant une version pré-configurée d'Eclipse qui intègre le plugin OSATE (Open Source AADL Tool Environment) et j'aimerais ajouter un plugin (aadl2maude) qui traduit des spécifications AADL en Maude.

J'ai trouvé le plugin ici http://www.cs.le.ac.uk/people/aboron.../moment2-aadl/ mais il ne s'agit seulement que du code source.
J'ai essayé de mettre les deux paquetages dans le répertoires 'plugins' mais ca ne marche pas. J'ai aussi essayé de les compiler et de créer des archives .jar avant des les placer dans le répertoire 'plugins' mais ça ne marche toujours pas.

Quelqu'un saurait-il m'expliquer comment faire pour intégrer ce plugin ?

Merci d'avance pour votre aide.

[Laurent.B]

Bonjour,

Le zip que tu peux récupérer est effectivement que le code source. Donc, si tu veux, tu peux importer les deux projets plugin qu'il contient, en faisant File > Import... > General > Existing Projects into Workspace

En dehors de ça, il semble qu'il a des indications ici http://www.cs.le.ac.uk/people/aboronat/tools/moment2/ (lien trouvé sur la page que tu indiques)...

[Road.Runner]

Bonjour,

J'ai toujours le même problème avec OSATE (Plateforme Eclipse 3.3) lors de l'installation d'un plugin via Eclipse Update Manager comme indiqué ici: http://moment.dsic.upv.es/component/...pper/Itemid,8/, lors de la selection des resultat de recherche (Maude developpement Tools 2.0.6), Eclipse signale une erreur qui rend impossible la poursuite de l'installation du plugin:

Maude Development Tools (2.0.6) requires feature "org.antlr.ui (3.0.5)", or compatible.

J'ai pourtant telechargé "org.antlr.ui 3.0.5" et decompresser dans les repertoires /feautres et /plugins mais le probleme persiste, je ne comprend pas.

Help!