Difference between revisions of "Extending the Rodin Pretty Print Page (How to extend Rodin Tutorial)"
From Event-B
Jump to navigationJump to searchimported>Tommy m (New page: {{Navigation|Previous= Extending_the_Rodin_Event-B_Explorer_(How_to_extend_Rodin_Tutorial) | Up= How to extend Rodin Tutorial (Index) | Next= }} === In this part ...) |
imported>Tommy m |
||
Line 9: | Line 9: | ||
=== Step1 === | === Step1 === | ||
+ | Go back to the element extension for the bound element <tt>fr.systerel.rodinextension.sample.bound</tt> that we previously created from the <tt>org.eventb.ui.editorItems</tt> 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. | ||
+ | |||
+ | [[Image:Extend_Rodin_Tuto_1_11_Add_PrettyPrinter.png]] | ||
=== Step2 === | === Step2 === |
Revision as of 09:07, 24 August 2010
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.