Difference between revisions of "Extending the Pretty Print Page"
From Event-B
Jump to navigationJump to searchimported>Tommy m |
imported>Tommy m |
||
Line 1: | Line 1: | ||
{{TOCright}} | {{TOCright}} | ||
The Petty Print Page of the [[Modelling User Interface|Event-B Editor]] provides a rendered view of an edited machine or context, for an quicker and easier reading. | The Petty Print Page of the [[Modelling User Interface|Event-B Editor]] provides a rendered view of an edited machine or context, for an quicker and easier reading. | ||
+ | |||
+ | [[Image:PrettyPrintPage.png|480px|center|An example of pretty print page]] | ||
As a mechanism is available to extend Rodin's Structured Editor, such a mechanism also exists in order to extend the Pretty Print Page. For each element to be displayed, a "pretty printer" is defined within the element extension of the structured editor. | As a mechanism is available to extend Rodin's Structured Editor, such a mechanism also exists in order to extend the Pretty Print Page. For each element to be displayed, a "pretty printer" is defined within the element extension of the structured editor. | ||
Line 11: | Line 13: | ||
* how to implement pretty printers. | * how to implement pretty printers. | ||
− | |||
== How to contribute to the Pretty Print Page == | == How to contribute to the Pretty Print Page == |
Revision as of 12:56, 15 April 2010
The Petty Print Page of the Event-B Editor provides a rendered view of an edited machine or context, for an quicker and easier reading.
As a mechanism is available to extend Rodin's Structured Editor, such a mechanism also exists in order to extend the Pretty Print Page. For each element to be displayed, a "pretty printer" is defined within the element extension of the structured editor.
We will have a look at :
- how the extensions can contribute to the pretty print page,
- how the pretty print page is created,
- how to implement pretty printers.