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 le lancer.

Capture d’écran 2014-03-30 à 11.30.28

Regardons rapidement comment faire un plug-in Eclipse. Cliquez sur File -> New -> Plug-in Project.

Capture d’écran 2012-03-30 à 09.43.11

Donnez un nom à votre projet. Cliquez ensuite sur Next deux fois. Vous arrivez ensuite sur la page Template. Là, sélectionnez «Hello, World» puis cliquez sur Finish.

Capture d’écran 2012-03-30 à 09.45.21

Vous avez maintenant un projet contenant un fichier MANIFEST.MF plus, deux packages qui contiennent chacun une classe. La classe qui nous intéresse est la classe SampleAction et en particulier la méthode run. Cette méthode est appelée lors de l’utilisation du plug-in. Pour le moment le déclenchement du plug-in va juste faire apparaître une boite de dialogue contenant le message très impressionnant  »Hello, Eclipse world ». Essayons maintenant de lancer le plug-in. Pour cela, faites un clic droit sur le projet puis Run As -> Run Configurations…

Capture d’écran 2012-03-30 à 09.50.28

Puis double cliquez sur Eclipse Application, et finalement cliquez sur Run. Une fois la nouvelle instance de Eclipse lancée, vous pouvez lancer le plug-in en cliquant sur Sample Menu -> Sample Action. Vous devriez voir apparaître une boite de dialogue contenant le message  «Hello, Eclipse world ».

Capture d’écran 2012-03-30 à 09.51.38

Suite de du tutoriel -> Développer pour Rodin 3.0 (2/3): Rodin comme plateforme d’exécution