Extending the Pretty Print Page: Difference between revisions
From Event-B
Jump to navigationJump to search
imported>Tommy |
imported>Tommy mNo edit summary |
||
| Line 1: | Line 1: | ||
{{TOCright}} | |||
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. | 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. | ||
| Line 5: | Line 6: | ||
We will have a look at : | 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. | |||
Revision as of 14:02, 12 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.
