Messages étiquettés Plug-in

Développer pour Rodin 3.0 (2/3): Rodin comme plateforme d’exécution

Dans l’article précédent, Développer pour Rodin 3.0 (1/3): Plug-in Hello world pour Éclipse, nous avons vu comment développer un plug-in tout simple pour Éclipse. Dans cet article, nous allons voir comment exécuter notre plug-in dans la plateforme Rodin.

Je pars du point de vue que votre workspace ne comporte que notre plug-in de test Hello World. Dans le cas contraire, faites un close project sur tous les autres projets avant d’entamer ce tutoriel.

Installation rapide de Rodin

Pour commencer, nous allons avoir besoin d’installer Rodin. Télécharger la dernière version disponible sur leur wiki à l’adresse suivante: http://wiki.event-b.org/index.php/Main_Page. Pour cet article j’utiliserais Rodin 3.0.0 (vous n’aurez pas besoin de org.rodinp.core). Décompressez l’archive et Lire le reste de cet article »

Tags: , , , , ,

Développer pour Rodin 3.0 (1/3): Plug-in Hello world pour Éclipse

La dernière version de Rodin est sortie!

Au programme de cette nouvelle monture, beaucoup d’améliorations. Dans ce tutoriel, nous nous attarderons uniquement à la mise en place d’une plateforme Eclipse permettant de développer des plug-ins Rodin. La liste complète se trouve sur leur wiki à l’adresse suivante: http://wiki.event-b.org/index.php/Rodin_Platform_3.0_Release_Notes

Un vent de nouveauté soufflait ce mois de mars et Oracle a sorti Java 8. Ce tutoriel est compatible avec toutes les versions de Java (7 et 8 pour sûr). Nous donnerons les exemples avec Java 7, libre à vous d’adapter.

Rodin est un Eclipse modifié (ou une surcouche). La procédure pour développer un plug-in Rodin est donc très similaire à celle pour développer un plug-in pour Eclipse. Commençons par installer Eclipse RCP qui est disponible ici. Pour ma part j’ai téléchargé la version portant l’intitulé eclipse-rcp-kepler-SR2-macosx-cocoa-x86_64.tar.gz. Une fois téléchargé, nous pouvons Lire le reste de cet article »

Tags: , , , , ,