Difference between pages "Plug-in Tutorial" and "File:Screen max completion constant.png"

From Event-B
(Difference between pages)
Jump to navigationJump to search
imported>Pascal
 
(Maintenance script uploaded File:Screen max completion constant.png)
 
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'' 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 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}}
 
 
 
''Second part'':
 
* {{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}}
 
* {{topic|Adding_Reasoners(How_to_extend_Rodin_Tutorial)|9 Adding reasoners}}
 
 
 
==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]]
 

Latest revision as of 20:49, 30 April 2020

Screenshot of TextEditor showing the code completion for a constant name