aboutsummaryrefslogtreecommitdiffstats
path: root/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui
diff options
context:
space:
mode:
Diffstat (limited to 'Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui')
-rw-r--r--Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/.classpath9
-rw-r--r--Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/.gitignore1
-rw-r--r--Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/.project34
-rw-r--r--Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/.settings/org.eclipse.core.resources.prefs2
-rw-r--r--Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/.settings/org.eclipse.jdt.core.prefs7
-rw-r--r--Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/META-INF/MANIFEST.MF25
-rw-r--r--Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/build.properties7
-rw-r--r--Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/plugin.xml410
-rw-r--r--Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/src-gen/ca/mcgill/ecse/dslreasoner/ui/AbstractVampireLanguageUiModule.java286
-rw-r--r--Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/src-gen/ca/mcgill/ecse/dslreasoner/ui/VampireLanguageExecutableExtensionFactory.java27
-rw-r--r--Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/src-gen/ca/mcgill/ecse/dslreasoner/ui/contentassist/AbstractVampireLanguageProposalProvider.java289
-rw-r--r--Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/src-gen/ca/mcgill/ecse/dslreasoner/vampire/language/ui/internal/LanguageActivator.java93
-rw-r--r--Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/src/ca/mcgill/ecse/dslreasoner/ui/VampireLanguageUiModule.xtend13
-rw-r--r--Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/src/ca/mcgill/ecse/dslreasoner/ui/contentassist/VampireLanguageProposalProvider.xtend12
-rw-r--r--Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/src/ca/mcgill/ecse/dslreasoner/ui/labeling/VampireLanguageDescriptionLabelProvider.xtend24
-rw-r--r--Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/src/ca/mcgill/ecse/dslreasoner/ui/labeling/VampireLanguageLabelProvider.xtend31
-rw-r--r--Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/src/ca/mcgill/ecse/dslreasoner/ui/outline/VampireLanguageOutlineTreeProvider.xtend15
-rw-r--r--Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/src/ca/mcgill/ecse/dslreasoner/ui/quickfix/VampireLanguageQuickfixProvider.xtend24
-rw-r--r--Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/xtend-gen/ca/mcgill/ecse/dslreasoner/ui/.VampireLanguageUiModule.xtendbinbin0 -> 2349 bytes
-rw-r--r--Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/xtend-gen/ca/mcgill/ecse/dslreasoner/ui/.gitignore1
-rw-r--r--Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/xtend-gen/ca/mcgill/ecse/dslreasoner/ui/VampireLanguageUiModule.java19
-rw-r--r--Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/xtend-gen/ca/mcgill/ecse/dslreasoner/ui/contentassist/.VampireLanguageProposalProvider.xtendbinbin0 -> 1787 bytes
-rw-r--r--Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/xtend-gen/ca/mcgill/ecse/dslreasoner/ui/contentassist/.gitignore1
-rw-r--r--Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/xtend-gen/ca/mcgill/ecse/dslreasoner/ui/contentassist/VampireLanguageProposalProvider.java14
-rw-r--r--Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/xtend-gen/ca/mcgill/ecse/dslreasoner/ui/labeling/.VampireLanguageDescriptionLabelProvider.xtendbinbin0 -> 1969 bytes
-rw-r--r--Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/xtend-gen/ca/mcgill/ecse/dslreasoner/ui/labeling/.VampireLanguageLabelProvider.xtendbinbin0 -> 2409 bytes
-rw-r--r--Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/xtend-gen/ca/mcgill/ecse/dslreasoner/ui/labeling/.gitignore2
-rw-r--r--Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/xtend-gen/ca/mcgill/ecse/dslreasoner/ui/labeling/VampireLanguageDescriptionLabelProvider.java15
-rw-r--r--Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/xtend-gen/ca/mcgill/ecse/dslreasoner/ui/labeling/VampireLanguageLabelProvider.java21
-rw-r--r--Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/xtend-gen/ca/mcgill/ecse/dslreasoner/ui/outline/.VampireLanguageOutlineTreeProvider.xtendbinbin0 -> 1821 bytes
-rw-r--r--Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/xtend-gen/ca/mcgill/ecse/dslreasoner/ui/outline/.gitignore1
-rw-r--r--Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/xtend-gen/ca/mcgill/ecse/dslreasoner/ui/outline/VampireLanguageOutlineTreeProvider.java15
-rw-r--r--Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/xtend-gen/ca/mcgill/ecse/dslreasoner/ui/quickfix/.VampireLanguageQuickfixProvider.xtendbinbin0 -> 1783 bytes
-rw-r--r--Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/xtend-gen/ca/mcgill/ecse/dslreasoner/ui/quickfix/.gitignore1
-rw-r--r--Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/xtend-gen/ca/mcgill/ecse/dslreasoner/ui/quickfix/VampireLanguageQuickfixProvider.java15
35 files changed, 1414 insertions, 0 deletions
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/.classpath b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/.classpath
new file mode 100644
index 00000000..1287f96c
--- /dev/null
+++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/.classpath
@@ -0,0 +1,9 @@
1<?xml version="1.0" encoding="UTF-8"?>
2<classpath>
3 <classpathentry kind="src" path="src"/>
4 <classpathentry kind="src" path="src-gen"/>
5 <classpathentry kind="src" path="xtend-gen"/>
6 <classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-1.8"/>
7 <classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/>
8 <classpathentry kind="output" path="bin"/>
9</classpath>
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/.gitignore b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/.gitignore
new file mode 100644
index 00000000..ae3c1726
--- /dev/null
+++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/.gitignore
@@ -0,0 +1 @@
/bin/
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/.project b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/.project
new file mode 100644
index 00000000..51d15832
--- /dev/null
+++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/.project
@@ -0,0 +1,34 @@
1<?xml version="1.0" encoding="UTF-8"?>
2<projectDescription>
3 <name>ca.mcgill.ecse.dslreasoner.vampire.language.ui</name>
4 <comment></comment>
5 <projects>
6 </projects>
7 <buildSpec>
8 <buildCommand>
9 <name>org.eclipse.xtext.ui.shared.xtextBuilder</name>
10 <arguments>
11 </arguments>
12 </buildCommand>
13 <buildCommand>
14 <name>org.eclipse.jdt.core.javabuilder</name>
15 <arguments>
16 </arguments>
17 </buildCommand>
18 <buildCommand>
19 <name>org.eclipse.pde.ManifestBuilder</name>
20 <arguments>
21 </arguments>
22 </buildCommand>
23 <buildCommand>
24 <name>org.eclipse.pde.SchemaBuilder</name>
25 <arguments>
26 </arguments>
27 </buildCommand>
28 </buildSpec>
29 <natures>
30 <nature>org.eclipse.xtext.ui.shared.xtextNature</nature>
31 <nature>org.eclipse.jdt.core.javanature</nature>
32 <nature>org.eclipse.pde.PluginNature</nature>
33 </natures>
34</projectDescription>
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/.settings/org.eclipse.core.resources.prefs b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/.settings/org.eclipse.core.resources.prefs
new file mode 100644
index 00000000..4824b802
--- /dev/null
+++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/.settings/org.eclipse.core.resources.prefs
@@ -0,0 +1,2 @@
1eclipse.preferences.version=1
2encoding/<project>=UTF-8
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/.settings/org.eclipse.jdt.core.prefs b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/.settings/org.eclipse.jdt.core.prefs
new file mode 100644
index 00000000..295926d9
--- /dev/null
+++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/.settings/org.eclipse.jdt.core.prefs
@@ -0,0 +1,7 @@
1eclipse.preferences.version=1
2org.eclipse.jdt.core.compiler.codegen.inlineJsrBytecode=enabled
3org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.8
4org.eclipse.jdt.core.compiler.compliance=1.8
5org.eclipse.jdt.core.compiler.problem.assertIdentifier=error
6org.eclipse.jdt.core.compiler.problem.enumIdentifier=error
7org.eclipse.jdt.core.compiler.source=1.8
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/META-INF/MANIFEST.MF b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/META-INF/MANIFEST.MF
new file mode 100644
index 00000000..baaefd41
--- /dev/null
+++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/META-INF/MANIFEST.MF
@@ -0,0 +1,25 @@
1Manifest-Version: 1.0
2Bundle-ManifestVersion: 2
3Bundle-Name: ca.mcgill.ecse.dslreasoner.vampire.language.ui
4Bundle-Vendor: My Company
5Bundle-Version: 1.0.0.qualifier
6Bundle-SymbolicName: ca.mcgill.ecse.dslreasoner.vampire.language.ui; singleton:=true
7Bundle-ActivationPolicy: lazy
8Require-Bundle: ca.mcgill.ecse.dslreasoner.vampire.language,
9 ca.mcgill.ecse.dslreasoner.vampire.language.ide,
10 org.eclipse.xtext.ui,
11 org.eclipse.xtext.ui.shared,
12 org.eclipse.xtext.ui.codetemplates.ui,
13 org.eclipse.ui.editors;bundle-version="3.5.0",
14 org.eclipse.ui.ide;bundle-version="3.5.0",
15 org.eclipse.ui,
16 org.eclipse.compare,
17 org.eclipse.xtext.builder,
18 org.eclipse.xtend.lib;resolution:=optional,
19 org.eclipse.xtext.xbase.lib
20Import-Package: org.apache.log4j
21Bundle-RequiredExecutionEnvironment: JavaSE-1.8
22Export-Package: ca.mcgill.ecse.dslreasoner.ui.contentassist,
23 ca.mcgill.ecse.dslreasoner.vampire.language.ui.internal,
24 ca.mcgill.ecse.dslreasoner.ui.quickfix
25Bundle-Activator: ca.mcgill.ecse.dslreasoner.vampire.language.ui.internal.LanguageActivator
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/build.properties b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/build.properties
new file mode 100644
index 00000000..4b1fa503
--- /dev/null
+++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/build.properties
@@ -0,0 +1,7 @@
1source.. = src/,\
2 src-gen/,\
3 xtend-gen/
4bin.includes = .,\
5 META-INF/,\
6 plugin.xml
7bin.excludes = **/*.xtend
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>
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/src-gen/ca/mcgill/ecse/dslreasoner/ui/AbstractVampireLanguageUiModule.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/src-gen/ca/mcgill/ecse/dslreasoner/ui/AbstractVampireLanguageUiModule.java
new file mode 100644
index 00000000..3a6cc964
--- /dev/null
+++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/src-gen/ca/mcgill/ecse/dslreasoner/ui/AbstractVampireLanguageUiModule.java
@@ -0,0 +1,286 @@
1/*
2 * generated by Xtext 2.12.0
3 */
4package ca.mcgill.ecse.dslreasoner.ui;
5
6import ca.mcgill.ecse.dslreasoner.ide.contentassist.antlr.PartialVampireLanguageContentAssistParser;
7import ca.mcgill.ecse.dslreasoner.ide.contentassist.antlr.VampireLanguageParser;
8import ca.mcgill.ecse.dslreasoner.ide.contentassist.antlr.internal.InternalVampireLanguageLexer;
9import ca.mcgill.ecse.dslreasoner.ui.contentassist.VampireLanguageProposalProvider;
10import ca.mcgill.ecse.dslreasoner.ui.labeling.VampireLanguageDescriptionLabelProvider;
11import ca.mcgill.ecse.dslreasoner.ui.labeling.VampireLanguageLabelProvider;
12import ca.mcgill.ecse.dslreasoner.ui.outline.VampireLanguageOutlineTreeProvider;
13import ca.mcgill.ecse.dslreasoner.ui.quickfix.VampireLanguageQuickfixProvider;
14import com.google.inject.Binder;
15import com.google.inject.Provider;
16import com.google.inject.name.Names;
17import org.eclipse.compare.IViewerCreator;
18import org.eclipse.core.resources.IWorkspaceRoot;
19import org.eclipse.core.resources.ResourcesPlugin;
20import org.eclipse.jface.viewers.ILabelProvider;
21import org.eclipse.ui.plugin.AbstractUIPlugin;
22import org.eclipse.xtext.builder.BuilderParticipant;
23import org.eclipse.xtext.builder.EclipseOutputConfigurationProvider;
24import org.eclipse.xtext.builder.IXtextBuilderParticipant;
25import org.eclipse.xtext.builder.builderState.IBuilderState;
26import org.eclipse.xtext.builder.clustering.CurrentDescriptions;
27import org.eclipse.xtext.builder.impl.PersistentDataAwareDirtyResource;
28import org.eclipse.xtext.builder.nature.NatureAddingEditorCallback;
29import org.eclipse.xtext.builder.preferences.BuilderPreferenceAccess;
30import org.eclipse.xtext.generator.IContextualOutputConfigurationProvider;
31import org.eclipse.xtext.ide.LexerIdeBindings;
32import org.eclipse.xtext.ide.editor.contentassist.antlr.IContentAssistParser;
33import org.eclipse.xtext.ide.editor.contentassist.antlr.internal.Lexer;
34import org.eclipse.xtext.ide.editor.partialEditing.IPartialEditingContentAssistParser;
35import org.eclipse.xtext.parser.antlr.AntlrTokenDefProvider;
36import org.eclipse.xtext.parser.antlr.ITokenDefProvider;
37import org.eclipse.xtext.parser.antlr.LexerProvider;
38import org.eclipse.xtext.resource.IResourceDescriptions;
39import org.eclipse.xtext.resource.containers.IAllContainersState;
40import org.eclipse.xtext.resource.impl.ResourceDescriptionsProvider;
41import org.eclipse.xtext.service.SingletonBinding;
42import org.eclipse.xtext.ui.DefaultUiModule;
43import org.eclipse.xtext.ui.UIBindings;
44import org.eclipse.xtext.ui.codetemplates.ui.AccessibleCodetemplatesActivator;
45import org.eclipse.xtext.ui.codetemplates.ui.partialEditing.IPartialEditingContentAssistContextFactory;
46import org.eclipse.xtext.ui.codetemplates.ui.partialEditing.PartialEditingContentAssistContextFactory;
47import org.eclipse.xtext.ui.codetemplates.ui.preferences.AdvancedTemplatesPreferencePage;
48import org.eclipse.xtext.ui.codetemplates.ui.preferences.TemplatesLanguageConfiguration;
49import org.eclipse.xtext.ui.codetemplates.ui.registry.LanguageRegistrar;
50import org.eclipse.xtext.ui.codetemplates.ui.registry.LanguageRegistry;
51import org.eclipse.xtext.ui.compare.DefaultViewerCreator;
52import org.eclipse.xtext.ui.editor.DocumentBasedDirtyResource;
53import org.eclipse.xtext.ui.editor.IXtextEditorCallback;
54import org.eclipse.xtext.ui.editor.contentassist.ContentAssistContext;
55import org.eclipse.xtext.ui.editor.contentassist.FQNPrefixMatcher;
56import org.eclipse.xtext.ui.editor.contentassist.IContentProposalProvider;
57import org.eclipse.xtext.ui.editor.contentassist.IProposalConflictHelper;
58import org.eclipse.xtext.ui.editor.contentassist.PrefixMatcher;
59import org.eclipse.xtext.ui.editor.contentassist.antlr.AntlrProposalConflictHelper;
60import org.eclipse.xtext.ui.editor.contentassist.antlr.DelegatingContentAssistContextFactory;
61import org.eclipse.xtext.ui.editor.outline.IOutlineTreeProvider;
62import org.eclipse.xtext.ui.editor.outline.impl.IOutlineTreeStructureProvider;
63import org.eclipse.xtext.ui.editor.preferences.IPreferenceStoreInitializer;
64import org.eclipse.xtext.ui.editor.quickfix.IssueResolutionProvider;
65import org.eclipse.xtext.ui.editor.templates.XtextTemplatePreferencePage;
66import org.eclipse.xtext.ui.refactoring.IDependentElementsCalculator;
67import org.eclipse.xtext.ui.refactoring.IReferenceUpdater;
68import org.eclipse.xtext.ui.refactoring.IRenameRefactoringProvider;
69import org.eclipse.xtext.ui.refactoring.IRenameStrategy;
70import org.eclipse.xtext.ui.refactoring.impl.DefaultDependentElementsCalculator;
71import org.eclipse.xtext.ui.refactoring.impl.DefaultReferenceUpdater;
72import org.eclipse.xtext.ui.refactoring.impl.DefaultRenameRefactoringProvider;
73import org.eclipse.xtext.ui.refactoring.impl.DefaultRenameStrategy;
74import org.eclipse.xtext.ui.refactoring.ui.DefaultRenameSupport;
75import org.eclipse.xtext.ui.refactoring.ui.IRenameSupport;
76import org.eclipse.xtext.ui.refactoring.ui.RefactoringPreferences;
77import org.eclipse.xtext.ui.resource.ResourceServiceDescriptionLabelProvider;
78import org.eclipse.xtext.ui.shared.Access;
79
80/**
81 * Manual modifications go to {@link VampireLanguageUiModule}.
82 */
83@SuppressWarnings("all")
84public abstract class AbstractVampireLanguageUiModule extends DefaultUiModule {
85
86 public AbstractVampireLanguageUiModule(AbstractUIPlugin plugin) {
87 super(plugin);
88 }
89
90 // contributed by org.eclipse.xtext.xtext.generator.ImplicitFragment
91 public Provider<? extends IAllContainersState> provideIAllContainersState() {
92 return Access.getJavaProjectsState();
93 }
94
95 // contributed by org.eclipse.xtext.xtext.generator.parser.antlr.XtextAntlrGeneratorFragment2
96 public Class<? extends IProposalConflictHelper> bindIProposalConflictHelper() {
97 return AntlrProposalConflictHelper.class;
98 }
99
100 // contributed by org.eclipse.xtext.xtext.generator.parser.antlr.XtextAntlrGeneratorFragment2
101 public void configureContentAssistLexer(Binder binder) {
102 binder.bind(Lexer.class)
103 .annotatedWith(Names.named(LexerIdeBindings.CONTENT_ASSIST))
104 .to(InternalVampireLanguageLexer.class);
105 }
106
107 // contributed by org.eclipse.xtext.xtext.generator.parser.antlr.XtextAntlrGeneratorFragment2
108 public void configureHighlightingLexer(Binder binder) {
109 binder.bind(org.eclipse.xtext.parser.antlr.Lexer.class)
110 .annotatedWith(Names.named(LexerIdeBindings.HIGHLIGHTING))
111 .to(ca.mcgill.ecse.dslreasoner.parser.antlr.internal.InternalVampireLanguageLexer.class);
112 }
113
114 // contributed by org.eclipse.xtext.xtext.generator.parser.antlr.XtextAntlrGeneratorFragment2
115 public void configureHighlightingTokenDefProvider(Binder binder) {
116 binder.bind(ITokenDefProvider.class)
117 .annotatedWith(Names.named(LexerIdeBindings.HIGHLIGHTING))
118 .to(AntlrTokenDefProvider.class);
119 }
120
121 // contributed by org.eclipse.xtext.xtext.generator.parser.antlr.XtextAntlrGeneratorFragment2
122 public Class<? extends ContentAssistContext.Factory> bindContentAssistContext$Factory() {
123 return DelegatingContentAssistContextFactory.class;
124 }
125
126 // contributed by org.eclipse.xtext.xtext.generator.parser.antlr.XtextAntlrGeneratorFragment2
127 public Class<? extends IContentAssistParser> bindIContentAssistParser() {
128 return VampireLanguageParser.class;
129 }
130
131 // contributed by org.eclipse.xtext.xtext.generator.parser.antlr.XtextAntlrGeneratorFragment2
132 public void configureContentAssistLexerProvider(Binder binder) {
133 binder.bind(InternalVampireLanguageLexer.class).toProvider(LexerProvider.create(InternalVampireLanguageLexer.class));
134 }
135
136 // contributed by org.eclipse.xtext.xtext.generator.exporting.QualifiedNamesFragment2
137 public Class<? extends PrefixMatcher> bindPrefixMatcher() {
138 return FQNPrefixMatcher.class;
139 }
140
141 // contributed by org.eclipse.xtext.xtext.generator.exporting.QualifiedNamesFragment2
142 public Class<? extends IDependentElementsCalculator> bindIDependentElementsCalculator() {
143 return DefaultDependentElementsCalculator.class;
144 }
145
146 // contributed by org.eclipse.xtext.xtext.generator.builder.BuilderIntegrationFragment2
147 public void configureIResourceDescriptionsBuilderScope(Binder binder) {
148 binder.bind(IResourceDescriptions.class).annotatedWith(Names.named(ResourceDescriptionsProvider.NAMED_BUILDER_SCOPE)).to(CurrentDescriptions.ResourceSetAware.class);
149 }
150
151 // contributed by org.eclipse.xtext.xtext.generator.builder.BuilderIntegrationFragment2
152 public Class<? extends IXtextEditorCallback> bindIXtextEditorCallback() {
153 return NatureAddingEditorCallback.class;
154 }
155
156 // contributed by org.eclipse.xtext.xtext.generator.builder.BuilderIntegrationFragment2
157 public Class<? extends IContextualOutputConfigurationProvider> bindIContextualOutputConfigurationProvider() {
158 return EclipseOutputConfigurationProvider.class;
159 }
160
161 // contributed by org.eclipse.xtext.xtext.generator.builder.BuilderIntegrationFragment2
162 public void configureIResourceDescriptionsPersisted(Binder binder) {
163 binder.bind(IResourceDescriptions.class).annotatedWith(Names.named(ResourceDescriptionsProvider.PERSISTED_DESCRIPTIONS)).to(IBuilderState.class);
164 }
165
166 // contributed by org.eclipse.xtext.xtext.generator.builder.BuilderIntegrationFragment2
167 public Class<? extends DocumentBasedDirtyResource> bindDocumentBasedDirtyResource() {
168 return PersistentDataAwareDirtyResource.class;
169 }
170
171 // contributed by org.eclipse.xtext.xtext.generator.generator.GeneratorFragment2
172 public Class<? extends IXtextBuilderParticipant> bindIXtextBuilderParticipant() {
173 return BuilderParticipant.class;
174 }
175
176 // contributed by org.eclipse.xtext.xtext.generator.generator.GeneratorFragment2
177 public IWorkspaceRoot bindIWorkspaceRootToInstance() {
178 return ResourcesPlugin.getWorkspace().getRoot();
179 }
180
181 // contributed by org.eclipse.xtext.xtext.generator.generator.GeneratorFragment2
182 public void configureBuilderPreferenceStoreInitializer(Binder binder) {
183 binder.bind(IPreferenceStoreInitializer.class)
184 .annotatedWith(Names.named("builderPreferenceInitializer"))
185 .to(BuilderPreferenceAccess.Initializer.class);
186 }
187
188 // contributed by org.eclipse.xtext.xtext.generator.ui.labeling.LabelProviderFragment2
189 public Class<? extends ILabelProvider> bindILabelProvider() {
190 return VampireLanguageLabelProvider.class;
191 }
192
193 // contributed by org.eclipse.xtext.xtext.generator.ui.labeling.LabelProviderFragment2
194 public void configureResourceUIServiceLabelProvider(Binder binder) {
195 binder.bind(ILabelProvider.class).annotatedWith(ResourceServiceDescriptionLabelProvider.class).to(VampireLanguageDescriptionLabelProvider.class);
196 }
197
198 // contributed by org.eclipse.xtext.xtext.generator.ui.outline.OutlineTreeProviderFragment2
199 public Class<? extends IOutlineTreeProvider> bindIOutlineTreeProvider() {
200 return VampireLanguageOutlineTreeProvider.class;
201 }
202
203 // contributed by org.eclipse.xtext.xtext.generator.ui.outline.OutlineTreeProviderFragment2
204 public Class<? extends IOutlineTreeStructureProvider> bindIOutlineTreeStructureProvider() {
205 return VampireLanguageOutlineTreeProvider.class;
206 }
207
208 // contributed by org.eclipse.xtext.xtext.generator.ui.quickfix.QuickfixProviderFragment2
209 public Class<? extends IssueResolutionProvider> bindIssueResolutionProvider() {
210 return VampireLanguageQuickfixProvider.class;
211 }
212
213 // contributed by org.eclipse.xtext.xtext.generator.ui.contentAssist.ContentAssistFragment2
214 public Class<? extends IContentProposalProvider> bindIContentProposalProvider() {
215 return VampireLanguageProposalProvider.class;
216 }
217
218 // contributed by org.eclipse.xtext.xtext.generator.ui.refactoring.RefactorElementNameFragment2
219 public Class<? extends IRenameStrategy> bindIRenameStrategy() {
220 return DefaultRenameStrategy.class;
221 }
222
223 // contributed by org.eclipse.xtext.xtext.generator.ui.refactoring.RefactorElementNameFragment2
224 public Class<? extends IReferenceUpdater> bindIReferenceUpdater() {
225 return DefaultReferenceUpdater.class;
226 }
227
228 // contributed by org.eclipse.xtext.xtext.generator.ui.refactoring.RefactorElementNameFragment2
229 public void configureIPreferenceStoreInitializer(Binder binder) {
230 binder.bind(IPreferenceStoreInitializer.class)
231 .annotatedWith(Names.named("RefactoringPreferences"))
232 .to(RefactoringPreferences.Initializer.class);
233 }
234
235 // contributed by org.eclipse.xtext.xtext.generator.ui.refactoring.RefactorElementNameFragment2
236 public Class<? extends IRenameRefactoringProvider> bindIRenameRefactoringProvider() {
237 return DefaultRenameRefactoringProvider.class;
238 }
239
240 // contributed by org.eclipse.xtext.xtext.generator.ui.refactoring.RefactorElementNameFragment2
241 public Class<? extends IRenameSupport.Factory> bindIRenameSupport$Factory() {
242 return DefaultRenameSupport.Factory.class;
243 }
244
245 // contributed by org.eclipse.xtext.xtext.generator.ui.templates.CodetemplatesGeneratorFragment2
246 public Provider<? extends TemplatesLanguageConfiguration> provideTemplatesLanguageConfiguration() {
247 return AccessibleCodetemplatesActivator.getTemplatesLanguageConfigurationProvider();
248 }
249
250 // contributed by org.eclipse.xtext.xtext.generator.ui.templates.CodetemplatesGeneratorFragment2
251 public Provider<? extends LanguageRegistry> provideLanguageRegistry() {
252 return AccessibleCodetemplatesActivator.getLanguageRegistry();
253 }
254
255 // contributed by org.eclipse.xtext.xtext.generator.ui.templates.CodetemplatesGeneratorFragment2
256 @SingletonBinding(eager=true)
257 public Class<? extends LanguageRegistrar> bindLanguageRegistrar() {
258 return LanguageRegistrar.class;
259 }
260
261 // contributed by org.eclipse.xtext.xtext.generator.ui.templates.CodetemplatesGeneratorFragment2
262 public Class<? extends XtextTemplatePreferencePage> bindXtextTemplatePreferencePage() {
263 return AdvancedTemplatesPreferencePage.class;
264 }
265
266 // contributed by org.eclipse.xtext.xtext.generator.ui.templates.CodetemplatesGeneratorFragment2
267 public Class<? extends IPartialEditingContentAssistParser> bindIPartialEditingContentAssistParser() {
268 return PartialVampireLanguageContentAssistParser.class;
269 }
270
271 // contributed by org.eclipse.xtext.xtext.generator.ui.templates.CodetemplatesGeneratorFragment2
272 public Class<? extends IPartialEditingContentAssistContextFactory> bindIPartialEditingContentAssistContextFactory() {
273 return PartialEditingContentAssistContextFactory.class;
274 }
275
276 // contributed by org.eclipse.xtext.xtext.generator.ui.compare.CompareFragment2
277 public Class<? extends IViewerCreator> bindIViewerCreator() {
278 return DefaultViewerCreator.class;
279 }
280
281 // contributed by org.eclipse.xtext.xtext.generator.ui.compare.CompareFragment2
282 public void configureCompareViewerTitle(Binder binder) {
283 binder.bind(String.class).annotatedWith(Names.named(UIBindings.COMPARE_VIEWER_TITLE)).toInstance("VampireLanguage Compare");
284 }
285
286}
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/src-gen/ca/mcgill/ecse/dslreasoner/ui/VampireLanguageExecutableExtensionFactory.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/src-gen/ca/mcgill/ecse/dslreasoner/ui/VampireLanguageExecutableExtensionFactory.java
new file mode 100644
index 00000000..18440e58
--- /dev/null
+++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/src-gen/ca/mcgill/ecse/dslreasoner/ui/VampireLanguageExecutableExtensionFactory.java
@@ -0,0 +1,27 @@
1/*
2 * generated by Xtext 2.12.0
3 */
4package ca.mcgill.ecse.dslreasoner.ui;
5
6import ca.mcgill.ecse.dslreasoner.vampire.language.ui.internal.LanguageActivator;
7import com.google.inject.Injector;
8import org.eclipse.xtext.ui.guice.AbstractGuiceAwareExecutableExtensionFactory;
9import org.osgi.framework.Bundle;
10
11/**
12 * This class was generated. Customizations should only happen in a newly
13 * introduced subclass.
14 */
15public class VampireLanguageExecutableExtensionFactory extends AbstractGuiceAwareExecutableExtensionFactory {
16
17 @Override
18 protected Bundle getBundle() {
19 return LanguageActivator.getInstance().getBundle();
20 }
21
22 @Override
23 protected Injector getInjector() {
24 return LanguageActivator.getInstance().getInjector(LanguageActivator.CA_MCGILL_ECSE_DSLREASONER_VAMPIRELANGUAGE);
25 }
26
27}
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/src-gen/ca/mcgill/ecse/dslreasoner/ui/contentassist/AbstractVampireLanguageProposalProvider.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/src-gen/ca/mcgill/ecse/dslreasoner/ui/contentassist/AbstractVampireLanguageProposalProvider.java
new file mode 100644
index 00000000..23e813f5
--- /dev/null
+++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/src-gen/ca/mcgill/ecse/dslreasoner/ui/contentassist/AbstractVampireLanguageProposalProvider.java
@@ -0,0 +1,289 @@
1/*
2 * generated by Xtext 2.12.0
3 */
4package ca.mcgill.ecse.dslreasoner.ui.contentassist;
5
6import org.eclipse.emf.ecore.EObject;
7import org.eclipse.xtext.Alternatives;
8import org.eclipse.xtext.Assignment;
9import org.eclipse.xtext.RuleCall;
10import org.eclipse.xtext.common.ui.contentassist.TerminalsProposalProvider;
11import org.eclipse.xtext.ui.editor.contentassist.ContentAssistContext;
12import org.eclipse.xtext.ui.editor.contentassist.ICompletionProposalAcceptor;
13
14/**
15 * Represents a generated, default implementation of superclass {@link TerminalsProposalProvider}.
16 * Methods are dynamically dispatched on the first parameter, i.e., you can override them
17 * with a more concrete subtype.
18 */
19public abstract class AbstractVampireLanguageProposalProvider extends TerminalsProposalProvider {
20
21 public void completeVampireModel_Includes(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
22 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
23 }
24 public void completeVampireModel_Comments(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
25 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
26 }
27 public void completeVampireModel_Formulas(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
28 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
29 }
30 public void completeVLSInclude_FileName(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
31 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
32 }
33 public void completeVLSInclude_Names(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
34 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
35 }
36 public void completeVLSName_Name(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
37 completeRuleCall(((RuleCall)((Alternatives)assignment.getTerminal()).getElements().get(0)), context, acceptor);
38 completeRuleCall(((RuleCall)((Alternatives)assignment.getTerminal()).getElements().get(1)), context, acceptor);
39 completeRuleCall(((RuleCall)((Alternatives)assignment.getTerminal()).getElements().get(2)), context, acceptor);
40 completeRuleCall(((RuleCall)((Alternatives)assignment.getTerminal()).getElements().get(3)), context, acceptor);
41 }
42 public void completeVLSComment_Comment(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
43 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
44 }
45 public void completeVLSFofFormula_Name(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
46 completeRuleCall(((RuleCall)((Alternatives)assignment.getTerminal()).getElements().get(0)), context, acceptor);
47 completeRuleCall(((RuleCall)((Alternatives)assignment.getTerminal()).getElements().get(1)), context, acceptor);
48 completeRuleCall(((RuleCall)((Alternatives)assignment.getTerminal()).getElements().get(2)), context, acceptor);
49 }
50 public void completeVLSFofFormula_FofRole(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
51 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
52 }
53 public void completeVLSFofFormula_FofFormula(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
54 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
55 }
56 public void completeVLSFofFormula_Annotations(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
57 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
58 }
59 public void completeVLSAnnotation_Name(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
60 completeRuleCall(((RuleCall)((Alternatives)assignment.getTerminal()).getElements().get(0)), context, acceptor);
61 completeRuleCall(((RuleCall)((Alternatives)assignment.getTerminal()).getElements().get(1)), context, acceptor);
62 completeRuleCall(((RuleCall)((Alternatives)assignment.getTerminal()).getElements().get(2)), context, acceptor);
63 }
64 public void completeVLSAnnotation_Followup(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
65 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
66 }
67 public void completeVLSAnnotationTerms_Terms(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
68 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
69 }
70 public void completeVLSBinary_Right(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
71 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
72 }
73 public void completeVLSUniversalQuantifier_Variables(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
74 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
75 }
76 public void completeVLSUniversalQuantifier_Operand(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
77 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
78 }
79 public void completeVLSExistentialQuantifier_Variables(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
80 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
81 }
82 public void completeVLSExistentialQuantifier_Operand(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
83 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
84 }
85 public void completeVLSUnaryNegation_Operand(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
86 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
87 }
88 public void completeVLSUnaryInfix_Right(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
89 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
90 }
91 public void completeVLSAtomicConstant_Name(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
92 completeRuleCall(((RuleCall)((Alternatives)assignment.getTerminal()).getElements().get(0)), context, acceptor);
93 completeRuleCall(((RuleCall)((Alternatives)assignment.getTerminal()).getElements().get(1)), context, acceptor);
94 completeRuleCall(((RuleCall)((Alternatives)assignment.getTerminal()).getElements().get(2)), context, acceptor);
95 completeRuleCall(((RuleCall)((Alternatives)assignment.getTerminal()).getElements().get(3)), context, acceptor);
96 completeRuleCall(((RuleCall)((Alternatives)assignment.getTerminal()).getElements().get(4)), context, acceptor);
97 }
98 public void completeVLSAtomicFunction_Constant(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
99 completeRuleCall(((RuleCall)((Alternatives)assignment.getTerminal()).getElements().get(0)), context, acceptor);
100 completeRuleCall(((RuleCall)((Alternatives)assignment.getTerminal()).getElements().get(1)), context, acceptor);
101 completeRuleCall(((RuleCall)((Alternatives)assignment.getTerminal()).getElements().get(2)), context, acceptor);
102 completeRuleCall(((RuleCall)((Alternatives)assignment.getTerminal()).getElements().get(3)), context, acceptor);
103 completeRuleCall(((RuleCall)((Alternatives)assignment.getTerminal()).getElements().get(4)), context, acceptor);
104 }
105 public void completeVLSAtomicFunction_Terms(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
106 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
107 }
108 public void completeVLSAtomicFunction_Name(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
109 // subclasses may override
110 }
111 public void completeVLSVariable_Name(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
112 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
113 }
114 public void completeVLSFunctionFof_Functor(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
115 completeRuleCall(((RuleCall)((Alternatives)assignment.getTerminal()).getElements().get(0)), context, acceptor);
116 completeRuleCall(((RuleCall)((Alternatives)assignment.getTerminal()).getElements().get(1)), context, acceptor);
117 completeRuleCall(((RuleCall)((Alternatives)assignment.getTerminal()).getElements().get(2)), context, acceptor);
118 completeRuleCall(((RuleCall)((Alternatives)assignment.getTerminal()).getElements().get(3)), context, acceptor);
119 }
120 public void completeVLSFunctionFof_Terms(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
121 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
122 }
123 public void completeVLSDefinedTerm_Value(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
124 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
125 }
126
127 public void complete_VampireModel(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
128 // subclasses may override
129 }
130 public void complete_ALPHA_NUMERIC(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
131 // subclasses may override
132 }
133 public void complete_UPPER_WORD_ID(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
134 // subclasses may override
135 }
136 public void complete_LOWER_WORD_ID(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
137 // subclasses may override
138 }
139 public void complete_DOUBLE_QUOTE(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
140 // subclasses may override
141 }
142 public void complete_SINGLE_QUOTE(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
143 // subclasses may override
144 }
145 public void complete_SIGN(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
146 // subclasses may override
147 }
148 public void complete_DOLLAR_ID(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
149 // subclasses may override
150 }
151 public void complete_DOUBLE_DOLLAR_ID(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
152 // subclasses may override
153 }
154 public void complete_LITERAL(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
155 // subclasses may override
156 }
157 public void complete_SIGNED_LITERAL(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
158 // subclasses may override
159 }
160 public void complete_UNSIGNED_REAL_FRAC_ID(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
161 // subclasses may override
162 }
163 public void complete_UNSIGNED_REAL_EXP_ID(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
164 // subclasses may override
165 }
166 public void complete_SIGNED_REAL_ID(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
167 // subclasses may override
168 }
169 public void complete_UNSIGNED_RAT_ID(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
170 // subclasses may override
171 }
172 public void complete_SIGNED_RAT_ID(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
173 // subclasses may override
174 }
175 public void complete_ANY_OTHER(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
176 // subclasses may override
177 }
178 public void complete_SINGLE_COMMENT(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
179 // subclasses may override
180 }
181 public void complete_VLSInclude(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
182 // subclasses may override
183 }
184 public void complete_VLSName(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
185 // subclasses may override
186 }
187 public void complete_VLSComment(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
188 // subclasses may override
189 }
190 public void complete_VLSFofFormula(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
191 // subclasses may override
192 }
193 public void complete_VLSRole(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
194 // subclasses may override
195 }
196 public void complete_VLSAxiom(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
197 // subclasses may override
198 }
199 public void complete_VLSConjecture(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
200 // subclasses may override
201 }
202 public void complete_VLSHypothesis(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
203 // subclasses may override
204 }
205 public void complete_VLSDefinition(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
206 // subclasses may override
207 }
208 public void complete_VLSAssumption(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
209 // subclasses may override
210 }
211 public void complete_VLSLemma(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
212 // subclasses may override
213 }
214 public void complete_VLSTheorem(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
215 // subclasses may override
216 }
217 public void complete_VLSCorollary(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
218 // subclasses may override
219 }
220 public void complete_VLSNegated_Conjecture(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
221 // subclasses may override
222 }
223 public void complete_VLSPlain(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
224 // subclasses may override
225 }
226 public void complete_VLSType(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
227 // subclasses may override
228 }
229 public void complete_VLSFi_Domain(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
230 // subclasses may override
231 }
232 public void complete_VLSFi_Functors(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
233 // subclasses may override
234 }
235 public void complete_VLSFi_Predicates(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
236 // subclasses may override
237 }
238 public void complete_VLSUnknown(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
239 // subclasses may override
240 }
241 public void complete_VLSAnnotation(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
242 // subclasses may override
243 }
244 public void complete_VLSAnnotationTerms(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
245 // subclasses may override
246 }
247 public void complete_VLSTerm(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
248 // subclasses may override
249 }
250 public void complete_VLSBinary(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
251 // subclasses may override
252 }
253 public void complete_VLSUnitaryFormula(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
254 // subclasses may override
255 }
256 public void complete_VLSUniversalQuantifier(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
257 // subclasses may override
258 }
259 public void complete_VLSExistentialQuantifier(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
260 // subclasses may override
261 }
262 public void complete_VLSUnaryNegation(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
263 // subclasses may override
264 }
265 public void complete_VLSUnaryInfix(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
266 // subclasses may override
267 }
268 public void complete_VLSAtomic(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
269 // subclasses may override
270 }
271 public void complete_VLSAtomicConstant(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
272 // subclasses may override
273 }
274 public void complete_VLSAtomicFunction(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
275 // subclasses may override
276 }
277 public void complete_VLSVariable(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
278 // subclasses may override
279 }
280 public void complete_VLSFofTerm(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
281 // subclasses may override
282 }
283 public void complete_VLSFunctionFof(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
284 // subclasses may override
285 }
286 public void complete_VLSDefinedTerm(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
287 // subclasses may override
288 }
289}
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/src-gen/ca/mcgill/ecse/dslreasoner/vampire/language/ui/internal/LanguageActivator.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/src-gen/ca/mcgill/ecse/dslreasoner/vampire/language/ui/internal/LanguageActivator.java
new file mode 100644
index 00000000..eca3aa7f
--- /dev/null
+++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/src-gen/ca/mcgill/ecse/dslreasoner/vampire/language/ui/internal/LanguageActivator.java
@@ -0,0 +1,93 @@
1/*
2 * generated by Xtext 2.12.0
3 */
4package ca.mcgill.ecse.dslreasoner.vampire.language.ui.internal;
5
6import ca.mcgill.ecse.dslreasoner.VampireLanguageRuntimeModule;
7import ca.mcgill.ecse.dslreasoner.ui.VampireLanguageUiModule;
8import com.google.common.collect.Maps;
9import com.google.inject.Guice;
10import com.google.inject.Injector;
11import com.google.inject.Module;
12import java.util.Collections;
13import java.util.Map;
14import org.apache.log4j.Logger;
15import org.eclipse.ui.plugin.AbstractUIPlugin;
16import org.eclipse.xtext.ui.shared.SharedStateModule;
17import org.eclipse.xtext.util.Modules2;
18import org.osgi.framework.BundleContext;
19
20/**
21 * This class was generated. Customizations should only happen in a newly
22 * introduced subclass.
23 */
24public class LanguageActivator extends AbstractUIPlugin {
25
26 public static final String CA_MCGILL_ECSE_DSLREASONER_VAMPIRELANGUAGE = "ca.mcgill.ecse.dslreasoner.VampireLanguage";
27
28 private static final Logger logger = Logger.getLogger(LanguageActivator.class);
29
30 private static LanguageActivator INSTANCE;
31
32 private Map<String, Injector> injectors = Collections.synchronizedMap(Maps.<String, Injector> newHashMapWithExpectedSize(1));
33
34 @Override
35 public void start(BundleContext context) throws Exception {
36 super.start(context);
37 INSTANCE = this;
38 }
39
40 @Override
41 public void stop(BundleContext context) throws Exception {
42 injectors.clear();
43 INSTANCE = null;
44 super.stop(context);
45 }
46
47 public static LanguageActivator getInstance() {
48 return INSTANCE;
49 }
50
51 public Injector getInjector(String language) {
52 synchronized (injectors) {
53 Injector injector = injectors.get(language);
54 if (injector == null) {
55 injectors.put(language, injector = createInjector(language));
56 }
57 return injector;
58 }
59 }
60
61 protected Injector createInjector(String language) {
62 try {
63 Module runtimeModule = getRuntimeModule(language);
64 Module sharedStateModule = getSharedStateModule();
65 Module uiModule = getUiModule(language);
66 Module mergedModule = Modules2.mixin(runtimeModule, sharedStateModule, uiModule);
67 return Guice.createInjector(mergedModule);
68 } catch (Exception e) {
69 logger.error("Failed to create injector for " + language);
70 logger.error(e.getMessage(), e);
71 throw new RuntimeException("Failed to create injector for " + language, e);
72 }
73 }
74
75 protected Module getRuntimeModule(String grammar) {
76 if (CA_MCGILL_ECSE_DSLREASONER_VAMPIRELANGUAGE.equals(grammar)) {
77 return new VampireLanguageRuntimeModule();
78 }
79 throw new IllegalArgumentException(grammar);
80 }
81
82 protected Module getUiModule(String grammar) {
83 if (CA_MCGILL_ECSE_DSLREASONER_VAMPIRELANGUAGE.equals(grammar)) {
84 return new VampireLanguageUiModule(this);
85 }
86 throw new IllegalArgumentException(grammar);
87 }
88
89 protected Module getSharedStateModule() {
90 return new SharedStateModule();
91 }
92
93}
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/src/ca/mcgill/ecse/dslreasoner/ui/VampireLanguageUiModule.xtend b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/src/ca/mcgill/ecse/dslreasoner/ui/VampireLanguageUiModule.xtend
new file mode 100644
index 00000000..ab20cdc5
--- /dev/null
+++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/src/ca/mcgill/ecse/dslreasoner/ui/VampireLanguageUiModule.xtend
@@ -0,0 +1,13 @@
1/*
2 * generated by Xtext 2.12.0
3 */
4package ca.mcgill.ecse.dslreasoner.ui
5
6import org.eclipse.xtend.lib.annotations.FinalFieldsConstructor
7
8/**
9 * Use this class to register components to be used within the Eclipse IDE.
10 */
11@FinalFieldsConstructor
12class VampireLanguageUiModule extends AbstractVampireLanguageUiModule {
13}
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/src/ca/mcgill/ecse/dslreasoner/ui/contentassist/VampireLanguageProposalProvider.xtend b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/src/ca/mcgill/ecse/dslreasoner/ui/contentassist/VampireLanguageProposalProvider.xtend
new file mode 100644
index 00000000..e550c974
--- /dev/null
+++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/src/ca/mcgill/ecse/dslreasoner/ui/contentassist/VampireLanguageProposalProvider.xtend
@@ -0,0 +1,12 @@
1/*
2 * generated by Xtext 2.12.0
3 */
4package ca.mcgill.ecse.dslreasoner.ui.contentassist
5
6
7/**
8 * See https://www.eclipse.org/Xtext/documentation/304_ide_concepts.html#content-assist
9 * on how to customize the content assistant.
10 */
11class VampireLanguageProposalProvider extends AbstractVampireLanguageProposalProvider {
12}
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/src/ca/mcgill/ecse/dslreasoner/ui/labeling/VampireLanguageDescriptionLabelProvider.xtend b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/src/ca/mcgill/ecse/dslreasoner/ui/labeling/VampireLanguageDescriptionLabelProvider.xtend
new file mode 100644
index 00000000..4e33aebc
--- /dev/null
+++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/src/ca/mcgill/ecse/dslreasoner/ui/labeling/VampireLanguageDescriptionLabelProvider.xtend
@@ -0,0 +1,24 @@
1/*
2 * generated by Xtext 2.12.0
3 */
4package ca.mcgill.ecse.dslreasoner.ui.labeling
5
6import org.eclipse.xtext.ui.label.DefaultDescriptionLabelProvider
7
8/**
9 * Provides labels for IEObjectDescriptions and IResourceDescriptions.
10 *
11 * See https://www.eclipse.org/Xtext/documentation/304_ide_concepts.html#label-provider
12 */
13class VampireLanguageDescriptionLabelProvider extends DefaultDescriptionLabelProvider {
14
15 // Labels and icons can be computed like this:
16
17// override text(IEObjectDescription ele) {
18// ele.name.toString
19// }
20//
21// override image(IEObjectDescription ele) {
22// ele.EClass.name + '.gif'
23// }
24}
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/src/ca/mcgill/ecse/dslreasoner/ui/labeling/VampireLanguageLabelProvider.xtend b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/src/ca/mcgill/ecse/dslreasoner/ui/labeling/VampireLanguageLabelProvider.xtend
new file mode 100644
index 00000000..345e6bbd
--- /dev/null
+++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/src/ca/mcgill/ecse/dslreasoner/ui/labeling/VampireLanguageLabelProvider.xtend
@@ -0,0 +1,31 @@
1/*
2 * generated by Xtext 2.12.0
3 */
4package ca.mcgill.ecse.dslreasoner.ui.labeling
5
6import com.google.inject.Inject
7import org.eclipse.emf.edit.ui.provider.AdapterFactoryLabelProvider
8import org.eclipse.xtext.ui.label.DefaultEObjectLabelProvider
9
10/**
11 * Provides labels for EObjects.
12 *
13 * See https://www.eclipse.org/Xtext/documentation/304_ide_concepts.html#label-provider
14 */
15class VampireLanguageLabelProvider extends DefaultEObjectLabelProvider {
16
17 @Inject
18 new(AdapterFactoryLabelProvider delegate) {
19 super(delegate);
20 }
21
22 // Labels and icons can be computed like this:
23
24// def text(Greeting ele) {
25// 'A greeting to ' + ele.name
26// }
27//
28// def image(Greeting ele) {
29// 'Greeting.gif'
30// }
31}
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/src/ca/mcgill/ecse/dslreasoner/ui/outline/VampireLanguageOutlineTreeProvider.xtend b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/src/ca/mcgill/ecse/dslreasoner/ui/outline/VampireLanguageOutlineTreeProvider.xtend
new file mode 100644
index 00000000..fdcf1f93
--- /dev/null
+++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/src/ca/mcgill/ecse/dslreasoner/ui/outline/VampireLanguageOutlineTreeProvider.xtend
@@ -0,0 +1,15 @@
1/*
2 * generated by Xtext 2.12.0
3 */
4package ca.mcgill.ecse.dslreasoner.ui.outline
5
6import org.eclipse.xtext.ui.editor.outline.impl.DefaultOutlineTreeProvider
7
8/**
9 * Customization of the default outline structure.
10 *
11 * See https://www.eclipse.org/Xtext/documentation/310_eclipse_support.html#outline
12 */
13class VampireLanguageOutlineTreeProvider extends DefaultOutlineTreeProvider {
14
15}
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/src/ca/mcgill/ecse/dslreasoner/ui/quickfix/VampireLanguageQuickfixProvider.xtend b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/src/ca/mcgill/ecse/dslreasoner/ui/quickfix/VampireLanguageQuickfixProvider.xtend
new file mode 100644
index 00000000..b657d972
--- /dev/null
+++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/src/ca/mcgill/ecse/dslreasoner/ui/quickfix/VampireLanguageQuickfixProvider.xtend
@@ -0,0 +1,24 @@
1/*
2 * generated by Xtext 2.12.0
3 */
4package ca.mcgill.ecse.dslreasoner.ui.quickfix
5
6import org.eclipse.xtext.ui.editor.quickfix.DefaultQuickfixProvider
7
8/**
9 * Custom quickfixes.
10 *
11 * See https://www.eclipse.org/Xtext/documentation/310_eclipse_support.html#quick-fixes
12 */
13class VampireLanguageQuickfixProvider extends DefaultQuickfixProvider {
14
15// @Fix(VampireLanguageValidator.INVALID_NAME)
16// def capitalizeName(Issue issue, IssueResolutionAcceptor acceptor) {
17// acceptor.accept(issue, 'Capitalize name', 'Capitalize the name.', 'upcase.png') [
18// context |
19// val xtextDocument = context.xtextDocument
20// val firstLetter = xtextDocument.get(issue.offset, 1)
21// xtextDocument.replace(issue.offset, 1, firstLetter.toUpperCase)
22// ]
23// }
24}
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/xtend-gen/ca/mcgill/ecse/dslreasoner/ui/.VampireLanguageUiModule.xtendbin b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/xtend-gen/ca/mcgill/ecse/dslreasoner/ui/.VampireLanguageUiModule.xtendbin
new file mode 100644
index 00000000..94310fc8
--- /dev/null
+++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/xtend-gen/ca/mcgill/ecse/dslreasoner/ui/.VampireLanguageUiModule.xtendbin
Binary files differ
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/xtend-gen/ca/mcgill/ecse/dslreasoner/ui/.gitignore b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/xtend-gen/ca/mcgill/ecse/dslreasoner/ui/.gitignore
new file mode 100644
index 00000000..33e14842
--- /dev/null
+++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/xtend-gen/ca/mcgill/ecse/dslreasoner/ui/.gitignore
@@ -0,0 +1 @@
/.VampireLanguageUiModule.java._trace
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/xtend-gen/ca/mcgill/ecse/dslreasoner/ui/VampireLanguageUiModule.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/xtend-gen/ca/mcgill/ecse/dslreasoner/ui/VampireLanguageUiModule.java
new file mode 100644
index 00000000..96cac653
--- /dev/null
+++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/xtend-gen/ca/mcgill/ecse/dslreasoner/ui/VampireLanguageUiModule.java
@@ -0,0 +1,19 @@
1/**
2 * generated by Xtext 2.12.0
3 */
4package ca.mcgill.ecse.dslreasoner.ui;
5
6import ca.mcgill.ecse.dslreasoner.ui.AbstractVampireLanguageUiModule;
7import org.eclipse.ui.plugin.AbstractUIPlugin;
8import org.eclipse.xtend.lib.annotations.FinalFieldsConstructor;
9
10/**
11 * Use this class to register components to be used within the Eclipse IDE.
12 */
13@FinalFieldsConstructor
14@SuppressWarnings("all")
15public class VampireLanguageUiModule extends AbstractVampireLanguageUiModule {
16 public VampireLanguageUiModule(final AbstractUIPlugin plugin) {
17 super(plugin);
18 }
19}
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/xtend-gen/ca/mcgill/ecse/dslreasoner/ui/contentassist/.VampireLanguageProposalProvider.xtendbin b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/xtend-gen/ca/mcgill/ecse/dslreasoner/ui/contentassist/.VampireLanguageProposalProvider.xtendbin
new file mode 100644
index 00000000..8de60312
--- /dev/null
+++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/xtend-gen/ca/mcgill/ecse/dslreasoner/ui/contentassist/.VampireLanguageProposalProvider.xtendbin
Binary files differ
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/xtend-gen/ca/mcgill/ecse/dslreasoner/ui/contentassist/.gitignore b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/xtend-gen/ca/mcgill/ecse/dslreasoner/ui/contentassist/.gitignore
new file mode 100644
index 00000000..458be65e
--- /dev/null
+++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/xtend-gen/ca/mcgill/ecse/dslreasoner/ui/contentassist/.gitignore
@@ -0,0 +1 @@
/.VampireLanguageProposalProvider.java._trace
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/xtend-gen/ca/mcgill/ecse/dslreasoner/ui/contentassist/VampireLanguageProposalProvider.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/xtend-gen/ca/mcgill/ecse/dslreasoner/ui/contentassist/VampireLanguageProposalProvider.java
new file mode 100644
index 00000000..ca5ef1f5
--- /dev/null
+++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/xtend-gen/ca/mcgill/ecse/dslreasoner/ui/contentassist/VampireLanguageProposalProvider.java
@@ -0,0 +1,14 @@
1/**
2 * generated by Xtext 2.12.0
3 */
4package ca.mcgill.ecse.dslreasoner.ui.contentassist;
5
6import ca.mcgill.ecse.dslreasoner.ui.contentassist.AbstractVampireLanguageProposalProvider;
7
8/**
9 * See https://www.eclipse.org/Xtext/documentation/304_ide_concepts.html#content-assist
10 * on how to customize the content assistant.
11 */
12@SuppressWarnings("all")
13public class VampireLanguageProposalProvider extends AbstractVampireLanguageProposalProvider {
14}
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/xtend-gen/ca/mcgill/ecse/dslreasoner/ui/labeling/.VampireLanguageDescriptionLabelProvider.xtendbin b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/xtend-gen/ca/mcgill/ecse/dslreasoner/ui/labeling/.VampireLanguageDescriptionLabelProvider.xtendbin
new file mode 100644
index 00000000..3e1bdd46
--- /dev/null
+++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/xtend-gen/ca/mcgill/ecse/dslreasoner/ui/labeling/.VampireLanguageDescriptionLabelProvider.xtendbin
Binary files differ
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/xtend-gen/ca/mcgill/ecse/dslreasoner/ui/labeling/.VampireLanguageLabelProvider.xtendbin b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/xtend-gen/ca/mcgill/ecse/dslreasoner/ui/labeling/.VampireLanguageLabelProvider.xtendbin
new file mode 100644
index 00000000..f1ceb7fe
--- /dev/null
+++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/xtend-gen/ca/mcgill/ecse/dslreasoner/ui/labeling/.VampireLanguageLabelProvider.xtendbin
Binary files differ
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/xtend-gen/ca/mcgill/ecse/dslreasoner/ui/labeling/.gitignore b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/xtend-gen/ca/mcgill/ecse/dslreasoner/ui/labeling/.gitignore
new file mode 100644
index 00000000..11f00543
--- /dev/null
+++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/xtend-gen/ca/mcgill/ecse/dslreasoner/ui/labeling/.gitignore
@@ -0,0 +1,2 @@
1/.VampireLanguageDescriptionLabelProvider.java._trace
2/.VampireLanguageLabelProvider.java._trace
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/xtend-gen/ca/mcgill/ecse/dslreasoner/ui/labeling/VampireLanguageDescriptionLabelProvider.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/xtend-gen/ca/mcgill/ecse/dslreasoner/ui/labeling/VampireLanguageDescriptionLabelProvider.java
new file mode 100644
index 00000000..1a6a3a2a
--- /dev/null
+++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/xtend-gen/ca/mcgill/ecse/dslreasoner/ui/labeling/VampireLanguageDescriptionLabelProvider.java
@@ -0,0 +1,15 @@
1/**
2 * generated by Xtext 2.12.0
3 */
4package ca.mcgill.ecse.dslreasoner.ui.labeling;
5
6import org.eclipse.xtext.ui.label.DefaultDescriptionLabelProvider;
7
8/**
9 * Provides labels for IEObjectDescriptions and IResourceDescriptions.
10 *
11 * See https://www.eclipse.org/Xtext/documentation/304_ide_concepts.html#label-provider
12 */
13@SuppressWarnings("all")
14public class VampireLanguageDescriptionLabelProvider extends DefaultDescriptionLabelProvider {
15}
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/xtend-gen/ca/mcgill/ecse/dslreasoner/ui/labeling/VampireLanguageLabelProvider.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/xtend-gen/ca/mcgill/ecse/dslreasoner/ui/labeling/VampireLanguageLabelProvider.java
new file mode 100644
index 00000000..53f93e82
--- /dev/null
+++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/xtend-gen/ca/mcgill/ecse/dslreasoner/ui/labeling/VampireLanguageLabelProvider.java
@@ -0,0 +1,21 @@
1/**
2 * generated by Xtext 2.12.0
3 */
4package ca.mcgill.ecse.dslreasoner.ui.labeling;
5
6import com.google.inject.Inject;
7import org.eclipse.emf.edit.ui.provider.AdapterFactoryLabelProvider;
8import org.eclipse.xtext.ui.label.DefaultEObjectLabelProvider;
9
10/**
11 * Provides labels for EObjects.
12 *
13 * See https://www.eclipse.org/Xtext/documentation/304_ide_concepts.html#label-provider
14 */
15@SuppressWarnings("all")
16public class VampireLanguageLabelProvider extends DefaultEObjectLabelProvider {
17 @Inject
18 public VampireLanguageLabelProvider(final AdapterFactoryLabelProvider delegate) {
19 super(delegate);
20 }
21}
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/xtend-gen/ca/mcgill/ecse/dslreasoner/ui/outline/.VampireLanguageOutlineTreeProvider.xtendbin b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/xtend-gen/ca/mcgill/ecse/dslreasoner/ui/outline/.VampireLanguageOutlineTreeProvider.xtendbin
new file mode 100644
index 00000000..7f62b702
--- /dev/null
+++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/xtend-gen/ca/mcgill/ecse/dslreasoner/ui/outline/.VampireLanguageOutlineTreeProvider.xtendbin
Binary files differ
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/xtend-gen/ca/mcgill/ecse/dslreasoner/ui/outline/.gitignore b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/xtend-gen/ca/mcgill/ecse/dslreasoner/ui/outline/.gitignore
new file mode 100644
index 00000000..58d9dfd1
--- /dev/null
+++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/xtend-gen/ca/mcgill/ecse/dslreasoner/ui/outline/.gitignore
@@ -0,0 +1 @@
/.VampireLanguageOutlineTreeProvider.java._trace
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/xtend-gen/ca/mcgill/ecse/dslreasoner/ui/outline/VampireLanguageOutlineTreeProvider.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/xtend-gen/ca/mcgill/ecse/dslreasoner/ui/outline/VampireLanguageOutlineTreeProvider.java
new file mode 100644
index 00000000..45cb952e
--- /dev/null
+++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/xtend-gen/ca/mcgill/ecse/dslreasoner/ui/outline/VampireLanguageOutlineTreeProvider.java
@@ -0,0 +1,15 @@
1/**
2 * generated by Xtext 2.12.0
3 */
4package ca.mcgill.ecse.dslreasoner.ui.outline;
5
6import org.eclipse.xtext.ui.editor.outline.impl.DefaultOutlineTreeProvider;
7
8/**
9 * Customization of the default outline structure.
10 *
11 * See https://www.eclipse.org/Xtext/documentation/310_eclipse_support.html#outline
12 */
13@SuppressWarnings("all")
14public class VampireLanguageOutlineTreeProvider extends DefaultOutlineTreeProvider {
15}
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/xtend-gen/ca/mcgill/ecse/dslreasoner/ui/quickfix/.VampireLanguageQuickfixProvider.xtendbin b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/xtend-gen/ca/mcgill/ecse/dslreasoner/ui/quickfix/.VampireLanguageQuickfixProvider.xtendbin
new file mode 100644
index 00000000..8dff8552
--- /dev/null
+++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/xtend-gen/ca/mcgill/ecse/dslreasoner/ui/quickfix/.VampireLanguageQuickfixProvider.xtendbin
Binary files differ
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/xtend-gen/ca/mcgill/ecse/dslreasoner/ui/quickfix/.gitignore b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/xtend-gen/ca/mcgill/ecse/dslreasoner/ui/quickfix/.gitignore
new file mode 100644
index 00000000..93322096
--- /dev/null
+++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/xtend-gen/ca/mcgill/ecse/dslreasoner/ui/quickfix/.gitignore
@@ -0,0 +1 @@
/.VampireLanguageQuickfixProvider.java._trace
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/xtend-gen/ca/mcgill/ecse/dslreasoner/ui/quickfix/VampireLanguageQuickfixProvider.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/xtend-gen/ca/mcgill/ecse/dslreasoner/ui/quickfix/VampireLanguageQuickfixProvider.java
new file mode 100644
index 00000000..8b69829c
--- /dev/null
+++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/xtend-gen/ca/mcgill/ecse/dslreasoner/ui/quickfix/VampireLanguageQuickfixProvider.java
@@ -0,0 +1,15 @@
1/**
2 * generated by Xtext 2.12.0
3 */
4package ca.mcgill.ecse.dslreasoner.ui.quickfix;
5
6import org.eclipse.xtext.ui.editor.quickfix.DefaultQuickfixProvider;
7
8/**
9 * Custom quickfixes.
10 *
11 * See https://www.eclipse.org/Xtext/documentation/310_eclipse_support.html#quick-fixes
12 */
13@SuppressWarnings("all")
14public class VampireLanguageQuickfixProvider extends DefaultQuickfixProvider {
15}
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-06-26 14:21:05 +0000