| <?xml version="1.0" encoding="UTF-8"?>
|
| <?eclipse version="3.4"?>
|
| <!--
|
|
|
| Copyright (c) 2017, MDH
|
| All rights reserved. This program and the accompanying materials
|
| are made available under the terms of the Eclipse Public License v1.0
|
| which accompanies this distribution, and is available at
|
| http://www.eclipse.org/legal/epl-v10.html
|
|
|
| Contributors:
|
| Irfan Sljivo <irfan.sljivo@mdh.se || irfan.sljivo@gmail.com>
|
| Initial API and implementation and/or initial documentation
|
| -->
|
|
|
| <plugin>
|
| <extension
|
| point="org.eclipse.ui.commands">
|
| <command
|
| defaultHandler="org.eclipse.opencert.chess.argumentGenerator.commands.ArgumentationGenerationHandler"
|
| id="org.eclipse.opencert.chess.argumentGenerator.argGenerator.id"
|
| name="Argument Generator">
|
| </command>
|
| </extension>
|
| <extension
|
| point="org.eclipse.ui.menus">
|
| <menuContribution
|
| locationURI="menu:org.polarsys.chess.mainMenu">
|
| <menu
|
| id="chess.menu.argument.id"
|
| label="Argumentation">
|
| <command
|
| commandId="org.eclipse.opencert.chess.argumentGenerator.argGenerator.id"
|
| label="Generate Argument-Fragments (OpenCert)"
|
| style="push">
|
| <visibleWhen
|
| checkEnabled="false">
|
| <or>
|
| <with
|
| variable="activeEditorId">
|
| <equals
|
| value="org.eclipse.uml2.uml.editor.presentation.UMLEditorID">
|
| </equals>
|
| </with>
|
| <with
|
| variable="activeEditorInput">
|
| <adapt
|
| type="org.eclipse.core.resources.IResource">
|
| </adapt>
|
| </with>
|
| </or>
|
| </visibleWhen>
|
| </command>
|
| </menu>
|
| </menuContribution>
|
| </extension> |
| </plugin>
|