Difference between revisions of "Defining a generator handler"

From Event-B
Jump to navigationJump to search
imported>Colin
(New page: To link the Generator Action to your GMF diagram editor add an extension point like this to your plugin.xml (replace "PUT YOUR DIAGRAM EDITOR ID HERE" with your own id (usually found in yo...)
 
(No difference)

Latest revision as of 12:46, 29 December 2011

To link the Generator Action to your GMF diagram editor add an extension point like this to your plugin.xml (replace "PUT YOUR DIAGRAM EDITOR ID HERE" with your own id (usually found in your Diagram Editor Class (in package part).

<extension
    point="org.eclipse.ui.handlers">
 <handler
       class="ac.soton.eventb.emf.diagrams.generator.GenerateAction"
       commandId="ac.soton.eventb.emf.diagrams.generator.generateEventB">
    <enabledWhen>
       <and>
          <with
                variable="activePartId">
             <equals
                   value="PUT YOUR DIAGRAM EDITOR ID HERE">
             </equals>
          </with>
       </and>
    </enabledWhen>
 </handler>
</extension>