<?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> |