Using Rodin as Target Platform

From Event-B
Revision as of 16:30, 20 April 2010 by imported>Nicolas (New page: When developing plug-ins for Rodin, it is somewhat cumbersome to have to all sources from the SVN repository, or to import them in the workspace somehow, just to be able to read them. Usin...)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigationJump to search

When developing plug-ins for Rodin, it is somewhat cumbersome to have to 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.

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 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 not to read the sources as a Rodin installation only contains .class files.

Adding a source directory

Click "Add...", select "Directory" then browse to the directory containing Rodin sources generated for inclusion in a Target Platform 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.