diff options
author | Oszkar Semerath <semerath@mit.bme.hu> | 2020-04-28 20:43:04 +0200 |
---|---|---|
committer | Oszkar Semerath <semerath@mit.bme.hu> | 2020-04-28 20:43:04 +0200 |
commit | 8a7b9b436b31e6d2f5a0521a077c960ebdeb4cbe (patch) | |
tree | d525bef75519f364d637e0779f8e63d4199dee31 /Application/org.eclipse.viatra.solver.language.ui/plugin.xml | |
parent | check expressions are mapped to WF constraints (diff) | |
download | VIATRA-Generator-8a7b9b436b31e6d2f5a0521a077c960ebdeb4cbe.tar.gz VIATRA-Generator-8a7b9b436b31e6d2f5a0521a077c960ebdeb4cbe.tar.zst VIATRA-Generator-8a7b9b436b31e6d2f5a0521a077c960ebdeb4cbe.zip |
initial commit
Diffstat (limited to 'Application/org.eclipse.viatra.solver.language.ui/plugin.xml')
-rw-r--r-- | Application/org.eclipse.viatra.solver.language.ui/plugin.xml | 434 |
1 files changed, 434 insertions, 0 deletions
diff --git a/Application/org.eclipse.viatra.solver.language.ui/plugin.xml b/Application/org.eclipse.viatra.solver.language.ui/plugin.xml new file mode 100644 index 00000000..116798d9 --- /dev/null +++ b/Application/org.eclipse.viatra.solver.language.ui/plugin.xml | |||
@@ -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="org.eclipse.viatra.solver.language.ui.SolverLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.editor.XtextEditor" | ||
8 | contributorClass="org.eclipse.ui.editors.text.TextEditorActionContributor" | ||
9 | default="true" | ||
10 | extensions="vsc" | ||
11 | id="org.eclipse.viatra.solver.language.SolverLanguage" | ||
12 | name="SolverLanguage Editor"> | ||
13 | </editor> | ||
14 | </extension> | ||
15 | <extension | ||
16 | point="org.eclipse.ui.handlers"> | ||
17 | <handler | ||
18 | class="org.eclipse.viatra.solver.language.ui.SolverLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.editor.hyperlinking.OpenDeclarationHandler" | ||
19 | commandId="org.eclipse.xtext.ui.editor.hyperlinking.OpenDeclaration"> | ||
20 | <activeWhen> | ||
21 | <reference | ||
22 | definitionId="org.eclipse.viatra.solver.language.SolverLanguage.Editor.opened"> | ||
23 | </reference> | ||
24 | </activeWhen> | ||
25 | </handler> | ||
26 | <handler | ||
27 | class="org.eclipse.viatra.solver.language.ui.SolverLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.editor.handler.ValidateActionHandler" | ||
28 | commandId="org.eclipse.viatra.solver.language.SolverLanguage.validate"> | ||
29 | <activeWhen> | ||
30 | <reference | ||
31 | definitionId="org.eclipse.viatra.solver.language.SolverLanguage.Editor.opened"> | ||
32 | </reference> | ||
33 | </activeWhen> | ||
34 | </handler> | ||
35 | <!-- copy qualified name --> | ||
36 | <handler | ||
37 | class="org.eclipse.viatra.solver.language.ui.SolverLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.editor.copyqualifiedname.EditorCopyQualifiedNameHandler" | ||
38 | commandId="org.eclipse.xtext.ui.editor.copyqualifiedname.EditorCopyQualifiedName"> | ||
39 | <activeWhen> | ||
40 | <reference definitionId="org.eclipse.viatra.solver.language.SolverLanguage.Editor.opened" /> | ||
41 | </activeWhen> | ||
42 | </handler> | ||
43 | <handler | ||
44 | class="org.eclipse.viatra.solver.language.ui.SolverLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.editor.copyqualifiedname.OutlineCopyQualifiedNameHandler" | ||
45 | commandId="org.eclipse.xtext.ui.editor.copyqualifiedname.OutlineCopyQualifiedName"> | ||
46 | <activeWhen> | ||
47 | <and> | ||
48 | <reference definitionId="org.eclipse.viatra.solver.language.SolverLanguage.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="org.eclipse.viatra.solver.language.SolverLanguage.Editor.opened"> | ||
58 | <and> | ||
59 | <reference definitionId="isActiveEditorAnInstanceOfXtextEditor"/> | ||
60 | <with variable="activeEditor"> | ||
61 | <test property="org.eclipse.xtext.ui.editor.XtextEditor.languageName" | ||
62 | value="org.eclipse.viatra.solver.language.SolverLanguage" | ||
63 | forcePluginActivation="true"/> | ||
64 | </with> | ||
65 | </and> | ||
66 | </definition> | ||
67 | <definition id="org.eclipse.viatra.solver.language.SolverLanguage.XtextEditor.opened"> | ||
68 | <and> | ||
69 | <reference definitionId="isXtextEditorActive"/> | ||
70 | <with variable="activeEditor"> | ||
71 | <test property="org.eclipse.xtext.ui.editor.XtextEditor.languageName" | ||
72 | value="org.eclipse.viatra.solver.language.SolverLanguage" | ||
73 | forcePluginActivation="true"/> | ||
74 | </with> | ||
75 | </and> | ||
76 | </definition> | ||
77 | </extension> | ||
78 | <extension | ||
79 | point="org.eclipse.ui.preferencePages"> | ||
80 | <page | ||
81 | class="org.eclipse.viatra.solver.language.ui.SolverLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.editor.preferences.LanguageRootPreferencePage" | ||
82 | id="org.eclipse.viatra.solver.language.SolverLanguage" | ||
83 | name="SolverLanguage"> | ||
84 | <keywordReference id="org.eclipse.viatra.solver.language.ui.keyword_SolverLanguage"/> | ||
85 | </page> | ||
86 | <page | ||
87 | category="org.eclipse.viatra.solver.language.SolverLanguage" | ||
88 | class="org.eclipse.viatra.solver.language.ui.SolverLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.editor.syntaxcoloring.SyntaxColoringPreferencePage" | ||
89 | id="org.eclipse.viatra.solver.language.SolverLanguage.coloring" | ||
90 | name="Syntax Coloring"> | ||
91 | <keywordReference id="org.eclipse.viatra.solver.language.ui.keyword_SolverLanguage"/> | ||
92 | </page> | ||
93 | <page | ||
94 | category="org.eclipse.viatra.solver.language.SolverLanguage" | ||
95 | class="org.eclipse.viatra.solver.language.ui.SolverLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.editor.templates.XtextTemplatePreferencePage" | ||
96 | id="org.eclipse.viatra.solver.language.SolverLanguage.templates" | ||
97 | name="Templates"> | ||
98 | <keywordReference id="org.eclipse.viatra.solver.language.ui.keyword_SolverLanguage"/> | ||
99 | </page> | ||
100 | </extension> | ||
101 | <extension | ||
102 | point="org.eclipse.ui.propertyPages"> | ||
103 | <page | ||
104 | class="org.eclipse.viatra.solver.language.ui.SolverLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.editor.preferences.LanguageRootPreferencePage" | ||
105 | id="org.eclipse.viatra.solver.language.SolverLanguage" | ||
106 | name="SolverLanguage"> | ||
107 | <keywordReference id="org.eclipse.viatra.solver.language.ui.keyword_SolverLanguage"/> | ||
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="org.eclipse.viatra.solver.language.ui.keyword_SolverLanguage" | ||
118 | label="SolverLanguage"/> | ||
119 | </extension> | ||
120 | <extension | ||
121 | point="org.eclipse.ui.commands"> | ||
122 | <command | ||
123 | description="Trigger expensive validation" | ||
124 | id="org.eclipse.viatra.solver.language.SolverLanguage.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="org.eclipse.viatra.solver.language.SolverLanguage.validate" | ||
146 | style="push" | ||
147 | tooltip="Trigger expensive validation"> | ||
148 | <visibleWhen checkEnabled="false"> | ||
149 | <reference | ||
150 | definitionId="org.eclipse.viatra.solver.language.SolverLanguage.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="org.eclipse.viatra.solver.language.SolverLanguage.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="org.eclipse.viatra.solver.language.SolverLanguage.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="org.eclipse.viatra.solver.language.SolverLanguage.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="org.eclipse.viatra.solver.language.SolverLanguage.Editor.opened"> | ||
191 | </reference> | ||
192 | </visibleWhen> | ||
193 | </command> | ||
194 | </menuContribution> | ||
195 | </extension> | ||
196 | <extension point="org.eclipse.ui.handlers"> | ||
197 | <handler | ||
198 | class="org.eclipse.viatra.solver.language.ui.SolverLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.editor.findrefs.FindReferencesHandler" | ||
199 | commandId="org.eclipse.xtext.ui.editor.FindReferences"> | ||
200 | <activeWhen> | ||
201 | <reference | ||
202 | definitionId="org.eclipse.viatra.solver.language.SolverLanguage.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="vsc" | ||
211 | id="org.eclipse.viatra.solver.language.SolverLanguage.contenttype" | ||
212 | name="SolverLanguage 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="org.eclipse.viatra.solver.language.ui.SolverLanguageExecutableExtensionFactory:org.eclipse.xtext.resource.IResourceFactory" | ||
221 | type="vsc"> | ||
222 | </parser> | ||
223 | </extension> | ||
224 | <extension point="org.eclipse.xtext.extension_resourceServiceProvider"> | ||
225 | <resourceServiceProvider | ||
226 | class="org.eclipse.viatra.solver.language.ui.SolverLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.resource.IResourceUIServiceProvider" | ||
227 | uriExtension="vsc"> | ||
228 | </resourceServiceProvider> | ||
229 | </extension> | ||
230 | <!-- marker definitions for org.eclipse.viatra.solver.language.SolverLanguage --> | ||
231 | <extension | ||
232 | id="solverlanguage.check.fast" | ||
233 | name="SolverLanguage 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="solverlanguage.check.normal" | ||
240 | name="SolverLanguage 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="solverlanguage.check.expensive" | ||
247 | name="SolverLanguage 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="org.eclipse.viatra.solver.language.SolverLanguage" | ||
255 | class="org.eclipse.viatra.solver.language.ui.SolverLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.validation.ValidatorPreferencePage" | ||
256 | id="org.eclipse.viatra.solver.language.SolverLanguage.validator.preferencePage" | ||
257 | name="Errors/Warnings"> | ||
258 | <keywordReference id="org.eclipse.viatra.solver.language.ui.keyword_SolverLanguage"/> | ||
259 | </page> | ||
260 | </extension> | ||
261 | <extension point="org.eclipse.xtext.builder.participant"> | ||
262 | <participant | ||
263 | class="org.eclipse.viatra.solver.language.ui.SolverLanguageExecutableExtensionFactory:org.eclipse.xtext.builder.IXtextBuilderParticipant" | ||
264 | fileExtensions="vsc"/> | ||
265 | </extension> | ||
266 | <extension point="org.eclipse.ui.preferencePages"> | ||
267 | <page | ||
268 | category="org.eclipse.viatra.solver.language.SolverLanguage" | ||
269 | class="org.eclipse.viatra.solver.language.ui.SolverLanguageExecutableExtensionFactory:org.eclipse.xtext.builder.preferences.BuilderPreferencePage" | ||
270 | id="org.eclipse.viatra.solver.language.SolverLanguage.compiler.preferencePage" | ||
271 | name="Compiler"> | ||
272 | <keywordReference id="org.eclipse.viatra.solver.language.ui.keyword_SolverLanguage"/> | ||
273 | </page> | ||
274 | </extension> | ||
275 | <extension point="org.eclipse.ui.propertyPages"> | ||
276 | <page | ||
277 | category="org.eclipse.viatra.solver.language.SolverLanguage" | ||
278 | class="org.eclipse.viatra.solver.language.ui.SolverLanguageExecutableExtensionFactory:org.eclipse.xtext.builder.preferences.BuilderPreferencePage" | ||
279 | id="org.eclipse.viatra.solver.language.SolverLanguage.compiler.propertyPage" | ||
280 | name="Compiler"> | ||
281 | <keywordReference id="org.eclipse.viatra.solver.language.ui.keyword_SolverLanguage"/> | ||
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="org.eclipse.viatra.solver.language.SolverLanguage.OpenGeneratedCode" | ||
293 | style="push"> | ||
294 | <visibleWhen checkEnabled="false"> | ||
295 | <reference definitionId="org.eclipse.viatra.solver.language.SolverLanguage.Editor.opened" /> | ||
296 | </visibleWhen> | ||
297 | </command> | ||
298 | </menuContribution> | ||
299 | </extension> | ||
300 | <extension point="org.eclipse.ui.handlers"> | ||
301 | <handler | ||
302 | class="org.eclipse.viatra.solver.language.ui.SolverLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.generator.trace.OpenGeneratedFileHandler" | ||
303 | commandId="org.eclipse.xtext.ui.OpenGeneratedFileCommand"> | ||
304 | <activeWhen> | ||
305 | <reference definitionId="org.eclipse.viatra.solver.language.SolverLanguage.Editor.opened" /> | ||
306 | </activeWhen> | ||
307 | </handler> | ||
308 | </extension> | ||
309 | <!-- Quick Outline --> | ||
310 | <extension | ||
311 | point="org.eclipse.ui.handlers"> | ||
312 | <handler | ||
313 | class="org.eclipse.viatra.solver.language.ui.SolverLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.editor.outline.quickoutline.ShowQuickOutlineActionHandler" | ||
314 | commandId="org.eclipse.xtext.ui.editor.outline.QuickOutline"> | ||
315 | <activeWhen> | ||
316 | <reference | ||
317 | definitionId="org.eclipse.viatra.solver.language.SolverLanguage.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="org.eclipse.viatra.solver.language.SolverLanguage.Editor.opened"/> | ||
338 | </visibleWhen> | ||
339 | </command> | ||
340 | </menuContribution> | ||
341 | </extension> | ||
342 | <!-- quickfix marker resolution generator for org.eclipse.viatra.solver.language.SolverLanguage --> | ||
343 | <extension | ||
344 | point="org.eclipse.ui.ide.markerResolution"> | ||
345 | <markerResolutionGenerator | ||
346 | class="org.eclipse.viatra.solver.language.ui.SolverLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.editor.quickfix.MarkerResolutionGenerator" | ||
347 | markerType="org.eclipse.viatra.solver.language.ui.solverlanguage.check.fast"> | ||
348 | <attribute | ||
349 | name="FIXABLE_KEY" | ||
350 | value="true"> | ||
351 | </attribute> | ||
352 | </markerResolutionGenerator> | ||
353 | <markerResolutionGenerator | ||
354 | class="org.eclipse.viatra.solver.language.ui.SolverLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.editor.quickfix.MarkerResolutionGenerator" | ||
355 | markerType="org.eclipse.viatra.solver.language.ui.solverlanguage.check.normal"> | ||
356 | <attribute | ||
357 | name="FIXABLE_KEY" | ||
358 | value="true"> | ||
359 | </attribute> | ||
360 | </markerResolutionGenerator> | ||
361 | <markerResolutionGenerator | ||
362 | class="org.eclipse.viatra.solver.language.ui.SolverLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.editor.quickfix.MarkerResolutionGenerator" | ||
363 | markerType="org.eclipse.viatra.solver.language.ui.solverlanguage.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="org.eclipse.viatra.solver.language.ui.SolverLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.refactoring.ui.DefaultRenameElementHandler" | ||
374 | commandId="org.eclipse.xtext.ui.refactoring.RenameElement"> | ||
375 | <activeWhen> | ||
376 | <reference | ||
377 | definitionId="org.eclipse.viatra.solver.language.SolverLanguage.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="org.eclipse.viatra.solver.language.SolverLanguage.Editor.opened"> | ||
390 | </reference> | ||
391 | </visibleWhen> | ||
392 | </command> | ||
393 | </menuContribution> | ||
394 | </extension> | ||
395 | <extension point="org.eclipse.ui.preferencePages"> | ||
396 | <page | ||
397 | category="org.eclipse.viatra.solver.language.SolverLanguage" | ||
398 | class="org.eclipse.viatra.solver.language.ui.SolverLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.refactoring.ui.RefactoringPreferencePage" | ||
399 | id="org.eclipse.viatra.solver.language.SolverLanguage.refactoring" | ||
400 | name="Refactoring"> | ||
401 | <keywordReference id="org.eclipse.viatra.solver.language.ui.keyword_SolverLanguage"/> | ||
402 | </page> | ||
403 | </extension> | ||
404 | <extension point="org.eclipse.compare.contentViewers"> | ||
405 | <viewer id="org.eclipse.viatra.solver.language.SolverLanguage.compare.contentViewers" | ||
406 | class="org.eclipse.viatra.solver.language.ui.SolverLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.compare.InjectableViewerCreator" | ||
407 | extensions="vsc"> | ||
408 | </viewer> | ||
409 | <contentTypeBinding | ||
410 | contentTypeId="org.eclipse.viatra.solver.language.SolverLanguage.contenttype" | ||
411 | contentViewerId="org.eclipse.viatra.solver.language.SolverLanguage.compare.contentViewers" /> | ||
412 | </extension> | ||
413 | <extension point="org.eclipse.compare.contentMergeViewers"> | ||
414 | <viewer id="org.eclipse.viatra.solver.language.SolverLanguage.compare.contentMergeViewers" | ||
415 | class="org.eclipse.viatra.solver.language.ui.SolverLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.compare.InjectableViewerCreator" | ||
416 | extensions="vsc" label="SolverLanguage Compare"> | ||
417 | </viewer> | ||
418 | <contentTypeBinding | ||
419 | contentTypeId="org.eclipse.viatra.solver.language.SolverLanguage.contenttype" | ||
420 | contentMergeViewerId="org.eclipse.viatra.solver.language.SolverLanguage.compare.contentMergeViewers" /> | ||
421 | </extension> | ||
422 | <extension point="org.eclipse.ui.editors.documentProviders"> | ||
423 | <provider id="org.eclipse.viatra.solver.language.SolverLanguage.editors.documentProviders" | ||
424 | class="org.eclipse.viatra.solver.language.ui.SolverLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.editor.model.XtextDocumentProvider" | ||
425 | extensions="vsc"> | ||
426 | </provider> | ||
427 | </extension> | ||
428 | <extension point="org.eclipse.team.core.fileTypes"> | ||
429 | <fileTypes | ||
430 | extension="vsc" | ||
431 | type="text"> | ||
432 | </fileTypes> | ||
433 | </extension> | ||
434 | </plugin> | ||