aboutsummaryrefslogtreecommitdiffstats
path: root/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/plugin.xml_gen
diff options
context:
space:
mode:
Diffstat (limited to 'Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/plugin.xml_gen')
-rw-r--r--Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/plugin.xml_gen434
1 files changed, 434 insertions, 0 deletions
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/plugin.xml_gen b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/plugin.xml_gen
new file mode 100644
index 00000000..cbb504dd
--- /dev/null
+++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/plugin.xml_gen
@@ -0,0 +1,434 @@
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 <extension point="org.eclipse.core.contenttype.contentTypes">
208 <content-type
209 base-type="org.eclipse.core.runtime.text"
210 file-extensions="tptp"
211 id="ca.mcgill.ecse.dslreasoner.VampireLanguage.contenttype"
212 name="VampireLanguage File"
213 priority="normal">
214 </content-type>
215 </extension>
216 <!-- adding resource factories -->
217 <extension
218 point="org.eclipse.emf.ecore.extension_parser">
219 <parser
220 class="ca.mcgill.ecse.dslreasoner.ui.VampireLanguageExecutableExtensionFactory:org.eclipse.xtext.resource.IResourceFactory"
221 type="tptp">
222 </parser>
223 </extension>
224 <extension point="org.eclipse.xtext.extension_resourceServiceProvider">
225 <resourceServiceProvider
226 class="ca.mcgill.ecse.dslreasoner.ui.VampireLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.resource.IResourceUIServiceProvider"
227 uriExtension="tptp">
228 </resourceServiceProvider>
229 </extension>
230 <!-- marker definitions for ca.mcgill.ecse.dslreasoner.VampireLanguage -->
231 <extension
232 id="vampirelanguage.check.fast"
233 name="VampireLanguage Problem"
234 point="org.eclipse.core.resources.markers">
235 <super type="org.eclipse.xtext.ui.check.fast"/>
236 <persistent value="true"/>
237 </extension>
238 <extension
239 id="vampirelanguage.check.normal"
240 name="VampireLanguage Problem"
241 point="org.eclipse.core.resources.markers">
242 <super type="org.eclipse.xtext.ui.check.normal"/>
243 <persistent value="true"/>
244 </extension>
245 <extension
246 id="vampirelanguage.check.expensive"
247 name="VampireLanguage Problem"
248 point="org.eclipse.core.resources.markers">
249 <super type="org.eclipse.xtext.ui.check.expensive"/>
250 <persistent value="true"/>
251 </extension>
252 <extension point="org.eclipse.ui.preferencePages">
253 <page
254 category="ca.mcgill.ecse.dslreasoner.VampireLanguage"
255 class="ca.mcgill.ecse.dslreasoner.ui.VampireLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.validation.ValidatorPreferencePage"
256 id="ca.mcgill.ecse.dslreasoner.VampireLanguage.validator.preferencePage"
257 name="Errors/Warnings">
258 <keywordReference id="ca.mcgill.ecse.dslreasoner.ui.keyword_VampireLanguage"/>
259 </page>
260 </extension>
261 <extension point="org.eclipse.xtext.builder.participant">
262 <participant
263 class="ca.mcgill.ecse.dslreasoner.ui.VampireLanguageExecutableExtensionFactory:org.eclipse.xtext.builder.IXtextBuilderParticipant"
264 fileExtensions="tptp"/>
265 </extension>
266 <extension point="org.eclipse.ui.preferencePages">
267 <page
268 category="ca.mcgill.ecse.dslreasoner.VampireLanguage"
269 class="ca.mcgill.ecse.dslreasoner.ui.VampireLanguageExecutableExtensionFactory:org.eclipse.xtext.builder.preferences.BuilderPreferencePage"
270 id="ca.mcgill.ecse.dslreasoner.VampireLanguage.compiler.preferencePage"
271 name="Compiler">
272 <keywordReference id="ca.mcgill.ecse.dslreasoner.ui.keyword_VampireLanguage"/>
273 </page>
274 </extension>
275 <extension point="org.eclipse.ui.propertyPages">
276 <page
277 category="ca.mcgill.ecse.dslreasoner.VampireLanguage"
278 class="ca.mcgill.ecse.dslreasoner.ui.VampireLanguageExecutableExtensionFactory:org.eclipse.xtext.builder.preferences.BuilderPreferencePage"
279 id="ca.mcgill.ecse.dslreasoner.VampireLanguage.compiler.propertyPage"
280 name="Compiler">
281 <keywordReference id="ca.mcgill.ecse.dslreasoner.ui.keyword_VampireLanguage"/>
282 <enabledWhen>
283 <adapt type="org.eclipse.core.resources.IProject"/>
284 </enabledWhen>
285 <filter name="projectNature" value="org.eclipse.xtext.ui.shared.xtextNature"/>
286 </page>
287 </extension>
288 <extension point="org.eclipse.ui.menus">
289 <menuContribution locationURI="popup:#TextEditorContext?after=xtext.ui.openDeclaration">
290 <command
291 commandId="org.eclipse.xtext.ui.OpenGeneratedFileCommand"
292 id="ca.mcgill.ecse.dslreasoner.VampireLanguage.OpenGeneratedCode"
293 style="push">
294 <visibleWhen checkEnabled="false">
295 <reference definitionId="ca.mcgill.ecse.dslreasoner.VampireLanguage.Editor.opened" />
296 </visibleWhen>
297 </command>
298 </menuContribution>
299 </extension>
300 <extension point="org.eclipse.ui.handlers">
301 <handler
302 class="ca.mcgill.ecse.dslreasoner.ui.VampireLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.generator.trace.OpenGeneratedFileHandler"
303 commandId="org.eclipse.xtext.ui.OpenGeneratedFileCommand">
304 <activeWhen>
305 <reference definitionId="ca.mcgill.ecse.dslreasoner.VampireLanguage.Editor.opened" />
306 </activeWhen>
307 </handler>
308 </extension>
309 <!-- Quick Outline -->
310 <extension
311 point="org.eclipse.ui.handlers">
312 <handler
313 class="ca.mcgill.ecse.dslreasoner.ui.VampireLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.editor.outline.quickoutline.ShowQuickOutlineActionHandler"
314 commandId="org.eclipse.xtext.ui.editor.outline.QuickOutline">
315 <activeWhen>
316 <reference
317 definitionId="ca.mcgill.ecse.dslreasoner.VampireLanguage.Editor.opened">
318 </reference>
319 </activeWhen>
320 </handler>
321 </extension>
322 <extension
323 point="org.eclipse.ui.commands">
324 <command
325 description="Open the quick outline."
326 id="org.eclipse.xtext.ui.editor.outline.QuickOutline"
327 name="Quick Outline">
328 </command>
329 </extension>
330 <extension point="org.eclipse.ui.menus">
331 <menuContribution
332 locationURI="popup:#TextEditorContext?after=group.open">
333 <command commandId="org.eclipse.xtext.ui.editor.outline.QuickOutline"
334 style="push"
335 tooltip="Open Quick Outline">
336 <visibleWhen checkEnabled="false">
337 <reference definitionId="ca.mcgill.ecse.dslreasoner.VampireLanguage.Editor.opened"/>
338 </visibleWhen>
339 </command>
340 </menuContribution>
341 </extension>
342 <!-- quickfix marker resolution generator for ca.mcgill.ecse.dslreasoner.VampireLanguage -->
343 <extension
344 point="org.eclipse.ui.ide.markerResolution">
345 <markerResolutionGenerator
346 class="ca.mcgill.ecse.dslreasoner.ui.VampireLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.editor.quickfix.MarkerResolutionGenerator"
347 markerType="ca.mcgill.ecse.dslreasoner.vampire.language.ui.vampirelanguage.check.fast">
348 <attribute
349 name="FIXABLE_KEY"
350 value="true">
351 </attribute>
352 </markerResolutionGenerator>
353 <markerResolutionGenerator
354 class="ca.mcgill.ecse.dslreasoner.ui.VampireLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.editor.quickfix.MarkerResolutionGenerator"
355 markerType="ca.mcgill.ecse.dslreasoner.vampire.language.ui.vampirelanguage.check.normal">
356 <attribute
357 name="FIXABLE_KEY"
358 value="true">
359 </attribute>
360 </markerResolutionGenerator>
361 <markerResolutionGenerator
362 class="ca.mcgill.ecse.dslreasoner.ui.VampireLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.editor.quickfix.MarkerResolutionGenerator"
363 markerType="ca.mcgill.ecse.dslreasoner.vampire.language.ui.vampirelanguage.check.expensive">
364 <attribute
365 name="FIXABLE_KEY"
366 value="true">
367 </attribute>
368 </markerResolutionGenerator>
369 </extension>
370 <!-- Rename Refactoring -->
371 <extension point="org.eclipse.ui.handlers">
372 <handler
373 class="ca.mcgill.ecse.dslreasoner.ui.VampireLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.refactoring.ui.DefaultRenameElementHandler"
374 commandId="org.eclipse.xtext.ui.refactoring.RenameElement">
375 <activeWhen>
376 <reference
377 definitionId="ca.mcgill.ecse.dslreasoner.VampireLanguage.Editor.opened">
378 </reference>
379 </activeWhen>
380 </handler>
381 </extension>
382 <extension point="org.eclipse.ui.menus">
383 <menuContribution
384 locationURI="popup:#TextEditorContext?after=group.edit">
385 <command commandId="org.eclipse.xtext.ui.refactoring.RenameElement"
386 style="push">
387 <visibleWhen checkEnabled="false">
388 <reference
389 definitionId="ca.mcgill.ecse.dslreasoner.VampireLanguage.Editor.opened">
390 </reference>
391 </visibleWhen>
392 </command>
393 </menuContribution>
394 </extension>
395 <extension point="org.eclipse.ui.preferencePages">
396 <page
397 category="ca.mcgill.ecse.dslreasoner.VampireLanguage"
398 class="ca.mcgill.ecse.dslreasoner.ui.VampireLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.refactoring.ui.RefactoringPreferencePage"
399 id="ca.mcgill.ecse.dslreasoner.VampireLanguage.refactoring"
400 name="Refactoring">
401 <keywordReference id="ca.mcgill.ecse.dslreasoner.ui.keyword_VampireLanguage"/>
402 </page>
403 </extension>
404 <extension point="org.eclipse.compare.contentViewers">
405 <viewer id="ca.mcgill.ecse.dslreasoner.VampireLanguage.compare.contentViewers"
406 class="ca.mcgill.ecse.dslreasoner.ui.VampireLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.compare.InjectableViewerCreator"
407 extensions="tptp">
408 </viewer>
409 <contentTypeBinding
410 contentTypeId="ca.mcgill.ecse.dslreasoner.VampireLanguage.contenttype"
411 contentViewerId="ca.mcgill.ecse.dslreasoner.VampireLanguage.compare.contentViewers" />
412 </extension>
413 <extension point="org.eclipse.compare.contentMergeViewers">
414 <viewer id="ca.mcgill.ecse.dslreasoner.VampireLanguage.compare.contentMergeViewers"
415 class="ca.mcgill.ecse.dslreasoner.ui.VampireLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.compare.InjectableViewerCreator"
416 extensions="tptp" label="VampireLanguage Compare">
417 </viewer>
418 <contentTypeBinding
419 contentTypeId="ca.mcgill.ecse.dslreasoner.VampireLanguage.contenttype"
420 contentMergeViewerId="ca.mcgill.ecse.dslreasoner.VampireLanguage.compare.contentMergeViewers" />
421 </extension>
422 <extension point="org.eclipse.ui.editors.documentProviders">
423 <provider id="ca.mcgill.ecse.dslreasoner.VampireLanguage.editors.documentProviders"
424 class="ca.mcgill.ecse.dslreasoner.ui.VampireLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.editor.model.XtextDocumentProvider"
425 extensions="tptp">
426 </provider>
427 </extension>
428 <extension point="org.eclipse.team.core.fileTypes">
429 <fileTypes
430 extension="tptp"
431 type="text">
432 </fileTypes>
433 </extension>
434</plugin>
generated by cgit v1.2.3-54-g00ecf (git 2.45.1) at 2024-05-27 00:36:20 +0000