Creating a new plug-in using eclipse (How to extend Rodin Tutorial)

From Event-B
Revision as of 14:56, 18 August 2010 by Tommy (talk | contribs)
Jump to: navigation, search

In this part

  • We will explain how to use Eclipse to easily create a plugin package structure for our implementation. Developers which are familiar with plugin building may skip this part and go to the next page of this tutorial.

Before starting to perform the following step, you should have your development environment ready and open.

Step 1

To create a plugin, go to "File > New > Other" and select "Plug-in Project" either from the general list if it appears, or from the category "Plug-in Development". Click on "Next".

Extend Rodin Tuto 1 1 File new plugin.png

Step 2

The following wizard page appears: Extend Rodin Tuto 1 2 NewPlug-inProject.png

1. In project name, enter the name of the plugin package that must appear in the project hierarchy. We used fr.systerel.rodinextension.sample but the formalism used often corresponds to mydomain.mycompany.mypluginname 2. Verify that the plugin is targeted to run with Eclipse 3.6 and click on "Next".

Step 3

Extend Rodin Tuto 1 3 NewPlug-inProject Content.png 1. In field ID, enter the unique id that will identify the plugin. Generally, we use the project name entered in the previous step : fr.systerel.rodinextension.sample, 2. The version identify, the current plugin version. This field can be later updated via the MANIFEST file. We let the default value 1.0.0.qualifier, 3. In the field Name, put the name of the plugin, here Qualitative Probabilistic Reasoning Plugin, 4. In the provider field, you can put the name of your company or insitution, 5. Ensure that the Execution Environment used is Java 1.6 (the one used by the Rodin Platform v.2.0), 6. Enter the class name of the plugin activator, preceded by its containing package. The activator is the static class responsible of the plugin lifecycle (start, stop, etc.). 7. Click on "Finish"

What we got

Error creating thumbnail: Unable to save thumbnail to destination

Eclipse created the plugin structure that we will be able to use to extend Rodin.