| <?xml version="1.0" encoding="UTF-8"?>
|
| <?eclipse version="3.0"?>
|
| <!--
|
| Copyright (c) 2016 CEA LIST.
|
|
|
| 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:
|
| Arnault Lapitre (CEA LIST) arnault.lapitre@cea.fr
|
| - Initial API and Implementation
|
| --> |
| |
| <plugin>
|
| <extension
|
| point="org.eclipse.ui.editors">
|
| <editor
|
| class="org.eclipse.efm.papyrus.xtext.ui.TransitionExecutableExtensionFactory:org.eclipse.xtext.ui.editor.XtextEditor"
|
| contributorClass="org.eclipse.ui.editors.text.TextEditorActionContributor"
|
| default="true"
|
| extensions="fmltransition"
|
| id="org.eclipse.efm.papyrus.xtext.Transition"
|
| name="Transition Editor">
|
| </editor>
|
| </extension>
|
| <extension
|
| point="org.eclipse.ui.handlers">
|
| <handler
|
| class="org.eclipse.efm.papyrus.xtext.ui.TransitionExecutableExtensionFactory:org.eclipse.xtext.ui.editor.hyperlinking.OpenDeclarationHandler"
|
| commandId="org.eclipse.xtext.ui.editor.hyperlinking.OpenDeclaration">
|
| <activeWhen>
|
| <reference
|
| definitionId="org.eclipse.efm.papyrus.xtext.Transition.Editor.opened">
|
| </reference>
|
| </activeWhen>
|
| </handler>
|
| <handler
|
| class="org.eclipse.efm.papyrus.xtext.ui.TransitionExecutableExtensionFactory:org.eclipse.xtext.ui.editor.handler.ValidateActionHandler"
|
| commandId="org.eclipse.efm.papyrus.xtext.Transition.validate">
|
| <activeWhen>
|
| <reference
|
| definitionId="org.eclipse.efm.papyrus.xtext.Transition.Editor.opened">
|
| </reference>
|
| </activeWhen>
|
| </handler>
|
| <!-- copy qualified name -->
|
| <handler
|
| class="org.eclipse.efm.papyrus.xtext.ui.TransitionExecutableExtensionFactory:org.eclipse.xtext.ui.editor.copyqualifiedname.EditorCopyQualifiedNameHandler"
|
| commandId="org.eclipse.xtext.ui.editor.copyqualifiedname.EditorCopyQualifiedName">
|
| <activeWhen>
|
| <reference definitionId="org.eclipse.efm.papyrus.xtext.Transition.Editor.opened" />
|
| </activeWhen>
|
| </handler>
|
| <handler
|
| class="org.eclipse.efm.papyrus.xtext.ui.TransitionExecutableExtensionFactory:org.eclipse.xtext.ui.editor.copyqualifiedname.OutlineCopyQualifiedNameHandler"
|
| commandId="org.eclipse.xtext.ui.editor.copyqualifiedname.OutlineCopyQualifiedName">
|
| <activeWhen>
|
| <and>
|
| <reference definitionId="org.eclipse.efm.papyrus.xtext.Transition.XtextEditor.opened" />
|
| <iterate>
|
| <adapt type="org.eclipse.xtext.ui.editor.outline.IOutlineNode" />
|
| </iterate>
|
| </and>
|
| </activeWhen>
|
| </handler>
|
| </extension>
|
| <extension point="org.eclipse.core.expressions.definitions">
|
| <definition id="org.eclipse.efm.papyrus.xtext.Transition.Editor.opened">
|
| <and>
|
| <reference definitionId="isActiveEditorAnInstanceOfXtextEditor"/>
|
| <with variable="activeEditor">
|
| <test property="org.eclipse.xtext.ui.editor.XtextEditor.languageName"
|
| value="org.eclipse.efm.papyrus.xtext.Transition"
|
| forcePluginActivation="true"/>
|
| </with>
|
| </and>
|
| </definition>
|
| <definition id="org.eclipse.efm.papyrus.xtext.Transition.XtextEditor.opened">
|
| <and>
|
| <reference definitionId="isXtextEditorActive"/>
|
| <with variable="activeEditor">
|
| <test property="org.eclipse.xtext.ui.editor.XtextEditor.languageName"
|
| value="org.eclipse.efm.papyrus.xtext.Transition"
|
| forcePluginActivation="true"/>
|
| </with>
|
| </and>
|
| </definition>
|
| </extension>
|
| <extension
|
| point="org.eclipse.ui.preferencePages">
|
| <page
|
| category="org.eclipse.efm.ui.preferences.xtext_root.mainPage"
|
| class="org.eclipse.efm.papyrus.xtext.ui.TransitionExecutableExtensionFactory:org.eclipse.xtext.ui.editor.preferences.LanguageRootPreferencePage"
|
| id="org.eclipse.efm.papyrus.xtext.Transition"
|
| name="Xtext Transition EFM">
|
| <keywordReference id="org.eclipse.efm.papyrus.xtext.ui.keyword_Transition"/>
|
| </page>
|
| <page
|
| category="org.eclipse.efm.papyrus.xtext.Transition"
|
| class="org.eclipse.efm.papyrus.xtext.ui.TransitionExecutableExtensionFactory:org.eclipse.xtext.ui.editor.syntaxcoloring.SyntaxColoringPreferencePage"
|
| id="org.eclipse.efm.papyrus.xtext.Transition.coloring"
|
| name="Syntax Coloring">
|
| <keywordReference id="org.eclipse.efm.papyrus.xtext.ui.keyword_Transition"/>
|
| </page>
|
| <page
|
| category="org.eclipse.efm.papyrus.xtext.Transition"
|
| class="org.eclipse.efm.papyrus.xtext.ui.TransitionExecutableExtensionFactory:org.eclipse.xtext.ui.editor.templates.XtextTemplatePreferencePage"
|
| id="org.eclipse.efm.papyrus.xtext.Transition.templates"
|
| name="Templates">
|
| <keywordReference id="org.eclipse.efm.papyrus.xtext.ui.keyword_Transition"/>
|
| </page>
|
| </extension>
|
| <extension
|
| point="org.eclipse.ui.propertyPages">
|
| <page
|
| class="org.eclipse.efm.papyrus.xtext.ui.TransitionExecutableExtensionFactory:org.eclipse.xtext.ui.editor.preferences.LanguageRootPreferencePage"
|
| id="org.eclipse.efm.papyrus.xtext.Transition"
|
| name="Transition">
|
| <keywordReference id="org.eclipse.efm.papyrus.xtext.ui.keyword_Transition"/>
|
| <enabledWhen>
|
| <adapt type="org.eclipse.core.resources.IProject"/>
|
| </enabledWhen>
|
| <filter name="projectNature" value="org.eclipse.xtext.ui.shared.xtextNature"/>
|
| </page>
|
| </extension>
|
| <extension
|
| point="org.eclipse.ui.keywords">
|
| <keyword
|
| id="org.eclipse.efm.papyrus.xtext.ui.keyword_Transition"
|
| label="Transition"/>
|
| </extension>
|
| <extension
|
| point="org.eclipse.ui.commands">
|
| <command
|
| description="Trigger expensive validation"
|
| id="org.eclipse.efm.papyrus.xtext.Transition.validate"
|
| name="Validate">
|
| </command>
|
| <!-- copy qualified name -->
|
| <command
|
| id="org.eclipse.xtext.ui.editor.copyqualifiedname.EditorCopyQualifiedName"
|
| categoryId="org.eclipse.ui.category.edit"
|
| description="Copy the qualified name for the selected element"
|
| name="Copy Qualified Name">
|
| </command>
|
| <command
|
| id="org.eclipse.xtext.ui.editor.copyqualifiedname.OutlineCopyQualifiedName"
|
| categoryId="org.eclipse.ui.category.edit"
|
| description="Copy the qualified name for the selected element"
|
| name="Copy Qualified Name">
|
| </command>
|
| </extension>
|
| <extension point="org.eclipse.ui.menus">
|
| <menuContribution
|
| locationURI="popup:#TextEditorContext?after=group.edit">
|
| <command
|
| commandId="org.eclipse.efm.papyrus.xtext.Transition.validate"
|
| style="push"
|
| tooltip="Trigger expensive validation">
|
| <visibleWhen checkEnabled="false">
|
| <reference
|
| definitionId="org.eclipse.efm.papyrus.xtext.Transition.Editor.opened">
|
| </reference>
|
| </visibleWhen>
|
| </command>
|
| </menuContribution>
|
| <!-- copy qualified name -->
|
| <menuContribution locationURI="popup:#TextEditorContext?after=copy">
|
| <command commandId="org.eclipse.xtext.ui.editor.copyqualifiedname.EditorCopyQualifiedName"
|
| style="push" tooltip="Copy Qualified Name">
|
| <visibleWhen checkEnabled="false">
|
| <reference definitionId="org.eclipse.efm.papyrus.xtext.Transition.Editor.opened" />
|
| </visibleWhen>
|
| </command>
|
| </menuContribution>
|
| <menuContribution locationURI="menu:edit?after=copy">
|
| <command commandId="org.eclipse.xtext.ui.editor.copyqualifiedname.EditorCopyQualifiedName"
|
| style="push" tooltip="Copy Qualified Name">
|
| <visibleWhen checkEnabled="false">
|
| <reference definitionId="org.eclipse.efm.papyrus.xtext.Transition.Editor.opened" />
|
| </visibleWhen>
|
| </command>
|
| </menuContribution>
|
| <menuContribution locationURI="popup:org.eclipse.xtext.ui.outline?after=additions">
|
| <command commandId="org.eclipse.xtext.ui.editor.copyqualifiedname.OutlineCopyQualifiedName"
|
| style="push" tooltip="Copy Qualified Name">
|
| <visibleWhen checkEnabled="false">
|
| <and>
|
| <reference definitionId="org.eclipse.efm.papyrus.xtext.Transition.XtextEditor.opened" />
|
| <iterate>
|
| <adapt type="org.eclipse.xtext.ui.editor.outline.IOutlineNode" />
|
| </iterate>
|
| </and>
|
| </visibleWhen>
|
| </command>
|
| </menuContribution>
|
| </extension>
|
| <extension point="org.eclipse.ui.menus">
|
| <menuContribution locationURI="popup:#TextEditorContext?endof=group.find">
|
| <command commandId="org.eclipse.xtext.ui.editor.FindReferences">
|
| <visibleWhen checkEnabled="false">
|
| <reference definitionId="org.eclipse.efm.papyrus.xtext.Transition.Editor.opened">
|
| </reference>
|
| </visibleWhen>
|
| </command>
|
| </menuContribution>
|
| </extension>
|
| <extension point="org.eclipse.ui.handlers">
|
| <handler
|
| class="org.eclipse.efm.papyrus.xtext.ui.TransitionExecutableExtensionFactory:org.eclipse.xtext.ui.editor.findrefs.FindReferencesHandler"
|
| commandId="org.eclipse.xtext.ui.editor.FindReferences">
|
| <activeWhen>
|
| <reference
|
| definitionId="org.eclipse.efm.papyrus.xtext.Transition.Editor.opened">
|
| </reference>
|
| </activeWhen>
|
| </handler>
|
| </extension>
|
| <!-- adding resource factories -->
|
| <extension
|
| point="org.eclipse.emf.ecore.extension_parser">
|
| <parser
|
| class="org.eclipse.efm.papyrus.xtext.ui.TransitionExecutableExtensionFactory:org.eclipse.xtext.resource.IResourceFactory"
|
| type="fmltransition">
|
| </parser>
|
| </extension>
|
| <extension point="org.eclipse.xtext.extension_resourceServiceProvider">
|
| <resourceServiceProvider
|
| class="org.eclipse.efm.papyrus.xtext.ui.TransitionExecutableExtensionFactory:org.eclipse.xtext.ui.resource.IResourceUIServiceProvider"
|
| uriExtension="fmltransition">
|
| </resourceServiceProvider>
|
| </extension>
|
| <!-- marker definitions for org.eclipse.efm.papyrus.xtext.Transition -->
|
| <extension
|
| id="transition.check.fast"
|
| name="Transition Problem"
|
| point="org.eclipse.core.resources.markers">
|
| <super type="org.eclipse.xtext.ui.check.fast"/>
|
| <persistent value="true"/>
|
| </extension>
|
| <extension
|
| id="transition.check.normal"
|
| name="Transition Problem"
|
| point="org.eclipse.core.resources.markers">
|
| <super type="org.eclipse.xtext.ui.check.normal"/>
|
| <persistent value="true"/>
|
| </extension>
|
| <extension
|
| id="transition.check.expensive"
|
| name="Transition Problem"
|
| point="org.eclipse.core.resources.markers">
|
| <super type="org.eclipse.xtext.ui.check.expensive"/>
|
| <persistent value="true"/>
|
| </extension>
|
| <extension point="org.eclipse.xtext.builder.participant">
|
| <participant
|
| class="org.eclipse.efm.papyrus.xtext.ui.TransitionExecutableExtensionFactory:org.eclipse.xtext.builder.IXtextBuilderParticipant"
|
| fileExtensions="fmltransition"/>
|
| </extension>
|
| <extension point="org.eclipse.ui.preferencePages">
|
| <page
|
| category="org.eclipse.efm.papyrus.xtext.Transition"
|
| class="org.eclipse.efm.papyrus.xtext.ui.TransitionExecutableExtensionFactory:org.eclipse.xtext.builder.preferences.BuilderPreferencePage"
|
| id="org.eclipse.efm.papyrus.xtext.Transition.compiler.preferencePage"
|
| name="Compiler">
|
| <keywordReference id="org.eclipse.efm.papyrus.xtext.ui.keyword_Transition"/>
|
| </page>
|
| </extension>
|
| <extension point="org.eclipse.ui.propertyPages">
|
| <page
|
| category="org.eclipse.efm.papyrus.xtext.Transition"
|
| class="org.eclipse.efm.papyrus.xtext.ui.TransitionExecutableExtensionFactory:org.eclipse.xtext.builder.preferences.BuilderPreferencePage"
|
| id="org.eclipse.efm.papyrus.xtext.Transition.compiler.propertyPage"
|
| name="Compiler">
|
| <keywordReference id="org.eclipse.efm.papyrus.xtext.ui.keyword_Transition"/>
|
| <enabledWhen>
|
| <adapt type="org.eclipse.core.resources.IProject"/>
|
| </enabledWhen>
|
| <filter name="projectNature" value="org.eclipse.xtext.ui.shared.xtextNature"/>
|
| </page>
|
| </extension>
|
| <extension point="org.eclipse.ui.menus">
|
| <menuContribution locationURI="popup:#TextEditorContext?after=xtext.ui.openDeclaration">
|
| <command
|
| commandId="org.eclipse.xtext.ui.OpenGeneratedFileCommand"
|
| id="org.eclipse.efm.papyrus.xtext.Transition.OpenGeneratedCode"
|
| style="push">
|
| <visibleWhen checkEnabled="false">
|
| <reference definitionId="org.eclipse.efm.papyrus.xtext.Transition.Editor.opened" />
|
| </visibleWhen>
|
| </command>
|
| </menuContribution>
|
| </extension>
|
| <extension point="org.eclipse.ui.handlers">
|
| <handler
|
| class="org.eclipse.efm.papyrus.xtext.ui.TransitionExecutableExtensionFactory:org.eclipse.xtext.ui.generator.trace.OpenGeneratedFileHandler"
|
| commandId="org.eclipse.xtext.ui.OpenGeneratedFileCommand">
|
| <activeWhen>
|
| <reference definitionId="org.eclipse.efm.papyrus.xtext.Transition.Editor.opened" />
|
| </activeWhen>
|
| </handler>
|
| </extension>
|
| <!-- Quick Outline -->
|
| <extension
|
| point="org.eclipse.ui.handlers">
|
| <handler
|
| class="org.eclipse.efm.papyrus.xtext.ui.TransitionExecutableExtensionFactory:org.eclipse.xtext.ui.editor.outline.quickoutline.ShowQuickOutlineActionHandler"
|
| commandId="org.eclipse.xtext.ui.editor.outline.QuickOutline">
|
| <activeWhen>
|
| <reference
|
| definitionId="org.eclipse.efm.papyrus.xtext.Transition.Editor.opened">
|
| </reference>
|
| </activeWhen>
|
| </handler>
|
| </extension>
|
| <extension
|
| point="org.eclipse.ui.commands">
|
| <command
|
| description="Open the quick outline."
|
| id="org.eclipse.xtext.ui.editor.outline.QuickOutline"
|
| name="Quick Outline">
|
| </command>
|
| </extension>
|
| <extension point="org.eclipse.ui.menus">
|
| <menuContribution
|
| locationURI="popup:#TextEditorContext?after=group.open">
|
| <command commandId="org.eclipse.xtext.ui.editor.outline.QuickOutline"
|
| style="push"
|
| tooltip="Open Quick Outline">
|
| <visibleWhen checkEnabled="false">
|
| <reference definitionId="org.eclipse.efm.papyrus.xtext.Transition.Editor.opened"/>
|
| </visibleWhen>
|
| </command>
|
| </menuContribution>
|
| </extension>
|
| <!-- quickfix marker resolution generator for org.eclipse.efm.papyrus.xtext.Transition -->
|
| <extension
|
| point="org.eclipse.ui.ide.markerResolution">
|
| <markerResolutionGenerator
|
| class="org.eclipse.efm.papyrus.xtext.ui.TransitionExecutableExtensionFactory:org.eclipse.xtext.ui.editor.quickfix.MarkerResolutionGenerator"
|
| markerType="org.eclipse.efm.papyrus.xtext.transition.ui.transition.check.fast">
|
| <attribute
|
| name="FIXABLE_KEY"
|
| value="true">
|
| </attribute>
|
| </markerResolutionGenerator>
|
| <markerResolutionGenerator
|
| class="org.eclipse.efm.papyrus.xtext.ui.TransitionExecutableExtensionFactory:org.eclipse.xtext.ui.editor.quickfix.MarkerResolutionGenerator"
|
| markerType="org.eclipse.efm.papyrus.xtext.transition.ui.transition.check.normal">
|
| <attribute
|
| name="FIXABLE_KEY"
|
| value="true">
|
| </attribute>
|
| </markerResolutionGenerator>
|
| <markerResolutionGenerator
|
| class="org.eclipse.efm.papyrus.xtext.ui.TransitionExecutableExtensionFactory:org.eclipse.xtext.ui.editor.quickfix.MarkerResolutionGenerator"
|
| markerType="org.eclipse.efm.papyrus.xtext.transition.ui.transition.check.expensive">
|
| <attribute
|
| name="FIXABLE_KEY"
|
| value="true">
|
| </attribute>
|
| </markerResolutionGenerator>
|
| </extension>
|
| <!-- Rename Refactoring -->
|
| <extension point="org.eclipse.ui.handlers">
|
| <handler
|
| class="org.eclipse.efm.papyrus.xtext.ui.TransitionExecutableExtensionFactory:org.eclipse.xtext.ui.refactoring.ui.DefaultRenameElementHandler"
|
| commandId="org.eclipse.xtext.ui.refactoring.RenameElement">
|
| <activeWhen>
|
| <reference
|
| definitionId="org.eclipse.efm.papyrus.xtext.Transition.Editor.opened">
|
| </reference>
|
| </activeWhen>
|
| </handler>
|
| </extension>
|
| <extension point="org.eclipse.ui.menus">
|
| <menuContribution
|
| locationURI="popup:#TextEditorContext?after=group.edit">
|
| <command commandId="org.eclipse.xtext.ui.refactoring.RenameElement"
|
| style="push">
|
| <visibleWhen checkEnabled="false">
|
| <reference
|
| definitionId="org.eclipse.efm.papyrus.xtext.Transition.Editor.opened">
|
| </reference>
|
| </visibleWhen>
|
| </command>
|
| </menuContribution>
|
| </extension>
|
| <extension point="org.eclipse.ui.preferencePages">
|
| <page
|
| category="org.eclipse.efm.papyrus.xtext.Transition"
|
| class="org.eclipse.efm.papyrus.xtext.ui.TransitionExecutableExtensionFactory:org.eclipse.xtext.ui.refactoring.ui.RefactoringPreferencePage"
|
| id="org.eclipse.efm.papyrus.xtext.Transition.refactoring"
|
| name="Refactoring">
|
| <keywordReference id="org.eclipse.efm.papyrus.xtext.ui.keyword_Transition"/>
|
| </page>
|
| </extension>
|
| <extension point="org.eclipse.compare.contentViewers">
|
| <viewer id="org.eclipse.efm.papyrus.xtext.Transition.compare.contentViewers"
|
| class="org.eclipse.efm.papyrus.xtext.ui.TransitionExecutableExtensionFactory:org.eclipse.xtext.ui.compare.InjectableViewerCreator"
|
| extensions="fmltransition">
|
| </viewer>
|
| </extension>
|
| <extension point="org.eclipse.compare.contentMergeViewers">
|
| <viewer id="org.eclipse.efm.papyrus.xtext.Transition.compare.contentMergeViewers"
|
| class="org.eclipse.efm.papyrus.xtext.ui.TransitionExecutableExtensionFactory:org.eclipse.xtext.ui.compare.InjectableViewerCreator"
|
| extensions="fmltransition" label="Transition Compare">
|
| </viewer>
|
| </extension>
|
| <extension point="org.eclipse.ui.editors.documentProviders">
|
| <provider id="org.eclipse.efm.papyrus.xtext.Transition.editors.documentProviders"
|
| class="org.eclipse.efm.papyrus.xtext.ui.TransitionExecutableExtensionFactory:org.eclipse.xtext.ui.editor.model.XtextDocumentProvider"
|
| extensions="fmltransition">
|
| </provider>
|
| </extension>
|
| <extension point="org.eclipse.team.core.fileTypes">
|
| <fileTypes
|
| extension="fmltransition"
|
| type="text">
|
| </fileTypes>
|
| </extension>
|
| <extension
|
| point="org.eclipse.papyrus.extensionpoints.editors.DirectEditor">
|
| <DirectEditor
|
| language="Formal Modeling Advanced Transition Editor"
|
| objectToEdit="org.eclipse.uml2.uml.Transition">
|
| <popupeditor
|
| editorConfiguration="org.eclipse.efm.papyrus.xtext.ui.contibution.TransitionEditorConfigurationContribution">
|
| </popupeditor>
|
| <Priority
|
| name="High">
|
| </Priority>
|
| </DirectEditor>
|
| </extension>
|
| </plugin>
|