| <?xml version="1.0" encoding="UTF-8"?> | |
| <?eclipse version="3.4"?> | |
| <plugin> | |
| <extension | |
| point="org.eclipse.debug.core.launchModes"> | |
| <launchMode | |
| label="Run" | |
| mode="run"> | |
| </launchMode> | |
| <launchMode | |
| label="Debug" | |
| mode="debug"> | |
| </launchMode> | |
| </extension> | |
| <extension | |
| point="org.eclipse.debug.core.launchDelegates"> | |
| <launchDelegate | |
| delegate="org.eclipse.efm.execution.launchconfiguration.LaunchDelegate" | |
| id="org.eclipse.efm.execution.launchconfiguration.launchDelegate" | |
| modes="sew" | |
| type="org.eclipse.jdt.launching.localJavaApplication"> | |
| </launchDelegate> | |
| </extension> | |
| <extension | |
| point="org.eclipse.debug.core.launchConfigurationTypes"> | |
| <launchConfigurationType | |
| delegate="org.eclipse.efm.execution.launchconfiguration.LaunchDelegate" | |
| id="org.eclipse.efm.execution.launchconfiguration.sew_type" | |
| modes="run,debug" | |
| name="Symbolic Execution Workflow"> | |
| </launchConfigurationType> | |
| </extension> | |
| <extension | |
| point="org.eclipse.debug.ui.launchConfigurationTabGroups"> | |
| <launchConfigurationTabGroup | |
| class="org.eclipse.efm.execution.launchconfiguration.LaunchConfigurationTabGroup" | |
| id="org.eclipse.efm.execution.launchconfiguration.sew_tabgroup" | |
| helpContextId="org.eclipse.efm.execution.launchconfiguration.sew_launch_tabgroup" | |
| type="org.eclipse.efm.execution.launchconfiguration.sew_type"> | |
| </launchConfigurationTabGroup> | |
| </extension> | |
| <extension | |
| point="org.eclipse.debug.ui.launchConfigurationTypeImages"> | |
| <launchConfigurationTypeImage | |
| configTypeID="org.eclipse.efm.execution.launchconfiguration.sew_type" | |
| icon="platform:/plugin/org.eclipse.efm.ui/resources/icons/diversity_icon.png" | |
| id="org.eclipse.efm.execution.launchconfiguration.sew_image"> | |
| </launchConfigurationTypeImage> | |
| </extension> | |
| <extension | |
| point="org.eclipse.core.expressions.definitions"> | |
| <definition | |
| id="org.eclipse.efm.execution.launchconfiguration.definition.isEnabledMenuSEW"> | |
| <or> | |
| <with | |
| variable="activeEditorId"> | |
| <equals | |
| value="org.eclipse.diversity.ide.xtext.favm.FAVM"> | |
| </equals> | |
| </with> | |
| <with | |
| variable="selection"> | |
| <count | |
| value="1"> | |
| </count> | |
| <or> | |
| <iterate | |
| operator="and"> | |
| <instanceof | |
| value="org.eclipse.core.resources.IFile"> | |
| </instanceof> | |
| <or> | |
| <test | |
| property="org.eclipse.core.resources.extension" | |
| value="sew"> | |
| </test> | |
| <test | |
| property="org.eclipse.core.resources.extension" | |
| value="favm"> | |
| </test> | |
| <test | |
| property="org.eclipse.core.resources.extension" | |
| value="gv"> | |
| </test> | |
| </or> | |
| </iterate> | |
| <iterate | |
| operator="and"> | |
| <instanceof | |
| value="org.eclipse.core.resources.IContainer"> | |
| </instanceof> | |
| </iterate> | |
| </or> | |
| </with> | |
| </or> | |
| </definition> | |
| <definition | |
| id="org.eclipse.efm.execution.launchconfiguration.definition.isEnabledCommandRunSEW"> | |
| <or> | |
| <with | |
| variable="activeEditorId"> | |
| <equals | |
| value="org.eclipse.diversity.ide.xtext.favm.FAVM"> | |
| </equals> | |
| </with> | |
| <with | |
| variable="selection"> | |
| <count | |
| value="1"> | |
| </count> | |
| <iterate | |
| operator="and"> | |
| <instanceof | |
| value="org.eclipse.core.resources.IFile"> | |
| </instanceof> | |
| <or> | |
| <test | |
| property="org.eclipse.core.resources.extension" | |
| value="sew"> | |
| </test> | |
| <test | |
| property="org.eclipse.core.resources.extension" | |
| value="favm"> | |
| </test> | |
| </or> | |
| </iterate> | |
| </with> | |
| </or> | |
| </definition> | |
| <definition | |
| id="org.eclipse.efm.execution.launchconfiguration.definition.isEnabledCommandGraphViz"> | |
| <or> | |
| <with | |
| variable="selection"> | |
| <count | |
| value="1"> | |
| </count> | |
| <iterate | |
| operator="and"> | |
| <instanceof | |
| value="org.eclipse.core.resources.IFile"> | |
| </instanceof> | |
| <test | |
| property="org.eclipse.core.resources.extension" | |
| value="gv"> | |
| </test> | |
| </iterate> | |
| </with> | |
| </or> | |
| </definition> | |
| <definition | |
| id="org.eclipse.efm.execution.launchconfiguration.definition.isEnabledCommandCheckingLiveness"> | |
| <or> | |
| <with | |
| variable="selection"> | |
| <count | |
| value="1"> | |
| </count> | |
| <iterate | |
| operator="and"> | |
| <instanceof | |
| value="org.eclipse.core.resources.IContainer"> | |
| </instanceof> | |
| </iterate> | |
| </with> | |
| </or> | |
| </definition> | |
| </extension> | |
| <extension | |
| point="org.eclipse.ui.commands"> | |
| <category | |
| description="Run Symbolic Execution Workflow" | |
| id="org.eclipse.efm.execution.launchconfiguration.commands.category.runSEW" | |
| name="Run SEW"> | |
| </category> | |
| <command | |
| categoryId="org.eclipse.efm.execution.launchconfiguration.commands.category.runSEW" | |
| description="Run Symbolic Execution Workflow" | |
| id="org.eclipse.efm.execution.launchconfiguration.command.runSEW" | |
| name="Run SEW"> | |
| </command> | |
| </extension> | |
| <extension | |
| point="org.eclipse.ui.handlers"> | |
| <handler | |
| class="org.eclipse.efm.execution.launchconfiguration.handlers.RunSewHandler" | |
| commandId="org.eclipse.efm.execution.launchconfiguration.command.runSEW"> | |
| <enabledWhen> | |
| <reference | |
| definitionId="org.eclipse.efm.execution.launchconfiguration.definition.isEnabledCommandRunSEW"> | |
| </reference> | |
| </enabledWhen> | |
| </handler> | |
| </extension> | |
| <extension | |
| point="org.eclipse.ui.commands"> | |
| <category | |
| id="org.eclipse.efm.execution.launchconfiguration.commands.category.graphviz" | |
| name="GraphViz"> | |
| </category> | |
| <command | |
| categoryId="org.eclipse.efm.execution.launchconfiguration.commands.category.graphviz" | |
| description="Graph Visualization Tool" | |
| id="org.eclipse.efm.execution.launchconfiguration.command.graphviz" | |
| name="GraphViz"> | |
| </command> | |
| </extension> | |
| <extension | |
| point="org.eclipse.ui.handlers"> | |
| <handler | |
| class="org.eclipse.efm.execution.launchconfiguration.handlers.GraphVizHandler" | |
| commandId="org.eclipse.efm.execution.launchconfiguration.command.graphviz"> | |
| <enabledWhen> | |
| <reference | |
| definitionId="org.eclipse.efm.execution.launchconfiguration.definition.isEnabledCommandGraphViz"> | |
| </reference> | |
| </enabledWhen> | |
| </handler> | |
| </extension> | |
| <!-- AFIN DE TEST RAPIDE --> | |
| <extension | |
| point="org.eclipse.ui.commands"> | |
| <category | |
| description="Checking Liveness of Poligraphs in sectected Folder" | |
| id="org.eclipse.efm.execution.launchconfiguration.commands.category.runTest" | |
| name="Checking Liveness ..."> | |
| </category> | |
| <command | |
| categoryId="org.eclipse.efm.execution.launchconfiguration.commands.category.runTest" | |
| description="Checking Liveness of Poligraphs in sectected Folder" | |
| id="org.eclipse.efm.execution.launchconfiguration.command.runTest" | |
| name="Checking Liveness ..."> | |
| </command> | |
| </extension> | |
| <extension | |
| point="org.eclipse.ui.handlers"> | |
| <handler | |
| class="org.eclipse.efm.execution.launchconfiguration.handlers.RunTestHandler" | |
| commandId="org.eclipse.efm.execution.launchconfiguration.command.runTest"> | |
| <enabledWhen> | |
| <reference | |
| definitionId="org.eclipse.efm.execution.launchconfiguration.definition.isEnabledCommandCheckingLiveness"> | |
| </reference> | |
| </enabledWhen> | |
| </handler> | |
| </extension> | |
| <!-- AFIN DE TEST RAPIDE --> | |
| <extension | |
| point="org.eclipse.ui.bindings"> | |
| <key | |
| commandId="org.eclipse.efm.execution.launchconfiguration.command.graphviz" | |
| contextId="org.eclipse.ui.contexts.window" | |
| schemeId="org.eclipse.ui.defaultAcceleratorConfiguration" | |
| sequence="M1+7"> | |
| </key> | |
| </extension> | |
| <extension | |
| point="org.eclipse.ui.menus"> | |
| <menuContribution | |
| locationURI="menu:org.eclipse.ui.main.menu?after=additions"> | |
| <menu | |
| id="org.eclipse.efm.execution.launchconfiguration.menu.main" | |
| label="SEW" | |
| mnemonic="S" | |
| tooltip="Symbolic Execution Workflow"> | |
| <command | |
| commandId="org.eclipse.efm.execution.launchconfiguration.command.runSEW" | |
| icon="platform:/plugin/org.eclipse.efm.ui/resources/icons/run_exc.gif" | |
| id="org.eclipse.efm.execution.launchconfiguration.menu.runSEW" | |
| label="Run Symbolic Execution Workflow" | |
| mnemonic="S"> | |
| </command> | |
| <command | |
| commandId="org.eclipse.efm.execution.launchconfiguration.command.graphviz" | |
| icon="platform:/plugin/org.eclipse.efm.ui/resources/icons/graph.ico" | |
| id="org.eclipse.efm.execution.launchconfiguration.menu.graphviz" | |
| mnemonic="V"> | |
| </command> | |
| <!-- AFIN DE TEST RAPIDE --> | |
| <command | |
| commandId="org.eclipse.efm.execution.launchconfiguration.command.runTest" | |
| icon="platform:/plugin/org.eclipse.efm.ui/resources/icons/debug_exc.png" | |
| id="org.eclipse.efm.execution.launchconfiguration.menu.runTest" | |
| mnemonic="T"> | |
| </command> | |
| <!-- AFIN DE TEST RAPIDE --> | |
| </menu> | |
| </menuContribution> | |
| <menuContribution | |
| allPopups="true" | |
| locationURI="popup:org.eclipse.ui.popup.any?after=additions"> | |
| <menu | |
| icon="platform:/plugin/org.eclipse.efm.ui/resources/icons/diversity_icon.png" | |
| id="org.eclipse.efm.execution.launchconfiguration.menu.popup.sew" | |
| label="Symbolic Execution Workflow"> | |
| <visibleWhen | |
| checkEnabled="false"> | |
| <reference | |
| definitionId="org.eclipse.efm.execution.launchconfiguration.definition.isEnabledMenuSEW"> | |
| </reference> | |
| </visibleWhen> | |
| <command | |
| commandId="org.eclipse.efm.execution.launchconfiguration.command.runSEW" | |
| icon="platform:/plugin/org.eclipse.efm.ui/resources/icons/run_exc.gif" | |
| id="org.eclipse.efm.execution.launchconfiguration.menu.runSEW" | |
| mnemonic="S"> | |
| </command> | |
| <command | |
| commandId="org.eclipse.efm.execution.launchconfiguration.command.graphviz" | |
| icon="platform:/plugin/org.eclipse.efm.ui/resources/icons/graph.ico" | |
| id="org.eclipse.efm.execution.launchconfiguration.menu.graphviz" | |
| mnemonic="V"> | |
| </command> | |
| <!-- AFIN DE TEST RAPIDE --> | |
| <command | |
| commandId="org.eclipse.efm.execution.launchconfiguration.command.runTest" | |
| icon="platform:/plugin/org.eclipse.efm.ui/resources/icons/debug_exc.png" | |
| id="org.eclipse.efm.execution.launchconfiguration.menu.runTest" | |
| mnemonic="T"> | |
| </command> | |
| <!-- AFIN DE TEST RAPIDE --> | |
| </menu> | |
| </menuContribution> | |
| </extension> | |
| <extension | |
| point="org.eclipse.ui.commands"> | |
| <category | |
| description="Symbolic Execution Workflow Tools" | |
| id="org.eclipse.efm.execution.launchconfiguration.category.tools" | |
| name="SEW Tools"> | |
| </category> | |
| <command | |
| categoryId="org.eclipse.efm.execution.launchconfiguration.category.tools" | |
| defaultHandler="org.eclipse.efm.execution.launchconfiguration.handlers.RunSewToolsHandler" | |
| id="org.eclipse.efm.execution.launchconfiguration.command.tools" | |
| name="SEW Tools"> | |
| <commandParameter | |
| id="org.eclipse.efm.execution.launchconfiguration.commandParameter.message" | |
| name="Message" | |
| optional="true"> | |
| </commandParameter> | |
| </command> | |
| </extension> | |
| <extension | |
| point="org.eclipse.ui.menus"> | |
| <menuContribution | |
| allPopups="false" | |
| locationURI="toolbar:org.eclipse.ui.main.toolbar?after=additions"> | |
| <toolbar | |
| id="org.eclipse.efm.execution.launchconfiguration.toolbar.tools" | |
| label="SEW Tools"> | |
| <command | |
| commandId="org.eclipse.efm.execution.launchconfiguration.command.tools" | |
| icon="platform:/plugin/org.eclipse.efm.ui/resources/icons/diversity_icon.png" | |
| id="org.eclipse.efm.execution.launchconfiguration.dropdowncommand.tools" | |
| style="pulldown" | |
| tooltip="Symbolic Execution Workflow Tools"> | |
| </command> | |
| <!-- AFIN DE TEST RAPIDE - -> | |
| <command | |
| commandId="org.eclipse.efm.execution.launchconfiguration.command.runTest" | |
| icon="platform:/plugin/org.eclipse.efm.ui/resources/icons/debug_exc.png" | |
| id="org.eclipse.efm.execution.launchconfiguration.menu.runTest" | |
| mnemonic="T" | |
| tooltip="Test New Features"> | |
| </command> | |
| <!- - AFIN DE TEST RAPIDE --> | |
| </toolbar> | |
| </menuContribution> | |
| <menuContribution | |
| allPopups="false" | |
| locationURI="menu:org.eclipse.efm.execution.launchconfiguration.dropdowncommand.tools"> | |
| <command | |
| commandId="org.eclipse.efm.execution.launchconfiguration.command.runSEW" | |
| icon="platform:/plugin/org.eclipse.efm.ui/resources/icons/run_exc.gif" | |
| id="org.eclipse.efm.execution.launchconfiguration.toolbars.runSEW" | |
| tooltip="run Symbolic Execution Workflow"> | |
| </command> | |
| <command | |
| commandId="org.eclipse.efm.execution.launchconfiguration.command.graphviz" | |
| icon="platform:/plugin/org.eclipse.efm.ui/resources/icons/graph.ico" | |
| id="org.eclipse.efm.execution.launchconfiguration.menu.graphviz" | |
| mnemonic="V" | |
| tooltip="Graph Visualization"> | |
| </command> | |
| <!-- AFIN DE TEST RAPIDE --> | |
| <command | |
| commandId="org.eclipse.efm.execution.launchconfiguration.command.runTest" | |
| icon="platform:/plugin/org.eclipse.efm.ui/resources/icons/debug_exc.png" | |
| id="org.eclipse.efm.execution.launchconfiguration.menu.runTest" | |
| mnemonic="T" | |
| tooltip="Checking Liveness of Poligraphs in sectected Folder"> | |
| </command> | |
| <!-- AFIN DE TEST RAPIDE --> | |
| </menuContribution> | |
| </extension> | |
| <extension | |
| point="org.eclipse.ui.views"> | |
| <view | |
| category="org.eclipse.efm.ui.category.views" | |
| class="org.eclipse.efm.execution.launchconfiguration.ui.views.SymbexConsoleView" | |
| icon="platform:/plugin/org.eclipse.efm.ui/resources/icons/diversity_icon.png" | |
| id="org.eclipse.efm.execution.launchconfiguration.ui.views.SymbexConsoleView" | |
| name="New Symbex Console"> | |
| </view> | |
| </extension> | |
| <extension | |
| point="org.eclipse.ui.views"> | |
| <view | |
| category="org.eclipse.efm.ui.category.views" | |
| class="org.eclipse.efm.execution.launchconfiguration.ui.views.SymbolicExecutionView" | |
| icon="platform:/plugin/org.eclipse.efm.ui/resources/icons/diversity_icon.png" | |
| id="org.eclipse.efm.execution.launchconfiguration.ui.views.SymbolicExecutionView" | |
| name="Symbex Console"> | |
| </view> | |
| </extension> | |
| </plugin> |