Difference between revisions of "Creating a new plug-in using eclipse (How to extend Rodin Tutorial)"

From Event-B
Jump to: navigation, search
(Creation of the page "Creating our plugin")
 
m
Line 4: Line 4:
 
* We will explain how to use Eclipse to easily create a plugin package structure for our implementation. Developers which are familiar with plugin building may skip this part and go to the next page of this tutorial.
 
* We will explain how to use Eclipse to easily create a plugin package structure for our implementation. Developers which are familiar with plugin building may skip this part and go to the next page of this tutorial.
  
 +
[[Image:Extend_Rodin_Tuto_1_1_File_new_plugin.png|300px]]
  
 +
[[Image:Extend_Rodin_Tuto_1_2_NewPlug-inProject.png|400px]]
  
 +
[[Image:Extend_Rodin_Tuto_1_3_NewPlug-inProject_Content.png|400px]]
  
 
+
[[Image:Extend_Rodin_Tuto_1_4_ProjectExplorer1.png]]
 
 
 
 
 
 
  
 
{{Navigation|Previous= [[Introduction_(How_to_extend_Rodin_Tutorial)|Introduction]] | Up= [[Plug-in_Tutorial|How to extend Rodin Tutorial (Index)]] | Next= [[Extend_Rodin_database_(How_to_extend_Rodin_Tutorial)|Extend the database]]}}
 
{{Navigation|Previous= [[Introduction_(How_to_extend_Rodin_Tutorial)|Introduction]] | Up= [[Plug-in_Tutorial|How to extend Rodin Tutorial (Index)]] | Next= [[Extend_Rodin_database_(How_to_extend_Rodin_Tutorial)|Extend the database]]}}

Revision as of 09:32, 18 August 2010

In this part

  • We will explain how to use Eclipse to easily create a plugin package structure for our implementation. Developers which are familiar with plugin building may skip this part and go to the next page of this tutorial.

Extend Rodin Tuto 1 1 File new plugin.png

Extend Rodin Tuto 1 2 NewPlug-inProject.png

Extend Rodin Tuto 1 3 NewPlug-inProject Content.png

Error creating thumbnail: Unable to save thumbnail to destination