| <?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.launchConfigurationType" | |
| 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.launchConfigurationTabGroup.diversityApplication" | |
| helpContextId="org.eclipse.efm.execution.launchconfiguration.efm_runconf_tabgroup" | |
| type="org.eclipse.efm.execution.launchconfiguration.launchConfigurationType"> | |
| </launchConfigurationTabGroup> | |
| </extension> | |
| <extension | |
| point="org.eclipse.debug.ui.launchConfigurationTypeImages"> | |
| <launchConfigurationTypeImage | |
| configTypeID="org.eclipse.efm.execution.launchconfiguration.launchConfigurationType" | |
| icon="resources/icons/diversity.png" | |
| id="org.eclipse.efm.execution.launchconfiguration.launchConfigurationTypeImage"> | |
| </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> | |
| <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> | |
| </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> | |
| </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> | |
| <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="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="resources/icons/favicon.ico" | |
| id="org.eclipse.efm.execution.launchconfiguration.menu.graphviz" | |
| mnemonic="V"> | |
| </command> | |
| </menu> | |
| </menuContribution> | |
| <menuContribution | |
| allPopups="true" | |
| locationURI="popup:org.eclipse.ui.popup.any?after=additions"> | |
| <menu | |
| icon="resources/icons/diversity.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="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="resources/icons/favicon.ico" | |
| id="org.eclipse.efm.execution.launchconfiguration.menu.graphviz" | |
| mnemonic="V"> | |
| </command> | |
| </menu> | |
| </menuContribution> | |
| </extension> | |
| <extension | |
| point="org.eclipse.ui.preferencePages"> | |
| <page | |
| class="org.eclipse.efm.execution.launchconfiguration.ui.preferences.MainPreferencePage" | |
| id="org.eclipse.efm.execution.launchconfiguration.preferencePages.sewPage" | |
| name="Symbolic Execution Workflow"> | |
| </page> | |
| <page | |
| category="org.eclipse.efm.execution.launchconfiguration.preferencePages.sewPage" | |
| class="org.eclipse.efm.execution.launchconfiguration.ui.preferences.ExternalToolsPreferencePage" | |
| id="org.eclipse.efm.execution.launchconfiguration.ui.preferences.externalToolsPage" | |
| name="External Tools"> | |
| </page> | |
| <page | |
| category="org.eclipse.efm.execution.launchconfiguration.preferencePages.sewPage" | |
| class="org.eclipse.efm.execution.launchconfiguration.ui.preferences.LaunchConfigurationPreferencePage" | |
| id="org.eclipse.efm.execution.launchconfiguration.ui.preferences.launchConfigurationPage" | |
| name="Launch Configuration"> | |
| </page> | |
| </extension> | |
| <extension | |
| point="org.eclipse.core.runtime.preferences"> | |
| <initializer | |
| class="org.eclipse.efm.execution.launchconfiguration.ui.preferences.ToolPreferenceInitializer"> | |
| </initializer> | |
| </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="resources/icons/diversity.png" | |
| id="org.eclipse.efm.execution.launchconfiguration.dropdowncommand.tools" | |
| style="pulldown" | |
| tooltip="Symbolic Execution Workflow Tools"> | |
| </command> | |
| </toolbar> | |
| </menuContribution> | |
| <menuContribution | |
| allPopups="false" | |
| locationURI="menu:org.eclipse.efm.execution.launchconfiguration.dropdowncommand.tools"> | |
| <command | |
| commandId="org.eclipse.efm.execution.launchconfiguration.command.runSEW" | |
| icon="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="resources/icons/favicon.ico" | |
| id="org.eclipse.efm.execution.launchconfiguration.menu.graphviz" | |
| mnemonic="V" | |
| tooltip="Graph Visualization"> | |
| </command> | |
| </menuContribution> | |
| </extension> | |
| <extension | |
| point="org.eclipse.ui.views"> | |
| <category | |
| id="org.eclipse.efm.execution.launchconfiguration.sewView" | |
| name="Symbolic Execution Workflow"> | |
| </category> | |
| <view | |
| category="org.eclipse.efm.execution.launchconfiguration.sewView" | |
| class="org.eclipse.efm.execution.launchconfiguration.ui.views.SymbolicExecutionView" | |
| icon="icons/alt_diversity.png" | |
| id="org.eclipse.efm.execution.launchconfiguration.ui.views.SymbolicExecutionView" | |
| name="SEW Console"> | |
| </view> | |
| </extension> | |
| <extension | |
| point="org.eclipse.ui.perspectiveExtensions"> | |
| <perspectiveExtension | |
| targetID="org.eclipse.jdt.ui.JavaPerspective"> | |
| <view | |
| id="org.eclipse.efm.execution.launchconfiguration.ui.views.SymbolicExecutionView" | |
| ratio="0.5" | |
| relationship="right" | |
| relative="org.eclipse.ui.views.ProblemView"> | |
| </view> | |
| </perspectiveExtension> | |
| </extension> | |
| <extension point="org.eclipse.emf.ecore.generated_package"> | |
| <!-- @generated workflow --> | |
| <package | |
| uri="http://www.eclipse.org/efm/Workflow" | |
| class="org.eclipse.efm.execution.launchconfiguration.workflow.WorkflowPackage" | |
| genModel="resources/ecore/workflow.genmodel"/> | |
| </extension> | |
| <extension point="org.eclipse.emf.ecore.generated_package"> | |
| <!-- @generated workflow --> | |
| <package | |
| uri="http://www.eclipse.org/efm/Workflow/Common" | |
| class="org.eclipse.efm.execution.launchconfiguration.workflow.common.CommonPackage" | |
| genModel="resources/ecore/workflow.genmodel"/> | |
| </extension> | |
| <extension point="org.eclipse.emf.ecore.generated_package"> | |
| <!-- @generated workflow --> | |
| <package | |
| uri="http://www.eclipse.org/efm/Workflow/Coverage" | |
| class="org.eclipse.efm.execution.launchconfiguration.workflow.coverage.CoveragePackage" | |
| genModel="resources/ecore/workflow.genmodel"/> | |
| </extension> | |
| <extension point="org.eclipse.emf.ecore.generated_package"> | |
| <!-- @generated workflow --> | |
| <package | |
| uri="http://www.eclipse.org/efm/Workflow/Test" | |
| class="org.eclipse.efm.execution.launchconfiguration.workflow.test.TestPackage" | |
| genModel="resources/ecore/workflow.genmodel"/> | |
| </extension> | |
| <extension point="org.eclipse.emf.ecore.generated_package"> | |
| <!-- @generated workflow --> | |
| <package | |
| uri="http://www.eclipse.org/efm/Workflow/Serializer" | |
| class="org.eclipse.efm.execution.launchconfiguration.workflow.serializer.SerializerPackage" | |
| genModel="resources/ecore/workflow.genmodel"/> | |
| </extension> | |
| </plugin> |