Difference between revisions of "Plug-in Tutorial"
From Event-B
Jump to navigationJump to searchimported>Pascal |
imported>Pascal m (→Outline) |
||
| Line 14: | Line 14: | ||
* {{topic|Extend_Rodin_Structured_Editor_(How_to_extend_Rodin_Tutorial)|3 Adding support for new elements in the Rodin structured editor}} | * {{topic|Extend_Rodin_Structured_Editor_(How_to_extend_Rodin_Tutorial)|3 Adding support for new elements in the Rodin structured editor}} | ||
* {{topic|Extend_Rodin_EventB_Explorer(How_to_extend_Rodin_Tutorial)|4 Adding elements to the Event-B explorer}} | * {{topic|Extend_Rodin_EventB_Explorer(How_to_extend_Rodin_Tutorial)|4 Adding elements to the Event-B explorer}} | ||
| − | * {{topic|Extending_Rodin_Pretty Print Page(How_to_extend_Rodin_Tutorial)|5 | + | * {{topic|Extending_Rodin_Pretty Print Page(How_to_extend_Rodin_Tutorial)|5 Displaying added elements in the Pretty Print Page}} |
* {{topic|Providing_help_for_your_plug-in_(How_to_extend_Rodin_Tutorial)|6 Providing help}} | * {{topic|Providing_help_for_your_plug-in_(How_to_extend_Rodin_Tutorial)|6 Providing help}} | ||
Revision as of 12:25, 25 August 2010
Tutorial for the extension of the Rodin platform by plugin addition
This tutorial is problem solving oriented. In a first part, we will focus on Rodin extensions to develop a plugin for Probabilistic Termination and Qualitative Reasoning. In a second part, we will study specific problem cases and extend Rodin to solve them. More details can be found in the Introduction.
Outline
First part How to extend the UI?
Second part:
Projects
The archives of the projects built in this tutorial are available here: // FIXME. Add the links to the .zip files here.
- Help.zip, which will be needed in section XXX.
