diff options
Diffstat (limited to 'Application/org.eclipse.viatra.solver.language.ui')
19 files changed, 940 insertions, 149 deletions
diff --git a/Application/org.eclipse.viatra.solver.language.ui/META-INF/MANIFEST.MF b/Application/org.eclipse.viatra.solver.language.ui/META-INF/MANIFEST.MF index 95a8bf0f..6c493315 100644 --- a/Application/org.eclipse.viatra.solver.language.ui/META-INF/MANIFEST.MF +++ b/Application/org.eclipse.viatra.solver.language.ui/META-INF/MANIFEST.MF | |||
@@ -20,7 +20,8 @@ Require-Bundle: org.eclipse.viatra.solver.language, | |||
20 | org.eclipse.xtend.lib;bundle-version="2.14.0";resolution:=optional | 20 | org.eclipse.xtend.lib;bundle-version="2.14.0";resolution:=optional |
21 | Import-Package: org.apache.log4j | 21 | Import-Package: org.apache.log4j |
22 | Bundle-RequiredExecutionEnvironment: JavaSE-1.8 | 22 | Bundle-RequiredExecutionEnvironment: JavaSE-1.8 |
23 | Export-Package: org.eclipse.viatra.solver.language.ui.quickfix, | 23 | Export-Package: org.eclipse.viatra.solver.language.ui.contentassist, |
24 | org.eclipse.viatra.solver.language.ui.contentassist, | 24 | org.eclipse.viatra.solver.language.ui.internal, |
25 | org.eclipse.viatra.solver.language.ui.internal | 25 | org.eclipse.viatra.solver.language.ui.quickfix, |
26 | org.eclipse.viatra.solver.language.validation | ||
26 | Bundle-Activator: org.eclipse.viatra.solver.language.ui.internal.LanguageActivator | 27 | Bundle-Activator: org.eclipse.viatra.solver.language.ui.internal.LanguageActivator |
diff --git a/Application/org.eclipse.viatra.solver.language.ui/plugin.xml_gen b/Application/org.eclipse.viatra.solver.language.ui/plugin.xml_gen new file mode 100644 index 00000000..cb670619 --- /dev/null +++ b/Application/org.eclipse.viatra.solver.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="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> | ||
diff --git a/Application/org.eclipse.viatra.solver.language.ui/src-gen/org/eclipse/viatra/solver/language/ui/AbstractSolverLanguageUiModule.java b/Application/org.eclipse.viatra.solver.language.ui/src-gen/org/eclipse/viatra/solver/language/ui/AbstractSolverLanguageUiModule.java index cff29f76..e0206f6a 100644 --- a/Application/org.eclipse.viatra.solver.language.ui/src-gen/org/eclipse/viatra/solver/language/ui/AbstractSolverLanguageUiModule.java +++ b/Application/org.eclipse.viatra.solver.language.ui/src-gen/org/eclipse/viatra/solver/language/ui/AbstractSolverLanguageUiModule.java | |||
@@ -1,5 +1,5 @@ | |||
1 | /* | 1 | /* |
2 | * generated by Xtext 2.18.0.M3 | 2 | * generated by Xtext 2.21.0 |
3 | */ | 3 | */ |
4 | package org.eclipse.viatra.solver.language.ui; | 4 | package org.eclipse.viatra.solver.language.ui; |
5 | 5 | ||
diff --git a/Application/org.eclipse.viatra.solver.language.ui/src-gen/org/eclipse/viatra/solver/language/ui/SolverLanguageExecutableExtensionFactory.java b/Application/org.eclipse.viatra.solver.language.ui/src-gen/org/eclipse/viatra/solver/language/ui/SolverLanguageExecutableExtensionFactory.java index b86c5864..7d189d28 100644 --- a/Application/org.eclipse.viatra.solver.language.ui/src-gen/org/eclipse/viatra/solver/language/ui/SolverLanguageExecutableExtensionFactory.java +++ b/Application/org.eclipse.viatra.solver.language.ui/src-gen/org/eclipse/viatra/solver/language/ui/SolverLanguageExecutableExtensionFactory.java | |||
@@ -1,5 +1,5 @@ | |||
1 | /* | 1 | /* |
2 | * generated by Xtext 2.18.0.M3 | 2 | * generated by Xtext 2.21.0 |
3 | */ | 3 | */ |
4 | package org.eclipse.viatra.solver.language.ui; | 4 | package org.eclipse.viatra.solver.language.ui; |
5 | 5 | ||
diff --git a/Application/org.eclipse.viatra.solver.language.ui/src-gen/org/eclipse/viatra/solver/language/ui/contentassist/AbstractSolverLanguageProposalProvider.java b/Application/org.eclipse.viatra.solver.language.ui/src-gen/org/eclipse/viatra/solver/language/ui/contentassist/AbstractSolverLanguageProposalProvider.java index 776817bc..fbf12ae8 100644 --- a/Application/org.eclipse.viatra.solver.language.ui/src-gen/org/eclipse/viatra/solver/language/ui/contentassist/AbstractSolverLanguageProposalProvider.java +++ b/Application/org.eclipse.viatra.solver.language.ui/src-gen/org/eclipse/viatra/solver/language/ui/contentassist/AbstractSolverLanguageProposalProvider.java | |||
@@ -1,10 +1,11 @@ | |||
1 | /* | 1 | /* |
2 | * generated by Xtext 2.18.0.M3 | 2 | * generated by Xtext 2.21.0 |
3 | */ | 3 | */ |
4 | package org.eclipse.viatra.solver.language.ui.contentassist; | 4 | package org.eclipse.viatra.solver.language.ui.contentassist; |
5 | 5 | ||
6 | import org.eclipse.emf.ecore.EObject; | 6 | import org.eclipse.emf.ecore.EObject; |
7 | import org.eclipse.xtext.Assignment; | 7 | import org.eclipse.xtext.Assignment; |
8 | import org.eclipse.xtext.CrossReference; | ||
8 | import org.eclipse.xtext.RuleCall; | 9 | import org.eclipse.xtext.RuleCall; |
9 | import org.eclipse.xtext.common.ui.contentassist.TerminalsProposalProvider; | 10 | import org.eclipse.xtext.common.ui.contentassist.TerminalsProposalProvider; |
10 | import org.eclipse.xtext.ui.editor.contentassist.ContentAssistContext; | 11 | import org.eclipse.xtext.ui.editor.contentassist.ContentAssistContext; |
@@ -20,135 +21,237 @@ public abstract class AbstractSolverLanguageProposalProvider extends TerminalsPr | |||
20 | public void completeProblem_Statements(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 21 | public void completeProblem_Statements(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
21 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | 22 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); |
22 | } | 23 | } |
23 | public void completeBasicInterpretation_Symbol(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 24 | public void completeAssertionOrDefinition_Range(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
24 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | 25 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); |
25 | } | 26 | } |
26 | public void completeBasicInterpretation_Objects(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 27 | public void completeAssertionOrDefinition_Body(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
27 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | 28 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); |
28 | } | 29 | } |
29 | public void completeBasicInterpretation_Value(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 30 | public void completePredicateDefinition_Functional(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
31 | // subclasses may override | ||
32 | } | ||
33 | public void completePredicateDefinition_Error(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
34 | // subclasses may override | ||
35 | } | ||
36 | public void completePredicateDefinition_Head(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
30 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | 37 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); |
31 | } | 38 | } |
32 | public void completeModelSymbol_Name(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 39 | public void completePredicateDefinition_Body(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
33 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | 40 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); |
34 | } | 41 | } |
35 | public void completeNamedObject_Name(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 42 | public void completeUnnamedErrorPrediateDefinition_ArgumentList(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
36 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | 43 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); |
37 | } | 44 | } |
38 | public void completeUnnamedObject_Name(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 45 | public void completeUnnamedErrorPrediateDefinition_Body(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
39 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | 46 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); |
40 | } | 47 | } |
41 | public void completeBooleanObject_Value(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 48 | public void completeDefaultDefinition_Head(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
42 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | 49 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); |
43 | } | 50 | } |
44 | public void completeIntObject_Value(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 51 | public void completeDefaultDefinition_Range(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
45 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | 52 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); |
46 | } | 53 | } |
47 | public void completeRealObject_Value(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 54 | public void completeExternPredicateDefinition_Head(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
48 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | 55 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); |
49 | } | 56 | } |
50 | public void completeStringObject_Value(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 57 | public void completeMetricDefinition_Type(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
51 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | 58 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); |
52 | } | 59 | } |
53 | public void completePredicate_IsError(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 60 | public void completeMetricDefinition_Head(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
54 | // subclasses may override | 61 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); |
55 | } | 62 | } |
56 | public void completePredicate_Symbol(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 63 | public void completeMetricDefinition_Body(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
57 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | 64 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); |
58 | } | 65 | } |
59 | public void completePredicate_Parameters(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 66 | public void completeExternMetricDefinition_Type(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
60 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | 67 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); |
61 | } | 68 | } |
62 | public void completePredicate_Bodies(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 69 | public void completeExternMetricDefinition_Head(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
63 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | 70 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); |
64 | } | 71 | } |
65 | public void completeParameter_Variable(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 72 | public void completeIfElse_Condition(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
66 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | 73 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); |
67 | } | 74 | } |
68 | public void completeParameter_Type(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 75 | public void completeIfElse_Then(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
69 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | 76 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); |
70 | } | 77 | } |
71 | public void completePatternBody_Constraints(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 78 | public void completeIfElse_Else(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
72 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | 79 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); |
73 | } | 80 | } |
74 | public void completeConstraint_Polarity(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 81 | public void completeDisjunctiveExpression_Children(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
75 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | 82 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); |
76 | } | 83 | } |
77 | public void completeConstraint_Symbol(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 84 | public void completeDisjunctiveExpression_Body(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
78 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | 85 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); |
79 | } | 86 | } |
80 | public void completeConstraint_Params(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 87 | public void completeDisjunctiveExpression_Cases(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
81 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | 88 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); |
82 | } | 89 | } |
83 | public void completeConstraint_ClosureType(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 90 | public void completeCase_Condition(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
84 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | 91 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); |
85 | } | 92 | } |
86 | public void completeVariable_Name(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 93 | public void completeCase_Body(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
87 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | 94 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); |
88 | } | 95 | } |
89 | public void completeAllInstances_Symbol(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 96 | public void completeConjunctiveExpression_Children(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
90 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | 97 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); |
91 | } | 98 | } |
92 | public void completeDefaultInterpretation_Interpretation(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 99 | public void completeComparisonExpression_Op(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
93 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | 100 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); |
94 | } | 101 | } |
95 | public void completeClassInterpretation_Abstract(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 102 | public void completeComparisonExpression_Right(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
96 | // subclasses may override | 103 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); |
97 | } | 104 | } |
98 | public void completeClassInterpretation_Symbol(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 105 | public void completeAdditiveExpression_Op(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
99 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | 106 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); |
100 | } | 107 | } |
101 | public void completeClassInterpretation_Supertypes(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 108 | public void completeAdditiveExpression_Right(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
102 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | 109 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); |
103 | } | 110 | } |
104 | public void completeClassInterpretation_Fielt(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 111 | public void completeMultiplicativeExpression_Op(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
105 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | 112 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); |
106 | } | 113 | } |
107 | public void completeEnumInterpretation_Symbol(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 114 | public void completeMultiplicativeExpression_Right(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
108 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | 115 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); |
109 | } | 116 | } |
110 | public void completeEnumInterpretation_Objects(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 117 | public void completeExponentialExpression_Op(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
111 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | 118 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); |
112 | } | 119 | } |
113 | public void completeFieldRelationInterpretation_Containment(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 120 | public void completeExponentialExpression_Right(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
114 | // subclasses may override | 121 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); |
115 | } | 122 | } |
116 | public void completeFieldRelationInterpretation_Symbol(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 123 | public void completeUnaryExpression_Op(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
117 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | 124 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); |
118 | } | 125 | } |
119 | public void completeFieldRelationInterpretation_Multiplicity(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 126 | public void completeUnaryExpression_Body(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
120 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | 127 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); |
121 | } | 128 | } |
122 | public void completeFieldRelationInterpretation_Target(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 129 | public void completeCount_Body(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
123 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | 130 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); |
124 | } | 131 | } |
125 | public void completeGlobalRelationInterpretation_Containment(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 132 | public void completeAggregation_Op(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
126 | // subclasses may override | 133 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); |
127 | } | 134 | } |
128 | public void completeGlobalRelationInterpretation_Symbol(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 135 | public void completeAggregation_Body(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
129 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | 136 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); |
130 | } | 137 | } |
131 | public void completeGlobalRelationInterpretation_SourceMultiplicity(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 138 | public void completeAggregation_Condition(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
132 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | 139 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); |
133 | } | 140 | } |
134 | public void completeGlobalRelationInterpretation_Source(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 141 | public void completeAtomicExpression_ArgumentList(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
135 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | 142 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); |
136 | } | 143 | } |
137 | public void completeGlobalRelationInterpretation_TargetMultiplicity(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 144 | public void completeCall_Functor(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
138 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | 145 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); |
139 | } | 146 | } |
140 | public void completeGlobalRelationInterpretation_Target(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 147 | public void completeCall_TransitiveClosure(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
141 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | 148 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); |
142 | } | 149 | } |
143 | public void completeMultiplicityDefinition_Lower(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 150 | public void completeCall_ReflexiveTransitiveClosure(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
144 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | 151 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); |
145 | } | 152 | } |
146 | public void completeMultiplicityDefinition_Upper(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 153 | public void completeCall_ArgumentList(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
147 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | 154 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); |
148 | } | 155 | } |
149 | public void completeMultiplicityDefinition_UnlimitedUpper(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 156 | public void completeArgumentList_Arguments(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
157 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | ||
158 | } | ||
159 | public void completeExpressionArgument_Body(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
160 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | ||
161 | } | ||
162 | public void completeTypedArgument_Type(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
163 | lookupCrossReference(((CrossReference)assignment.getTerminal()), context, acceptor); | ||
164 | } | ||
165 | public void completeTypedArgument_Variable(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
166 | lookupCrossReference(((CrossReference)assignment.getTerminal()), context, acceptor); | ||
167 | } | ||
168 | public void completeTypedStarArgument_Type(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
169 | lookupCrossReference(((CrossReference)assignment.getTerminal()), context, acceptor); | ||
170 | } | ||
171 | public void completeReference_Referred(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
172 | lookupCrossReference(((CrossReference)assignment.getTerminal()), context, acceptor); | ||
173 | } | ||
174 | public void completeInterval_LowerBound(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
175 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | ||
176 | } | ||
177 | public void completeInterval_UpperBound(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
178 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | ||
179 | } | ||
180 | public void completeLogicLiteral_Value(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
181 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | ||
182 | } | ||
183 | public void completeNumericLiteral_Value(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
184 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | ||
185 | } | ||
186 | public void completeStringLiteral_Value(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
187 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | ||
188 | } | ||
189 | public void completeClassDefinition_Abstract(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
190 | // subclasses may override | ||
191 | } | ||
192 | public void completeClassDefinition_Name(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
193 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | ||
194 | } | ||
195 | public void completeClassDefinition_Superclasses(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
196 | lookupCrossReference(((CrossReference)assignment.getTerminal()), context, acceptor); | ||
197 | } | ||
198 | public void completeClassDefinition_Members(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
199 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | ||
200 | } | ||
201 | public void completeMemberDefinition_Containment(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
150 | // subclasses may override | 202 | // subclasses may override |
151 | } | 203 | } |
204 | public void completeMemberDefinition_Type(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
205 | lookupCrossReference(((CrossReference)assignment.getTerminal()), context, acceptor); | ||
206 | } | ||
207 | public void completeMemberDefinition_Multiplicity(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
208 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | ||
209 | } | ||
210 | public void completeMemberDefinition_Name(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
211 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | ||
212 | } | ||
213 | public void completeMemberDefinition_Opposite(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
214 | lookupCrossReference(((CrossReference)assignment.getTerminal()), context, acceptor); | ||
215 | } | ||
216 | public void completeExactMultiplicity_Multiplicity(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
217 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | ||
218 | } | ||
219 | public void completeBoundedMultiplicity_LowerBound(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
220 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | ||
221 | } | ||
222 | public void completeBoundedMultiplicity_UpperBound(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
223 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | ||
224 | } | ||
225 | public void completeExactScopeDefinition_Type(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
226 | lookupCrossReference(((CrossReference)assignment.getTerminal()), context, acceptor); | ||
227 | } | ||
228 | public void completeExactScopeDefinition_ExactScope(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
229 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | ||
230 | } | ||
231 | public void completeBoundedScopeDefinition_LowerBound(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
232 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | ||
233 | } | ||
234 | public void completeBoundedScopeDefinition_Type(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
235 | lookupCrossReference(((CrossReference)assignment.getTerminal()), context, acceptor); | ||
236 | } | ||
237 | public void completeBoundedScopeDefinition_UpperBound(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
238 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | ||
239 | } | ||
240 | public void completeLowerBoundedScopeDefinition_LowerBound(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
241 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | ||
242 | } | ||
243 | public void completeLowerBoundedScopeDefinition_Type(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
244 | lookupCrossReference(((CrossReference)assignment.getTerminal()), context, acceptor); | ||
245 | } | ||
246 | public void completeObjectiveDefinition_Kind(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
247 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | ||
248 | } | ||
249 | public void completeObjectiveDefinition_Objective(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
250 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | ||
251 | } | ||
252 | public void completeNamedElement_Name(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
253 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | ||
254 | } | ||
152 | 255 | ||
153 | public void complete_Problem(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 256 | public void complete_Problem(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
154 | // subclasses may override | 257 | // subclasses may override |
@@ -156,133 +259,202 @@ public abstract class AbstractSolverLanguageProposalProvider extends TerminalsPr | |||
156 | public void complete_Statement(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 259 | public void complete_Statement(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
157 | // subclasses may override | 260 | // subclasses may override |
158 | } | 261 | } |
159 | public void complete_STRING(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 262 | public void complete_AssertionOrDefinition(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
263 | // subclasses may override | ||
264 | } | ||
265 | public void complete_PredicateDefinition(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
160 | // subclasses may override | 266 | // subclasses may override |
161 | } | 267 | } |
162 | public void complete_REALLiteral(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 268 | public void complete_UnnamedErrorPrediateDefinition(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
163 | // subclasses may override | 269 | // subclasses may override |
164 | } | 270 | } |
165 | public void complete_INTLiteral(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 271 | public void complete_DefaultDefinition(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
166 | // subclasses may override | 272 | // subclasses may override |
167 | } | 273 | } |
168 | public void complete_BooleanValue(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 274 | public void complete_ExternPredicateDefinition(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
169 | // subclasses may override | 275 | // subclasses may override |
170 | } | 276 | } |
171 | public void complete_TruthValue(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 277 | public void complete_MetricType(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
172 | // subclasses may override | 278 | // subclasses may override |
173 | } | 279 | } |
174 | public void complete_Interpretation(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 280 | public void complete_MetricDefinition(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
175 | // subclasses may override | 281 | // subclasses may override |
176 | } | 282 | } |
177 | public void complete_BasicInterpretation(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 283 | public void complete_ExternMetricDefinition(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
178 | // subclasses may override | 284 | // subclasses may override |
179 | } | 285 | } |
180 | public void complete_Symbol(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 286 | public void complete_Expression(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
181 | // subclasses may override | 287 | // subclasses may override |
182 | } | 288 | } |
183 | public void complete_ModelSymbol(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 289 | public void complete_IfElse(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
184 | // subclasses may override | 290 | // subclasses may override |
185 | } | 291 | } |
186 | public void complete_PartialitySymbol(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 292 | public void complete_DisjunctiveExpression(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
187 | // subclasses may override | 293 | // subclasses may override |
188 | } | 294 | } |
189 | public void complete_ExistSymbol(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 295 | public void complete_Case(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
190 | // subclasses may override | 296 | // subclasses may override |
191 | } | 297 | } |
192 | public void complete_EqualsSymbol(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 298 | public void complete_ConjunctiveExpression(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
193 | // subclasses may override | 299 | // subclasses may override |
194 | } | 300 | } |
195 | public void complete_DataSymbol(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 301 | public void complete_BinaryOperator(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
196 | // subclasses may override | 302 | // subclasses may override |
197 | } | 303 | } |
198 | public void complete_BooleanSymbol(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 304 | public void complete_ComparisonOperator(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
199 | // subclasses may override | 305 | // subclasses may override |
200 | } | 306 | } |
201 | public void complete_IntegerSymbol(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 307 | public void complete_ComparisonExpression(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
202 | // subclasses may override | 308 | // subclasses may override |
203 | } | 309 | } |
204 | public void complete_RealSymbol(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 310 | public void complete_AdditiveBinaryOperator(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
205 | // subclasses may override | 311 | // subclasses may override |
206 | } | 312 | } |
207 | public void complete_StringSymbol(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 313 | public void complete_AdditiveExpression(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
208 | // subclasses may override | 314 | // subclasses may override |
209 | } | 315 | } |
210 | public void complete_ComplexObject(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 316 | public void complete_MultiplicativeBinaryOperator(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
211 | // subclasses may override | 317 | // subclasses may override |
212 | } | 318 | } |
213 | public void complete_Object(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 319 | public void complete_MultiplicativeExpression(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
214 | // subclasses may override | 320 | // subclasses may override |
215 | } | 321 | } |
216 | public void complete_NamedObject(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 322 | public void complete_ExponentialOp(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
217 | // subclasses may override | 323 | // subclasses may override |
218 | } | 324 | } |
219 | public void complete_UnnamedObject(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 325 | public void complete_ExponentialExpression(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
220 | // subclasses may override | 326 | // subclasses may override |
221 | } | 327 | } |
222 | public void complete_DataObject(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 328 | public void complete_UnaryOp(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
223 | // subclasses may override | 329 | // subclasses may override |
224 | } | 330 | } |
225 | public void complete_BooleanObject(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 331 | public void complete_UnaryExpression(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
226 | // subclasses may override | 332 | // subclasses may override |
227 | } | 333 | } |
228 | public void complete_IntObject(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 334 | public void complete_AggregationExpression(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
229 | // subclasses may override | 335 | // subclasses may override |
230 | } | 336 | } |
231 | public void complete_RealObject(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 337 | public void complete_Count(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
232 | // subclasses may override | 338 | // subclasses may override |
233 | } | 339 | } |
234 | public void complete_StringObject(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 340 | public void complete_AggregationOp(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
235 | // subclasses may override | 341 | // subclasses may override |
236 | } | 342 | } |
237 | public void complete_Predicate(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 343 | public void complete_Aggregation(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
238 | // subclasses may override | 344 | // subclasses may override |
239 | } | 345 | } |
240 | public void complete_Parameter(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 346 | public void complete_AtomicExpression(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
241 | // subclasses may override | 347 | // subclasses may override |
242 | } | 348 | } |
243 | public void complete_PatternBody(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 349 | public void complete_Call(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
244 | // subclasses may override | 350 | // subclasses may override |
245 | } | 351 | } |
246 | public void complete_Polarity(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 352 | public void complete_ArgumentList(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
247 | // subclasses may override | 353 | // subclasses may override |
248 | } | 354 | } |
249 | public void complete_Constraint(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 355 | public void complete_Argument(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
250 | // subclasses may override | 356 | // subclasses may override |
251 | } | 357 | } |
252 | public void complete_ClosureType(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 358 | public void complete_ExpressionArgument(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
359 | // subclasses may override | ||
360 | } | ||
361 | public void complete_StarArgument(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
362 | // subclasses may override | ||
363 | } | ||
364 | public void complete_TypedArgument(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
365 | // subclasses may override | ||
366 | } | ||
367 | public void complete_TypedStarArgument(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
368 | // subclasses may override | ||
369 | } | ||
370 | public void complete_Reference(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
371 | // subclasses may override | ||
372 | } | ||
373 | public void complete_Interval(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
253 | // subclasses may override | 374 | // subclasses may override |
254 | } | 375 | } |
255 | public void complete_Literal(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 376 | public void complete_Literal(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
256 | // subclasses may override | 377 | // subclasses may override |
257 | } | 378 | } |
258 | public void complete_Variable(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 379 | public void complete_LogicValue(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
259 | // subclasses may override | 380 | // subclasses may override |
260 | } | 381 | } |
261 | public void complete_AllInstances(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 382 | public void complete_LogicLiteral(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
262 | // subclasses may override | 383 | // subclasses may override |
263 | } | 384 | } |
264 | public void complete_AllObjects(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 385 | public void complete_NumericLiteral(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
265 | // subclasses may override | 386 | // subclasses may override |
266 | } | 387 | } |
267 | public void complete_DefaultInterpretation(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 388 | public void complete_InfinityLiteral(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
268 | // subclasses may override | 389 | // subclasses may override |
269 | } | 390 | } |
270 | public void complete_CDInterpretation(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 391 | public void complete_EmptyIntervalLiteral(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
392 | // subclasses may override | ||
393 | } | ||
394 | public void complete_StringLiteral(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
395 | // subclasses may override | ||
396 | } | ||
397 | public void complete_ClassDefinition(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
398 | // subclasses may override | ||
399 | } | ||
400 | public void complete_MemberDefinition(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
401 | // subclasses may override | ||
402 | } | ||
403 | public void complete_Multiplicity(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
404 | // subclasses may override | ||
405 | } | ||
406 | public void complete_ManyMultiplicity(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
407 | // subclasses may override | ||
408 | } | ||
409 | public void complete_ExactMultiplicity(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
410 | // subclasses may override | ||
411 | } | ||
412 | public void complete_BoundedMultiplicity(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
413 | // subclasses may override | ||
414 | } | ||
415 | public void complete_ScopeDefinition(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
416 | // subclasses may override | ||
417 | } | ||
418 | public void complete_ExactScopeDefinition(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
419 | // subclasses may override | ||
420 | } | ||
421 | public void complete_BoundedScopeDefinition(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
422 | // subclasses may override | ||
423 | } | ||
424 | public void complete_LowerBoundedScopeDefinition(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
425 | // subclasses may override | ||
426 | } | ||
427 | public void complete_ObjectiveKind(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
428 | // subclasses may override | ||
429 | } | ||
430 | public void complete_ObjectiveDefinition(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
431 | // subclasses may override | ||
432 | } | ||
433 | public void complete_UpperMultiplicty(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
434 | // subclasses may override | ||
435 | } | ||
436 | public void complete_Real(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
437 | // subclasses may override | ||
438 | } | ||
439 | public void complete_QualifiedName(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
440 | // subclasses may override | ||
441 | } | ||
442 | public void complete_STRING(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
271 | // subclasses may override | 443 | // subclasses may override |
272 | } | 444 | } |
273 | public void complete_ClassInterpretation(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 445 | public void complete_QUOTED_ID(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
274 | // subclasses may override | 446 | // subclasses may override |
275 | } | 447 | } |
276 | public void complete_EnumInterpretation(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 448 | public void complete_PLUS(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
277 | // subclasses may override | 449 | // subclasses may override |
278 | } | 450 | } |
279 | public void complete_FieldRelationInterpretation(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 451 | public void complete_STAR(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
280 | // subclasses may override | 452 | // subclasses may override |
281 | } | 453 | } |
282 | public void complete_GlobalRelationInterpretation(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 454 | public void complete_DOT(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
283 | // subclasses may override | 455 | // subclasses may override |
284 | } | 456 | } |
285 | public void complete_MultiplicityDefinition(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 457 | public void complete_NamedElement(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
286 | // subclasses may override | 458 | // subclasses may override |
287 | } | 459 | } |
288 | } | 460 | } |
diff --git a/Application/org.eclipse.viatra.solver.language.ui/src-gen/org/eclipse/viatra/solver/language/ui/internal/LanguageActivator.java b/Application/org.eclipse.viatra.solver.language.ui/src-gen/org/eclipse/viatra/solver/language/ui/internal/LanguageActivator.java index 327cfff1..22259126 100644 --- a/Application/org.eclipse.viatra.solver.language.ui/src-gen/org/eclipse/viatra/solver/language/ui/internal/LanguageActivator.java +++ b/Application/org.eclipse.viatra.solver.language.ui/src-gen/org/eclipse/viatra/solver/language/ui/internal/LanguageActivator.java | |||
@@ -1,5 +1,5 @@ | |||
1 | /* | 1 | /* |
2 | * generated by Xtext 2.18.0.M3 | 2 | * generated by Xtext 2.21.0 |
3 | */ | 3 | */ |
4 | package org.eclipse.viatra.solver.language.ui.internal; | 4 | package org.eclipse.viatra.solver.language.ui.internal; |
5 | 5 | ||
diff --git a/Application/org.eclipse.viatra.solver.language.ui/src-gen/org/eclipse/viatra/solver/language/validation/SolverLanguageValidatorConfigurationBlock.java b/Application/org.eclipse.viatra.solver.language.ui/src-gen/org/eclipse/viatra/solver/language/validation/SolverLanguageValidatorConfigurationBlock.java index ad6c3a18..a603d3d2 100644 --- a/Application/org.eclipse.viatra.solver.language.ui/src-gen/org/eclipse/viatra/solver/language/validation/SolverLanguageValidatorConfigurationBlock.java +++ b/Application/org.eclipse.viatra.solver.language.ui/src-gen/org/eclipse/viatra/solver/language/validation/SolverLanguageValidatorConfigurationBlock.java | |||
@@ -1,5 +1,5 @@ | |||
1 | /* | 1 | /* |
2 | * generated by Xtext 2.18.0.M3 | 2 | * generated by Xtext 2.21.0 |
3 | */ | 3 | */ |
4 | package org.eclipse.viatra.solver.language.validation; | 4 | package org.eclipse.viatra.solver.language.validation; |
5 | 5 | ||
diff --git a/Application/org.eclipse.viatra.solver.language.ui/src/org/eclipse/viatra/solver/language/ui/SolverLanguageUiModule.xtend b/Application/org.eclipse.viatra.solver.language.ui/src/org/eclipse/viatra/solver/language/ui/SolverLanguageUiModule.xtend index 1c165a0a..602646aa 100644 --- a/Application/org.eclipse.viatra.solver.language.ui/src/org/eclipse/viatra/solver/language/ui/SolverLanguageUiModule.xtend +++ b/Application/org.eclipse.viatra.solver.language.ui/src/org/eclipse/viatra/solver/language/ui/SolverLanguageUiModule.xtend | |||
@@ -4,21 +4,17 @@ | |||
4 | package org.eclipse.viatra.solver.language.ui | 4 | package org.eclipse.viatra.solver.language.ui |
5 | 5 | ||
6 | import org.eclipse.xtend.lib.annotations.FinalFieldsConstructor | 6 | import org.eclipse.xtend.lib.annotations.FinalFieldsConstructor |
7 | import org.eclipse.xtext.ide.editor.syntaxcoloring.ISemanticHighlightingCalculator | ||
8 | import org.eclipse.xtext.ui.editor.syntaxcoloring.ITextAttributeProvider | ||
9 | import org.eclipse.viatra.solver.language.ui.highlight.SolverSemanticHighlightCalculator | ||
10 | import org.eclipse.viatra.solver.language.ui.highlight.SolverSemanticTextAttributeProvider | ||
11 | 7 | ||
12 | /** | 8 | /** |
13 | * Use this class to register components to be used within the Eclipse IDE. | 9 | * Use this class to register components to be used within the Eclipse IDE. |
14 | */ | 10 | */ |
15 | @FinalFieldsConstructor | 11 | @FinalFieldsConstructor |
16 | class SolverLanguageUiModule extends AbstractSolverLanguageUiModule { | 12 | class SolverLanguageUiModule extends AbstractSolverLanguageUiModule { |
17 | def Class<? extends ISemanticHighlightingCalculator> bindISemanticHighlightingCalculator() { | 13 | // def Class<? extends ISemanticHighlightingCalculator> bindISemanticHighlightingCalculator() { |
18 | SolverSemanticHighlightCalculator | 14 | // SolverSemanticHighlightCalculator |
19 | } | 15 | // } |
20 | 16 | // | |
21 | def Class<? extends ITextAttributeProvider> bindITextAttributeProvider() { | 17 | // def Class<? extends ITextAttributeProvider> bindITextAttributeProvider() { |
22 | SolverSemanticTextAttributeProvider | 18 | // SolverSemanticTextAttributeProvider |
23 | } | 19 | // } |
24 | } | 20 | } |
diff --git a/Application/org.eclipse.viatra.solver.language.ui/src/org/eclipse/viatra/solver/language/ui/highlight/SolverSemanticHighlightCalculator.xtend b/Application/org.eclipse.viatra.solver.language.ui/src/org/eclipse/viatra/solver/language/ui/syntaxcoloring/SolverSemanticHighlightCalculator.xtend index cb10ebf4..5242a82e 100644 --- a/Application/org.eclipse.viatra.solver.language.ui/src/org/eclipse/viatra/solver/language/ui/highlight/SolverSemanticHighlightCalculator.xtend +++ b/Application/org.eclipse.viatra.solver.language.ui/src/org/eclipse/viatra/solver/language/ui/syntaxcoloring/SolverSemanticHighlightCalculator.xtend | |||
@@ -1,8 +1,8 @@ | |||
1 | package org.eclipse.viatra.solver.language.ui.highlight | 1 | package org.eclipse.viatra.solver.language.ui.syntaxcoloring |
2 | 2 | ||
3 | import java.util.Random | 3 | import java.util.Random |
4 | import java.util.WeakHashMap | 4 | import java.util.WeakHashMap |
5 | import org.eclipse.viatra.solver.language.solverLanguage.ModelSymbol | 5 | import org.eclipse.viatra.solver.language.solverLanguage.Reference |
6 | import org.eclipse.xtext.ide.editor.syntaxcoloring.DefaultSemanticHighlightingCalculator | 6 | import org.eclipse.xtext.ide.editor.syntaxcoloring.DefaultSemanticHighlightingCalculator |
7 | import org.eclipse.xtext.ide.editor.syntaxcoloring.IHighlightedPositionAcceptor | 7 | import org.eclipse.xtext.ide.editor.syntaxcoloring.IHighlightedPositionAcceptor |
8 | import org.eclipse.xtext.nodemodel.util.NodeModelUtils | 8 | import org.eclipse.xtext.nodemodel.util.NodeModelUtils |
@@ -10,49 +10,50 @@ import org.eclipse.xtext.resource.XtextResource | |||
10 | import org.eclipse.xtext.util.CancelIndicator | 10 | import org.eclipse.xtext.util.CancelIndicator |
11 | 11 | ||
12 | class SolverSemanticHighlightCalculator extends DefaultSemanticHighlightingCalculator { | 12 | class SolverSemanticHighlightCalculator extends DefaultSemanticHighlightingCalculator { |
13 | public static val SmybolCode = "SymbolCode" | 13 | public static val SYMBOL_CODE = "SymbolCode::" |
14 | 14 | ||
15 | val symbolName2ID = new WeakHashMap<String,String> | 15 | val symbolName2ID = new WeakHashMap<String, String> |
16 | 16 | ||
17 | override provideHighlightingFor(XtextResource resource, IHighlightedPositionAcceptor acceptor, CancelIndicator cancelIndicator) { | 17 | override provideHighlightingFor(XtextResource resource, IHighlightedPositionAcceptor acceptor, |
18 | CancelIndicator cancelIndicator) { | ||
18 | if (resource === null || resource.getParseResult() === null) { | 19 | if (resource === null || resource.getParseResult() === null) { |
19 | return | 20 | return |
20 | } else { | 21 | } else { |
21 | val modelSymbols = resource.allContents.filter(ModelSymbol) | 22 | val modelSymbols = resource.allContents.filter(Reference) |
22 | while(modelSymbols.hasNext) { | 23 | while (modelSymbols.hasNext) { |
23 | val symbolElement = modelSymbols.next | 24 | val symbolElement = modelSymbols.next |
24 | val node = NodeModelUtils::getNode(symbolElement) | 25 | val node = NodeModelUtils.getNode(symbolElement) |
25 | acceptor.addPosition( | 26 | acceptor.addPosition( |
26 | node.getOffset(), | 27 | node.getOffset(), |
27 | node.getLength(), | 28 | node.getLength(), |
28 | getSymbolCode(symbolElement.name) | 29 | getSymbolCode(node.text) |
29 | ) | 30 | ) |
30 | } | 31 | } |
31 | } | 32 | } |
32 | } | 33 | } |
33 | 34 | ||
34 | def getSymbolCode(String name) { | 35 | def getSymbolCode(String name) { |
35 | if(symbolName2ID.containsKey(name)) { | 36 | if (symbolName2ID.containsKey(name)) { |
36 | return symbolName2ID.get(name) | 37 | return symbolName2ID.get(name) |
37 | } else { | 38 | } else { |
38 | val id = calculateSymbolCode(name) | 39 | val id = calculateSymbolCode(name) |
39 | symbolName2ID.put(name,id) | 40 | symbolName2ID.put(name, id) |
40 | return id | 41 | return id |
41 | } | 42 | } |
42 | } | 43 | } |
43 | 44 | ||
44 | def String calculateSymbolCode(String name) { | 45 | def String calculateSymbolCode(String name) { |
45 | val Random random = new Random(name.hashCode) | 46 | val Random random = new Random(name.hashCode) |
46 | val hue = huePick(random.nextFloat) | 47 | val hue = huePick(random.nextFloat) |
47 | val saturation = 0.2+random.nextFloat*0.3 | 48 | val saturation = 0.2 + random.nextFloat * 0.3 |
48 | val brightness = random.nextFloat*0.2+0.7f | 49 | val brightness = random.nextFloat * 0.2 + 0.7f |
49 | return '''«SmybolCode» «hue» «saturation» «brightness»''' | 50 | return '''«SYMBOL_CODE» «hue» «saturation» «brightness»''' |
50 | } | 51 | } |
52 | |||
51 | private def huePick(float random) { | 53 | private def huePick(float random) { |
52 | val pink = 300 | 54 | val pink = 300 |
53 | val tolerance = 10 | 55 | val tolerance = 10 |
54 | val degree = random*(360-2*tolerance) | 56 | val degree = random * (360 - 2 * tolerance) |
55 | if(degree<pink-tolerance) return degree | 57 | if(degree < pink - tolerance) return degree else return degree + 2 * tolerance |
56 | else return degree+2*tolerance | ||
57 | } | 58 | } |
58 | } \ No newline at end of file | 59 | } |
diff --git a/Application/org.eclipse.viatra.solver.language.ui/src/org/eclipse/viatra/solver/language/ui/highlight/SolverSemanticTextAttributeProvider.xtend b/Application/org.eclipse.viatra.solver.language.ui/src/org/eclipse/viatra/solver/language/ui/syntaxcoloring/SolverSemanticTextAttributeProvider.xtend index 4eed59ce..ca74a9a2 100644 --- a/Application/org.eclipse.viatra.solver.language.ui/src/org/eclipse/viatra/solver/language/ui/highlight/SolverSemanticTextAttributeProvider.xtend +++ b/Application/org.eclipse.viatra.solver.language.ui/src/org/eclipse/viatra/solver/language/ui/syntaxcoloring/SolverSemanticTextAttributeProvider.xtend | |||
@@ -1,4 +1,4 @@ | |||
1 | package org.eclipse.viatra.solver.language.ui.highlight | 1 | package org.eclipse.viatra.solver.language.ui.syntaxcoloring |
2 | 2 | ||
3 | import com.google.inject.Inject | 3 | import com.google.inject.Inject |
4 | import java.util.WeakHashMap | 4 | import java.util.WeakHashMap |
@@ -12,34 +12,34 @@ import org.eclipse.xtext.ui.editor.utils.EditorUtils | |||
12 | import org.eclipse.xtext.ui.editor.utils.TextStyle | 12 | import org.eclipse.xtext.ui.editor.utils.TextStyle |
13 | 13 | ||
14 | class SolverSemanticTextAttributeProvider extends TextAttributeProvider { | 14 | class SolverSemanticTextAttributeProvider extends TextAttributeProvider { |
15 | 15 | ||
16 | val defaultTextStyle = new TextStyle | 16 | val defaultTextStyle = new TextStyle |
17 | val colorID2TextAttribute = new WeakHashMap<String,TextAttribute> | 17 | val colorID2TextAttribute = new WeakHashMap<String, TextAttribute> |
18 | 18 | ||
19 | @Inject | 19 | @Inject |
20 | new(IHighlightingConfiguration highlightingConfig, IPreferenceStoreAccess preferenceStoreAccess, PreferenceStoreAccessor prefStoreAccessor) { | 20 | new(IHighlightingConfiguration highlightingConfig, IPreferenceStoreAccess preferenceStoreAccess, |
21 | PreferenceStoreAccessor prefStoreAccessor) { | ||
21 | super(highlightingConfig, preferenceStoreAccess, prefStoreAccessor) | 22 | super(highlightingConfig, preferenceStoreAccess, prefStoreAccessor) |
22 | } | 23 | } |
23 | 24 | ||
24 | |||
25 | override getAttribute(String id) { | 25 | override getAttribute(String id) { |
26 | if(isMetamodelElementColorID(id)) { | 26 | if (isMetamodelElementColorID(id)) { |
27 | if(colorID2TextAttribute.containsKey(id)) { | 27 | if (colorID2TextAttribute.containsKey(id)) { |
28 | return colorID2TextAttribute.get(id) | 28 | return colorID2TextAttribute.get(id) |
29 | } else { | 29 | } else { |
30 | val style = metamodelElementTextStyle(id) | 30 | val style = metamodelElementTextStyle(id) |
31 | colorID2TextAttribute.put(id,style) | 31 | colorID2TextAttribute.put(id, style) |
32 | return style | 32 | return style |
33 | } | 33 | } |
34 | } else { | 34 | } else { |
35 | super.getAttribute(id) | 35 | super.getAttribute(id) |
36 | } | 36 | } |
37 | } | 37 | } |
38 | 38 | ||
39 | private def isMetamodelElementColorID(String id) { | 39 | private def isMetamodelElementColorID(String id) { |
40 | id.startsWith(SolverSemanticHighlightCalculator::SmybolCode) | 40 | id.startsWith(SolverSemanticHighlightCalculator.SYMBOL_CODE) |
41 | } | 41 | } |
42 | 42 | ||
43 | private def TextAttribute metamodelElementTextStyle(String id) { | 43 | private def TextAttribute metamodelElementTextStyle(String id) { |
44 | val texts = id.split(' ') | 44 | val texts = id.split(' ') |
45 | val backgroundColor = new RGB( | 45 | val backgroundColor = new RGB( |
@@ -47,11 +47,9 @@ class SolverSemanticTextAttributeProvider extends TextAttributeProvider { | |||
47 | Float.parseFloat(texts.get(2)), | 47 | Float.parseFloat(texts.get(2)), |
48 | Float.parseFloat(texts.get(3)) | 48 | Float.parseFloat(texts.get(3)) |
49 | ) | 49 | ) |
50 | return new TextAttribute( | 50 | return new TextAttribute(EditorUtils.colorFromRGB(defaultTextStyle.color), |
51 | EditorUtils.colorFromRGB(defaultTextStyle.color), | 51 | EditorUtils.colorFromRGB(backgroundColor), defaultTextStyle.style, |
52 | EditorUtils.colorFromRGB(backgroundColor), | ||
53 | defaultTextStyle.style, | ||
54 | EditorUtils.fontFromFontData(defaultTextStyle.getFontData())); | 52 | EditorUtils.fontFromFontData(defaultTextStyle.getFontData())); |
55 | } | 53 | } |
56 | 54 | ||
57 | } \ No newline at end of file | 55 | } |
diff --git a/Application/org.eclipse.viatra.solver.language.ui/src/org/eclipse/viatra/solver/language/validation/SolverLanguageValidator.xtend b/Application/org.eclipse.viatra.solver.language.ui/src/org/eclipse/viatra/solver/language/validation/SolverLanguageValidator.xtend new file mode 100644 index 00000000..a7ff7252 --- /dev/null +++ b/Application/org.eclipse.viatra.solver.language.ui/src/org/eclipse/viatra/solver/language/validation/SolverLanguageValidator.xtend | |||
@@ -0,0 +1,25 @@ | |||
1 | /* | ||
2 | * generated by Xtext 2.18.0.M3 | ||
3 | */ | ||
4 | package org.eclipse.viatra.solver.language.validation | ||
5 | |||
6 | |||
7 | /** | ||
8 | * This class contains custom validation rules. | ||
9 | * | ||
10 | * See https://www.eclipse.org/Xtext/documentation/303_runtime_concepts.html#validation | ||
11 | */ | ||
12 | class SolverLanguageValidator extends AbstractSolverLanguageValidator { | ||
13 | |||
14 | // public static val INVALID_NAME = 'invalidName' | ||
15 | // | ||
16 | // @Check | ||
17 | // def checkGreetingStartsWithCapital(Greeting greeting) { | ||
18 | // if (!Character.isUpperCase(greeting.name.charAt(0))) { | ||
19 | // warning('Name should start with a capital', | ||
20 | // SolverLanguagePackage.Literals.GREETING__NAME, | ||
21 | // INVALID_NAME) | ||
22 | // } | ||
23 | // } | ||
24 | |||
25 | } | ||
diff --git a/Application/org.eclipse.viatra.solver.language.ui/xtend-gen/org/eclipse/viatra/solver/language/ui/syntaxcoloring/.SolverSemanticHighlightCalculator.xtendbin b/Application/org.eclipse.viatra.solver.language.ui/xtend-gen/org/eclipse/viatra/solver/language/ui/syntaxcoloring/.SolverSemanticHighlightCalculator.xtendbin new file mode 100644 index 00000000..30fff96c --- /dev/null +++ b/Application/org.eclipse.viatra.solver.language.ui/xtend-gen/org/eclipse/viatra/solver/language/ui/syntaxcoloring/.SolverSemanticHighlightCalculator.xtendbin | |||
Binary files differ | |||
diff --git a/Application/org.eclipse.viatra.solver.language.ui/xtend-gen/org/eclipse/viatra/solver/language/ui/syntaxcoloring/.SolverSemanticTextAttributeProvider.xtendbin b/Application/org.eclipse.viatra.solver.language.ui/xtend-gen/org/eclipse/viatra/solver/language/ui/syntaxcoloring/.SolverSemanticTextAttributeProvider.xtendbin new file mode 100644 index 00000000..846152db --- /dev/null +++ b/Application/org.eclipse.viatra.solver.language.ui/xtend-gen/org/eclipse/viatra/solver/language/ui/syntaxcoloring/.SolverSemanticTextAttributeProvider.xtendbin | |||
Binary files differ | |||
diff --git a/Application/org.eclipse.viatra.solver.language.ui/xtend-gen/org/eclipse/viatra/solver/language/ui/syntaxcoloring/.gitignore b/Application/org.eclipse.viatra.solver.language.ui/xtend-gen/org/eclipse/viatra/solver/language/ui/syntaxcoloring/.gitignore new file mode 100644 index 00000000..1764b462 --- /dev/null +++ b/Application/org.eclipse.viatra.solver.language.ui/xtend-gen/org/eclipse/viatra/solver/language/ui/syntaxcoloring/.gitignore | |||
@@ -0,0 +1,2 @@ | |||
1 | /.SolverSemanticHighlightCalculator.java._trace | ||
2 | /.SolverSemanticTextAttributeProvider.java._trace | ||
diff --git a/Application/org.eclipse.viatra.solver.language.ui/xtend-gen/org/eclipse/viatra/solver/language/ui/syntaxcoloring/SolverSemanticHighlightCalculator.java b/Application/org.eclipse.viatra.solver.language.ui/xtend-gen/org/eclipse/viatra/solver/language/ui/syntaxcoloring/SolverSemanticHighlightCalculator.java new file mode 100644 index 00000000..2935dfd7 --- /dev/null +++ b/Application/org.eclipse.viatra.solver.language.ui/xtend-gen/org/eclipse/viatra/solver/language/ui/syntaxcoloring/SolverSemanticHighlightCalculator.java | |||
@@ -0,0 +1,83 @@ | |||
1 | package org.eclipse.viatra.solver.language.ui.syntaxcoloring; | ||
2 | |||
3 | import com.google.common.collect.Iterators; | ||
4 | import java.util.Iterator; | ||
5 | import java.util.Random; | ||
6 | import java.util.WeakHashMap; | ||
7 | import org.eclipse.viatra.solver.language.solverLanguage.Reference; | ||
8 | import org.eclipse.xtend2.lib.StringConcatenation; | ||
9 | import org.eclipse.xtext.ide.editor.syntaxcoloring.DefaultSemanticHighlightingCalculator; | ||
10 | import org.eclipse.xtext.ide.editor.syntaxcoloring.IHighlightedPositionAcceptor; | ||
11 | import org.eclipse.xtext.nodemodel.ICompositeNode; | ||
12 | import org.eclipse.xtext.nodemodel.util.NodeModelUtils; | ||
13 | import org.eclipse.xtext.resource.XtextResource; | ||
14 | import org.eclipse.xtext.util.CancelIndicator; | ||
15 | |||
16 | @SuppressWarnings("all") | ||
17 | public class SolverSemanticHighlightCalculator extends DefaultSemanticHighlightingCalculator { | ||
18 | public static final String SYMBOL_CODE = "SymbolCode::"; | ||
19 | |||
20 | private final WeakHashMap<String, String> symbolName2ID = new WeakHashMap<String, String>(); | ||
21 | |||
22 | @Override | ||
23 | public void provideHighlightingFor(final XtextResource resource, final IHighlightedPositionAcceptor acceptor, final CancelIndicator cancelIndicator) { | ||
24 | if (((resource == null) || (resource.getParseResult() == null))) { | ||
25 | return; | ||
26 | } else { | ||
27 | final Iterator<Reference> modelSymbols = Iterators.<Reference>filter(resource.getAllContents(), Reference.class); | ||
28 | while (modelSymbols.hasNext()) { | ||
29 | { | ||
30 | final Reference symbolElement = modelSymbols.next(); | ||
31 | final ICompositeNode node = NodeModelUtils.getNode(symbolElement); | ||
32 | acceptor.addPosition( | ||
33 | node.getOffset(), | ||
34 | node.getLength(), | ||
35 | this.getSymbolCode(node.getText())); | ||
36 | } | ||
37 | } | ||
38 | } | ||
39 | } | ||
40 | |||
41 | public String getSymbolCode(final String name) { | ||
42 | boolean _containsKey = this.symbolName2ID.containsKey(name); | ||
43 | if (_containsKey) { | ||
44 | return this.symbolName2ID.get(name); | ||
45 | } else { | ||
46 | final String id = this.calculateSymbolCode(name); | ||
47 | this.symbolName2ID.put(name, id); | ||
48 | return id; | ||
49 | } | ||
50 | } | ||
51 | |||
52 | public String calculateSymbolCode(final String name) { | ||
53 | int _hashCode = name.hashCode(); | ||
54 | final Random random = new Random(_hashCode); | ||
55 | final float hue = this.huePick(random.nextFloat()); | ||
56 | float _nextFloat = random.nextFloat(); | ||
57 | double _multiply = (_nextFloat * 0.3); | ||
58 | final double saturation = (0.2 + _multiply); | ||
59 | float _nextFloat_1 = random.nextFloat(); | ||
60 | double _multiply_1 = (_nextFloat_1 * 0.2); | ||
61 | final double brightness = (_multiply_1 + 0.7f); | ||
62 | StringConcatenation _builder = new StringConcatenation(); | ||
63 | _builder.append(SolverSemanticHighlightCalculator.SYMBOL_CODE); | ||
64 | _builder.append(" "); | ||
65 | _builder.append(hue); | ||
66 | _builder.append(" "); | ||
67 | _builder.append(saturation); | ||
68 | _builder.append(" "); | ||
69 | _builder.append(brightness); | ||
70 | return _builder.toString(); | ||
71 | } | ||
72 | |||
73 | private float huePick(final float random) { | ||
74 | final int pink = 300; | ||
75 | final int tolerance = 10; | ||
76 | final float degree = (random * (360 - (2 * tolerance))); | ||
77 | if ((degree < (pink - tolerance))) { | ||
78 | return degree; | ||
79 | } else { | ||
80 | return (degree + (2 * tolerance)); | ||
81 | } | ||
82 | } | ||
83 | } | ||
diff --git a/Application/org.eclipse.viatra.solver.language.ui/xtend-gen/org/eclipse/viatra/solver/language/ui/syntaxcoloring/SolverSemanticTextAttributeProvider.java b/Application/org.eclipse.viatra.solver.language.ui/xtend-gen/org/eclipse/viatra/solver/language/ui/syntaxcoloring/SolverSemanticTextAttributeProvider.java new file mode 100644 index 00000000..04824ad1 --- /dev/null +++ b/Application/org.eclipse.viatra.solver.language.ui/xtend-gen/org/eclipse/viatra/solver/language/ui/syntaxcoloring/SolverSemanticTextAttributeProvider.java | |||
@@ -0,0 +1,63 @@ | |||
1 | package org.eclipse.viatra.solver.language.ui.syntaxcoloring; | ||
2 | |||
3 | import com.google.inject.Inject; | ||
4 | import java.util.WeakHashMap; | ||
5 | import org.eclipse.jface.text.TextAttribute; | ||
6 | import org.eclipse.swt.graphics.Color; | ||
7 | import org.eclipse.swt.graphics.Font; | ||
8 | import org.eclipse.swt.graphics.RGB; | ||
9 | import org.eclipse.viatra.solver.language.ui.syntaxcoloring.SolverSemanticHighlightCalculator; | ||
10 | import org.eclipse.xtext.ui.editor.preferences.IPreferenceStoreAccess; | ||
11 | import org.eclipse.xtext.ui.editor.syntaxcoloring.IHighlightingConfiguration; | ||
12 | import org.eclipse.xtext.ui.editor.syntaxcoloring.PreferenceStoreAccessor; | ||
13 | import org.eclipse.xtext.ui.editor.syntaxcoloring.TextAttributeProvider; | ||
14 | import org.eclipse.xtext.ui.editor.utils.EditorUtils; | ||
15 | import org.eclipse.xtext.ui.editor.utils.TextStyle; | ||
16 | |||
17 | @SuppressWarnings("all") | ||
18 | public class SolverSemanticTextAttributeProvider extends TextAttributeProvider { | ||
19 | private final TextStyle defaultTextStyle = new TextStyle(); | ||
20 | |||
21 | private final WeakHashMap<String, TextAttribute> colorID2TextAttribute = new WeakHashMap<String, TextAttribute>(); | ||
22 | |||
23 | @Inject | ||
24 | public SolverSemanticTextAttributeProvider(final IHighlightingConfiguration highlightingConfig, final IPreferenceStoreAccess preferenceStoreAccess, final PreferenceStoreAccessor prefStoreAccessor) { | ||
25 | super(highlightingConfig, preferenceStoreAccess, prefStoreAccessor); | ||
26 | } | ||
27 | |||
28 | @Override | ||
29 | public TextAttribute getAttribute(final String id) { | ||
30 | TextAttribute _xifexpression = null; | ||
31 | boolean _isMetamodelElementColorID = this.isMetamodelElementColorID(id); | ||
32 | if (_isMetamodelElementColorID) { | ||
33 | boolean _containsKey = this.colorID2TextAttribute.containsKey(id); | ||
34 | if (_containsKey) { | ||
35 | return this.colorID2TextAttribute.get(id); | ||
36 | } else { | ||
37 | final TextAttribute style = this.metamodelElementTextStyle(id); | ||
38 | this.colorID2TextAttribute.put(id, style); | ||
39 | return style; | ||
40 | } | ||
41 | } else { | ||
42 | _xifexpression = super.getAttribute(id); | ||
43 | } | ||
44 | return _xifexpression; | ||
45 | } | ||
46 | |||
47 | private boolean isMetamodelElementColorID(final String id) { | ||
48 | return id.startsWith(SolverSemanticHighlightCalculator.SYMBOL_CODE); | ||
49 | } | ||
50 | |||
51 | private TextAttribute metamodelElementTextStyle(final String id) { | ||
52 | final String[] texts = id.split(" "); | ||
53 | float _parseFloat = Float.parseFloat(texts[1]); | ||
54 | float _parseFloat_1 = Float.parseFloat(texts[2]); | ||
55 | float _parseFloat_2 = Float.parseFloat(texts[3]); | ||
56 | final RGB backgroundColor = new RGB(_parseFloat, _parseFloat_1, _parseFloat_2); | ||
57 | Color _colorFromRGB = EditorUtils.colorFromRGB(this.defaultTextStyle.getColor()); | ||
58 | Color _colorFromRGB_1 = EditorUtils.colorFromRGB(backgroundColor); | ||
59 | int _style = this.defaultTextStyle.getStyle(); | ||
60 | Font _fontFromFontData = EditorUtils.fontFromFontData(this.defaultTextStyle.getFontData()); | ||
61 | return new TextAttribute(_colorFromRGB, _colorFromRGB_1, _style, _fontFromFontData); | ||
62 | } | ||
63 | } | ||
diff --git a/Application/org.eclipse.viatra.solver.language.ui/xtend-gen/org/eclipse/viatra/solver/language/validation/.SolverLanguageValidator.xtendbin b/Application/org.eclipse.viatra.solver.language.ui/xtend-gen/org/eclipse/viatra/solver/language/validation/.SolverLanguageValidator.xtendbin new file mode 100644 index 00000000..6d6995bd --- /dev/null +++ b/Application/org.eclipse.viatra.solver.language.ui/xtend-gen/org/eclipse/viatra/solver/language/validation/.SolverLanguageValidator.xtendbin | |||
Binary files differ | |||
diff --git a/Application/org.eclipse.viatra.solver.language.ui/xtend-gen/org/eclipse/viatra/solver/language/validation/.gitignore b/Application/org.eclipse.viatra.solver.language.ui/xtend-gen/org/eclipse/viatra/solver/language/validation/.gitignore new file mode 100644 index 00000000..f1cb387a --- /dev/null +++ b/Application/org.eclipse.viatra.solver.language.ui/xtend-gen/org/eclipse/viatra/solver/language/validation/.gitignore | |||
@@ -0,0 +1 @@ | |||
/.SolverLanguageValidator.java._trace | |||
diff --git a/Application/org.eclipse.viatra.solver.language.ui/xtend-gen/org/eclipse/viatra/solver/language/validation/SolverLanguageValidator.java b/Application/org.eclipse.viatra.solver.language.ui/xtend-gen/org/eclipse/viatra/solver/language/validation/SolverLanguageValidator.java new file mode 100644 index 00000000..2b8f158a --- /dev/null +++ b/Application/org.eclipse.viatra.solver.language.ui/xtend-gen/org/eclipse/viatra/solver/language/validation/SolverLanguageValidator.java | |||
@@ -0,0 +1,15 @@ | |||
1 | /** | ||
2 | * generated by Xtext 2.18.0.M3 | ||
3 | */ | ||
4 | package org.eclipse.viatra.solver.language.validation; | ||
5 | |||
6 | import org.eclipse.viatra.solver.language.validation.AbstractSolverLanguageValidator; | ||
7 | |||
8 | /** | ||
9 | * This class contains custom validation rules. | ||
10 | * | ||
11 | * See https://www.eclipse.org/Xtext/documentation/303_runtime_concepts.html#validation | ||
12 | */ | ||
13 | @SuppressWarnings("all") | ||
14 | public class SolverLanguageValidator extends AbstractSolverLanguageValidator { | ||
15 | } | ||