Extending the Rodin Pretty Print Page (How to extend Rodin Tutorial)

From Event-B
Revision as of 09:07, 24 August 2010 by imported>Tommy
Jump to navigationJump to search

In this part

As this extension mechanism is detailed on a dedicated page of the wiki, we will here comment the implementation of a pretty printer for the bound elements. Unfortunately, it is not yet possible to act on the pretty print of events, so the probabilistic will not be displayed here.

See here for the detailed documentation : Extending the Pretty print Page


Step1

Go back to the element extension for the bound element fr.systerel.rodinextension.sample.bound that we previously created from the org.eventb.ui.editorItems extension point. Create a new class that will implement the pretty printer for the bound element, using the eclipse new class wizard as in the picture below.

Extend Rodin Tuto 1 11 Add PrettyPrinter.png

Step2