Using Rodin as Target Platform

When developing plug-ins for Rodin, it is somewhat cumbersome to have to download all sources from the SVN repository, or to import them in the workspace somehow, just to be able to read them. Using a target platform is a convenient alternative. Moreover, this alternative allows to validate one's plugin against a specific version of the Rodin platform and facilitates regression testing.

Configuring a Target Platform

Window > Preferences > Plug-in Development > Target Platform: click "Add..."

Select "Nothing: Start with an empty target definition".

On the next page, in "Locations" tab, we will add places where Rodin bundles can be found.

Adding a source directory

It is important to add the source directory first, so that javadoc attachment works.

Click "Add...", select "Directory" then browse to the directory containing Rodin sources generated for inclusion in a Target Platform (rodin-XXX-dev.zip unzipped) and click "Finish".

This makes Rodin sources available. For instance, pressing F3 on a reference of the IAxiom interface in client code opens an editor that shows the source code in IAxiom.java.

Adding a Rodin installation

Click "Add...", select "Installation" then browse to the target Rodin installation directory and click "Finish".

This allows to build a Rodin plug-in, but by itself it is not sufficient to read the sources as a Rodin installation only contains .class files.

Alternatively, one can instead add a Software Site, browse to rodin-x.y-repo.zip, then select Rodin Platform (after unchecking 'Group by category').