Difference between pages "Plug-in Tutorial" and "File:TheoryCGRules.png"

From Event-B
(Difference between pages)
Jump to navigationJump to search
imported>Tommy
m
 
(Maintenance script uploaded File:TheoryCGRules.png)
 
Line 1: Line 1:
{{Navigation|Next= [[Introduction_(How_to_extend_Rodin_Tutorial)|Introduction]]}}
 
  
'''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'' How to extend the UI?
 
* {{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 Adding elements to the database (Extending the database) }}
 
* {{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 (Extending the navigator)}}
 
* {{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 Documenting our plug-in (Providing Eclipse Help contents)}}
 
 
''Second part'':
 
* {{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 Generating proof obligations (Extending the Proof Obligation Generator)}}
 
* {{topic|Adding_Reasoners(How_to_extend_Rodin_Tutorial)|9 Adding new reasoners}}
 
 
==Projects==
 
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/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]]}}
 
 
[[Category:Developer documentation|*Index]]
 
[[Category:Rodin Platform|*Index]]
 
[[Category:Tutorial|*Index]]
 

Latest revision as of 20:50, 30 April 2020