Initial workspace setup

author: ArenBabikian <aren.babikian@mail.mcgill.ca> 2019-01-15 12:44:33 -0500
committer: ArenBabikian <aren.babikian@mail.mcgill.ca> 2019-01-15 12:44:33 -0500
commit: 20f131a3f09edf8e1455f20b4f486629147e7eff (patch)
tree: 690ee30b62caf76bdc7d45f183382965e4e7bf05 /Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/plugin.xml
parent: ViatraSolver as default (diff)
download: VIATRA-Generator-20f131a3f09edf8e1455f20b4f486629147e7eff.tar.gz
VIATRA-Generator-20f131a3f09edf8e1455f20b4f486629147e7eff.tar.zst
VIATRA-Generator-20f131a3f09edf8e1455f20b4f486629147e7eff.zip
1 files changed, 410 insertions, 0 deletions
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/plugin.xml b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/plugin.xml
new file mode 100644
index 00000000..b15ba9ff
--- /dev/null
+++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/plugin.xml
@@ -0,0 +1,410 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<?eclipse version="3.0"?>
+<plugin>
+        <extension
+                point="org.eclipse.ui.editors">
+                <editor
+                        class="ca.mcgill.ecse.dslreasoner.ui.VampireLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.editor.XtextEditor"
+                        contributorClass="org.eclipse.ui.editors.text.TextEditorActionContributor"
+                        default="true"
+                        extensions="tptp"
+                        id="ca.mcgill.ecse.dslreasoner.VampireLanguage"
+                        name="VampireLanguage Editor">
+                </editor>
+        </extension>
+        <extension
+                point="org.eclipse.ui.handlers">
+                <handler
+                        class="ca.mcgill.ecse.dslreasoner.ui.VampireLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.editor.hyperlinking.OpenDeclarationHandler"
+                        commandId="org.eclipse.xtext.ui.editor.hyperlinking.OpenDeclaration">
+                        <activeWhen>
+                                <reference
+                                        definitionId="ca.mcgill.ecse.dslreasoner.VampireLanguage.Editor.opened">
+                                </reference>
+                        </activeWhen>
+                </handler>
+                <handler
+                        class="ca.mcgill.ecse.dslreasoner.ui.VampireLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.editor.handler.ValidateActionHandler"
+                        commandId="ca.mcgill.ecse.dslreasoner.VampireLanguage.validate">
+                <activeWhen>
+                        <reference
+                                        definitionId="ca.mcgill.ecse.dslreasoner.VampireLanguage.Editor.opened">
+                        </reference>
+                </activeWhen>
+                </handler>
+                <!-- copy qualified name -->
+                <handler
+                        class="ca.mcgill.ecse.dslreasoner.ui.VampireLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.editor.copyqualifiedname.EditorCopyQualifiedNameHandler"
+                        commandId="org.eclipse.xtext.ui.editor.copyqualifiedname.EditorCopyQualifiedName">
+                        <activeWhen>
+                                <reference definitionId="ca.mcgill.ecse.dslreasoner.VampireLanguage.Editor.opened" />
+                        </activeWhen>
+                </handler>
+                <handler
+                        class="ca.mcgill.ecse.dslreasoner.ui.VampireLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.editor.copyqualifiedname.OutlineCopyQualifiedNameHandler"
+                        commandId="org.eclipse.xtext.ui.editor.copyqualifiedname.OutlineCopyQualifiedName">
+                        <activeWhen>
+                                <and>
+                                        <reference definitionId="ca.mcgill.ecse.dslreasoner.VampireLanguage.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="ca.mcgill.ecse.dslreasoner.VampireLanguage.Editor.opened">
+                        <and>
+                                <reference definitionId="isActiveEditorAnInstanceOfXtextEditor"/>
+                                <with variable="activeEditor">
+                                        <test property="org.eclipse.xtext.ui.editor.XtextEditor.languageName"
+                                                value="ca.mcgill.ecse.dslreasoner.VampireLanguage"
+                                                forcePluginActivation="true"/>
+                                </with>
+                        </and>
+                </definition>
+                <definition id="ca.mcgill.ecse.dslreasoner.VampireLanguage.XtextEditor.opened">
+                        <and>
+                                <reference definitionId="isXtextEditorActive"/>
+                                <with variable="activeEditor">
+                                        <test property="org.eclipse.xtext.ui.editor.XtextEditor.languageName"
+                                                value="ca.mcgill.ecse.dslreasoner.VampireLanguage"
+                                                forcePluginActivation="true"/>
+                                </with>
+                        </and>
+                </definition>
+        </extension>
+        <extension
+                        point="org.eclipse.ui.preferencePages">
+                <page
+                        class="ca.mcgill.ecse.dslreasoner.ui.VampireLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.editor.preferences.LanguageRootPreferencePage"
+                        id="ca.mcgill.ecse.dslreasoner.VampireLanguage"
+                        name="VampireLanguage">
+                        <keywordReference id="ca.mcgill.ecse.dslreasoner.ui.keyword_VampireLanguage"/>
+                </page>
+                <page
+                        category="ca.mcgill.ecse.dslreasoner.VampireLanguage"
+                        class="ca.mcgill.ecse.dslreasoner.ui.VampireLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.editor.syntaxcoloring.SyntaxColoringPreferencePage"
+                        id="ca.mcgill.ecse.dslreasoner.VampireLanguage.coloring"
+                        name="Syntax Coloring">
+                        <keywordReference id="ca.mcgill.ecse.dslreasoner.ui.keyword_VampireLanguage"/>
+                </page>
+                <page
+                        category="ca.mcgill.ecse.dslreasoner.VampireLanguage"
+                        class="ca.mcgill.ecse.dslreasoner.ui.VampireLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.editor.templates.XtextTemplatePreferencePage"
+                        id="ca.mcgill.ecse.dslreasoner.VampireLanguage.templates"
+                        name="Templates">
+                        <keywordReference id="ca.mcgill.ecse.dslreasoner.ui.keyword_VampireLanguage"/>
+                </page>
+        </extension>
+        <extension
+                        point="org.eclipse.ui.propertyPages">
+                <page
+                        class="ca.mcgill.ecse.dslreasoner.ui.VampireLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.editor.preferences.LanguageRootPreferencePage"
+                        id="ca.mcgill.ecse.dslreasoner.VampireLanguage"
+                        name="VampireLanguage">
+                        <keywordReference id="ca.mcgill.ecse.dslreasoner.ui.keyword_VampireLanguage"/>
+                        <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="ca.mcgill.ecse.dslreasoner.ui.keyword_VampireLanguage"
+                        label="VampireLanguage"/>
+        </extension>
+        <extension
+                point="org.eclipse.ui.commands">
+        <command
+                        description="Trigger expensive validation"
+                        id="ca.mcgill.ecse.dslreasoner.VampireLanguage.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="ca.mcgill.ecse.dslreasoner.VampireLanguage.validate"
+                                 style="push"
+                                 tooltip="Trigger expensive validation">
+                        <visibleWhen checkEnabled="false">
+                                <reference
+                                        definitionId="ca.mcgill.ecse.dslreasoner.VampireLanguage.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="ca.mcgill.ecse.dslreasoner.VampireLanguage.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="ca.mcgill.ecse.dslreasoner.VampireLanguage.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="ca.mcgill.ecse.dslreasoner.VampireLanguage.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="ca.mcgill.ecse.dslreasoner.VampireLanguage.Editor.opened">
+                                        </reference>
+                                </visibleWhen>
+                        </command>
+                </menuContribution>
+        </extension>
+        <extension point="org.eclipse.ui.handlers">
+                <handler
+                        class="ca.mcgill.ecse.dslreasoner.ui.VampireLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.editor.findrefs.FindReferencesHandler"
+                        commandId="org.eclipse.xtext.ui.editor.FindReferences">
+                        <activeWhen>
+                                <reference
+                                        definitionId="ca.mcgill.ecse.dslreasoner.VampireLanguage.Editor.opened">
+                                </reference>
+                        </activeWhen>
+                </handler>
+        </extension>
+        <!-- adding resource factories -->
+        <extension
+                point="org.eclipse.emf.ecore.extension_parser">
+                <parser
+                        class="ca.mcgill.ecse.dslreasoner.ui.VampireLanguageExecutableExtensionFactory:org.eclipse.xtext.resource.IResourceFactory"
+                        type="tptp">
+                </parser>
+        </extension>
+        <extension point="org.eclipse.xtext.extension_resourceServiceProvider">
+                <resourceServiceProvider
+                        class="ca.mcgill.ecse.dslreasoner.ui.VampireLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.resource.IResourceUIServiceProvider"
+                        uriExtension="tptp">
+                </resourceServiceProvider>
+        </extension>
+        <!-- marker definitions for ca.mcgill.ecse.dslreasoner.VampireLanguage -->
+        <extension
+                        id="vampirelanguage.check.fast"
+                        name="VampireLanguage Problem"
+                        point="org.eclipse.core.resources.markers">
+                <super type="org.eclipse.xtext.ui.check.fast"/>
+                <persistent value="true"/>
+        </extension>
+        <extension
+                        id="vampirelanguage.check.normal"
+                        name="VampireLanguage Problem"
+                        point="org.eclipse.core.resources.markers">
+                <super type="org.eclipse.xtext.ui.check.normal"/>
+                <persistent value="true"/>
+        </extension>
+        <extension
+                        id="vampirelanguage.check.expensive"
+                        name="VampireLanguage 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="ca.mcgill.ecse.dslreasoner.ui.VampireLanguageExecutableExtensionFactory:org.eclipse.xtext.builder.IXtextBuilderParticipant"
+                        fileExtensions="tptp"/>
+        </extension>
+        <extension point="org.eclipse.ui.preferencePages">
+                <page
+                        category="ca.mcgill.ecse.dslreasoner.VampireLanguage"
+                        class="ca.mcgill.ecse.dslreasoner.ui.VampireLanguageExecutableExtensionFactory:org.eclipse.xtext.builder.preferences.BuilderPreferencePage"
+                        id="ca.mcgill.ecse.dslreasoner.VampireLanguage.compiler.preferencePage"
+                        name="Compiler">
+                        <keywordReference id="ca.mcgill.ecse.dslreasoner.ui.keyword_VampireLanguage"/>
+                </page>
+        </extension>
+        <extension point="org.eclipse.ui.propertyPages">
+                <page
+                        category="ca.mcgill.ecse.dslreasoner.VampireLanguage"
+                        class="ca.mcgill.ecse.dslreasoner.ui.VampireLanguageExecutableExtensionFactory:org.eclipse.xtext.builder.preferences.BuilderPreferencePage"
+                        id="ca.mcgill.ecse.dslreasoner.VampireLanguage.compiler.propertyPage"
+                        name="Compiler">
+                        <keywordReference id="ca.mcgill.ecse.dslreasoner.ui.keyword_VampireLanguage"/>
+                        <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="ca.mcgill.ecse.dslreasoner.VampireLanguage.OpenGeneratedCode"
+                                style="push">
+                                <visibleWhen checkEnabled="false">
+                                        <reference definitionId="ca.mcgill.ecse.dslreasoner.VampireLanguage.Editor.opened" />
+                                </visibleWhen>
+                        </command>
+                </menuContribution>
+        </extension>
+        <extension point="org.eclipse.ui.handlers">
+                <handler
+                        class="ca.mcgill.ecse.dslreasoner.ui.VampireLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.generator.trace.OpenGeneratedFileHandler"
+                        commandId="org.eclipse.xtext.ui.OpenGeneratedFileCommand">
+                        <activeWhen>
+                                <reference definitionId="ca.mcgill.ecse.dslreasoner.VampireLanguage.Editor.opened" />
+                        </activeWhen>
+                </handler>
+        </extension>
+        <!-- Quick Outline -->
+        <extension
+                point="org.eclipse.ui.handlers">
+                <handler 
+                        class="ca.mcgill.ecse.dslreasoner.ui.VampireLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.editor.outline.quickoutline.ShowQuickOutlineActionHandler"
+                        commandId="org.eclipse.xtext.ui.editor.outline.QuickOutline">
+                        <activeWhen>
+                                <reference
+                                        definitionId="ca.mcgill.ecse.dslreasoner.VampireLanguage.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="ca.mcgill.ecse.dslreasoner.VampireLanguage.Editor.opened"/>
+                                </visibleWhen>
+                        </command>
+                </menuContribution>
+        </extension>
+        <!-- quickfix marker resolution generator for ca.mcgill.ecse.dslreasoner.VampireLanguage -->
+        <extension
+                        point="org.eclipse.ui.ide.markerResolution">
+                <markerResolutionGenerator
+                        class="ca.mcgill.ecse.dslreasoner.ui.VampireLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.editor.quickfix.MarkerResolutionGenerator"
+                        markerType="ca.mcgill.ecse.dslreasoner.vampire.language.ui.vampirelanguage.check.fast">
+                        <attribute
+                                name="FIXABLE_KEY"
+                                value="true">
+                        </attribute>
+                </markerResolutionGenerator>
+                <markerResolutionGenerator
+                        class="ca.mcgill.ecse.dslreasoner.ui.VampireLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.editor.quickfix.MarkerResolutionGenerator"
+                        markerType="ca.mcgill.ecse.dslreasoner.vampire.language.ui.vampirelanguage.check.normal">
+                        <attribute
+                                name="FIXABLE_KEY"
+                                value="true">
+                        </attribute>
+                </markerResolutionGenerator>
+                <markerResolutionGenerator
+                        class="ca.mcgill.ecse.dslreasoner.ui.VampireLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.editor.quickfix.MarkerResolutionGenerator"
+                        markerType="ca.mcgill.ecse.dslreasoner.vampire.language.ui.vampirelanguage.check.expensive">
+                        <attribute
+                                name="FIXABLE_KEY"
+                                value="true">
+                        </attribute>
+                </markerResolutionGenerator>
+        </extension>
+        <!-- Rename Refactoring -->
+        <extension point="org.eclipse.ui.handlers">
+                <handler 
+                        class="ca.mcgill.ecse.dslreasoner.ui.VampireLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.refactoring.ui.DefaultRenameElementHandler"
+                        commandId="org.eclipse.xtext.ui.refactoring.RenameElement">
+                        <activeWhen>
+                                <reference
+                                        definitionId="ca.mcgill.ecse.dslreasoner.VampireLanguage.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="ca.mcgill.ecse.dslreasoner.VampireLanguage.Editor.opened">
+                                        </reference>
+                                </visibleWhen>
+                        </command>
+                </menuContribution>
+        </extension>
+        <extension point="org.eclipse.ui.preferencePages">
+                <page
+                        category="ca.mcgill.ecse.dslreasoner.VampireLanguage"
+                        class="ca.mcgill.ecse.dslreasoner.ui.VampireLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.refactoring.ui.RefactoringPreferencePage"
+                        id="ca.mcgill.ecse.dslreasoner.VampireLanguage.refactoring"
+                        name="Refactoring">
+                        <keywordReference id="ca.mcgill.ecse.dslreasoner.ui.keyword_VampireLanguage"/>
+                </page>
+        </extension>
+        <extension point="org.eclipse.compare.contentViewers">
+                <viewer id="ca.mcgill.ecse.dslreasoner.VampireLanguage.compare.contentViewers"
+                        class="ca.mcgill.ecse.dslreasoner.ui.VampireLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.compare.InjectableViewerCreator"
+                        extensions="tptp">
+                </viewer>
+        </extension>
+        <extension point="org.eclipse.compare.contentMergeViewers">
+                <viewer id="ca.mcgill.ecse.dslreasoner.VampireLanguage.compare.contentMergeViewers"
+                        class="ca.mcgill.ecse.dslreasoner.ui.VampireLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.compare.InjectableViewerCreator"
+                        extensions="tptp" label="VampireLanguage Compare">
+                </viewer>
+        </extension>
+        <extension point="org.eclipse.ui.editors.documentProviders">
+                <provider id="ca.mcgill.ecse.dslreasoner.VampireLanguage.editors.documentProviders"
+                        class="ca.mcgill.ecse.dslreasoner.ui.VampireLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.editor.model.XtextDocumentProvider"
+                        extensions="tptp">
+                </provider>
+        </extension>
+        <extension point="org.eclipse.team.core.fileTypes">
+                <fileTypes
+                        extension="tptp"
+                        type="text">
+                </fileTypes>
+        </extension>
+</plugin>
author	ArenBabikian <aren.babikian@mail.mcgill.ca>	2019-01-15 12:44:33 -0500
committer	ArenBabikian <aren.babikian@mail.mcgill.ca>	2019-01-15 12:44:33 -0500
commit	20f131a3f09edf8e1455f20b4f486629147e7eff (patch)
tree	690ee30b62caf76bdc7d45f183382965e4e7bf05 /Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/plugin.xml
parent	ViatraSolver as default (diff)
download	VIATRA-Generator-20f131a3f09edf8e1455f20b4f486629147e7eff.tar.gz VIATRA-Generator-20f131a3f09edf8e1455f20b4f486629147e7eff.tar.zst VIATRA-Generator-20f131a3f09edf8e1455f20b4f486629147e7eff.zip

diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/plugin.xml b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/plugin.xml new file mode 100644 index 00000000..b15ba9ff --- /dev/null +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/plugin.xml
@@ -0,0 +1,410 @@
	1	<?xml version="1.0" encoding="UTF-8"?>
	2	<?eclipse version="3.0"?>
	3	<plugin>
	4	<extension
	5	point="org.eclipse.ui.editors">
	6	<editor
	7	class="ca.mcgill.ecse.dslreasoner.ui.VampireLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.editor.XtextEditor"
	8	contributorClass="org.eclipse.ui.editors.text.TextEditorActionContributor"
	9	default="true"
	10	extensions="tptp"
	11	id="ca.mcgill.ecse.dslreasoner.VampireLanguage"
	12	name="VampireLanguage Editor">
	13	</editor>
	14	</extension>
	15	<extension
	16	point="org.eclipse.ui.handlers">
	17	<handler
	18	class="ca.mcgill.ecse.dslreasoner.ui.VampireLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.editor.hyperlinking.OpenDeclarationHandler"
	19	commandId="org.eclipse.xtext.ui.editor.hyperlinking.OpenDeclaration">
	20	<activeWhen>
	21	<reference
	22	definitionId="ca.mcgill.ecse.dslreasoner.VampireLanguage.Editor.opened">
	23	</reference>
	24	</activeWhen>
	25	</handler>
	26	<handler
	27	class="ca.mcgill.ecse.dslreasoner.ui.VampireLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.editor.handler.ValidateActionHandler"
	28	commandId="ca.mcgill.ecse.dslreasoner.VampireLanguage.validate">
	29	<activeWhen>
	30	<reference
	31	definitionId="ca.mcgill.ecse.dslreasoner.VampireLanguage.Editor.opened">
	32	</reference>
	33	</activeWhen>
	34	</handler>
	35	<!-- copy qualified name -->
	36	<handler
	37	class="ca.mcgill.ecse.dslreasoner.ui.VampireLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.editor.copyqualifiedname.EditorCopyQualifiedNameHandler"
	38	commandId="org.eclipse.xtext.ui.editor.copyqualifiedname.EditorCopyQualifiedName">
	39	<activeWhen>
	40	<reference definitionId="ca.mcgill.ecse.dslreasoner.VampireLanguage.Editor.opened" />
	41	</activeWhen>
	42	</handler>
	43	<handler
	44	class="ca.mcgill.ecse.dslreasoner.ui.VampireLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.editor.copyqualifiedname.OutlineCopyQualifiedNameHandler"
	45	commandId="org.eclipse.xtext.ui.editor.copyqualifiedname.OutlineCopyQualifiedName">
	46	<activeWhen>
	47	<and>
	48	<reference definitionId="ca.mcgill.ecse.dslreasoner.VampireLanguage.XtextEditor.opened" />
	49	<iterate>
	50	<adapt type="org.eclipse.xtext.ui.editor.outline.IOutlineNode" />
	51	</iterate>
	52	</and>
	53	</activeWhen>
	54	</handler>
	55	</extension>
	56	<extension point="org.eclipse.core.expressions.definitions">
	57	<definition id="ca.mcgill.ecse.dslreasoner.VampireLanguage.Editor.opened">
	58	<and>
	59	<reference definitionId="isActiveEditorAnInstanceOfXtextEditor"/>
	60	<with variable="activeEditor">
	61	<test property="org.eclipse.xtext.ui.editor.XtextEditor.languageName"
	62	value="ca.mcgill.ecse.dslreasoner.VampireLanguage"
	63	forcePluginActivation="true"/>
	64	</with>
	65	</and>
	66	</definition>
	67	<definition id="ca.mcgill.ecse.dslreasoner.VampireLanguage.XtextEditor.opened">
	68	<and>
	69	<reference definitionId="isXtextEditorActive"/>
	70	<with variable="activeEditor">
	71	<test property="org.eclipse.xtext.ui.editor.XtextEditor.languageName"
	72	value="ca.mcgill.ecse.dslreasoner.VampireLanguage"
	73	forcePluginActivation="true"/>
	74	</with>
	75	</and>
	76	</definition>
	77	</extension>
	78	<extension
	79	point="org.eclipse.ui.preferencePages">
	80	<page
	81	class="ca.mcgill.ecse.dslreasoner.ui.VampireLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.editor.preferences.LanguageRootPreferencePage"
	82	id="ca.mcgill.ecse.dslreasoner.VampireLanguage"
	83	name="VampireLanguage">
	84	<keywordReference id="ca.mcgill.ecse.dslreasoner.ui.keyword_VampireLanguage"/>
	85	</page>
	86	<page
	87	category="ca.mcgill.ecse.dslreasoner.VampireLanguage"
	88	class="ca.mcgill.ecse.dslreasoner.ui.VampireLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.editor.syntaxcoloring.SyntaxColoringPreferencePage"
	89	id="ca.mcgill.ecse.dslreasoner.VampireLanguage.coloring"
	90	name="Syntax Coloring">
	91	<keywordReference id="ca.mcgill.ecse.dslreasoner.ui.keyword_VampireLanguage"/>
	92	</page>
	93	<page
	94	category="ca.mcgill.ecse.dslreasoner.VampireLanguage"
	95	class="ca.mcgill.ecse.dslreasoner.ui.VampireLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.editor.templates.XtextTemplatePreferencePage"
	96	id="ca.mcgill.ecse.dslreasoner.VampireLanguage.templates"
	97	name="Templates">
	98	<keywordReference id="ca.mcgill.ecse.dslreasoner.ui.keyword_VampireLanguage"/>
	99	</page>
	100	</extension>
	101	<extension
	102	point="org.eclipse.ui.propertyPages">
	103	<page
	104	class="ca.mcgill.ecse.dslreasoner.ui.VampireLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.editor.preferences.LanguageRootPreferencePage"
	105	id="ca.mcgill.ecse.dslreasoner.VampireLanguage"
	106	name="VampireLanguage">
	107	<keywordReference id="ca.mcgill.ecse.dslreasoner.ui.keyword_VampireLanguage"/>
	108	<enabledWhen>
	109	<adapt type="org.eclipse.core.resources.IProject"/>
	110	</enabledWhen>
	111	<filter name="projectNature" value="org.eclipse.xtext.ui.shared.xtextNature"/>
	112	</page>
	113	</extension>
	114	<extension
	115	point="org.eclipse.ui.keywords">
	116	<keyword
	117	id="ca.mcgill.ecse.dslreasoner.ui.keyword_VampireLanguage"
	118	label="VampireLanguage"/>
	119	</extension>
	120	<extension
	121	point="org.eclipse.ui.commands">
	122	<command
	123	description="Trigger expensive validation"
	124	id="ca.mcgill.ecse.dslreasoner.VampireLanguage.validate"
	125	name="Validate">
	126	</command>
	127	<!-- copy qualified name -->
	128	<command
	129	id="org.eclipse.xtext.ui.editor.copyqualifiedname.EditorCopyQualifiedName"
	130	categoryId="org.eclipse.ui.category.edit"
	131	description="Copy the qualified name for the selected element"
	132	name="Copy Qualified Name">
	133	</command>
	134	<command
	135	id="org.eclipse.xtext.ui.editor.copyqualifiedname.OutlineCopyQualifiedName"
	136	categoryId="org.eclipse.ui.category.edit"
	137	description="Copy the qualified name for the selected element"
	138	name="Copy Qualified Name">
	139	</command>
	140	</extension>
	141	<extension point="org.eclipse.ui.menus">
	142	<menuContribution
	143	locationURI="popup:#TextEditorContext?after=group.edit">
	144	<command
	145	commandId="ca.mcgill.ecse.dslreasoner.VampireLanguage.validate"
	146	style="push"
	147	tooltip="Trigger expensive validation">
	148	<visibleWhen checkEnabled="false">
	149	<reference
	150	definitionId="ca.mcgill.ecse.dslreasoner.VampireLanguage.Editor.opened">
	151	</reference>
	152	</visibleWhen>
	153	</command>
	154	</menuContribution>
	155	<!-- copy qualified name -->
	156	<menuContribution locationURI="popup:#TextEditorContext?after=copy">
	157	<command commandId="org.eclipse.xtext.ui.editor.copyqualifiedname.EditorCopyQualifiedName"
	158	style="push" tooltip="Copy Qualified Name">
	159	<visibleWhen checkEnabled="false">
	160	<reference definitionId="ca.mcgill.ecse.dslreasoner.VampireLanguage.Editor.opened" />
	161	</visibleWhen>
	162	</command>
	163	</menuContribution>
	164	<menuContribution locationURI="menu:edit?after=copy">
	165	<command commandId="org.eclipse.xtext.ui.editor.copyqualifiedname.EditorCopyQualifiedName"
	166	style="push" tooltip="Copy Qualified Name">
	167	<visibleWhen checkEnabled="false">
	168	<reference definitionId="ca.mcgill.ecse.dslreasoner.VampireLanguage.Editor.opened" />
	169	</visibleWhen>
	170	</command>
	171	</menuContribution>
	172	<menuContribution locationURI="popup:org.eclipse.xtext.ui.outline?after=additions">
	173	<command commandId="org.eclipse.xtext.ui.editor.copyqualifiedname.OutlineCopyQualifiedName"
	174	style="push" tooltip="Copy Qualified Name">
	175	<visibleWhen checkEnabled="false">
	176	<and>
	177	<reference definitionId="ca.mcgill.ecse.dslreasoner.VampireLanguage.XtextEditor.opened" />
	178	<iterate>
	179	<adapt type="org.eclipse.xtext.ui.editor.outline.IOutlineNode" />
	180	</iterate>
	181	</and>
	182	</visibleWhen>
	183	</command>
	184	</menuContribution>
	185	</extension>
	186	<extension point="org.eclipse.ui.menus">
	187	<menuContribution locationURI="popup:#TextEditorContext?endof=group.find">
	188	<command commandId="org.eclipse.xtext.ui.editor.FindReferences">
	189	<visibleWhen checkEnabled="false">
	190	<reference definitionId="ca.mcgill.ecse.dslreasoner.VampireLanguage.Editor.opened">
	191	</reference>
	192	</visibleWhen>
	193	</command>
	194	</menuContribution>
	195	</extension>
	196	<extension point="org.eclipse.ui.handlers">
	197	<handler
	198	class="ca.mcgill.ecse.dslreasoner.ui.VampireLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.editor.findrefs.FindReferencesHandler"
	199	commandId="org.eclipse.xtext.ui.editor.FindReferences">
	200	<activeWhen>
	201	<reference
	202	definitionId="ca.mcgill.ecse.dslreasoner.VampireLanguage.Editor.opened">
	203	</reference>
	204	</activeWhen>
	205	</handler>
	206	</extension>
	207	<!-- adding resource factories -->
	208	<extension
	209	point="org.eclipse.emf.ecore.extension_parser">
	210	<parser
	211	class="ca.mcgill.ecse.dslreasoner.ui.VampireLanguageExecutableExtensionFactory:org.eclipse.xtext.resource.IResourceFactory"
	212	type="tptp">
	213	</parser>
	214	</extension>
	215	<extension point="org.eclipse.xtext.extension_resourceServiceProvider">
	216	<resourceServiceProvider
	217	class="ca.mcgill.ecse.dslreasoner.ui.VampireLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.resource.IResourceUIServiceProvider"
	218	uriExtension="tptp">
	219	</resourceServiceProvider>
	220	</extension>
	221	<!-- marker definitions for ca.mcgill.ecse.dslreasoner.VampireLanguage -->
	222	<extension
	223	id="vampirelanguage.check.fast"
	224	name="VampireLanguage Problem"
	225	point="org.eclipse.core.resources.markers">
	226	<super type="org.eclipse.xtext.ui.check.fast"/>
	227	<persistent value="true"/>
	228	</extension>
	229	<extension
	230	id="vampirelanguage.check.normal"
	231	name="VampireLanguage Problem"
	232	point="org.eclipse.core.resources.markers">
	233	<super type="org.eclipse.xtext.ui.check.normal"/>
	234	<persistent value="true"/>
	235	</extension>
	236	<extension
	237	id="vampirelanguage.check.expensive"
	238	name="VampireLanguage Problem"
	239	point="org.eclipse.core.resources.markers">
	240	<super type="org.eclipse.xtext.ui.check.expensive"/>
	241	<persistent value="true"/>
	242	</extension>
	243	<extension point="org.eclipse.xtext.builder.participant">
	244	<participant
	245	class="ca.mcgill.ecse.dslreasoner.ui.VampireLanguageExecutableExtensionFactory:org.eclipse.xtext.builder.IXtextBuilderParticipant"
	246	fileExtensions="tptp"/>
	247	</extension>
	248	<extension point="org.eclipse.ui.preferencePages">
	249	<page
	250	category="ca.mcgill.ecse.dslreasoner.VampireLanguage"
	251	class="ca.mcgill.ecse.dslreasoner.ui.VampireLanguageExecutableExtensionFactory:org.eclipse.xtext.builder.preferences.BuilderPreferencePage"
	252	id="ca.mcgill.ecse.dslreasoner.VampireLanguage.compiler.preferencePage"
	253	name="Compiler">
	254	<keywordReference id="ca.mcgill.ecse.dslreasoner.ui.keyword_VampireLanguage"/>
	255	</page>
	256	</extension>
	257	<extension point="org.eclipse.ui.propertyPages">
	258	<page
	259	category="ca.mcgill.ecse.dslreasoner.VampireLanguage"
	260	class="ca.mcgill.ecse.dslreasoner.ui.VampireLanguageExecutableExtensionFactory:org.eclipse.xtext.builder.preferences.BuilderPreferencePage"
	261	id="ca.mcgill.ecse.dslreasoner.VampireLanguage.compiler.propertyPage"
	262	name="Compiler">
	263	<keywordReference id="ca.mcgill.ecse.dslreasoner.ui.keyword_VampireLanguage"/>
	264	<enabledWhen>
	265	<adapt type="org.eclipse.core.resources.IProject"/>
	266	</enabledWhen>
	267	<filter name="projectNature" value="org.eclipse.xtext.ui.shared.xtextNature"/>
	268	</page>
	269	</extension>
	270	<extension point="org.eclipse.ui.menus">
	271	<menuContribution locationURI="popup:#TextEditorContext?after=xtext.ui.openDeclaration">
	272	<command
	273	commandId="org.eclipse.xtext.ui.OpenGeneratedFileCommand"
	274	id="ca.mcgill.ecse.dslreasoner.VampireLanguage.OpenGeneratedCode"
	275	style="push">
	276	<visibleWhen checkEnabled="false">
	277	<reference definitionId="ca.mcgill.ecse.dslreasoner.VampireLanguage.Editor.opened" />
	278	</visibleWhen>
	279	</command>
	280	</menuContribution>
	281	</extension>
	282	<extension point="org.eclipse.ui.handlers">
	283	<handler
	284	class="ca.mcgill.ecse.dslreasoner.ui.VampireLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.generator.trace.OpenGeneratedFileHandler"
	285	commandId="org.eclipse.xtext.ui.OpenGeneratedFileCommand">
	286	<activeWhen>
	287	<reference definitionId="ca.mcgill.ecse.dslreasoner.VampireLanguage.Editor.opened" />
	288	</activeWhen>
	289	</handler>
	290	</extension>
	291	<!-- Quick Outline -->
	292	<extension
	293	point="org.eclipse.ui.handlers">
	294	<handler
	295	class="ca.mcgill.ecse.dslreasoner.ui.VampireLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.editor.outline.quickoutline.ShowQuickOutlineActionHandler"
	296	commandId="org.eclipse.xtext.ui.editor.outline.QuickOutline">
	297	<activeWhen>
	298	<reference
	299	definitionId="ca.mcgill.ecse.dslreasoner.VampireLanguage.Editor.opened">
	300	</reference>
	301	</activeWhen>
	302	</handler>
	303	</extension>
	304	<extension
	305	point="org.eclipse.ui.commands">
	306	<command
	307	description="Open the quick outline."
	308	id="org.eclipse.xtext.ui.editor.outline.QuickOutline"
	309	name="Quick Outline">
	310	</command>
	311	</extension>
	312	<extension point="org.eclipse.ui.menus">
	313	<menuContribution
	314	locationURI="popup:#TextEditorContext?after=group.open">
	315	<command commandId="org.eclipse.xtext.ui.editor.outline.QuickOutline"
	316	style="push"
	317	tooltip="Open Quick Outline">
	318	<visibleWhen checkEnabled="false">
	319	<reference definitionId="ca.mcgill.ecse.dslreasoner.VampireLanguage.Editor.opened"/>
	320	</visibleWhen>
	321	</command>
	322	</menuContribution>
	323	</extension>
	324	<!-- quickfix marker resolution generator for ca.mcgill.ecse.dslreasoner.VampireLanguage -->
	325	<extension
	326	point="org.eclipse.ui.ide.markerResolution">
	327	<markerResolutionGenerator
	328	class="ca.mcgill.ecse.dslreasoner.ui.VampireLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.editor.quickfix.MarkerResolutionGenerator"
	329	markerType="ca.mcgill.ecse.dslreasoner.vampire.language.ui.vampirelanguage.check.fast">
	330	<attribute
	331	name="FIXABLE_KEY"
	332	value="true">
	333	</attribute>
	334	</markerResolutionGenerator>
	335	<markerResolutionGenerator
	336	class="ca.mcgill.ecse.dslreasoner.ui.VampireLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.editor.quickfix.MarkerResolutionGenerator"
	337	markerType="ca.mcgill.ecse.dslreasoner.vampire.language.ui.vampirelanguage.check.normal">
	338	<attribute
	339	name="FIXABLE_KEY"
	340	value="true">
	341	</attribute>
	342	</markerResolutionGenerator>
	343	<markerResolutionGenerator
	344	class="ca.mcgill.ecse.dslreasoner.ui.VampireLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.editor.quickfix.MarkerResolutionGenerator"
	345	markerType="ca.mcgill.ecse.dslreasoner.vampire.language.ui.vampirelanguage.check.expensive">
	346	<attribute
	347	name="FIXABLE_KEY"
	348	value="true">
	349	</attribute>
	350	</markerResolutionGenerator>
	351	</extension>
	352	<!-- Rename Refactoring -->
	353	<extension point="org.eclipse.ui.handlers">
	354	<handler
	355	class="ca.mcgill.ecse.dslreasoner.ui.VampireLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.refactoring.ui.DefaultRenameElementHandler"
	356	commandId="org.eclipse.xtext.ui.refactoring.RenameElement">
	357	<activeWhen>
	358	<reference
	359	definitionId="ca.mcgill.ecse.dslreasoner.VampireLanguage.Editor.opened">
	360	</reference>
	361	</activeWhen>
	362	</handler>
	363	</extension>
	364	<extension point="org.eclipse.ui.menus">
	365	<menuContribution
	366	locationURI="popup:#TextEditorContext?after=group.edit">
	367	<command commandId="org.eclipse.xtext.ui.refactoring.RenameElement"
	368	style="push">
	369	<visibleWhen checkEnabled="false">
	370	<reference
	371	definitionId="ca.mcgill.ecse.dslreasoner.VampireLanguage.Editor.opened">
	372	</reference>
	373	</visibleWhen>
	374	</command>
	375	</menuContribution>
	376	</extension>
	377	<extension point="org.eclipse.ui.preferencePages">
	378	<page
	379	category="ca.mcgill.ecse.dslreasoner.VampireLanguage"
	380	class="ca.mcgill.ecse.dslreasoner.ui.VampireLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.refactoring.ui.RefactoringPreferencePage"
	381	id="ca.mcgill.ecse.dslreasoner.VampireLanguage.refactoring"
	382	name="Refactoring">
	383	<keywordReference id="ca.mcgill.ecse.dslreasoner.ui.keyword_VampireLanguage"/>
	384	</page>
	385	</extension>
	386	<extension point="org.eclipse.compare.contentViewers">
	387	<viewer id="ca.mcgill.ecse.dslreasoner.VampireLanguage.compare.contentViewers"
	388	class="ca.mcgill.ecse.dslreasoner.ui.VampireLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.compare.InjectableViewerCreator"
	389	extensions="tptp">
	390	</viewer>
	391	</extension>
	392	<extension point="org.eclipse.compare.contentMergeViewers">
	393	<viewer id="ca.mcgill.ecse.dslreasoner.VampireLanguage.compare.contentMergeViewers"
	394	class="ca.mcgill.ecse.dslreasoner.ui.VampireLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.compare.InjectableViewerCreator"
	395	extensions="tptp" label="VampireLanguage Compare">
	396	</viewer>
	397	</extension>
	398	<extension point="org.eclipse.ui.editors.documentProviders">
	399	<provider id="ca.mcgill.ecse.dslreasoner.VampireLanguage.editors.documentProviders"
	400	class="ca.mcgill.ecse.dslreasoner.ui.VampireLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.editor.model.XtextDocumentProvider"
	401	extensions="tptp">
	402	</provider>
	403	</extension>
	404	<extension point="org.eclipse.team.core.fileTypes">
	405	<fileTypes
	406	extension="tptp"
	407	type="text">
	408	</fileTypes>
	409	</extension>
	410	</plugin>