imported>Tommy |
|
Line 1: |
Line 1: |
− | {{Navigation|Next= [[Introduction_(How_to_extend_Rodin_Tutorial)|Introduction]]}}
| + | Screenshot of TextEditor showing the code completion for a constant name |
− | | |
− | '''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_(How_to_extend_Rodin_Tutorial)|Introduction]].
| |
− | | |
− | ==Outline==
| |
− | * {{topic|Introduction_(How_to_extend_Rodin_Tutorial)|Introduction}}
| |
− | ''First part'' (Probabilistic Termination and Qualitative Reasoning Plugin):
| |
− | * {{topic|Creating_a_new_plug-in_using_eclipse_(How_to_extend_Rodin_Tutorial)|1 Creating our plug-in}}
| |
− | * {{topic|Extending_the_Rodin_database_(How_to_extend_Rodin_Tutorial)|2 Contributing new elements in the Rodin database}}
| |
− | * {{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|Extending_Rodin_Pretty Print Page(How_to_extend_Rodin_Tutorial)|5 Display added elements in the Pretty Print Page}}
| |
− | * {{topic|Providing_help_for_your_plug-in_(How_to_extend_Rodin_Tutorial)|6 Providing help}}
| |
− | * {{topic|Extending_the_Static_Checker(How_to_extend_Rodin_Tutorial)|7 Extending the Static Checker}}
| |
− | * {{topic|Extending_the_Proof_Obligation_Generator(How_to_extend_Rodin_Tutorial)|8 Extending the Proof Obligation Generator}}
| |
− | | |
− | ''Second part'' (Various problem solvings):
| |
− | *
| |
− | *
| |
− | *
| |
− | | |
− | ==Projects==
| |
− | The archives of the projects built in this tutorial are available here:
| |
− | // '''FIXME. Add the links to the .zip files here.'''
| |
− | * [http://sourceforge.net/projects/rodin-b-sharp/files/Doc_%20Tutorial/2.0/Help.zip/download<tt>Help.zip</tt>], which will be needed in section XXX.
| |
− | | |
− | {{Navigation|Next= [[Introduction_(How_to_extend_Rodin_Tutorial)|Introduction]]}}
| |
− | | |
− | [[Category:Developer documentation|*Index]]
| |
− | [[Category:Rodin Platform|*Index]]
| |
− | [[Category:Tutorial|*Index]]
| |