https://wiki.event-b.org/index.php?title=Defining_a_generator_handler&feed=atom&action=historyDefining a generator handler - Revision history2024-03-29T11:20:21ZRevision history for this page on the wikiMediaWiki 1.33.3https://wiki.event-b.org/index.php?title=Defining_a_generator_handler&diff=3585&oldid=previmported>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...2011-12-29T12:46:36Z<p>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...</p>
<p><b>New page</b></p><div>To link the Generator Action to your GMF diagram editor add an extension point like this to your plugin.xml<br />
(replace "PUT YOUR DIAGRAM EDITOR ID HERE" with your own id (usually found in your Diagram Editor Class (in package part).<br />
<br />
<extension<br />
point="org.eclipse.ui.handlers"><br />
<handler<br />
class="ac.soton.eventb.emf.diagrams.generator.GenerateAction"<br />
commandId="ac.soton.eventb.emf.diagrams.generator.generateEventB"><br />
<enabledWhen><br />
<and><br />
<with<br />
variable="activePartId"><br />
<equals<br />
value="PUT YOUR DIAGRAM EDITOR ID HERE"><br />
</equals><br />
</with><br />
</and><br />
</enabledWhen><br />
</handler><br />
</extension></div>imported>Colin