| <?xml version="1.0" encoding="UTF-8"?> |
| <?eclipse version="3.0"?> |
| |
| <plugin> |
| |
| <extension |
| point="org.eclipse.ui.editors"> |
| <editor |
| class="org.eclipse.viatra.query.patternlanguage.emf.ui.EMFPatternLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.editor.XtextEditor" |
| contributorClass="org.eclipse.ui.editors.text.TextEditorActionContributor" |
| default="true" |
| extensions="vql" |
| icon="platform:/plugin/org.eclipse.viatra.query.patternlanguage.emf.ui/icons/logo2.png" |
| id="org.eclipse.viatra.query.patternlanguage.emf.EMFPatternLanguage" |
| matchingStrategy="org.eclipse.viatra.query.patternlanguage.emf.ui.EMFPatternLanguageExecutableExtensionFactory:org.eclipse.xtext.xbase.ui.editor.JavaEditorInputMatcher" |
| name="VIATRA Query Editor"> |
| </editor> |
| </extension> |
| <extension |
| point="org.eclipse.ui.handlers"> |
| <handler |
| class="org.eclipse.viatra.query.patternlanguage.emf.ui.EMFPatternLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.editor.hyperlinking.OpenDeclarationHandler" |
| commandId="org.eclipse.xtext.ui.editor.hyperlinking.OpenDeclaration"> |
| <activeWhen> |
| <reference |
| definitionId="org.eclipse.viatra.query.patternlanguage.emf.EMFPatternLanguage.Editor.opened"> |
| </reference> |
| </activeWhen> |
| </handler> |
| <handler |
| class="org.eclipse.viatra.query.patternlanguage.emf.ui.EMFPatternLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.editor.handler.ValidateActionHandler" |
| commandId="org.eclipse.viatra.query.patternlanguage.emf.EMFPatternLanguage.validate"> |
| <activeWhen> |
| <reference |
| definitionId="org.eclipse.viatra.query.patternlanguage.emf.EMFPatternLanguage.Editor.opened"> |
| </reference> |
| </activeWhen> |
| </handler> |
| <!-- copy qualified name --> |
| <handler |
| class="org.eclipse.viatra.query.patternlanguage.emf.ui.EMFPatternLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.editor.copyqualifiedname.EditorCopyQualifiedNameHandler" |
| commandId="org.eclipse.xtext.ui.editor.copyqualifiedname.EditorCopyQualifiedName"> |
| <activeWhen> |
| <reference definitionId="org.eclipse.viatra.query.patternlanguage.emf.EMFPatternLanguage.Editor.opened" /> |
| </activeWhen> |
| </handler> |
| <handler |
| class="org.eclipse.viatra.query.patternlanguage.emf.ui.EMFPatternLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.editor.copyqualifiedname.OutlineCopyQualifiedNameHandler" |
| commandId="org.eclipse.xtext.ui.editor.copyqualifiedname.OutlineCopyQualifiedName"> |
| <activeWhen> |
| <and> |
| <reference definitionId="org.eclipse.viatra.query.patternlanguage.emf.EMFPatternLanguage.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.viatra.query.patternlanguage.emf.EMFPatternLanguage.Editor.opened"> |
| <and> |
| <reference definitionId="isActiveEditorAnInstanceOfXtextEditor"/> |
| <with variable="activeEditor"> |
| <test property="org.eclipse.xtext.ui.editor.XtextEditor.languageName" |
| value="org.eclipse.viatra.query.patternlanguage.emf.EMFPatternLanguage" |
| forcePluginActivation="true"/> |
| </with> |
| </and> |
| </definition> |
| <definition id="org.eclipse.viatra.query.patternlanguage.emf.EMFPatternLanguage.XtextEditor.opened"> |
| <and> |
| <reference definitionId="isXtextEditorActive"/> |
| <with variable="activeEditor"> |
| <test property="org.eclipse.xtext.ui.editor.XtextEditor.languageName" |
| value="org.eclipse.viatra.query.patternlanguage.emf.EMFPatternLanguage" |
| forcePluginActivation="true"/> |
| </with> |
| </and> |
| </definition> |
| </extension> |
| <extension |
| point="org.eclipse.ui.preferencePages"> |
| <page |
| category="org.eclipse.viatra.query.tooling.ui.viatra" |
| class="org.eclipse.viatra.query.patternlanguage.emf.ui.EMFPatternLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.editor.preferences.LanguageRootPreferencePage" |
| id="org.eclipse.viatra.query.patternlanguage.emf.EMFPatternLanguage" |
| name="Query Language"> |
| <keywordReference id="org.eclipse.viatra.query.patternlanguage.emf.ui.keyword_EMFPatternLanguage"/> |
| </page> |
| <page |
| category="org.eclipse.viatra.query.patternlanguage.emf.EMFPatternLanguage" |
| class="org.eclipse.viatra.query.patternlanguage.emf.ui.EMFPatternLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.editor.syntaxcoloring.SyntaxColoringPreferencePage" |
| id="org.eclipse.viatra.query.patternlanguage.emf.EMFPatternLanguage.coloring" |
| name="Syntax Coloring"> |
| <keywordReference id="org.eclipse.viatra.query.patternlanguage.emf.ui.keyword_EMFPatternLanguage"/> |
| </page> |
| <page |
| category="org.eclipse.viatra.query.patternlanguage.emf.EMFPatternLanguage" |
| class="org.eclipse.viatra.query.patternlanguage.emf.ui.EMFPatternLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.editor.templates.XtextTemplatePreferencePage" |
| id="org.eclipse.viatra.query.patternlanguage.emf.EMFPatternLanguage.templates" |
| name="Templates"> |
| <keywordReference id="org.eclipse.viatra.query.patternlanguage.emf.ui.keyword_EMFPatternLanguage"/> |
| </page> |
| </extension> |
| <extension |
| point="org.eclipse.ui.propertyPages"> |
| <page |
| class="org.eclipse.viatra.query.patternlanguage.emf.ui.EMFPatternLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.editor.preferences.LanguageRootPreferencePage" |
| id="org.eclipse.viatra.query.patternlanguage.emf.EMFPatternLanguage" |
| name="VIATRA Query Language"> |
| <keywordReference id="org.eclipse.viatra.query.patternlanguage.emf.ui.keyword_EMFPatternLanguage"/> |
| <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.viatra.query.patternlanguage.emf.ui.keyword_EMFPatternLanguage" |
| label="EMFPatternLanguage"/> |
| </extension> |
| <extension |
| point="org.eclipse.ui.commands"> |
| <command |
| description="Trigger expensive validation" |
| id="org.eclipse.viatra.query.patternlanguage.emf.EMFPatternLanguage.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.viatra.query.patternlanguage.emf.EMFPatternLanguage.validate" |
| style="push" |
| tooltip="Trigger expensive validation"> |
| <visibleWhen checkEnabled="false"> |
| <reference |
| definitionId="org.eclipse.viatra.query.patternlanguage.emf.EMFPatternLanguage.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.viatra.query.patternlanguage.emf.EMFPatternLanguage.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.viatra.query.patternlanguage.emf.EMFPatternLanguage.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.viatra.query.patternlanguage.emf.EMFPatternLanguage.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.viatra.query.patternlanguage.emf.EMFPatternLanguage.Editor.opened"> |
| </reference> |
| </visibleWhen> |
| </command> |
| </menuContribution> |
| </extension> |
| <extension point="org.eclipse.ui.handlers"> |
| <handler |
| class="org.eclipse.viatra.query.patternlanguage.emf.ui.EMFPatternLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.editor.findrefs.FindReferencesHandler" |
| commandId="org.eclipse.xtext.ui.editor.FindReferences"> |
| <activeWhen> |
| <reference |
| definitionId="org.eclipse.viatra.query.patternlanguage.emf.EMFPatternLanguage.Editor.opened"> |
| </reference> |
| </activeWhen> |
| </handler> |
| </extension> |
| |
| <extension point="org.eclipse.core.contenttype.contentTypes"> |
| <content-type |
| base-type="org.eclipse.core.runtime.text" |
| file-extensions="vql" |
| id="org.eclipse.viatra.query.patternlanguage.emf.EMFPatternLanguage.contenttype" |
| name="VQL File" |
| priority="normal"> |
| </content-type> |
| </extension> |
| |
| <!-- adding resource factories --> |
| |
| <extension |
| point="org.eclipse.emf.ecore.extension_parser"> |
| <parser |
| class="org.eclipse.viatra.query.patternlanguage.emf.ui.EMFPatternLanguageExecutableExtensionFactory:org.eclipse.xtext.resource.IResourceFactory" |
| type="vql"> |
| </parser> |
| </extension> |
| <extension point="org.eclipse.xtext.extension_resourceServiceProvider"> |
| <resourceServiceProvider |
| class="org.eclipse.viatra.query.patternlanguage.emf.ui.EMFPatternLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.resource.IResourceUIServiceProvider" |
| uriExtension="vql"> |
| </resourceServiceProvider> |
| </extension> |
| |
| |
| <!-- marker definitions for org.eclipse.viatra.query.patternlanguage.emf.EMFPatternLanguage --> |
| <extension |
| id="emfpatternlanguage.check.fast" |
| name="VIATRA Query Problem" |
| point="org.eclipse.core.resources.markers"> |
| <super type="org.eclipse.xtext.ui.check.fast"/> |
| <persistent value="true"/> |
| </extension> |
| <extension |
| id="emfpatternlanguage.check.normal" |
| name="VIATRA Query Problem" |
| point="org.eclipse.core.resources.markers"> |
| <super type="org.eclipse.xtext.ui.check.normal"/> |
| <persistent value="true"/> |
| </extension> |
| <extension |
| id="emfpatternlanguage.check.expensive" |
| name="VIATRA Query Problem" |
| point="org.eclipse.core.resources.markers"> |
| <super type="org.eclipse.xtext.ui.check.expensive"/> |
| <persistent value="true"/> |
| </extension> |
| |
| <!-- Quick Outline --> |
| <extension |
| point="org.eclipse.ui.handlers"> |
| <handler |
| class="org.eclipse.viatra.query.patternlanguage.emf.ui.EMFPatternLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.editor.outline.quickoutline.ShowQuickOutlineActionHandler" |
| commandId="org.eclipse.xtext.ui.editor.outline.QuickOutline"> |
| <activeWhen> |
| <reference |
| definitionId="org.eclipse.viatra.query.patternlanguage.emf.EMFPatternLanguage.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.viatra.query.patternlanguage.emf.EMFPatternLanguage.Editor.opened"/> |
| </visibleWhen> |
| </command> |
| </menuContribution> |
| </extension> |
| <!-- quickfix marker resolution generator for org.eclipse.viatra.query.patternlanguage.emf.EMFPatternLanguage --> |
| <extension |
| point="org.eclipse.ui.ide.markerResolution"> |
| <markerResolutionGenerator |
| class="org.eclipse.viatra.query.patternlanguage.emf.ui.EMFPatternLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.editor.quickfix.MarkerResolutionGenerator" |
| markerType="org.eclipse.viatra.query.patternlanguage.emf.ui.emfpatternlanguage.check.fast"> |
| <attribute |
| name="FIXABLE_KEY" |
| value="true"> |
| </attribute> |
| </markerResolutionGenerator> |
| <markerResolutionGenerator |
| class="org.eclipse.viatra.query.patternlanguage.emf.ui.EMFPatternLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.editor.quickfix.MarkerResolutionGenerator" |
| markerType="org.eclipse.viatra.query.patternlanguage.emf.ui.emfpatternlanguage.check.normal"> |
| <attribute |
| name="FIXABLE_KEY" |
| value="true"> |
| </attribute> |
| </markerResolutionGenerator> |
| <markerResolutionGenerator |
| class="org.eclipse.viatra.query.patternlanguage.emf.ui.EMFPatternLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.editor.quickfix.MarkerResolutionGenerator" |
| markerType="org.eclipse.viatra.query.patternlanguage.emf.ui.emfpatternlanguage.check.expensive"> |
| <attribute |
| name="FIXABLE_KEY" |
| value="true"> |
| </attribute> |
| </markerResolutionGenerator> |
| </extension> |
| <!-- Rename Refactoring --> |
| <extension point="org.eclipse.ui.handlers"> |
| <handler |
| class="org.eclipse.viatra.query.patternlanguage.emf.ui.EMFPatternLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.refactoring.ui.DefaultRenameElementHandler" |
| commandId="org.eclipse.xtext.ui.refactoring.RenameElement"> |
| <activeWhen> |
| <reference |
| definitionId="org.eclipse.viatra.query.patternlanguage.emf.EMFPatternLanguage.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.viatra.query.patternlanguage.emf.EMFPatternLanguage.Editor.opened"> |
| </reference> |
| </visibleWhen> |
| </command> |
| </menuContribution> |
| </extension> |
| <extension point="org.eclipse.ui.preferencePages"> |
| <page |
| category="org.eclipse.viatra.query.patternlanguage.emf.EMFPatternLanguage" |
| class="org.eclipse.viatra.query.patternlanguage.emf.ui.EMFPatternLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.refactoring.ui.RefactoringPreferencePage" |
| id="org.eclipse.viatra.query.patternlanguage.emf.EMFPatternLanguage.refactoring" |
| name="Refactoring"> |
| <keywordReference id="org.eclipse.viatra.query.patternlanguage.emf.ui.keyword_EMFPatternLanguage"/> |
| </page> |
| </extension> |
| |
| <!-- Type Hierarchy --> |
| <extension |
| point="org.eclipse.ui.handlers"> |
| <handler |
| class="org.eclipse.viatra.query.patternlanguage.emf.ui.EMFPatternLanguageExecutableExtensionFactory:org.eclipse.xtext.xbase.ui.hierarchy.OpenTypeHierarchyHandler" |
| commandId="org.eclipse.xtext.xbase.ui.hierarchy.OpenTypeHierarchy"> |
| <activeWhen> |
| <reference |
| definitionId="org.eclipse.viatra.query.patternlanguage.emf.EMFPatternLanguage.Editor.opened"> |
| </reference> |
| </activeWhen> |
| </handler> |
| <handler |
| class="org.eclipse.viatra.query.patternlanguage.emf.ui.EMFPatternLanguageExecutableExtensionFactory:org.eclipse.xtext.xbase.ui.hierarchy.QuickTypeHierarchyHandler" |
| commandId="org.eclipse.jdt.ui.edit.text.java.open.hierarchy"> |
| <activeWhen> |
| <reference |
| definitionId="org.eclipse.viatra.query.patternlanguage.emf.EMFPatternLanguage.Editor.opened"> |
| </reference> |
| </activeWhen> |
| </handler> |
| </extension> |
| <extension point="org.eclipse.ui.menus"> |
| <menuContribution |
| locationURI="popup:#TextEditorContext?after=group.open"> |
| <command commandId="org.eclipse.xtext.xbase.ui.hierarchy.OpenTypeHierarchy" |
| style="push" |
| tooltip="Open Type Hierarchy"> |
| <visibleWhen checkEnabled="false"> |
| <reference definitionId="org.eclipse.viatra.query.patternlanguage.emf.EMFPatternLanguage.Editor.opened"/> |
| </visibleWhen> |
| </command> |
| </menuContribution> |
| <menuContribution |
| locationURI="popup:#TextEditorContext?after=group.open"> |
| <command commandId="org.eclipse.jdt.ui.edit.text.java.open.hierarchy" |
| style="push" |
| tooltip="Quick Type Hierarchy"> |
| <visibleWhen checkEnabled="false"> |
| <reference definitionId="org.eclipse.viatra.query.patternlanguage.emf.EMFPatternLanguage.Editor.opened"/> |
| </visibleWhen> |
| </command> |
| </menuContribution> |
| </extension> |
| <!-- Call Hierachy --> |
| <extension |
| point="org.eclipse.ui.handlers"> |
| <handler |
| class="org.eclipse.viatra.query.patternlanguage.emf.ui.EMFPatternLanguageExecutableExtensionFactory:org.eclipse.xtext.xbase.ui.hierarchy.OpenCallHierachyHandler" |
| commandId="org.eclipse.xtext.xbase.ui.hierarchy.OpenCallHierarchy"> |
| <activeWhen> |
| <reference |
| definitionId="org.eclipse.viatra.query.patternlanguage.emf.EMFPatternLanguage.Editor.opened"> |
| </reference> |
| </activeWhen> |
| </handler> |
| </extension> |
| |
| <extension point="org.eclipse.ui.menus"> |
| <menuContribution |
| locationURI="popup:#TextEditorContext?after=group.open"> |
| <command commandId="org.eclipse.xtext.xbase.ui.hierarchy.OpenCallHierarchy" |
| style="push" |
| tooltip="Open Call Hierarchy"> |
| <visibleWhen checkEnabled="false"> |
| <reference definitionId="org.eclipse.viatra.query.patternlanguage.emf.EMFPatternLanguage.Editor.opened"/> |
| </visibleWhen> |
| </command> |
| </menuContribution> |
| </extension> |
| <extension |
| point="org.eclipse.core.runtime.adapters"> |
| <factory class="org.eclipse.viatra.query.patternlanguage.emf.ui.EMFPatternLanguageExecutableExtensionFactory:org.eclipse.xtext.builder.smap.StratumBreakpointAdapterFactory" |
| adaptableType="org.eclipse.xtext.ui.editor.XtextEditor"> |
| <adapter type="org.eclipse.debug.ui.actions.IToggleBreakpointsTarget"/> |
| </factory> |
| </extension> |
| <extension point="org.eclipse.ui.editorActions"> |
| <editorContribution targetID="org.eclipse.viatra.query.patternlanguage.emf.EMFPatternLanguage" |
| id="org.eclipse.viatra.query.patternlanguage.emf.EMFPatternLanguage.rulerActions"> |
| <action |
| label="Not Used" |
| class="org.eclipse.viatra.query.patternlanguage.emf.ui.EMFPatternLanguageExecutableExtensionFactory:org.eclipse.debug.ui.actions.RulerToggleBreakpointActionDelegate" |
| style="push" |
| actionID="RulerDoubleClick" |
| id="org.eclipse.viatra.query.patternlanguage.emf.EMFPatternLanguage.doubleClickBreakpointAction"/> |
| </editorContribution> |
| </extension> |
| <extension point="org.eclipse.ui.popupMenus"> |
| <viewerContribution |
| targetID="org.eclipse.viatra.query.patternlanguage.emf.EMFPatternLanguage.RulerContext" |
| id="org.eclipse.viatra.query.patternlanguage.emf.EMFPatternLanguage.RulerPopupActions"> |
| <action |
| label="Toggle Breakpoint" |
| class="org.eclipse.viatra.query.patternlanguage.emf.ui.EMFPatternLanguageExecutableExtensionFactory:org.eclipse.debug.ui.actions.RulerToggleBreakpointActionDelegate" |
| menubarPath="debug" |
| id="org.eclipse.viatra.query.patternlanguage.emf.EMFPatternLanguage.rulerContextMenu.toggleBreakpointAction"> |
| </action> |
| <action |
| label="Not used" |
| class="org.eclipse.viatra.query.patternlanguage.emf.ui.EMFPatternLanguageExecutableExtensionFactory:org.eclipse.debug.ui.actions.RulerEnableDisableBreakpointActionDelegate" |
| menubarPath="debug" |
| id="org.eclipse.viatra.query.patternlanguage.emf.EMFPatternLanguage.rulerContextMenu.enableDisableBreakpointAction"> |
| </action> |
| <action |
| label="Breakpoint Properties" |
| helpContextId="breakpoint_properties_action_context" |
| class="org.eclipse.viatra.query.patternlanguage.emf.ui.EMFPatternLanguageExecutableExtensionFactory:org.eclipse.jdt.debug.ui.actions.JavaBreakpointPropertiesRulerActionDelegate" |
| menubarPath="group.properties" |
| id="org.eclipse.viatra.query.patternlanguage.emf.EMFPatternLanguage.rulerContextMenu.openBreapointPropertiesAction"> |
| </action> |
| </viewerContribution> |
| </extension> |
| <!-- Introduce Local Variable Refactoring --> |
| <extension point="org.eclipse.ui.handlers"> |
| <handler |
| class="org.eclipse.viatra.query.patternlanguage.emf.ui.EMFPatternLanguageExecutableExtensionFactory:org.eclipse.xtext.xbase.ui.refactoring.ExtractVariableHandler" |
| commandId="org.eclipse.xtext.xbase.ui.refactoring.ExtractLocalVariable"> |
| <activeWhen> |
| <reference |
| definitionId="org.eclipse.viatra.query.patternlanguage.emf.EMFPatternLanguage.Editor.opened"> |
| </reference> |
| </activeWhen> |
| </handler> |
| </extension> |
| <extension point="org.eclipse.ui.menus"> |
| <menuContribution |
| locationURI="popup:#TextEditorContext?after=group.edit"> |
| <command commandId="org.eclipse.xtext.xbase.ui.refactoring.ExtractLocalVariable" |
| style="push"> |
| <visibleWhen checkEnabled="false"> |
| <reference |
| definitionId="org.eclipse.viatra.query.patternlanguage.emf.EMFPatternLanguage.Editor.opened"> |
| </reference> |
| </visibleWhen> |
| </command> |
| </menuContribution> |
| </extension> |
| <!-- Open implementation --> |
| <extension point="org.eclipse.ui.handlers"> |
| <handler |
| class="org.eclipse.viatra.query.patternlanguage.emf.ui.EMFPatternLanguageExecutableExtensionFactory:org.eclipse.xtext.xbase.ui.navigation.OpenImplementationHandler" |
| commandId="org.eclipse.xtext.xbase.ui.OpenImplementationCommand"> |
| <activeWhen> |
| <reference |
| definitionId="org.eclipse.viatra.query.patternlanguage.emf.EMFPatternLanguage.Editor.opened"> |
| </reference> |
| </activeWhen> |
| </handler> |
| </extension> |
| <extension point="org.eclipse.ui.menus"> |
| <menuContribution |
| locationURI="menu:navigate?after=open.ext4"> |
| <command commandId="org.eclipse.xtext.xbase.ui.OpenImplementationCommand"> |
| <visibleWhen checkEnabled="false"> |
| <reference |
| definitionId="org.eclipse.viatra.query.patternlanguage.emf.EMFPatternLanguage.Editor.opened"> |
| </reference> |
| </visibleWhen> |
| </command> |
| </menuContribution> |
| </extension> |
| |
| <extension |
| point="org.eclipse.xtext.builder.participant"> |
| <participant |
| class="org.eclipse.viatra.query.patternlanguage.emf.ui.EMFPatternLanguageExecutableExtensionFactory:org.eclipse.xtext.builder.IXtextBuilderParticipant" |
| fileExtensions="vql" |
| > |
| </participant> |
| </extension> |
| <extension |
| point="org.eclipse.ui.preferencePages"> |
| <page |
| category="org.eclipse.viatra.query.patternlanguage.emf.EMFPatternLanguage" |
| class="org.eclipse.viatra.query.patternlanguage.emf.ui.EMFPatternLanguageExecutableExtensionFactory:org.eclipse.xtext.builder.preferences.BuilderPreferencePage" |
| id="org.eclipse.viatra.query.patternlanguage.emf.EMFPatternLanguage.compiler.preferencePage" |
| name="Compiler"> |
| <keywordReference id="org.eclipse.viatra.query.patternlanguage.emf.ui.keyword_EMFPatternLanguage"/> |
| </page> |
| </extension> |
| <extension |
| point="org.eclipse.ui.propertyPages"> |
| <page |
| category="org.eclipse.viatra.query.patternlanguage.emf.EMFPatternLanguage" |
| class="org.eclipse.viatra.query.patternlanguage.emf.ui.EMFPatternLanguageExecutableExtensionFactory:org.eclipse.xtext.builder.preferences.BuilderPreferencePage" |
| id="org.eclipse.viatra.query.patternlanguage.emf.EMFPatternLanguage.compiler.propertyPage" |
| name="Compiler"> |
| <keywordReference id="org.eclipse.viatra.query.patternlanguage.emf.ui.keyword_EMFPatternLanguage"/> |
| <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.viatra.query.patternlanguage.emf.EMFPatternLanguage.OpenGeneratedCode" |
| style="push"> |
| <visibleWhen checkEnabled="false"> |
| <reference definitionId="org.eclipse.viatra.query.patternlanguage.emf.EMFPatternLanguage.Editor.opened" /> |
| </visibleWhen> |
| </command> |
| </menuContribution> |
| </extension> |
| <extension point="org.eclipse.ui.handlers"> |
| <handler |
| class="org.eclipse.viatra.query.patternlanguage.emf.ui.EMFPatternLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.generator.trace.OpenGeneratedFileHandler" |
| commandId="org.eclipse.xtext.ui.OpenGeneratedFileCommand"> |
| <activeWhen> |
| <reference definitionId="org.eclipse.viatra.query.patternlanguage.emf.EMFPatternLanguage.Editor.opened" /> |
| </activeWhen> |
| </handler> |
| </extension> |
| |
| <extension point="org.eclipse.compare.contentViewers"> |
| <viewer id="org.eclipse.viatra.query.patternlanguage.emf.EMFPatternLanguage.compare.contentViewers" |
| class="org.eclipse.viatra.query.patternlanguage.emf.ui.EMFPatternLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.compare.InjectableViewerCreator" |
| extensions="vql"> |
| </viewer> |
| </extension> |
| <extension point="org.eclipse.compare.contentMergeViewers"> |
| <viewer id="org.eclipse.viatra.query.patternlanguage.emf.EMFPatternLanguage.compare.contentMergeViewers" |
| class="org.eclipse.viatra.query.patternlanguage.emf.ui.EMFPatternLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.compare.InjectableViewerCreator" |
| extensions="vql" label="VIATRA Query Compare"> |
| </viewer> |
| </extension> |
| <extension point="org.eclipse.ui.editors.documentProviders"> |
| <provider id="org.eclipse.viatra.query.patternlanguage.emf.EMFPatternLanguage.editors.documentProviders" |
| class="org.eclipse.viatra.query.patternlanguage.emf.ui.EMFPatternLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.editor.model.XtextDocumentProvider" |
| extensions="vql"> |
| </provider> |
| </extension> |
| <extension point="org.eclipse.team.core.fileTypes"> |
| <fileTypes |
| extension="vql" |
| type="text"> |
| </fileTypes> |
| </extension> |
| |
| <!-- code mining --> |
| <extension point="org.eclipse.ui.workbench.texteditor.codeMiningProviders"> |
| <codeMiningProvider |
| class="org.eclipse.viatra.query.patternlanguage.emf.ui.EMFPatternLanguageExecutableExtensionFactory:org.eclipse.jface.text.codemining.ICodeMiningProvider" |
| id="org.eclipse.viatra.query.patternlanguage.emf.EMFPatternLanguage.CodeMiningProvider" |
| label="VQL Codemining"> |
| <enabledWhen> |
| <with variable="editorInput"> |
| <adapt type="org.eclipse.core.resources.IFile"> |
| <test |
| property="org.eclipse.core.resources.contentTypeId" |
| value="org.eclipse.viatra.query.patternlanguage.emf.EMFPatternLanguage.contenttype"> |
| </test> |
| </adapt> |
| </with> |
| </enabledWhen> |
| </codeMiningProvider> |
| </extension> |
| |
| <extension |
| point="org.eclipse.ui.newWizards"> |
| <category |
| id="org.eclipse.viatra.query.tooling.ui.category" |
| name="VIATRA"> |
| </category> |
| <wizard |
| category="org.eclipse.viatra.query.tooling.ui.category" |
| class="org.eclipse.viatra.query.patternlanguage.emf.ui.EMFPatternLanguageExecutableExtensionFactory:org.eclipse.viatra.query.tooling.ui.wizards.NewProjectWizard" |
| finalPerspective="org.eclipse.viatra.query.tooling.ui.TransformationDevPerspective" |
| icon="icons/logo2.png" |
| id="org.eclipse.viatra.query.tooling.ui.newproject" |
| name="Query Project" |
| preferredPerspectives="org.eclipse.viatra.query.tooling.ui.TransformationDevPerspective,org.eclipse.pde.ui.PDEPerspective,org.eclipse.jdt.ui.JavaPerspective" |
| project="true"> |
| </wizard> |
| <wizard |
| category="org.eclipse.viatra.query.tooling.ui.category" |
| class="org.eclipse.viatra.query.patternlanguage.emf.ui.EMFPatternLanguageExecutableExtensionFactory:org.eclipse.viatra.query.tooling.ui.wizards.NewVqlFileWizard" |
| finalPerspective="org.eclipse.viatra.query.tooling.ui.TransformationDevPerspective" |
| icon="icons/logo2.png" |
| id="org.eclipse.viatra.query.tooling.ui.newvqlfile" |
| name="Query Definition " |
| preferredPerspectives="org.eclipse.viatra.query.tooling.ui.TransformationDevPerspective,org.eclipse.pde.ui.PDEPerspective,org.eclipse.jdt.ui.JavaPerspective"> |
| </wizard> |
| <wizard |
| category="org.eclipse.viatra.query.tooling.ui.category" |
| class="org.eclipse.viatra.query.patternlanguage.emf.ui.EMFPatternLanguageExecutableExtensionFactory:org.eclipse.viatra.query.tooling.ui.wizards.NewGenmodelWizard" |
| icon="icons/logo2.png" |
| id="org.eclipse.viatra.query.tooling.ui.newvqlgenmodel" |
| name="Query Generator Model" |
| project="false"> |
| </wizard> |
| </extension> |
| <extension |
| point="org.eclipse.ui.cheatsheets.cheatSheetContent"> |
| <category |
| id="org.eclipse.viatra" |
| name="VIATRA"> |
| </category> |
| <cheatsheet |
| category="org.eclipse.viatra" |
| composite="true" |
| contentFile="cheatsheets/gettingstarted.xml" |
| id="org.eclipse.viatra.query.tooling.ui.cheatsheet" |
| name="Getting Started with VIATRA Query"> |
| </cheatsheet> |
| </extension> |
| <extension |
| point="org.eclipse.ui.views"> |
| <category |
| id="org.eclipse.viatra.query.tooling.ui" |
| name="VIATRA"> |
| </category> |
| </extension> |
| <extension |
| point="org.eclipse.ui.perspectiveExtensions"> |
| <perspectiveExtension |
| targetID="org.eclipse.jdt.ui.JavaPerspective"> |
| <newWizardShortcut |
| id="org.eclipse.viatra.query.tooling.ui.newvqlfile"> |
| </newWizardShortcut> |
| </perspectiveExtension> |
| <perspectiveExtension |
| targetID="org.eclipse.pde.ui.PDEPerspective"> |
| <newWizardShortcut |
| id="org.eclipse.viatra.query.tooling.ui.newvqlfile"> |
| </newWizardShortcut> |
| </perspectiveExtension> |
| <perspectiveExtension |
| targetID="org.eclipse.viatra.query.tooling.ui.TransformationDevPerspective"> |
| <view |
| id="org.eclipse.jdt.ui.TypeHierarchy" |
| minimized="false" |
| visible="false" |
| relationship="stack" |
| relative="org.eclipse.ui.navigator.ProjectExplorer"> |
| </view> |
| <view |
| id="org.eclipse.jdt.ui.PackageExplorer" |
| minimized="false" |
| visible="false" |
| relationship="stack" |
| relative="org.eclipse.ui.navigator.ProjectExplorer"> |
| </view> |
| <view |
| id="org.eclipse.ui.views.PropertySheet" |
| minimized="false" |
| relationship="stack" |
| relative="org.eclipse.ui.views.ProblemView"> |
| </view> |
| <view |
| id="org.eclipse.amalgam.explorer.contextual.ui.view.ExplorerContextualID" |
| minimized="false" |
| relationship="stack" |
| relative="org.eclipse.ui.views.PropertySheet"> |
| </view> |
| <view |
| id="org.eclipse.ui.console.ConsoleView" |
| minimized="false" |
| visible="false" |
| relationship="stack" |
| relative="org.eclipse.ui.views.PropertySheet"> |
| </view> |
| <view |
| id="org.eclipse.ui.views.BookmarkView" |
| minimized="false" |
| visible="false" |
| relationship="stack" |
| relative="org.eclipse.ui.views.PropertySheet"> |
| </view> |
| <view |
| id="org.eclipse.ui.views.ProgressView" |
| minimized="false" |
| visible="false" |
| relationship="stack" |
| relative="org.eclipse.ui.views.PropertySheet"> |
| </view> |
| <viewShortcut |
| id="org.eclipse.ui.views.PropertySheet"> |
| </viewShortcut> |
| <viewShortcut |
| id="org.eclipse.ui.views.ProblemView"> |
| </viewShortcut> |
| <viewShortcut |
| id="org.eclipse.jdt.ui.PackageExplorer"> |
| </viewShortcut> |
| <newWizardShortcut |
| id="org.eclipse.viatra.query.tooling.ui.newproject"> |
| </newWizardShortcut> |
| <newWizardShortcut |
| id="org.eclipse.viatra.query.tooling.ui.newvqlfile"> |
| </newWizardShortcut> |
| <newWizardShortcut |
| id="org.eclipse.viatra.query.tooling.ui.newvqlgenmodel"> |
| </newWizardShortcut> |
| <newWizardShortcut |
| id="org.eclipse.xtend.ide.wizards.NewXtendClassWizard"> |
| </newWizardShortcut> |
| <newWizardShortcut |
| id="org.eclipse.xtend.ide.wizards.NewXtendInterfaceWizard"> |
| </newWizardShortcut> |
| <newWizardShortcut |
| id="org.eclipse.jdt.ui.wizards.NewClassCreationWizard"> |
| </newWizardShortcut> |
| <newWizardShortcut |
| id="org.eclipse.jdt.ui.wizards.NewInterfaceCreationWizard"> |
| </newWizardShortcut> |
| <newWizardShortcut |
| id="org.eclipse.pde.ui.NewProjectWizard"> |
| </newWizardShortcut> |
| <newWizardShortcut |
| id="org.eclipse.ui.wizards.new.folder"> |
| </newWizardShortcut> |
| <newWizardShortcut |
| id="org.eclipse.ui.wizards.new.file"> |
| </newWizardShortcut> |
| <actionSet |
| id="org.eclipse.debug.ui.launchActionSet"> |
| </actionSet> |
| </perspectiveExtension> |
| </extension> |
| <extension |
| point="org.eclipse.core.expressions.definitions"> |
| <definition |
| id="org.eclipse.viatra.query.tooling.ui.vql.file"> |
| <with |
| variable="selection"> |
| <iterate |
| ifEmpty="false"> |
| <adapt |
| type="org.eclipse.core.resources.IFile"> |
| <test |
| property="org.eclipse.core.resources.name" |
| value="*.vql"> |
| </test> |
| </adapt> |
| </iterate> |
| </with> |
| </definition> |
| <definition |
| id="org.eclipse.viatra.query.tooling.ui.activepatterneditor"> |
| <with |
| variable="activeEditorId"> |
| <equals |
| value="org.eclipse.viatra.query.patternlanguage.emf.EMFPatternLanguage"> |
| </equals> |
| </with> |
| </definition> |
| <definition |
| id="org.eclipse.viatra.query.tooling.ui.filteredmatchercontent"> |
| <with |
| variable="selection"> |
| <iterate |
| ifEmpty="false"> |
| <instanceof |
| value="org.eclipse.viatra.query.tooling.ui.util.IFilteredMatcherContent"> |
| </instanceof> |
| </iterate> |
| </with> |
| </definition> |
| </extension> |
| <extension |
| point="org.eclipse.ui.commands"> |
| <command |
| categoryId="org.eclipse.viatra.query.tooling.category" |
| id="org.eclipse.viatra.query.tooling.ui.loadmodel" |
| name="Load model"> |
| </command> |
| <command |
| categoryId="org.eclipse.viatra.query.tooling.category" |
| id="org.eclipse.viatra.query.tooling.ui.showlocation" |
| name="Show location"> |
| </command> |
| <category |
| description="Commands related to VIATRA" |
| id="org.eclipse.viatra.query.tooling.category" |
| name="VIATRA"> |
| </category> |
| <command |
| categoryId="org.eclipse.viatra.query.tooling.category" |
| id="org.eclipse.viatra.query.tooling.ui.showlocation_patternreg" |
| name="Show location"> |
| </command> |
| </extension> |
| <extension |
| point="org.eclipse.ui.preferencePages"> |
| <page |
| category="org.eclipse.viatra.query.tooling.ui.viatra" |
| class="org.eclipse.viatra.query.tooling.ui.preferences.PatternInitializationPreferencePage" |
| id="org.eclipse.viatra.query.tooling.ui.queryexplorer" |
| name="Query Evaluation"> |
| <keywordReference |
| id="org.eclipse.viatra.query.patternlanguage.emf.ui.keyword_EMFPatternLanguage"> |
| </keywordReference> |
| </page> |
| <page |
| class="org.eclipse.viatra.query.tooling.ui.preferences.RootPreferencePage" |
| id="org.eclipse.viatra.query.tooling.ui.viatra" |
| name="VIATRA"> |
| </page> |
| <page |
| category="org.eclipse.viatra.query.tooling.ui.viatra" |
| class="org.eclipse.viatra.query.tooling.ui.preferences.ToolingCorePreferencePage" |
| id="org.eclipse.viatra.query.tooling.ui.preferences.ToolingCorePreferencePage" |
| name="Query Tooling"> |
| <keywordReference |
| id="org.eclipse.viatra.query.patternlanguage.emf.ui.keyword_EMFPatternLanguage"> |
| </keywordReference> |
| </page> |
| </extension> |
| <extension |
| point="org.eclipse.ui.perspectives"> |
| <perspective |
| class="org.eclipse.viatra.query.tooling.ui.perspective.TransformationDevelopmentPerspective" |
| icon="icons/rsz_viatra_logo.png" |
| id="org.eclipse.viatra.query.tooling.ui.TransformationDevPerspective" |
| name="Transformation Development"> |
| </perspective> |
| </extension> |
| <extension |
| point="org.eclipse.ui.navigator.navigatorContent"> |
| <commonWizard |
| menuGroupId="org.eclipse.viatra" |
| type="new" |
| wizardId="org.eclipse.viatra.query.tooling.ui.newproject"> |
| <enablement> |
| <with |
| variable="activeWorkbenchWindow.activePerspective"> |
| <equals |
| value="org.eclipse.viatra.query.tooling.ui.TransformationDevPerspective"> |
| </equals> |
| </with></enablement> |
| </commonWizard> |
| <commonWizard |
| menuGroupId="org.eclipse.viatra" |
| type="new" |
| wizardId="org.eclipse.viatra.query.tooling.ui.newvqlfile"> |
| <enablement> |
| <with |
| variable="activeWorkbenchWindow.activePerspective"> |
| <equals |
| value="org.eclipse.viatra.query.tooling.ui.TransformationDevPerspective"> |
| </equals> |
| </with></enablement> |
| </commonWizard> |
| </extension> |
| <extension |
| point="org.eclipse.ui.views"> |
| <view |
| category="org.eclipse.viatra.query.tooling.ui" |
| class="org.eclipse.viatra.query.patternlanguage.emf.ui.EMFPatternLanguageExecutableExtensionFactory:org.eclipse.viatra.query.tooling.ui.queryregistry.QueryRegistryView" |
| icon="icons/logo2.png" |
| id="org.eclipse.viatra.query.tooling.ui.queryregistry.QueryRegistryView" |
| name="Query Registry"> |
| </view> |
| <view |
| category="org.eclipse.viatra.query.tooling.ui" |
| class="org.eclipse.viatra.query.patternlanguage.emf.ui.EMFPatternLanguageExecutableExtensionFactory:org.eclipse.viatra.query.tooling.ui.queryresult.QueryResultView" |
| icon="icons/logo2.png" |
| id="org.eclipse.viatra.query.tooling.ui.queryresult.QueryResultView" |
| name="Query Results"> |
| </view> |
| </extension> |
| <extension |
| point="org.eclipse.ui.perspectiveExtensions"> |
| <perspectiveExtension |
| targetID="org.eclipse.viatra.query.tooling.ui.TransformationDevPerspective"> |
| <view |
| id="org.eclipse.viatra.query.tooling.ui.queryregistry.QueryRegistryView" |
| minimized="false" |
| relationship="stack" |
| relative="left"> |
| </view> |
| <view |
| id="org.eclipse.viatra.query.tooling.ui.queryresult.QueryResultView" |
| minimized="false" |
| relationship="stack" |
| relative="right"> |
| </view> |
| <viewShortcut |
| id="org.eclipse.viatra.query.tooling.ui.queryregistry.QueryRegistryView"> |
| </viewShortcut> |
| <viewShortcut |
| id="org.eclipse.viatra.query.tooling.ui.queryresult.QueryResultView"> |
| </viewShortcut> |
| </perspectiveExtension> |
| </extension> |
| <extension |
| point="org.eclipse.ui.handlers"> |
| <handler |
| class="org.eclipse.viatra.query.tooling.ui.queryregistry.handlers.ResetViewHandler" |
| commandId="org.eclipse.viatra.query.tooling.ui.registry.reset"> |
| </handler> |
| <handler |
| class="org.eclipse.viatra.query.patternlanguage.emf.ui.EMFPatternLanguageExecutableExtensionFactory:org.eclipse.viatra.query.tooling.ui.queryregistry.handlers.ShowLocationHandler" |
| commandId="org.eclipse.viatra.query.tooling.ui.showlocation"> |
| <activeWhen> |
| <reference |
| definitionId="org.eclipse.viatra.query.tooling.ui.browser.selection.registryentry"> |
| </reference> |
| </activeWhen> |
| </handler> |
| <handler |
| class="org.eclipse.viatra.query.patternlanguage.emf.ui.EMFPatternLanguageExecutableExtensionFactory:org.eclipse.viatra.query.tooling.ui.queryresult.handlers.LoadResourceSetHandler" |
| commandId="org.eclipse.viatra.query.tooling.ui.result.loadmodel"> |
| <enabledWhen> |
| <reference |
| definitionId="org.eclipse.viatra.query.runtime.ui.activedomaineditor"> |
| </reference> |
| </enabledWhen> |
| <activeWhen> |
| <not> |
| <reference |
| definitionId="org.eclipse.viatra.query.tooling.ui.activepatterneditor"> |
| </reference> |
| </not> |
| </activeWhen> |
| </handler> |
| <handler |
| class="org.eclipse.viatra.query.patternlanguage.emf.ui.EMFPatternLanguageExecutableExtensionFactory:org.eclipse.viatra.query.tooling.ui.queryresult.handlers.LoadVqlPatternHandler" |
| commandId="org.eclipse.viatra.query.tooling.ui.result.loadvqlqueries"> |
| <activeWhen> |
| <reference |
| definitionId="org.eclipse.viatra.query.tooling.ui.activepatterneditor"> |
| </reference> |
| </activeWhen> |
| <enabledWhen> |
| <with |
| variable="activeEditor"> |
| <test |
| property="org.eclipse.viatra.query.tooling.ui.browser.result.activeengine"> |
| </test> |
| </with> |
| </enabledWhen> |
| </handler> |
| <handler |
| class="org.eclipse.viatra.query.patternlanguage.emf.ui.EMFPatternLanguageExecutableExtensionFactory:org.eclipse.viatra.query.tooling.ui.queryresult.handlers.LoadQueriesHandler" |
| commandId="org.eclipse.viatra.query.tooling.ui.result.loadqueries"> |
| <activeWhen> |
| <reference |
| definitionId="org.eclipse.viatra.query.tooling.ui.browser.selection.registrycontent"> |
| </reference> |
| </activeWhen> |
| <enabledWhen> |
| <with |
| variable="activePart"> |
| <test |
| property="org.eclipse.viatra.query.tooling.ui.browser.result.activeengine"> |
| </test> |
| </with> |
| </enabledWhen> |
| </handler> |
| <handler |
| class="org.eclipse.viatra.query.patternlanguage.emf.ui.EMFPatternLanguageExecutableExtensionFactory:org.eclipse.viatra.query.tooling.ui.queryresult.handlers.UnloadModelHandler" |
| commandId="org.eclipse.viatra.query.tooling.ui.result.unloadmodel"> |
| <enabledWhen> |
| <with |
| variable="activePart"> |
| <instanceof |
| value="org.eclipse.viatra.query.tooling.ui.queryresult.QueryResultView"> |
| </instanceof> |
| <test |
| property="org.eclipse.viatra.query.tooling.ui.browser.result.activeengine"> |
| </test> |
| </with> |
| </enabledWhen> |
| </handler> |
| <handler |
| class="org.eclipse.viatra.query.patternlanguage.emf.ui.EMFPatternLanguageExecutableExtensionFactory:org.eclipse.viatra.query.tooling.ui.queryresult.handlers.WipeEngineHandler" |
| commandId="org.eclipse.viatra.query.tooling.ui.result.wipeengine"> |
| <enabledWhen> |
| <with |
| variable="activePart"> |
| <instanceof |
| value="org.eclipse.viatra.query.tooling.ui.queryresult.QueryResultView"> |
| </instanceof> |
| <test |
| property="org.eclipse.viatra.query.tooling.ui.browser.result.activeengine"> |
| </test> |
| </with> |
| </enabledWhen> |
| </handler> |
| <handler |
| class="org.eclipse.viatra.query.patternlanguage.emf.ui.EMFPatternLanguageExecutableExtensionFactory:org.eclipse.viatra.query.tooling.ui.queryregistry.handlers.ShowLocationHandler" |
| commandId="org.eclipse.jdt.ui.edit.text.java.open.editor"> |
| <activeWhen> |
| <reference |
| definitionId="org.eclipse.viatra.query.tooling.ui.browser.selection.registryentry"> |
| </reference> |
| </activeWhen> |
| </handler> |
| <handler |
| class="org.eclipse.viatra.query.patternlanguage.emf.ui.EMFPatternLanguageExecutableExtensionFactory:org.eclipse.viatra.query.tooling.ui.queryresult.handlers.ShowMatcherLocationHandler" |
| commandId="org.eclipse.viatra.query.tooling.ui.showlocation"> |
| <activeWhen> |
| <reference |
| definitionId="org.eclipse.viatra.query.tooling.ui.browser.selection.resultmatcher"> |
| </reference> |
| </activeWhen> |
| </handler> |
| <handler |
| class="org.eclipse.viatra.query.patternlanguage.emf.ui.EMFPatternLanguageExecutableExtensionFactory:org.eclipse.viatra.query.tooling.ui.queryresult.handlers.ShowMatchLocationHandler" |
| commandId="org.eclipse.viatra.query.tooling.ui.showlocation"> |
| <activeWhen> |
| <with |
| variable="selection"> |
| <iterate |
| ifEmpty="false"> |
| <or> |
| <instanceof |
| value="org.eclipse.emf.ecore.EObject"> |
| </instanceof> |
| <instanceof |
| value="org.eclipse.viatra.query.runtime.api.IPatternMatch"> |
| </instanceof> |
| </or> |
| </iterate> |
| </with> |
| </activeWhen> |
| </handler> |
| <handler |
| class="org.eclipse.viatra.query.patternlanguage.emf.ui.EMFPatternLanguageExecutableExtensionFactory:org.eclipse.viatra.query.tooling.ui.queryresult.handlers.RemoveQueryHandler" |
| commandId="org.eclipse.viatra.query.tooling.ui.result.removequery"> |
| <activeWhen> |
| <reference |
| definitionId="org.eclipse.viatra.query.tooling.ui.browser.selection.resultmatchers"> |
| </reference> |
| </activeWhen> |
| </handler> |
| <handler |
| class="org.eclipse.viatra.query.patternlanguage.emf.ui.EMFPatternLanguageExecutableExtensionFactory:org.eclipse.viatra.query.tooling.ui.queryresult.handlers.OpenManagedEngineHandler" |
| commandId="org.eclipse.viatra.query.tooling.ui.result.openmanaged"> |
| </handler> |
| </extension> |
| <extension |
| point="org.eclipse.ui.menus"> |
| <menuContribution |
| allPopups="false" |
| locationURI="menu:org.eclipse.viatra.query.tooling.ui.queryregistry.QueryRegistryView"> |
| <command |
| commandId="org.eclipse.viatra.query.tooling.ui.registry.reset" |
| icon="platform:/plugin/org.eclipse.jdt.ui/icons/full/elcl16/refresh.png" |
| label="Reset view" |
| style="push"> |
| </command> |
| </menuContribution> |
| <menuContribution |
| allPopups="false" |
| locationURI="popup:org.eclipse.viatra.query.tooling.ui.queryregistry.QueryRegistryView"> |
| <command |
| commandId="org.eclipse.viatra.query.tooling.ui.showlocation" |
| icon="platform:/plugin/org.eclipse.ui.ide/icons/full/elcl16/gotoobj_tsk.png" |
| style="push"> |
| <visibleWhen |
| checkEnabled="false"> |
| <reference |
| definitionId="org.eclipse.viatra.query.tooling.ui.browser.selection.registryentry"> |
| </reference> |
| </visibleWhen> |
| </command> |
| <command |
| commandId="org.eclipse.viatra.query.tooling.ui.result.loadqueries" |
| icon="icons/load_query.png" |
| id="org.eclipse.viatra.query.tooling.ui.result.loadqueriesmenu" |
| label="Load into Query Results" |
| style="push"> |
| <visibleWhen |
| checkEnabled="false"> |
| <reference |
| definitionId="org.eclipse.viatra.query.tooling.ui.browser.selection.registrycontent"> |
| </reference> |
| </visibleWhen> |
| </command> |
| </menuContribution> |
| <menuContribution |
| allPopups="false" |
| locationURI="toolbar:org.eclipse.viatra.query.tooling.ui.queryresult.QueryResultView"> |
| <control |
| class="org.eclipse.viatra.query.tooling.ui.queryresult.BackendSelectionControl"> |
| </control> |
| <command |
| commandId="org.eclipse.viatra.query.tooling.ui.result.loadmodel" |
| icon="icons/load_model.png" |
| id="org.eclipse.viatra.query.tooling.ui.result.loadmodelmenu" |
| label="Load model from active editor" |
| style="push"> |
| </command> |
| <command |
| commandId="org.eclipse.viatra.query.tooling.ui.result.loadvqlqueries" |
| icon="icons/load_query.png" |
| label="Load queries from active editor" |
| style="push"> |
| </command> |
| <command |
| commandId="org.eclipse.ui.navigate.collapseAll" |
| style="push"> |
| </command> |
| </menuContribution> |
| <menuContribution |
| allPopups="false" |
| locationURI="menu:org.eclipse.viatra.query.tooling.ui.queryresult.QueryResultView"> |
| <command |
| commandId="org.eclipse.viatra.query.tooling.ui.result.unloadmodel" |
| icon="platform:/plugin/org.eclipse.ui/icons/full/elcl16/stop.png" |
| label="Unload model" |
| style="push"> |
| </command> |
| <command |
| commandId="org.eclipse.viatra.query.tooling.ui.result.wipeengine" |
| icon="platform:/plugin/org.eclipse.ui/icons/full/etool16/delete_edit.png" |
| label="Remove loaded queries" |
| style="push"> |
| </command> |
| <command |
| commandId="org.eclipse.viatra.query.tooling.ui.result.openmanaged" |
| icon="icons/logo2.png" |
| label="Open managed engine" |
| style="push"> |
| </command> |
| </menuContribution> |
| <menuContribution |
| allPopups="false" |
| locationURI="toolbar:org.eclipse.viatra.query.tooling.ui.queryregistry.QueryRegistryView"> |
| <command |
| commandId="org.eclipse.ui.navigate.collapseAll" |
| style="push"> |
| </command> |
| </menuContribution> |
| <menuContribution |
| allPopups="false" |
| locationURI="popup:org.eclipse.viatra.query.tooling.ui.queryresult.QueryResultView"> |
| <command |
| commandId="org.eclipse.viatra.query.tooling.ui.showlocation" |
| icon="platform:/plugin/org.eclipse.ui.ide/icons/full/elcl16/gotoobj_tsk.png" |
| style="push"> |
| <visibleWhen |
| checkEnabled="false"> |
| <reference |
| definitionId="org.eclipse.viatra.query.tooling.ui.browser.selection.resultcontent"> |
| </reference> |
| </visibleWhen> |
| </command> |
| <command |
| commandId="org.eclipse.viatra.query.tooling.ui.result.removequery" |
| icon="platform:/plugin/org.eclipse.ui/icons/full/etool16/delete_edit.png" |
| label="Remove query" |
| style="push"> |
| <visibleWhen |
| checkEnabled="false"> |
| <reference |
| definitionId="org.eclipse.viatra.query.tooling.ui.browser.selection.resultmatchers"> |
| </reference> |
| </visibleWhen> |
| </command> |
| </menuContribution> |
| </extension> |
| <extension |
| point="org.eclipse.ui.commands"> |
| <command |
| categoryId="org.eclipse.viatra.query.tooling.category" |
| id="org.eclipse.viatra.query.tooling.ui.registry.reset" |
| name="Reset view"> |
| </command> |
| <command |
| categoryId="org.eclipse.viatra.query.tooling.category" |
| id="org.eclipse.viatra.query.tooling.ui.result.loadmodel" |
| name="Load model from active editor"> |
| </command> |
| <command |
| categoryId="org.eclipse.viatra.query.tooling.category" |
| id="org.eclipse.viatra.query.tooling.ui.result.openmanaged" |
| name="Open managed engine"> |
| </command> |
| <command |
| categoryId="org.eclipse.viatra.query.tooling.category" |
| id="org.eclipse.viatra.query.tooling.ui.result.loadvqlqueries" |
| name="Load queries from active editor"> |
| </command> |
| <command |
| categoryId="org.eclipse.viatra.query.tooling.category" |
| id="org.eclipse.viatra.query.tooling.ui.result.loadqueries" |
| name="Load into Query Results"> |
| </command> |
| <command |
| categoryId="org.eclipse.viatra.query.tooling.category" |
| id="org.eclipse.viatra.query.tooling.ui.result.unloadmodel" |
| name="Unload model"> |
| </command> |
| <command |
| categoryId="org.eclipse.viatra.query.tooling.category" |
| id="org.eclipse.viatra.query.tooling.ui.result.wipeengine" |
| name="Remove loaded queries"> |
| </command> |
| <command |
| categoryId="org.eclipse.viatra.query.tooling.category" |
| id="org.eclipse.viatra.query.tooling.ui.result.removequery" |
| name="Remove query"> |
| </command> |
| </extension> |
| <extension |
| point="org.eclipse.ui.views.properties.tabbed.propertyContributor"> |
| <propertyContributor |
| contributorId="org.eclipse.viatra.query.tooling.ui.queryregistry.QueryRegistryView"> |
| <propertyCategory |
| category="org.eclipse.viatra.query.tooling.ui.propertiesCategory"> |
| </propertyCategory> |
| </propertyContributor> |
| </extension> |
| <extension |
| point="org.eclipse.ui.views.properties.tabbed.propertyContributor"> |
| <propertyContributor |
| contributorId="org.eclipse.viatra.query.tooling.ui.queryresult.QueryResultView" |
| tabDescriptorProvider="org.eclipse.viatra.query.tooling.ui.queryresult.properties.QueryResultTreeTabDescriptorProvider"> |
| <propertyCategory |
| category="org.eclipse.viatra.query.tooling.ui.result.propertiesCategory"> |
| </propertyCategory> |
| </propertyContributor> |
| </extension> |
| <extension |
| point="org.eclipse.ui.views.properties.tabbed.propertyTabs"> |
| <propertyTabs |
| contributorId="org.eclipse.viatra.query.tooling.ui.queryregistry.QueryRegistryView"> |
| <propertyTab |
| category="org.eclipse.viatra.query.tooling.ui.propertiesCategory" |
| id="org.eclipse.viatra.query.tooling.ui.properties.specification" |
| label="Query"> |
| </propertyTab> |
| <propertyTab |
| afterTab="org.eclipse.viatra.query.tooling.ui.properties.specification" |
| category="org.eclipse.viatra.query.tooling.ui.propertiesCategory" |
| id="org.eclipse.viatra.query.tooling.ui.properties.specification.advanced" |
| indented="true" |
| label="Advanced"> |
| </propertyTab> |
| </propertyTabs> |
| </extension> |
| <extension |
| point="org.eclipse.ui.views.properties.tabbed.propertySections"> |
| <propertySections |
| contributorId="org.eclipse.viatra.query.tooling.ui.queryregistry.QueryRegistryView"> |
| <propertySection |
| class="org.eclipse.viatra.query.tooling.ui.queryregistry.properties.QuerySpecificationPropertySection" |
| enablesFor="1" |
| id="org.eclipse.viatra.query.tooling.ui.properties.specification.section" |
| tab="org.eclipse.viatra.query.tooling.ui.properties.specification"> |
| <input |
| type="org.eclipse.viatra.query.tooling.ui.queryregistry.QueryRegistryTreeEntry"> |
| </input> |
| </propertySection> |
| <propertySection |
| class="org.eclipse.ui.views.properties.tabbed.AdvancedPropertySection" |
| enablesFor="1" |
| id="org.eclipse.ui.views.properties.tabbed.AdvancedPropertySection" |
| tab="org.eclipse.viatra.query.tooling.ui.properties.specification.advanced"> |
| <input |
| type="org.eclipse.viatra.query.tooling.ui.queryregistry.QueryRegistryTreeEntry"> |
| </input> |
| </propertySection> |
| </propertySections> |
| </extension> |
| <extension |
| point="org.eclipse.core.runtime.adapters"> |
| <factory |
| adaptableType="org.eclipse.viatra.query.tooling.ui.queryregistry.QueryRegistryTreeEntry" |
| class="org.eclipse.viatra.query.tooling.ui.browser.QueryBrowserAdapterFactory"> |
| <adapter |
| type="org.eclipse.ui.views.properties.IPropertySource"> |
| </adapter> |
| </factory> |
| <factory |
| adaptableType="org.eclipse.viatra.query.runtime.registry.IQuerySpecificationRegistryEntry" |
| class="org.eclipse.viatra.query.tooling.ui.browser.QueryBrowserAdapterFactory"> |
| <adapter |
| type="org.eclipse.ui.views.properties.IPropertySource"> |
| </adapter> |
| </factory> |
| <factory |
| adaptableType="org.eclipse.viatra.query.tooling.ui.queryresult.QueryResultTreeMatcher" |
| class="org.eclipse.viatra.query.tooling.ui.browser.QueryBrowserAdapterFactory"> |
| <adapter |
| type="org.eclipse.ui.views.properties.IPropertySource"> |
| </adapter> |
| </factory> |
| <factory |
| adaptableType="org.eclipse.viatra.query.runtime.api.IPatternMatch" |
| class="org.eclipse.viatra.query.tooling.ui.browser.QueryBrowserAdapterFactory"> |
| <adapter |
| type="org.eclipse.ui.views.properties.IPropertySource"> |
| </adapter> |
| </factory> |
| <factory |
| adaptableType="org.eclipse.emf.ecore.EObject" |
| class="org.eclipse.viatra.query.tooling.ui.browser.QueryBrowserAdapterFactory"> |
| <adapter |
| type="org.eclipse.ui.views.properties.IPropertySource"> |
| </adapter> |
| </factory> |
| </extension> |
| <extension |
| point="org.eclipse.core.expressions.definitions"> |
| <definition |
| id="org.eclipse.viatra.query.tooling.ui.browser.selection.registryentry"> |
| <with |
| variable="selection"> |
| <and> |
| <count |
| value="1"> |
| </count> |
| <iterate> |
| <instanceof |
| value="org.eclipse.viatra.query.tooling.ui.queryregistry.QueryRegistryTreeEntry"> |
| </instanceof> |
| </iterate> |
| </and> |
| </with> |
| </definition> |
| <definition |
| id="org.eclipse.viatra.query.tooling.ui.browser.selection.registrycontent"> |
| <with |
| variable="selection"> |
| <iterate |
| ifEmpty="false"> |
| <or> |
| <instanceof |
| value="org.eclipse.viatra.query.tooling.ui.queryregistry.QueryRegistryTreeSource"> |
| </instanceof> |
| <instanceof |
| value="org.eclipse.viatra.query.tooling.ui.queryregistry.QueryRegistryTreePackage"> |
| </instanceof> |
| <instanceof |
| value="org.eclipse.viatra.query.tooling.ui.queryregistry.QueryRegistryTreeEntry"> |
| </instanceof> |
| </or> |
| </iterate> |
| </with> |
| </definition> |
| <definition |
| id="org.eclipse.viatra.query.tooling.ui.browser.selection.resultcontent"> |
| <with |
| variable="selection"> |
| <iterate |
| ifEmpty="false"> |
| <or> |
| <instanceof |
| value="org.eclipse.emf.ecore.EObject"> |
| </instanceof> |
| <instanceof |
| value="org.eclipse.viatra.query.tooling.ui.queryresult.QueryResultTreeMatcher"> |
| </instanceof> |
| <instanceof |
| value="org.eclipse.viatra.query.runtime.api.IPatternMatch"> |
| </instanceof> |
| </or> |
| </iterate> |
| </with> |
| </definition> |
| <definition |
| id="org.eclipse.viatra.query.tooling.ui.browser.selection.resultmatcher"> |
| <with |
| variable="selection"> |
| <and> |
| <count |
| value="1"> |
| </count> |
| <iterate> |
| <instanceof |
| value="org.eclipse.viatra.query.tooling.ui.queryresult.QueryResultTreeMatcher"> |
| </instanceof> |
| </iterate> |
| </and> |
| </with> |
| </definition> |
| <definition |
| id="org.eclipse.viatra.query.tooling.ui.browser.selection.resultmatchers"> |
| <with |
| variable="selection"> |
| <and> |
| <iterate> |
| <instanceof |
| value="org.eclipse.viatra.query.tooling.ui.queryresult.QueryResultTreeMatcher"> |
| </instanceof> |
| </iterate> |
| </and> |
| </with> |
| </definition> |
| </extension> |
| <extension |
| point="org.eclipse.core.expressions.propertyTesters"> |
| <propertyTester |
| class="org.eclipse.viatra.query.tooling.ui.queryresult.internal.ActiveEnginePropertyTester" |
| id="org.eclipse.viatra.query.tooling.ui.browser.result" |
| namespace="org.eclipse.viatra.query.tooling.ui.browser.result" |
| properties="activeengine" |
| type="java.lang.Object"> |
| </propertyTester> |
| </extension> |
| <extension |
| point="org.eclipse.ui.commands"> |
| <command |
| categoryId="org.eclipse.viatra.query.tooling.category" |
| id="org.eclipse.viatra.query.tooling.migrator.api.command" |
| name="Migrate IncQuery API to VIATRA Queries"> |
| </command> |
| <command |
| categoryId="org.eclipse.viatra.query.tooling.category" |
| id="org.eclipse.viatra.query.tooling.migrator.metadata.command" |
| name="Add VIATRA Query Nature"> |
| </command> |
| </extension> |
| <extension |
| point="org.eclipse.ui.menus"> |
| <menuContribution |
| allPopups="false" |
| locationURI="popup:org.eclipse.ui.projectConfigure?after=additions"> |
| <command |
| commandId="org.eclipse.viatra.query.tooling.migrator.metadata.command" |
| icon="icons/logo2.png" |
| label="Update Query Project" |
| style="push"> |
| <visibleWhen |
| checkEnabled="false"> |
| <iterate> |
| <adapt |
| type="org.eclipse.core.resources.IProject"> |
| <and> |
| <test |
| property="org.eclipse.core.resources.open" |
| value="true"> |
| </test> |
| <test |
| property="org.eclipse.viatra.query.tooling.migrator.outdated"> |
| </test> |
| <test |
| property="org.eclipse.core.resources.projectNature" |
| value="org.eclipse.incquery.projectnature"> |
| </test> |
| </and> |
| </adapt> |
| </iterate> |
| </visibleWhen> |
| </command> |
| <command |
| commandId="org.eclipse.viatra.query.tooling.migrator.metadata.command" |
| icon="icons/logo2.png" |
| label="Convert to VIATRA Query Project" |
| style="push"> |
| <visibleWhen |
| checkEnabled="false"> |
| <iterate> |
| <adapt |
| type="org.eclipse.core.resources.IProject"> |
| <and> |
| <test |
| property="org.eclipse.core.resources.open" |
| value="true"> |
| </test> |
| <test |
| property="org.eclipse.viatra.query.tooling.migrator.outdated"> |
| </test> |
| <not> |
| <test |
| property="org.eclipse.core.resources.projectNature" |
| value="org.eclipse.incquery.projectnature"> |
| </test> |
| </not> |
| </and> |
| </adapt> |
| </iterate> |
| </visibleWhen> |
| </command> |
| <command |
| commandId="org.eclipse.viatra.query.tooling.migrator.api.command" |
| icon="icons/logo2.png" |
| label="Replace EMF-IncQuery API Usage" |
| style="push"> |
| <visibleWhen |
| checkEnabled="false"> |
| <iterate> |
| <adapt |
| type="org.eclipse.core.resources.IProject"> |
| <and> |
| <test |
| property="org.eclipse.core.resources.open" |
| value="true"> |
| </test> |
| <test |
| property="org.eclipse.core.resources.projectNature" |
| value="org.eclipse.jdt.core.javanature"> |
| </test> |
| <not> |
| <and> |
| <test |
| property="org.eclipse.viatra.query.tooling.migrator.outdated"> |
| </test> |
| <test |
| property="org.eclipse.core.resources.projectNature" |
| value="org.eclipse.viatra.query.projectnature"> |
| </test> |
| </and> |
| </not> |
| </and> |
| </adapt> |
| </iterate> |
| </visibleWhen> |
| </command> |
| </menuContribution> |
| </extension> |
| <extension |
| point="org.eclipse.ui.handlers"> |
| <handler |
| class="org.eclipse.viatra.query.patternlanguage.emf.ui.ReusablePatternLanguageExecutableExtensionFactory:org.eclipse.viatra.query.tooling.ui.migrator.metadata.ProjectNatureUpdater" |
| commandId="org.eclipse.viatra.query.tooling.migrator.metadata.command"> |
| </handler> |
| <handler |
| class="org.eclipse.viatra.query.tooling.ui.migrator.MigrateProjectHandler" |
| commandId="org.eclipse.viatra.query.tooling.migrator.api.command"> |
| </handler> |
| </extension> |
| <extension |
| point="org.eclipse.core.expressions.propertyTesters"> |
| <propertyTester |
| class="org.eclipse.viatra.query.tooling.ui.migrator.properties.QueryProjectVersionTester" |
| id="org.eclipse.viatra.query.tooling.migrator.projectPropertyTester" |
| namespace="org.eclipse.viatra.query.tooling.migrator" |
| properties="outdated" |
| type="org.eclipse.core.resources.IProject"> |
| </propertyTester> |
| </extension> |
| <extension |
| point="org.eclipse.core.runtime.preferences"> |
| <initializer |
| class="org.eclipse.viatra.query.patternlanguage.emf.ui.internal.EMFPatternLanguagePreferenceInitializer"> |
| </initializer> |
| </extension> |
| <extension |
| point="org.eclipse.ui.preferencePages"> |
| <page |
| category="org.eclipse.viatra.query.patternlanguage.emf.EMFPatternLanguage" |
| class="org.eclipse.viatra.query.patternlanguage.emf.ui.internal.EMFPatternLanguageEditorPreferencePage" |
| id="org.eclipse.viatra.query.patternlanguage.emf.EMFPatternLanguage.compiler.preferencePage" |
| name="Editor"> |
| <keywordReference |
| id="org.eclipse.viatra.query.patternlanguage.emf.ui.keyword_EMFPatternLanguage"> |
| </keywordReference> |
| </page> |
| </extension> |
| </plugin> |
