| <?xml version="1.0" encoding="UTF-8"?> |
| <?eclipse version="3.0"?> |
| <!-- |
| <copyright>
|
| Copyright (c) 2013 TECNALIA Research & Innovation
|
| All rights reserved. This program and the accompanying materials
|
| are made available under the term conditions of the Eclipse Public Licen v1.0
|
| which accompanish this distribution, and is available at
|
| http://www.eclipse.org/legal/epl-v10.html
|
|
|
| Contributors
|
| Alejandra Ruiz: meta model design, development and implementation
|
| MÂȘ Carmen Palacios: Development, implementation and maintenance
|
| </copyright>
|
|
|
| |
| --> |
| <plugin> |
| |
| <extension point="org.eclipse.team.core.fileTypes" id="repo-ftype"> |
| <?gmfgen generated="true"?> |
| <fileTypes type="text" extension="arg_diagram"/> |
| </extension> |
| |
| <extension point="org.eclipse.emf.ecore.extension_parser" id="resource-factory"> |
| <?gmfgen generated="true"?> |
| <parser |
| type="arg_diagram" |
| class="org.eclipse.gmf.runtime.emf.core.resources.GMFResourceFactory"> |
| </parser> |
| </extension> |
| |
| <!-- MCP --> |
| <extension point="org.eclipse.emf.ecore.extension_parser" id="resource-factory"> |
| <?gmfgen generated="false"?> |
| <parser |
| type="arg" |
| class="org.eclipse.gmf.runtime.emf.core.resources.GMFResourceFactory"> |
| </parser> |
| </extension> |
| <!-- MCP --> |
| |
| <extension point="org.eclipse.ui.editors" id="gmf-editor"> |
| <?gmfgen generated="true"?> |
| <editor |
| id="org.eclipse.opencert.sam.arg.arg.diagram.part.ArgDiagramEditorID" |
| name="%editorName" |
| icon="icons/obj16/ArgDiagramFile.gif" |
| extensions="arg_diagram" |
| default="true" |
| class="org.eclipse.opencert.sam.arg.arg.diagram.part.ArgDiagramEditor" |
| matchingStrategy="org.eclipse.opencert.sam.arg.arg.diagram.part.ArgMatchingStrategy" |
| contributorClass="org.eclipse.opencert.sam.arg.arg.diagram.part.ArgDiagramActionBarContributor"> |
| </editor> |
| </extension> |
| |
| <extension point="org.eclipse.ui.contexts" id="ui-context"> |
| <?gmfgen generated="true"?> |
| <context |
| description="%context.description" |
| id="org.eclipse.opencert.sam.arg.arg.diagram.ui.diagramContext" |
| name="%context.name" |
| parentId="org.eclipse.gmf.runtime.diagram.ui.diagramContext"> |
| </context> |
| </extension> |
| |
| <extension point="org.eclipse.ui.newWizards" id="creation-wizard"> |
| <?gmfgen generated="true"?> |
| <wizard |
| name="Arg Diagram to File" |
| icon="icons/obj16/ArgDiagramFile.gif" |
| category="org.eclipse.opencert.infra.ui.opencert" |
| class="org.eclipse.opencert.sam.arg.arg.diagram.part.ArgCreationWizard" |
| id="org.eclipse.opencert.sam.arg.arg.diagram.part.ArgCreationWizardID"> |
| <description>Graphic editor for Arg models to File</description> |
| </wizard> |
| </extension> |
| |
| <extension point="org.eclipse.ui.popupMenus" id="init-diagram-action"> |
| <?gmfgen generated="true"?> |
| <objectContribution |
| id="org.eclipse.opencert.sam.arg.diagram.InitDiagram" |
| nameFilter="*.arg" |
| objectClass="org.eclipse.core.resources.IFile"> |
| <action |
| label="%initDiagramActionLabel" |
| class="org.eclipse.opencert.sam.arg.arg.diagram.part.ArgInitDiagramFileAction" |
| menubarPath="additions" |
| enablesFor="1" |
| id="org.eclipse.opencert.sam.arg.diagram.InitDiagramAction"> |
| </action> |
| </objectContribution> |
| </extension> |
| |
| <extension point="org.eclipse.gmf.runtime.common.ui.services.action.globalActionHandlerProviders" id="global-actions"> |
| <?gmfgen generated="true"?> |
| <GlobalActionHandlerProvider |
| class="org.eclipse.gmf.runtime.diagram.ui.providers.DiagramGlobalActionHandlerProvider" |
| id="ArgPresentation"> |
| <Priority name="Lowest"/> |
| <ViewId id="org.eclipse.opencert.sam.arg.arg.diagram.part.ArgDiagramEditorID"> |
| <ElementType class="org.eclipse.gmf.runtime.diagram.ui.editparts.IGraphicalEditPart"> |
| <GlobalActionId actionId="delete"/> |
| </ElementType> |
| <ElementType class="org.eclipse.gmf.runtime.diagram.ui.editparts.DiagramEditPart"> |
| <GlobalActionId actionId="save"/> |
| </ElementType> |
| <ElementType class="org.eclipse.gmf.runtime.diagram.ui.editparts.IGraphicalEditPart"> |
| <GlobalActionId actionId="save"> |
| </GlobalActionId> |
| </ElementType> |
| </ViewId> |
| </GlobalActionHandlerProvider> |
| <GlobalActionHandlerProvider |
| class="org.eclipse.gmf.runtime.diagram.ui.printing.render.providers.DiagramWithPrintGlobalActionHandlerProvider" |
| id="ArgPresentationPrint"> |
| <Priority name="Lowest"/> |
| <ViewId id="org.eclipse.opencert.sam.arg.arg.diagram.part.ArgDiagramEditorID"> |
| <ElementType class="org.eclipse.gmf.runtime.diagram.ui.editparts.IGraphicalEditPart"> |
| <GlobalActionId actionId="print"/> |
| </ElementType> |
| </ViewId> |
| </GlobalActionHandlerProvider> |
| <GlobalActionHandlerProvider |
| class="org.eclipse.gmf.runtime.diagram.ui.providers.ide.providers.DiagramIDEGlobalActionHandlerProvider" |
| id="ArgPresentationIDE"> |
| <Priority name="Lowest"/> |
| <ViewId id="org.eclipse.opencert.sam.arg.arg.diagram.part.ArgDiagramEditorID"> |
| <ElementType class="org.eclipse.gmf.runtime.diagram.ui.editparts.IGraphicalEditPart"> |
| <GlobalActionId actionId="bookmark"/> |
| </ElementType> |
| </ViewId> |
| </GlobalActionHandlerProvider> |
| <GlobalActionHandlerProvider |
| class="org.eclipse.gmf.runtime.diagram.ui.render.providers.DiagramUIRenderGlobalActionHandlerProvider" |
| id="ArgRender"> |
| <Priority name="Lowest"/> |
| <ViewId id="org.eclipse.opencert.sam.arg.arg.diagram.part.ArgDiagramEditorID"> |
| <ElementType class="org.eclipse.gmf.runtime.diagram.ui.editparts.IGraphicalEditPart"> |
| <GlobalActionId actionId="cut"/> |
| <GlobalActionId actionId="copy"/> |
| <GlobalActionId actionId="paste"/> |
| </ElementType> |
| </ViewId> |
| </GlobalActionHandlerProvider> |
| </extension> |
| |
| |
| <extension point="org.eclipse.gmf.runtime.common.ui.services.markerNavigationProviders" id="markers-navigation"> |
| <?gmfgen generated="true"?> |
| <MarkerNavigationProvider class="org.eclipse.opencert.sam.arg.arg.diagram.providers.ArgMarkerNavigationProvider"> |
| <MarkerType name="org.eclipse.opencert.sam.arg.diagram.diagnostic"/> |
| <Priority name="Lowest"/> |
| </MarkerNavigationProvider> |
| </extension> |
| |
| <extension id="diagnostic" name="Arg Plugin problems" point="org.eclipse.core.resources.markers"> |
| <?gmfgen generated="true"?> |
| <super type="org.eclipse.core.resources.problemmarker"/> |
| <super type="org.eclipse.gmf.runtime.common.ui.services.marker"/> |
| <persistent value="true"/> |
| </extension> |
| |
| <extension id="validationDecoratorProvider" name="ValidationDecorations" point="org.eclipse.gmf.runtime.diagram.ui.decoratorProviders"> |
| <?gmfgen generated="true"?> |
| <decoratorProvider class="org.eclipse.opencert.sam.arg.arg.diagram.providers.ArgValidationDecoratorProvider"> |
| <Priority name="Lowest"/> |
| <object class="org.eclipse.gmf.runtime.diagram.ui.editparts.IPrimaryEditPart(org.eclipse.gmf.runtime.diagram.ui)" id="PRIMARY_VIEW"/> |
| <context decoratorTargets="PRIMARY_VIEW"/> |
| </decoratorProvider> |
| </extension> |
| |
| <extension point="org.eclipse.core.runtime.preferences" id="prefs"> |
| <?gmfgen generated="true"?> |
| <initializer class="org.eclipse.opencert.sam.arg.arg.diagram.preferences.DiagramPreferenceInitializer"/> |
| </extension> |
| |
| <extension point="org.eclipse.ui.preferencePages" id="prefpages"> |
| <?gmfgen generated="true"?> |
| <page |
| id="org.eclipse.opencert.sam.arg.diagram.general" |
| name="%prefpage.org.eclipse.opencert.sam.arg.diagram.general" |
| class="org.eclipse.opencert.sam.arg.arg.diagram.preferences.DiagramGeneralPreferencePage"> |
| </page> |
| <page |
| id="org.eclipse.opencert.sam.arg.diagram.appearance" |
| name="%prefpage.org.eclipse.opencert.sam.arg.diagram.appearance" |
| category="org.eclipse.opencert.sam.arg.diagram.general" |
| class="org.eclipse.opencert.sam.arg.arg.diagram.preferences.DiagramAppearancePreferencePage"> |
| </page> |
| <page |
| id="org.eclipse.opencert.sam.arg.diagram.connections" |
| name="%prefpage.org.eclipse.opencert.sam.arg.diagram.connections" |
| category="org.eclipse.opencert.sam.arg.diagram.general" |
| class="org.eclipse.opencert.sam.arg.arg.diagram.preferences.DiagramConnectionsPreferencePage"> |
| </page> |
| <page |
| id="org.eclipse.opencert.sam.arg.diagram.printing" |
| name="%prefpage.org.eclipse.opencert.sam.arg.diagram.printing" |
| category="org.eclipse.opencert.sam.arg.diagram.general" |
| class="org.eclipse.opencert.sam.arg.arg.diagram.preferences.DiagramPrintingPreferencePage"> |
| </page> |
| <page |
| id="org.eclipse.opencert.sam.arg.diagram.rulersAndGrid" |
| name="%prefpage.org.eclipse.opencert.sam.arg.diagram.rulersAndGrid" |
| category="org.eclipse.opencert.sam.arg.diagram.general" |
| class="org.eclipse.opencert.sam.arg.arg.diagram.preferences.DiagramRulersAndGridPreferencePage"> |
| </page> |
| </extension> |
| |
| <extension point="org.eclipse.ui.views.properties.tabbed.propertyContributor" id="prop-contrib"> |
| <?gmfgen generated="true"?> |
| <propertyContributor |
| contributorId="org.eclipse.opencert.sam.arg.diagram" |
| labelProvider="org.eclipse.opencert.sam.arg.arg.diagram.sheet.ArgSheetLabelProvider"> |
| <propertyCategory category="domain"/> |
| <propertyCategory category="visual"/> |
| <propertyCategory category="extra"/> |
| </propertyContributor> |
| </extension> |
| |
| <extension point="org.eclipse.ui.views.properties.tabbed.propertyTabs" id="proptabs"> |
| <?gmfgen generated="true"?> |
| <propertyTabs contributorId="org.eclipse.opencert.sam.arg.diagram"> |
| <propertyTab |
| category="visual" |
| id="property.tab.AppearancePropertySection" |
| label="%tab.appearance"/> |
| <propertyTab |
| category="visual" |
| id="property.tab.DiagramPropertySection" |
| label="%tab.diagram"/> |
| </propertyTabs> |
| </extension> |
| |
| <extension point="org.eclipse.ui.views.properties.tabbed.propertySections" id="propsections"> |
| <?gmfgen generated="true"?> |
| <propertySections contributorId="org.eclipse.opencert.sam.arg.diagram"> |
| <propertySection id="property.section.ConnectorAppearancePropertySection" |
| filter="org.eclipse.gmf.runtime.diagram.ui.properties.filters.ConnectionEditPartPropertySectionFilter" |
| class="org.eclipse.gmf.runtime.diagram.ui.properties.sections.appearance.ConnectionAppearancePropertySection" |
| tab="property.tab.AppearancePropertySection"> |
| </propertySection> |
| <propertySection id="property.section.ShapeColorAndFontPropertySection" |
| filter="org.eclipse.gmf.runtime.diagram.ui.properties.filters.ShapeEditPartPropertySectionFilter" |
| class="org.eclipse.gmf.runtime.diagram.ui.properties.sections.appearance.ShapeColorsAndFontsPropertySection" |
| tab="property.tab.AppearancePropertySection"> |
| </propertySection> |
| <propertySection id="property.section.DiagramColorsAndFontsPropertySection" |
| filter="org.eclipse.gmf.runtime.diagram.ui.properties.filters.DiagramEditPartPropertySectionFilter" |
| class="org.eclipse.gmf.runtime.diagram.ui.properties.sections.appearance.DiagramColorsAndFontsPropertySection" |
| tab="property.tab.AppearancePropertySection"> |
| </propertySection> |
| <propertySection id="property.section.RulerGridPropertySection" |
| filter="org.eclipse.gmf.runtime.diagram.ui.properties.filters.DiagramEditPartPropertySectionFilter" |
| class="org.eclipse.gmf.runtime.diagram.ui.properties.sections.grid.RulerGridPropertySection" |
| tab="property.tab.DiagramPropertySection"> |
| </propertySection> |
| <propertySection |
| id="property.section.domain" |
| tab="property.tab.domain" |
| class="org.eclipse.opencert.sam.arg.arg.diagram.sheet.ArgPropertySection"> |
| <input type="org.eclipse.gmf.runtime.notation.View"/> |
| <input type="org.eclipse.gef.EditPart"/> |
| <input type="org.eclipse.opencert.sam.arg.arg.diagram.navigator.ArgAbstractNavigatorItem"/> |
| </propertySection> |
| </propertySections> |
| </extension> |
| |
| <extension point="org.eclipse.gmf.runtime.diagram.core.viewProviders" id="view-provider"> |
| <?gmfgen generated="true"?> |
| <viewProvider class="org.eclipse.opencert.sam.arg.arg.diagram.providers.ArgViewProvider"> |
| <Priority name="Lowest"/> |
| <object id="referencing-diagrams" class="org.eclipse.gmf.runtime.notation.Diagram"> |
| <method name="getType()" value="arg"/> |
| </object> |
| <context viewClass="org.eclipse.gmf.runtime.notation.Node" containerViews="referencing-diagrams"/> |
| <context viewClass="org.eclipse.gmf.runtime.notation.Diagram" semanticHints="Arg"/> |
| <context viewClass="org.eclipse.gmf.runtime.notation.Node" semanticHints="2001,2002,2003,2004,2005,2006,2007,3001"/> |
| <context viewClass="org.eclipse.gmf.runtime.notation.Edge" semanticHints="4001,4002,4003,4004,4005"/> |
| </viewProvider> |
| </extension> |
| |
| <extension point="org.eclipse.gmf.runtime.diagram.ui.editpartProviders" id="ep-provider"> |
| <?gmfgen generated="true"?> |
| <editpartProvider class="org.eclipse.opencert.sam.arg.arg.diagram.providers.ArgEditPartProvider"> |
| <Priority name="Lowest"/> |
| <object class="org.eclipse.gmf.runtime.notation.Diagram" id="generated-diagram"> |
| <method name="getType()" value="Arg"/> |
| </object> |
| <object class="org.eclipse.gmf.runtime.notation.Node" id="generated-nodes"> |
| <method name="getType()" value="2001,2002,2003,2004,2005,2006,2007,3001"/> |
| </object> |
| <object class="org.eclipse.gmf.runtime.notation.Edge" id="generated-links"> |
| <method name="getType()" value="4001,4002,4003,4004,4005"/> |
| </object> |
| <object class="org.eclipse.gmf.runtime.notation.Node" id="generated-labels"> |
| <method name="getType()" value="5003,5004,5005,5006,5007,5008,5009,5010,5011,5012,5013,5014,5015,5016,5017,5001,5002"/> |
| </object> |
| <object class="org.eclipse.gmf.runtime.notation.Node" id="generated-compartments"> |
| <method name="getType()" value=""/> |
| </object> |
| <context views="generated-diagram,generated-nodes,generated-links,generated-labels,generated-compartments"/> |
| </editpartProvider> |
| </extension> |
| |
| |
| <extension point="org.eclipse.gmf.runtime.emf.ui.modelingAssistantProviders" id="modelassist-provider"> |
| <?gmfgen generated="true"?> |
| <modelingAssistantProvider class="org.eclipse.opencert.sam.arg.arg.diagram.providers.assistants.ArgModelingAssistantProviderOfCaseEditPart"> |
| <Priority name="Lowest"/> |
| <object class="org.eclipse.opencert.sam.arg.arg.diagram.edit.parts.CaseEditPart" id="Case_1000"/> |
| <context elements="Case_1000"/> |
| </modelingAssistantProvider> |
| <modelingAssistantProvider class="org.eclipse.opencert.sam.arg.arg.diagram.providers.assistants.ArgModelingAssistantProviderOfClaimEditPart"> |
| <Priority name="Lowest"/> |
| <object class="org.eclipse.opencert.sam.arg.arg.diagram.edit.parts.ClaimEditPart" id="Claim_2001"/> |
| <context elements="Claim_2001"/> |
| </modelingAssistantProvider> |
| <modelingAssistantProvider class="org.eclipse.opencert.sam.arg.arg.diagram.providers.assistants.ArgModelingAssistantProviderOfAgreementEditPart"> |
| <Priority name="Lowest"/> |
| <object class="org.eclipse.opencert.sam.arg.arg.diagram.edit.parts.AgreementEditPart" id="Agreement_2002"/> |
| <context elements="Agreement_2002"/> |
| </modelingAssistantProvider> |
| <modelingAssistantProvider class="org.eclipse.opencert.sam.arg.arg.diagram.providers.assistants.ArgModelingAssistantProviderOfArgumentReasoningEditPart"> |
| <Priority name="Lowest"/> |
| <object class="org.eclipse.opencert.sam.arg.arg.diagram.edit.parts.ArgumentReasoningEditPart" id="ArgumentReasoning_2003"/> |
| <context elements="ArgumentReasoning_2003"/> |
| </modelingAssistantProvider> |
| <modelingAssistantProvider class="org.eclipse.opencert.sam.arg.arg.diagram.providers.assistants.ArgModelingAssistantProviderOfArgumentationEditPart"> |
| <Priority name="Lowest"/> |
| <object class="org.eclipse.opencert.sam.arg.arg.diagram.edit.parts.ArgumentationEditPart" id="Argumentation_2004"/> |
| <context elements="Argumentation_2004"/> |
| </modelingAssistantProvider> |
| <modelingAssistantProvider class="org.eclipse.opencert.sam.arg.arg.diagram.providers.assistants.ArgModelingAssistantProviderOfInformationElementCitationEditPart"> |
| <Priority name="Lowest"/> |
| <object class="org.eclipse.opencert.sam.arg.arg.diagram.edit.parts.InformationElementCitationEditPart" id="InformationElementCitation_2005"/> |
| <context elements="InformationElementCitation_2005"/> |
| </modelingAssistantProvider> |
| <modelingAssistantProvider class="org.eclipse.opencert.sam.arg.arg.diagram.providers.assistants.ArgModelingAssistantProviderOfArgumentElementCitationEditPart"> |
| <Priority name="Lowest"/> |
| <object class="org.eclipse.opencert.sam.arg.arg.diagram.edit.parts.ArgumentElementCitationEditPart" id="ArgumentElementCitation_2006"/> |
| <context elements="ArgumentElementCitation_2006"/> |
| </modelingAssistantProvider> |
| <modelingAssistantProvider class="org.eclipse.opencert.sam.arg.arg.diagram.providers.assistants.ArgModelingAssistantProviderOfChoiceEditPart"> |
| <Priority name="Lowest"/> |
| <object class="org.eclipse.opencert.sam.arg.arg.diagram.edit.parts.ChoiceEditPart" id="Choice_2007"/> |
| <context elements="Choice_2007"/> |
| </modelingAssistantProvider> |
| <modelingAssistantProvider class="org.eclipse.opencert.sam.arg.arg.diagram.providers.assistants.ArgModelingAssistantProviderOfChoice2EditPart"> |
| <Priority name="Lowest"/> |
| <object class="org.eclipse.opencert.sam.arg.arg.diagram.edit.parts.Choice2EditPart" id="Choice_3001"/> |
| <context elements="Choice_3001"/> |
| </modelingAssistantProvider> |
| |
| </extension> |
| |
| |
| <extension point="org.eclipse.gmf.runtime.common.ui.services.iconProviders" id="icon-provider"> |
| <?gmfgen generated="true"?> |
| <IconProvider class="org.eclipse.opencert.sam.arg.arg.diagram.providers.ArgIconProvider"> |
| <Priority name="Low"/> |
| </IconProvider> |
| </extension> |
| |
| <extension point="org.eclipse.gmf.runtime.common.ui.services.parserProviders" id="parser-provider"> |
| <?gmfgen generated="true"?> |
| <ParserProvider class="org.eclipse.opencert.sam.arg.arg.diagram.providers.ArgParserProvider"> |
| <Priority name="Lowest"/> |
| </ParserProvider> |
| </extension> |
| |
| <extension point="org.eclipse.gmf.runtime.diagram.ui.decoratorProviders" id="decorator-provider"> |
| <?gmfgen generated="true"?> |
| <decoratorProvider class="org.eclipse.opencert.sam.arg.arg.diagram.providers.ArgShortcutsDecoratorProvider"> |
| <Priority name="Lowest"/> |
| <object class="org.eclipse.gmf.runtime.notation.Node(org.eclipse.gmf.runtime.notation)" id="generated-top-nodes"> |
| <method name="getType()" value="2001,2002,2003,2004,2005,2006,2007"/> |
| </object> |
| <context decoratorTargets="generated-top-nodes"/> |
| </decoratorProvider> |
| </extension> |
| |
| <extension point="org.eclipse.gmf.runtime.emf.type.core.elementTypes" id="element-types"> |
| <?gmfgen generated="true"?> |
| <metamodel nsURI="arg"> |
| <metamodelType |
| id="org.eclipse.opencert.sam.arg.diagram.Case_1000" |
| name="%metatype.name.Case_1000" |
| kind="org.eclipse.gmf.runtime.emf.type.core.IHintedType" |
| eclass="Case" |
| edithelper="org.eclipse.opencert.sam.arg.arg.diagram.edit.helpers.CaseEditHelper"> |
| <param name="semanticHint" value="1000"/> |
| </metamodelType> |
| </metamodel> |
| <metamodel nsURI="arg"> |
| <metamodelType |
| id="org.eclipse.opencert.sam.arg.diagram.Claim_2001" |
| name="%metatype.name.Claim_2001" |
| kind="org.eclipse.gmf.runtime.emf.type.core.IHintedType" |
| eclass="Claim" |
| edithelper="org.eclipse.opencert.sam.arg.arg.diagram.edit.helpers.ClaimEditHelper"> |
| <param name="semanticHint" value="2001"/> |
| </metamodelType> |
| <!-- |
| ARL changes (includes Assumption) |
| --> |
| <metamodelType |
| id="org.eclipse.opencert.sam.arg.diagram.Assumption_2000" |
| name="%metatype.name.Assumption_2000" |
| kind="org.eclipse.gmf.runtime.emf.type.core.IHintedType" |
| eclass="Claim" |
| edithelper="org.eclipse.opencert.sam.arg.arg.diagram.edit.helpers.ClaimEditHelper"> |
| <param name="semanticHint" value="2001"/> |
| </metamodelType> |
| |
| </metamodel> |
| <metamodel nsURI="arg"> |
| <metamodelType |
| id="org.eclipse.opencert.sam.arg.diagram.Agreement_2002" |
| name="%metatype.name.Agreement_2002" |
| kind="org.eclipse.gmf.runtime.emf.type.core.IHintedType" |
| eclass="Agreement" |
| edithelper="org.eclipse.opencert.sam.arg.arg.diagram.edit.helpers.AgreementEditHelper"> |
| <param name="semanticHint" value="2002"/> |
| </metamodelType> |
| </metamodel> |
| <metamodel nsURI="arg"> |
| <metamodelType |
| id="org.eclipse.opencert.sam.arg.diagram.ArgumentReasoning_2003" |
| name="%metatype.name.ArgumentReasoning_2003" |
| kind="org.eclipse.gmf.runtime.emf.type.core.IHintedType" |
| eclass="ArgumentReasoning" |
| edithelper="org.eclipse.opencert.sam.arg.arg.diagram.edit.helpers.ArgumentReasoningEditHelper"> |
| <param name="semanticHint" value="2003"/> |
| </metamodelType> |
| </metamodel> |
| <metamodel nsURI="arg"> |
| <metamodelType |
| id="org.eclipse.opencert.sam.arg.diagram.Argumentation_2004" |
| name="%metatype.name.Argumentation_2004" |
| kind="org.eclipse.gmf.runtime.emf.type.core.IHintedType" |
| eclass="Argumentation" |
| edithelper="org.eclipse.opencert.sam.arg.arg.diagram.edit.helpers.ArgumentationEditHelper"> |
| <param name="semanticHint" value="2004"/> |
| </metamodelType> |
| </metamodel> |
| <metamodel nsURI="arg"> |
| <metamodelType |
| id="org.eclipse.opencert.sam.arg.diagram.InformationElementCitation_2005" |
| name="%metatype.name.InformationElementCitation_2005" |
| kind="org.eclipse.gmf.runtime.emf.type.core.IHintedType" |
| eclass="InformationElementCitation" |
| edithelper="org.eclipse.opencert.sam.arg.arg.diagram.edit.helpers.InformationElementCitationEditHelper"> |
| <param name="semanticHint" value="2005"/> |
| </metamodelType> |
| <!-- |
| ARL changes (includes Justification, Context and Solution) |
| --> |
| <metamodelType |
| id="org.eclipse.opencert.sam.arg.diagram.Justification_3002" |
| name="%metatype.name.Justification_3002" |
| kind="org.eclipse.gmf.runtime.emf.type.core.IHintedType" |
| eclass="InformationElementCitation" |
| edithelper="org.eclipse.opencert.sam.arg.arg.diagram.edit.helpers.InformationElementCitationEditHelper"> |
| <param name="semanticHint" value="2005"/> |
| </metamodelType> |
| <metamodelType |
| id="org.eclipse.opencert.sam.arg.diagram.Context_3003" |
| name="%metatype.name.Context_3003" |
| kind="org.eclipse.gmf.runtime.emf.type.core.IHintedType" |
| eclass="InformationElementCitation" |
| edithelper="org.eclipse.opencert.sam.arg.arg.diagram.edit.helpers.InformationElementCitationEditHelper"> |
| <param name="semanticHint" value="2005"/> |
| </metamodelType> |
| <metamodelType |
| id="org.eclipse.opencert.sam.arg.diagram.Solution_3004" |
| name="%metatype.name.Solution_3004" |
| kind="org.eclipse.gmf.runtime.emf.type.core.IHintedType" |
| eclass="InformationElementCitation" |
| edithelper="org.eclipse.opencert.sam.arg.arg.diagram.edit.helpers.InformationElementCitationEditHelper"> |
| <param name="semanticHint" value="2005"/> |
| </metamodelType> |
| </metamodel> |
| <metamodel nsURI="arg"> |
| <metamodelType |
| id="org.eclipse.opencert.sam.arg.diagram.ArgumentElementCitation_2006" |
| name="%metatype.name.ArgumentElementCitation_2006" |
| kind="org.eclipse.gmf.runtime.emf.type.core.IHintedType" |
| eclass="ArgumentElementCitation" |
| edithelper="org.eclipse.opencert.sam.arg.arg.diagram.edit.helpers.ArgumentElementCitationEditHelper"> |
| <param name="semanticHint" value="2006"/> |
| </metamodelType> |
| <!-- |
| ARL changes (includes Justification, Context and Solution) |
| --> |
| <metamodelType |
| id="org.eclipse.opencert.sam.arg.diagram.AwayClaim_5001" |
| name="%metatype.name.AwayClaim_5001" |
| kind="org.eclipse.gmf.runtime.emf.type.core.IHintedType" |
| eclass="ArgumentElementCitation" |
| edithelper="org.eclipse.opencert.sam.arg.arg.diagram.edit.helpers.ArgumentElementCitationEditHelper"> |
| <param name="semanticHint" value="2006"/> |
| </metamodelType> |
| <metamodelType |
| id="org.eclipse.opencert.sam.arg.diagram.AwayContext_5002" |
| name="%metatype.name.AwayContext_5002" |
| kind="org.eclipse.gmf.runtime.emf.type.core.IHintedType" |
| eclass="ArgumentElementCitation" |
| edithelper="org.eclipse.opencert.sam.arg.arg.diagram.edit.helpers.ArgumentElementCitationEditHelper"> |
| <param name="semanticHint" value="2006"/> |
| </metamodelType> |
| <metamodelType |
| id="org.eclipse.opencert.sam.arg.diagram.AwaySolution_5003" |
| name="%metatype.name.AwaySolution_5003" |
| kind="org.eclipse.gmf.runtime.emf.type.core.IHintedType" |
| eclass="ArgumentElementCitation" |
| edithelper="org.eclipse.opencert.sam.arg.arg.diagram.edit.helpers.ArgumentElementCitationEditHelper"> |
| <param name="semanticHint" value="2006"/> |
| </metamodelType> |
| </metamodel> |
| <metamodel nsURI="arg"> |
| <specializationType |
| id="org.eclipse.opencert.sam.arg.diagram.Choice_2007" |
| name="%metatype.name.Choice_2007" |
| kind="org.eclipse.gmf.runtime.emf.type.core.IHintedType"> |
| <specializes id="org.eclipse.opencert.sam.arg.diagram.Choice_3001"/> |
| <param name="semanticHint" value="2007"/> |
| </specializationType> |
| </metamodel> |
| <metamodel nsURI="arg"> |
| <metamodelType |
| id="org.eclipse.opencert.sam.arg.diagram.Choice_3001" |
| name="%metatype.name.Choice_3001" |
| kind="org.eclipse.gmf.runtime.emf.type.core.IHintedType" |
| eclass="Choice" |
| edithelper="org.eclipse.opencert.sam.arg.arg.diagram.edit.helpers.ChoiceEditHelper"> |
| <param name="semanticHint" value="3001"/> |
| </metamodelType> |
| </metamodel> |
| <metamodel nsURI="arg"> |
| <metamodelType |
| id="org.eclipse.opencert.sam.arg.diagram.AssertedInference_4001" |
| name="%metatype.name.AssertedInference_4001" |
| kind="org.eclipse.gmf.runtime.emf.type.core.IHintedType" |
| eclass="AssertedInference" |
| edithelper="org.eclipse.opencert.sam.arg.arg.diagram.edit.helpers.AssertedInferenceEditHelper"> |
| <param name="semanticHint" value="4001"/> |
| </metamodelType> |
| </metamodel> |
| <metamodel nsURI="arg"> |
| <metamodelType |
| id="org.eclipse.opencert.sam.arg.diagram.AssertedEvidence_4002" |
| name="%metatype.name.AssertedEvidence_4002" |
| kind="org.eclipse.gmf.runtime.emf.type.core.IHintedType" |
| eclass="AssertedEvidence" |
| edithelper="org.eclipse.opencert.sam.arg.arg.diagram.edit.helpers.AssertedEvidenceEditHelper"> |
| <param name="semanticHint" value="4002"/> |
| </metamodelType> |
| </metamodel> |
| <metamodel nsURI="arg"> |
| <metamodelType |
| id="org.eclipse.opencert.sam.arg.diagram.AssertedContext_4003" |
| name="%metatype.name.AssertedContext_4003" |
| kind="org.eclipse.gmf.runtime.emf.type.core.IHintedType" |
| eclass="AssertedContext" |
| edithelper="org.eclipse.opencert.sam.arg.arg.diagram.edit.helpers.AssertedContextEditHelper"> |
| <param name="semanticHint" value="4003"/> |
| </metamodelType> |
| </metamodel> |
| <metamodel nsURI="arg"> |
| <metamodelType |
| id="org.eclipse.opencert.sam.arg.diagram.AssertedChallenge_4004" |
| name="%metatype.name.AssertedChallenge_4004" |
| kind="org.eclipse.gmf.runtime.emf.type.core.IHintedType" |
| eclass="AssertedChallenge" |
| edithelper="org.eclipse.opencert.sam.arg.arg.diagram.edit.helpers.AssertedChallengeEditHelper"> |
| <param name="semanticHint" value="4004"/> |
| </metamodelType> |
| </metamodel> |
| <metamodel nsURI="arg"> |
| <metamodelType |
| id="org.eclipse.opencert.sam.arg.diagram.AssertedCounterEvidence_4005" |
| name="%metatype.name.AssertedCounterEvidence_4005" |
| kind="org.eclipse.gmf.runtime.emf.type.core.IHintedType" |
| eclass="AssertedCounterEvidence" |
| edithelper="org.eclipse.opencert.sam.arg.arg.diagram.edit.helpers.AssertedCounterEvidenceEditHelper"> |
| <param name="semanticHint" value="4005"/> |
| </metamodelType> |
| </metamodel> |
| </extension> |
| |
| <extension point="org.eclipse.gmf.runtime.emf.type.core.elementTypeBindings" id="element-types-bindings"> |
| <?gmfgen generated="true"?> |
| <clientContext id="org.eclipse.opencert.sam.arg.diagram.TypeContext"> |
| <enablement> |
| <test |
| property="org.eclipse.gmf.runtime.emf.core.editingDomain" |
| value="org.eclipse.opencert.sam.arg.diagram.EditingDomain"/> |
| </enablement> |
| </clientContext> |
| <binding context="org.eclipse.opencert.sam.arg.diagram.TypeContext"> |
| <elementType ref="org.eclipse.opencert.sam.arg.diagram.Case_1000"/> |
| <elementType ref="org.eclipse.opencert.sam.arg.diagram.Claim_2001"/> |
| <!-- |
| ARL changes includes Assumption |
| --> |
| <elementType ref="org.eclipse.opencert.sam.arg.diagram.Assumption_2000"/> |
| <elementType ref="org.eclipse.opencert.sam.arg.diagram.Agreement_2002"/> |
| <elementType ref="org.eclipse.opencert.sam.arg.diagram.ArgumentReasoning_2003"/> |
| <elementType ref="org.eclipse.opencert.sam.arg.diagram.Argumentation_2004"/> |
| <elementType ref="org.eclipse.opencert.sam.arg.diagram.InformationElementCitation_2005"/> |
| <elementType ref="org.eclipse.opencert.sam.arg.diagram.ArgumentElementCitation_2006"/> |
| <elementType ref="org.eclipse.opencert.sam.arg.diagram.Choice_2007"/> |
| <elementType ref="org.eclipse.opencert.sam.arg.diagram.Choice_3001"/> |
| <elementType ref="org.eclipse.opencert.sam.arg.diagram.AssertedInference_4001"/> |
| <elementType ref="org.eclipse.opencert.sam.arg.diagram.AssertedEvidence_4002"/> |
| <elementType ref="org.eclipse.opencert.sam.arg.diagram.AssertedContext_4003"/> |
| <elementType ref="org.eclipse.opencert.sam.arg.diagram.AssertedChallenge_4004"/> |
| <elementType ref="org.eclipse.opencert.sam.arg.diagram.AssertedCounterEvidence_4005"/> |
| <advice ref="org.eclipse.gmf.runtime.diagram.core.advice.notationDepdendents"/> |
| </binding> |
| </extension> |
| <extension point="org.eclipse.core.expressions.propertyTesters" id="navigator-proptest.isURIEditorInput"> |
| <?gmfgen generated="true"?> |
| <propertyTester |
| id="org.eclipse.opencert.sam.arg.diagram.URIEditorInputPropertyTester" |
| type="org.eclipse.emf.common.ui.URIEditorInput" |
| namespace="org.eclipse.opencert.sam.arg.diagram" |
| properties="isURIEditorInput" |
| class="org.eclipse.opencert.sam.arg.arg.diagram.part.ArgUriEditorInputTester"> |
| </propertyTester> |
| </extension> |
| |
| <extension point="org.eclipse.core.expressions.propertyTesters" id="navigator-proptest.isShortcut"> |
| <?gmfgen generated="true"?> |
| <propertyTester |
| id="org.eclipse.opencert.sam.arg.diagram.ShortcutPropertyTester" |
| type="org.eclipse.gmf.runtime.notation.View" |
| namespace="org.eclipse.opencert.sam.arg.diagram" |
| properties="isShortcut" |
| class="org.eclipse.opencert.sam.arg.arg.diagram.part.ArgShortcutPropertyTester"> |
| </propertyTester> |
| </extension> |
| |
| <extension point="org.eclipse.ui.navigator.viewer" id="navigator-viewbinding"> |
| <?gmfgen generated="true"?> |
| <viewerContentBinding viewerId="org.eclipse.ui.navigator.ProjectExplorer"> |
| <includes> |
| <contentExtension pattern="org.eclipse.opencert.sam.arg.diagram.resourceContent"/> |
| <contentExtension pattern="org.eclipse.opencert.sam.arg.diagram.domainResourceContent"/> |
| <contentExtension pattern="org.eclipse.opencert.sam.arg.diagram.navigatorLinkHelper"/> |
| </includes> |
| </viewerContentBinding> |
| <viewerActionBinding viewerId="org.eclipse.ui.navigator.ProjectExplorer"> |
| <includes> |
| <actionExtension pattern="org.eclipse.opencert.sam.arg.diagram.navigatorActionProvider"/> |
| </includes> |
| </viewerActionBinding> |
| </extension> |
| |
| <extension point="org.eclipse.ui.navigator.navigatorContent" id="navigator-content"> |
| <?gmfgen generated="true"?> |
| <navigatorContent |
| id="org.eclipse.opencert.sam.arg.diagram.resourceContent" |
| name="%navigatorContentName" |
| priority="normal" |
| contentProvider="org.eclipse.opencert.sam.arg.arg.diagram.navigator.ArgNavigatorContentProvider" |
| labelProvider="org.eclipse.opencert.sam.arg.arg.diagram.navigator.ArgNavigatorLabelProvider" |
| icon="icons/obj16/ArgDiagramFile.gif" |
| activeByDefault="true"> |
| <triggerPoints> |
| <or> |
| <and> |
| <instanceof value="org.eclipse.core.resources.IFile"/> |
| <test property="org.eclipse.core.resources.extension" value="arg_diagram"/> |
| </and> |
| <instanceof value="org.eclipse.opencert.sam.arg.arg.diagram.navigator.ArgAbstractNavigatorItem"/> |
| <adapt type="org.eclipse.gmf.runtime.notation.View"> |
| <test property="org.eclipse.opencert.sam.arg.diagram.isShortcut"/> |
| </adapt> |
| </or> |
| </triggerPoints> |
| <possibleChildren> |
| <or> |
| <instanceof value="org.eclipse.opencert.sam.arg.arg.diagram.navigator.ArgAbstractNavigatorItem"/> |
| <adapt type="org.eclipse.gmf.runtime.notation.View"> |
| <test property="org.eclipse.opencert.sam.arg.diagram.isShortcut"/> |
| </adapt> |
| </or> |
| </possibleChildren> |
| <commonSorter |
| id="org.eclipse.opencert.sam.arg.diagram.navigatorSorter" |
| class="org.eclipse.opencert.sam.arg.arg.diagram.navigator.ArgNavigatorSorter"> |
| <parentExpression> |
| <or> |
| <and> |
| <instanceof value="org.eclipse.core.resources.IFile"/> |
| <test property="org.eclipse.core.resources.extension" value="arg_diagram"/> |
| </and> |
| <instanceof value="org.eclipse.opencert.sam.arg.arg.diagram.navigator.ArgAbstractNavigatorItem"/> |
| </or> |
| </parentExpression> |
| </commonSorter> |
| </navigatorContent> |
| <navigatorContent |
| id="org.eclipse.opencert.sam.arg.diagram.domainResourceContent" |
| name="%domainNavigatorContentName" |
| priority="normal" |
| contentProvider="org.eclipse.opencert.sam.arg.arg.diagram.navigator.ArgDomainNavigatorContentProvider" |
| labelProvider="org.eclipse.opencert.sam.arg.arg.diagram.navigator.ArgDomainNavigatorLabelProvider" |
| icon="icons/obj16/ArgDiagramFile.gif" |
| activeByDefault="true"> |
| <triggerPoints> |
| <or> |
| <and> |
| <instanceof value="org.eclipse.core.resources.IFile"/> |
| <test property="org.eclipse.core.resources.extension" value="arg"/> |
| </and> |
| <instanceof value="org.eclipse.opencert.sam.arg.arg.diagram.navigator.ArgDomainNavigatorItem"/> |
| </or> |
| </triggerPoints> |
| <possibleChildren> |
| <instanceof value="org.eclipse.opencert.sam.arg.arg.diagram.navigator.ArgDomainNavigatorItem"/> |
| </possibleChildren> |
| </navigatorContent> |
| <actionProvider |
| id="org.eclipse.opencert.sam.arg.diagram.navigatorActionProvider" |
| class="org.eclipse.opencert.sam.arg.arg.diagram.navigator.ArgNavigatorActionProvider"> |
| <enablement> |
| <or> |
| <instanceof value="org.eclipse.opencert.sam.arg.arg.diagram.navigator.ArgAbstractNavigatorItem"/> |
| <adapt type="org.eclipse.gmf.runtime.notation.View"> |
| <test property="org.eclipse.opencert.sam.arg.diagram.isShortcut"/> |
| </adapt> |
| </or> |
| </enablement> |
| </actionProvider> |
| </extension> |
| |
| <extension point="org.eclipse.ui.navigator.linkHelper" id="navigator-linkhelper"> |
| <?gmfgen generated="true"?> |
| <linkHelper |
| id="org.eclipse.opencert.sam.arg.diagram.navigatorLinkHelper" |
| class="org.eclipse.opencert.sam.arg.arg.diagram.navigator.ArgNavigatorLinkHelper"> |
| <editorInputEnablement> |
| <and> |
| <instanceof value="org.eclipse.emf.common.ui.URIEditorInput"/> |
| <test property="org.eclipse.opencert.sam.arg.diagram.isURIEditorInput"/> |
| </and> |
| </editorInputEnablement> |
| <selectionEnablement> |
| <instanceof value="org.eclipse.opencert.sam.arg.arg.diagram.navigator.ArgAbstractNavigatorItem"/> |
| </selectionEnablement> |
| </linkHelper> |
| </extension> |
| <extension point="org.eclipse.ui.commands" id="update-cmd"> |
| <?gmfgen generated="true"?> |
| <command |
| categoryId="org.eclipse.ui.category.edit" |
| defaultHandler="org.eclipse.opencert.sam.arg.arg.diagram.part.ArgDiagramUpdateCommand" |
| description="%update.diagram.description" |
| id="org.eclipse.opencert.sam.arg.arg.diagram.updateDiagram" |
| name="%update.diagram.name"/> |
| </extension> |
| |
| <extension point="org.eclipse.ui.bindings" id="update-cmd-binding"> |
| <?gmfgen generated="true"?> |
| <key |
| commandId="org.eclipse.opencert.sam.arg.arg.diagram.updateDiagram" |
| contextId="org.eclipse.opencert.sam.arg.arg.diagram.ui.diagramContext" |
| schemeId="org.eclipse.ui.defaultAcceleratorConfiguration" |
| sequence="F5"/> |
| </extension> |
| |
| <!-- Instantiation from Vocabulary --> |
| <extension point="org.eclipse.ui.menus" id="context-menus"> |
| <menuContribution |
| allPopups="false" |
| locationURI="popup:org.eclipse.gmf.runtime.diagram.ui.DiagramEditorContextMenu"> |
| <menu |
| id="org.eclipse.gmf.runtime.diagram.ui.DiagramEditorContextMenu.Instantiation" |
| label="Instantiation"> |
| </menu> |
| </menuContribution> |
| </extension> |
| <extension point="org.eclipse.ui.commands" id="menu-commands"> |
| <category id="org.eclipse.opencert.sam.arg.arg.diagram.part.ArgDiagramEditorID" name="%cmdcategory.name" description="%cmdcategory.desc"/> |
| <command |
| categoryId="org.eclipse.opencert.sam.arg.arg.diagram.part.ArgDiagramEditorID" |
| defaultHandler="org.eclipse.opencert.sam.arg.arg.diagram.instantiation.InstantiateVariableHandler" |
| id="org.eclipse.opencert.arg.diagram.contextmenu.command.instantiate" |
| name="Instantiate Variable"> |
| <commandParameter |
| id="org.eclipse.opencert.sam.arg.diagram.instantiante.command.itemBody" |
| name="itemRawString" |
| optional="false"> |
| </commandParameter> |
| <commandParameter |
| id="org.eclipse.opencert.sam.arg.diagram.instantiante.command.replacement" |
| name="replacement" |
| optional="false"> |
| </commandParameter> |
| <commandParameter |
| id="org.eclipse.opencert.sam.arg.diagram.instantiante.command.commandName" |
| name="commandName" |
| optional="false"> |
| </commandParameter> |
| <commandParameter |
| id="org.eclipse.opencert.sam.arg.diagram.instantiante.command.editorHash" |
| name="editorHash" |
| optional="false"> |
| </commandParameter> |
| </command> |
| </extension> |
| <!-- Instantiation from Vocabulary --> |
| |
| </plugin> |