Difference between revisions of "Plug-in Tutorial"
From Event-B
Jump to navigationJump to searchimported>Pascal |
imported>Tommy m |
||
| (4 intermediate revisions by 2 users not shown) | |||
| Line 11: | Line 11: | ||
''First part'' How to extend the UI? | ''First part'' How to extend the UI? | ||
* {{topic|Creating_a_new_plug-in_using_eclipse_(How_to_extend_Rodin_Tutorial)|1 Creating our plug-in}} | * {{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 | + | * {{topic|Extending_the_Rodin_database_(How_to_extend_Rodin_Tutorial)|2 Adding elements to the database (Extending the database) }} |
| − | * {{topic|Extend_Rodin_Structured_Editor_(How_to_extend_Rodin_Tutorial)|3 Adding | + | * {{topic|Extend_Rodin_Structured_Editor_(How_to_extend_Rodin_Tutorial)|3 Adding elements in the Rodin structured editor (Extending the 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 (Extending the navigator)}} |
| − | * {{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 elements in the Pretty Print Page (Extending the pretty printer)}} |
| − | * {{topic|Providing_help_for_your_plug-in_(How_to_extend_Rodin_Tutorial)|6 Providing | + | * {{topic|Providing_help_for_your_plug-in_(How_to_extend_Rodin_Tutorial)|6 Documenting our plug-in (Providing Eclipse Help contents)}} |
''Second part'': | ''Second part'': | ||
| − | * {{topic|Extending_the_Static_Checker(How_to_extend_Rodin_Tutorial)|7 Extending the | + | * {{topic|Extending_the_Static_Checker(How_to_extend_Rodin_Tutorial)|7 Enforcing rules on newly added elements (Extending the static checker)}} |
| − | * {{topic|Extending_the_Proof_Obligation_Generator(How_to_extend_Rodin_Tutorial)|8 Extending the Proof Obligation Generator}} | + | * {{topic|Extending_the_Proof_Obligation_Generator(How_to_extend_Rodin_Tutorial)|8 Generating proof obligations (Extending the Proof Obligation Generator)}} |
| − | * {{topic|Adding_Reasoners(How_to_extend_Rodin_Tutorial)|9 Adding reasoners}} | + | * {{topic|Adding_Reasoners(How_to_extend_Rodin_Tutorial)|9 Adding new reasoners}} |
==Projects== | ==Projects== | ||
| − | The archives of the projects built in this tutorial are available here: | + | The archives of the projects built in this tutorial are available here: https://sourceforge.net/projects/rodin-b-sharp/files/Doc_Developer_Tutorial/ |
| − | // | + | * [http://sourceforge.net/projects/rodin-b-sharp/files/Doc_Developer_Tutorial/2.0/Archive1_After_Database_Extension.zip/download <tt>Archive1_After_Database_Extension.zip</tt>] |
| − | * [http://sourceforge.net/projects/rodin-b-sharp/files/ | + | * [http://sourceforge.net/projects/rodin-b-sharp/files/Doc_Developer_Tutorial/2.0/Archive2_After_Structured_Editor_Extension.zip/download <tt>Archive2_After_Structured_Editor_Extension.zip</tt>] |
| + | * [http://sourceforge.net/projects/rodin-b-sharp/files/Doc_Developer_Tutorial/2.0/Archive3_After_EventB_Explorer_Extension.zip/download <tt>Archive3_After_EventB_Explorer_Extension.zip</tt>] | ||
| + | * [http://sourceforge.net/projects/rodin-b-sharp/files/Doc_Developer_Tutorial/2.0/Archive4_After_PrettyPrinter_Extension.zip/download <tt>Archive4_After_PrettyPrinter_Extension.zip</tt>] | ||
| + | * [http://sourceforge.net/projects/rodin-b-sharp/files/Doc_Developer_Tutorial/2.0/Archive5_After_Help_Extension.zip/download <tt>Archive5_After_Help_Extension.zip</tt>] | ||
| + | * [http://sourceforge.net/projects/rodin-b-sharp/files/Doc_Developer_Tutorial/2.0/Archive6_After_Static_Checker_Extension.zip/download <tt>Archive6_After_Static_Checker_Extension.zip</tt>] | ||
| + | * [http://sourceforge.net/projects/rodin-b-sharp/files/Doc_Developer_Tutorial/2.0/Archive7_After_Proof_Obligation_Generator_Extension.zip/download <tt>Archive7_After_Proof_Obligation_Generator_Extension.zip</tt>] | ||
| + | * [http://sourceforge.net/projects/rodin-b-sharp/files/Doc_Developer_Tutorial/2.0/Archive8_After_Sequent_Prover_Extension.zip/download <tt>Archive8_After_Sequent_Prover_Extension.zip</tt>] | ||
{{Navigation|Next= [[Introduction_(How_to_extend_Rodin_Tutorial)|Introduction]]}} | {{Navigation|Next= [[Introduction_(How_to_extend_Rodin_Tutorial)|Introduction]]}} | ||
Latest revision as of 14:27, 5 September 2013
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: https://sourceforge.net/projects/rodin-b-sharp/files/Doc_Developer_Tutorial/
- Archive1_After_Database_Extension.zip
- Archive2_After_Structured_Editor_Extension.zip
- Archive3_After_EventB_Explorer_Extension.zip
- Archive4_After_PrettyPrinter_Extension.zip
- Archive5_After_Help_Extension.zip
- Archive6_After_Static_Checker_Extension.zip
- Archive7_After_Proof_Obligation_Generator_Extension.zip
- Archive8_After_Sequent_Prover_Extension.zip
