Defining a generator handler

From Event-B
Jump to navigationJump to search

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>