diff options
Diffstat (limited to 'Application/org.eclipse.viatra.solver.language.ui')
37 files changed, 2461 insertions, 0 deletions
diff --git a/Application/org.eclipse.viatra.solver.language.ui/.classpath b/Application/org.eclipse.viatra.solver.language.ui/.classpath new file mode 100644 index 00000000..1287f96c --- /dev/null +++ b/Application/org.eclipse.viatra.solver.language.ui/.classpath | |||
@@ -0,0 +1,9 @@ | |||
1 | <?xml version="1.0" encoding="UTF-8"?> | ||
2 | <classpath> | ||
3 | <classpathentry kind="src" path="src"/> | ||
4 | <classpathentry kind="src" path="src-gen"/> | ||
5 | <classpathentry kind="src" path="xtend-gen"/> | ||
6 | <classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-1.8"/> | ||
7 | <classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/> | ||
8 | <classpathentry kind="output" path="bin"/> | ||
9 | </classpath> | ||
diff --git a/Application/org.eclipse.viatra.solver.language.ui/.gitignore b/Application/org.eclipse.viatra.solver.language.ui/.gitignore new file mode 100644 index 00000000..ae3c1726 --- /dev/null +++ b/Application/org.eclipse.viatra.solver.language.ui/.gitignore | |||
@@ -0,0 +1 @@ | |||
/bin/ | |||
diff --git a/Application/org.eclipse.viatra.solver.language.ui/.project b/Application/org.eclipse.viatra.solver.language.ui/.project new file mode 100644 index 00000000..559df66a --- /dev/null +++ b/Application/org.eclipse.viatra.solver.language.ui/.project | |||
@@ -0,0 +1,34 @@ | |||
1 | <?xml version="1.0" encoding="UTF-8"?> | ||
2 | <projectDescription> | ||
3 | <name>org.eclipse.viatra.solver.language.ui</name> | ||
4 | <comment></comment> | ||
5 | <projects> | ||
6 | </projects> | ||
7 | <buildSpec> | ||
8 | <buildCommand> | ||
9 | <name>org.eclipse.xtext.ui.shared.xtextBuilder</name> | ||
10 | <arguments> | ||
11 | </arguments> | ||
12 | </buildCommand> | ||
13 | <buildCommand> | ||
14 | <name>org.eclipse.jdt.core.javabuilder</name> | ||
15 | <arguments> | ||
16 | </arguments> | ||
17 | </buildCommand> | ||
18 | <buildCommand> | ||
19 | <name>org.eclipse.pde.ManifestBuilder</name> | ||
20 | <arguments> | ||
21 | </arguments> | ||
22 | </buildCommand> | ||
23 | <buildCommand> | ||
24 | <name>org.eclipse.pde.SchemaBuilder</name> | ||
25 | <arguments> | ||
26 | </arguments> | ||
27 | </buildCommand> | ||
28 | </buildSpec> | ||
29 | <natures> | ||
30 | <nature>org.eclipse.xtext.ui.shared.xtextNature</nature> | ||
31 | <nature>org.eclipse.jdt.core.javanature</nature> | ||
32 | <nature>org.eclipse.pde.PluginNature</nature> | ||
33 | </natures> | ||
34 | </projectDescription> | ||
diff --git a/Application/org.eclipse.viatra.solver.language.ui/.settings/org.eclipse.core.resources.prefs b/Application/org.eclipse.viatra.solver.language.ui/.settings/org.eclipse.core.resources.prefs new file mode 100644 index 00000000..4824b802 --- /dev/null +++ b/Application/org.eclipse.viatra.solver.language.ui/.settings/org.eclipse.core.resources.prefs | |||
@@ -0,0 +1,2 @@ | |||
1 | eclipse.preferences.version=1 | ||
2 | encoding/<project>=UTF-8 | ||
diff --git a/Application/org.eclipse.viatra.solver.language.ui/.settings/org.eclipse.jdt.core.prefs b/Application/org.eclipse.viatra.solver.language.ui/.settings/org.eclipse.jdt.core.prefs new file mode 100644 index 00000000..295926d9 --- /dev/null +++ b/Application/org.eclipse.viatra.solver.language.ui/.settings/org.eclipse.jdt.core.prefs | |||
@@ -0,0 +1,7 @@ | |||
1 | eclipse.preferences.version=1 | ||
2 | org.eclipse.jdt.core.compiler.codegen.inlineJsrBytecode=enabled | ||
3 | org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.8 | ||
4 | org.eclipse.jdt.core.compiler.compliance=1.8 | ||
5 | org.eclipse.jdt.core.compiler.problem.assertIdentifier=error | ||
6 | org.eclipse.jdt.core.compiler.problem.enumIdentifier=error | ||
7 | org.eclipse.jdt.core.compiler.source=1.8 | ||
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 new file mode 100644 index 00000000..6c493315 --- /dev/null +++ b/Application/org.eclipse.viatra.solver.language.ui/META-INF/MANIFEST.MF | |||
@@ -0,0 +1,27 @@ | |||
1 | Manifest-Version: 1.0 | ||
2 | Automatic-Module-Name: org.eclipse.viatra.solver.language.ui | ||
3 | Bundle-ManifestVersion: 2 | ||
4 | Bundle-Name: org.eclipse.viatra.solver.language.ui | ||
5 | Bundle-Vendor: My Company | ||
6 | Bundle-Version: 1.0.0.qualifier | ||
7 | Bundle-SymbolicName: org.eclipse.viatra.solver.language.ui; singleton:=true | ||
8 | Bundle-ActivationPolicy: lazy | ||
9 | Require-Bundle: org.eclipse.viatra.solver.language, | ||
10 | org.eclipse.viatra.solver.language.ide, | ||
11 | org.eclipse.xtext.ui, | ||
12 | org.eclipse.xtext.ui.shared, | ||
13 | org.eclipse.xtext.ui.codetemplates.ui, | ||
14 | org.eclipse.ui.editors;bundle-version="3.5.0", | ||
15 | org.eclipse.ui.ide;bundle-version="3.5.0", | ||
16 | org.eclipse.ui, | ||
17 | org.eclipse.compare, | ||
18 | org.eclipse.xtext.builder, | ||
19 | org.eclipse.xtext.xbase.lib;bundle-version="2.14.0", | ||
20 | org.eclipse.xtend.lib;bundle-version="2.14.0";resolution:=optional | ||
21 | Import-Package: org.apache.log4j | ||
22 | Bundle-RequiredExecutionEnvironment: JavaSE-1.8 | ||
23 | Export-Package: org.eclipse.viatra.solver.language.ui.contentassist, | ||
24 | org.eclipse.viatra.solver.language.ui.internal, | ||
25 | org.eclipse.viatra.solver.language.ui.quickfix, | ||
26 | org.eclipse.viatra.solver.language.validation | ||
27 | Bundle-Activator: org.eclipse.viatra.solver.language.ui.internal.LanguageActivator | ||
diff --git a/Application/org.eclipse.viatra.solver.language.ui/build.properties b/Application/org.eclipse.viatra.solver.language.ui/build.properties new file mode 100644 index 00000000..4b1fa503 --- /dev/null +++ b/Application/org.eclipse.viatra.solver.language.ui/build.properties | |||
@@ -0,0 +1,7 @@ | |||
1 | source.. = src/,\ | ||
2 | src-gen/,\ | ||
3 | xtend-gen/ | ||
4 | bin.includes = .,\ | ||
5 | META-INF/,\ | ||
6 | plugin.xml | ||
7 | bin.excludes = **/*.xtend | ||
diff --git a/Application/org.eclipse.viatra.solver.language.ui/plugin.xml b/Application/org.eclipse.viatra.solver.language.ui/plugin.xml new file mode 100644 index 00000000..116798d9 --- /dev/null +++ b/Application/org.eclipse.viatra.solver.language.ui/plugin.xml | |||
@@ -0,0 +1,434 @@ | |||
1 | <?xml version="1.0" encoding="UTF-8"?> | ||
2 | <?eclipse version="3.0"?> | ||
3 | <plugin> | ||
4 | <extension | ||
5 | point="org.eclipse.ui.editors"> | ||
6 | <editor | ||
7 | class="org.eclipse.viatra.solver.language.ui.SolverLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.editor.XtextEditor" | ||
8 | contributorClass="org.eclipse.ui.editors.text.TextEditorActionContributor" | ||
9 | default="true" | ||
10 | extensions="vsc" | ||
11 | id="org.eclipse.viatra.solver.language.SolverLanguage" | ||
12 | name="SolverLanguage Editor"> | ||
13 | </editor> | ||
14 | </extension> | ||
15 | <extension | ||
16 | point="org.eclipse.ui.handlers"> | ||
17 | <handler | ||
18 | class="org.eclipse.viatra.solver.language.ui.SolverLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.editor.hyperlinking.OpenDeclarationHandler" | ||
19 | commandId="org.eclipse.xtext.ui.editor.hyperlinking.OpenDeclaration"> | ||
20 | <activeWhen> | ||
21 | <reference | ||
22 | definitionId="org.eclipse.viatra.solver.language.SolverLanguage.Editor.opened"> | ||
23 | </reference> | ||
24 | </activeWhen> | ||
25 | </handler> | ||
26 | <handler | ||
27 | class="org.eclipse.viatra.solver.language.ui.SolverLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.editor.handler.ValidateActionHandler" | ||
28 | commandId="org.eclipse.viatra.solver.language.SolverLanguage.validate"> | ||
29 | <activeWhen> | ||
30 | <reference | ||
31 | definitionId="org.eclipse.viatra.solver.language.SolverLanguage.Editor.opened"> | ||
32 | </reference> | ||
33 | </activeWhen> | ||
34 | </handler> | ||
35 | <!-- copy qualified name --> | ||
36 | <handler | ||
37 | class="org.eclipse.viatra.solver.language.ui.SolverLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.editor.copyqualifiedname.EditorCopyQualifiedNameHandler" | ||
38 | commandId="org.eclipse.xtext.ui.editor.copyqualifiedname.EditorCopyQualifiedName"> | ||
39 | <activeWhen> | ||
40 | <reference definitionId="org.eclipse.viatra.solver.language.SolverLanguage.Editor.opened" /> | ||
41 | </activeWhen> | ||
42 | </handler> | ||
43 | <handler | ||
44 | class="org.eclipse.viatra.solver.language.ui.SolverLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.editor.copyqualifiedname.OutlineCopyQualifiedNameHandler" | ||
45 | commandId="org.eclipse.xtext.ui.editor.copyqualifiedname.OutlineCopyQualifiedName"> | ||
46 | <activeWhen> | ||
47 | <and> | ||
48 | <reference definitionId="org.eclipse.viatra.solver.language.SolverLanguage.XtextEditor.opened" /> | ||
49 | <iterate> | ||
50 | <adapt type="org.eclipse.xtext.ui.editor.outline.IOutlineNode" /> | ||
51 | </iterate> | ||
52 | </and> | ||
53 | </activeWhen> | ||
54 | </handler> | ||
55 | </extension> | ||
56 | <extension point="org.eclipse.core.expressions.definitions"> | ||
57 | <definition id="org.eclipse.viatra.solver.language.SolverLanguage.Editor.opened"> | ||
58 | <and> | ||
59 | <reference definitionId="isActiveEditorAnInstanceOfXtextEditor"/> | ||
60 | <with variable="activeEditor"> | ||
61 | <test property="org.eclipse.xtext.ui.editor.XtextEditor.languageName" | ||
62 | value="org.eclipse.viatra.solver.language.SolverLanguage" | ||
63 | forcePluginActivation="true"/> | ||
64 | </with> | ||
65 | </and> | ||
66 | </definition> | ||
67 | <definition id="org.eclipse.viatra.solver.language.SolverLanguage.XtextEditor.opened"> | ||
68 | <and> | ||
69 | <reference definitionId="isXtextEditorActive"/> | ||
70 | <with variable="activeEditor"> | ||
71 | <test property="org.eclipse.xtext.ui.editor.XtextEditor.languageName" | ||
72 | value="org.eclipse.viatra.solver.language.SolverLanguage" | ||
73 | forcePluginActivation="true"/> | ||
74 | </with> | ||
75 | </and> | ||
76 | </definition> | ||
77 | </extension> | ||
78 | <extension | ||
79 | point="org.eclipse.ui.preferencePages"> | ||
80 | <page | ||
81 | class="org.eclipse.viatra.solver.language.ui.SolverLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.editor.preferences.LanguageRootPreferencePage" | ||
82 | id="org.eclipse.viatra.solver.language.SolverLanguage" | ||
83 | name="SolverLanguage"> | ||
84 | <keywordReference id="org.eclipse.viatra.solver.language.ui.keyword_SolverLanguage"/> | ||
85 | </page> | ||
86 | <page | ||
87 | category="org.eclipse.viatra.solver.language.SolverLanguage" | ||
88 | class="org.eclipse.viatra.solver.language.ui.SolverLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.editor.syntaxcoloring.SyntaxColoringPreferencePage" | ||
89 | id="org.eclipse.viatra.solver.language.SolverLanguage.coloring" | ||
90 | name="Syntax Coloring"> | ||
91 | <keywordReference id="org.eclipse.viatra.solver.language.ui.keyword_SolverLanguage"/> | ||
92 | </page> | ||
93 | <page | ||
94 | category="org.eclipse.viatra.solver.language.SolverLanguage" | ||
95 | class="org.eclipse.viatra.solver.language.ui.SolverLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.editor.templates.XtextTemplatePreferencePage" | ||
96 | id="org.eclipse.viatra.solver.language.SolverLanguage.templates" | ||
97 | name="Templates"> | ||
98 | <keywordReference id="org.eclipse.viatra.solver.language.ui.keyword_SolverLanguage"/> | ||
99 | </page> | ||
100 | </extension> | ||
101 | <extension | ||
102 | point="org.eclipse.ui.propertyPages"> | ||
103 | <page | ||
104 | class="org.eclipse.viatra.solver.language.ui.SolverLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.editor.preferences.LanguageRootPreferencePage" | ||
105 | id="org.eclipse.viatra.solver.language.SolverLanguage" | ||
106 | name="SolverLanguage"> | ||
107 | <keywordReference id="org.eclipse.viatra.solver.language.ui.keyword_SolverLanguage"/> | ||
108 | <enabledWhen> | ||
109 | <adapt type="org.eclipse.core.resources.IProject"/> | ||
110 | </enabledWhen> | ||
111 | <filter name="projectNature" value="org.eclipse.xtext.ui.shared.xtextNature"/> | ||
112 | </page> | ||
113 | </extension> | ||
114 | <extension | ||
115 | point="org.eclipse.ui.keywords"> | ||
116 | <keyword | ||
117 | id="org.eclipse.viatra.solver.language.ui.keyword_SolverLanguage" | ||
118 | label="SolverLanguage"/> | ||
119 | </extension> | ||
120 | <extension | ||
121 | point="org.eclipse.ui.commands"> | ||
122 | <command | ||
123 | description="Trigger expensive validation" | ||
124 | id="org.eclipse.viatra.solver.language.SolverLanguage.validate" | ||
125 | name="Validate"> | ||
126 | </command> | ||
127 | <!-- copy qualified name --> | ||
128 | <command | ||
129 | id="org.eclipse.xtext.ui.editor.copyqualifiedname.EditorCopyQualifiedName" | ||
130 | categoryId="org.eclipse.ui.category.edit" | ||
131 | description="Copy the qualified name for the selected element" | ||
132 | name="Copy Qualified Name"> | ||
133 | </command> | ||
134 | <command | ||
135 | id="org.eclipse.xtext.ui.editor.copyqualifiedname.OutlineCopyQualifiedName" | ||
136 | categoryId="org.eclipse.ui.category.edit" | ||
137 | description="Copy the qualified name for the selected element" | ||
138 | name="Copy Qualified Name"> | ||
139 | </command> | ||
140 | </extension> | ||
141 | <extension point="org.eclipse.ui.menus"> | ||
142 | <menuContribution | ||
143 | locationURI="popup:#TextEditorContext?after=group.edit"> | ||
144 | <command | ||
145 | commandId="org.eclipse.viatra.solver.language.SolverLanguage.validate" | ||
146 | style="push" | ||
147 | tooltip="Trigger expensive validation"> | ||
148 | <visibleWhen checkEnabled="false"> | ||
149 | <reference | ||
150 | definitionId="org.eclipse.viatra.solver.language.SolverLanguage.Editor.opened"> | ||
151 | </reference> | ||
152 | </visibleWhen> | ||
153 | </command> | ||
154 | </menuContribution> | ||
155 | <!-- copy qualified name --> | ||
156 | <menuContribution locationURI="popup:#TextEditorContext?after=copy"> | ||
157 | <command commandId="org.eclipse.xtext.ui.editor.copyqualifiedname.EditorCopyQualifiedName" | ||
158 | style="push" tooltip="Copy Qualified Name"> | ||
159 | <visibleWhen checkEnabled="false"> | ||
160 | <reference definitionId="org.eclipse.viatra.solver.language.SolverLanguage.Editor.opened" /> | ||
161 | </visibleWhen> | ||
162 | </command> | ||
163 | </menuContribution> | ||
164 | <menuContribution locationURI="menu:edit?after=copy"> | ||
165 | <command commandId="org.eclipse.xtext.ui.editor.copyqualifiedname.EditorCopyQualifiedName" | ||
166 | style="push" tooltip="Copy Qualified Name"> | ||
167 | <visibleWhen checkEnabled="false"> | ||
168 | <reference definitionId="org.eclipse.viatra.solver.language.SolverLanguage.Editor.opened" /> | ||
169 | </visibleWhen> | ||
170 | </command> | ||
171 | </menuContribution> | ||
172 | <menuContribution locationURI="popup:org.eclipse.xtext.ui.outline?after=additions"> | ||
173 | <command commandId="org.eclipse.xtext.ui.editor.copyqualifiedname.OutlineCopyQualifiedName" | ||
174 | style="push" tooltip="Copy Qualified Name"> | ||
175 | <visibleWhen checkEnabled="false"> | ||
176 | <and> | ||
177 | <reference definitionId="org.eclipse.viatra.solver.language.SolverLanguage.XtextEditor.opened" /> | ||
178 | <iterate> | ||
179 | <adapt type="org.eclipse.xtext.ui.editor.outline.IOutlineNode" /> | ||
180 | </iterate> | ||
181 | </and> | ||
182 | </visibleWhen> | ||
183 | </command> | ||
184 | </menuContribution> | ||
185 | </extension> | ||
186 | <extension point="org.eclipse.ui.menus"> | ||
187 | <menuContribution locationURI="popup:#TextEditorContext?endof=group.find"> | ||
188 | <command commandId="org.eclipse.xtext.ui.editor.FindReferences"> | ||
189 | <visibleWhen checkEnabled="false"> | ||
190 | <reference definitionId="org.eclipse.viatra.solver.language.SolverLanguage.Editor.opened"> | ||
191 | </reference> | ||
192 | </visibleWhen> | ||
193 | </command> | ||
194 | </menuContribution> | ||
195 | </extension> | ||
196 | <extension point="org.eclipse.ui.handlers"> | ||
197 | <handler | ||
198 | class="org.eclipse.viatra.solver.language.ui.SolverLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.editor.findrefs.FindReferencesHandler" | ||
199 | commandId="org.eclipse.xtext.ui.editor.FindReferences"> | ||
200 | <activeWhen> | ||
201 | <reference | ||
202 | definitionId="org.eclipse.viatra.solver.language.SolverLanguage.Editor.opened"> | ||
203 | </reference> | ||
204 | </activeWhen> | ||
205 | </handler> | ||
206 | </extension> | ||
207 | <extension point="org.eclipse.core.contenttype.contentTypes"> | ||
208 | <content-type | ||
209 | base-type="org.eclipse.core.runtime.text" | ||
210 | file-extensions="vsc" | ||
211 | id="org.eclipse.viatra.solver.language.SolverLanguage.contenttype" | ||
212 | name="SolverLanguage File" | ||
213 | priority="normal"> | ||
214 | </content-type> | ||
215 | </extension> | ||
216 | <!-- adding resource factories --> | ||
217 | <extension | ||
218 | point="org.eclipse.emf.ecore.extension_parser"> | ||
219 | <parser | ||
220 | class="org.eclipse.viatra.solver.language.ui.SolverLanguageExecutableExtensionFactory:org.eclipse.xtext.resource.IResourceFactory" | ||
221 | type="vsc"> | ||
222 | </parser> | ||
223 | </extension> | ||
224 | <extension point="org.eclipse.xtext.extension_resourceServiceProvider"> | ||
225 | <resourceServiceProvider | ||
226 | class="org.eclipse.viatra.solver.language.ui.SolverLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.resource.IResourceUIServiceProvider" | ||
227 | uriExtension="vsc"> | ||
228 | </resourceServiceProvider> | ||
229 | </extension> | ||
230 | <!-- marker definitions for org.eclipse.viatra.solver.language.SolverLanguage --> | ||
231 | <extension | ||
232 | id="solverlanguage.check.fast" | ||
233 | name="SolverLanguage Problem" | ||
234 | point="org.eclipse.core.resources.markers"> | ||
235 | <super type="org.eclipse.xtext.ui.check.fast"/> | ||
236 | <persistent value="true"/> | ||
237 | </extension> | ||
238 | <extension | ||
239 | id="solverlanguage.check.normal" | ||
240 | name="SolverLanguage Problem" | ||
241 | point="org.eclipse.core.resources.markers"> | ||
242 | <super type="org.eclipse.xtext.ui.check.normal"/> | ||
243 | <persistent value="true"/> | ||
244 | </extension> | ||
245 | <extension | ||
246 | id="solverlanguage.check.expensive" | ||
247 | name="SolverLanguage Problem" | ||
248 | point="org.eclipse.core.resources.markers"> | ||
249 | <super type="org.eclipse.xtext.ui.check.expensive"/> | ||
250 | <persistent value="true"/> | ||
251 | </extension> | ||
252 | <extension point="org.eclipse.ui.preferencePages"> | ||
253 | <page | ||
254 | category="org.eclipse.viatra.solver.language.SolverLanguage" | ||
255 | class="org.eclipse.viatra.solver.language.ui.SolverLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.validation.ValidatorPreferencePage" | ||
256 | id="org.eclipse.viatra.solver.language.SolverLanguage.validator.preferencePage" | ||
257 | name="Errors/Warnings"> | ||
258 | <keywordReference id="org.eclipse.viatra.solver.language.ui.keyword_SolverLanguage"/> | ||
259 | </page> | ||
260 | </extension> | ||
261 | <extension point="org.eclipse.xtext.builder.participant"> | ||
262 | <participant | ||
263 | class="org.eclipse.viatra.solver.language.ui.SolverLanguageExecutableExtensionFactory:org.eclipse.xtext.builder.IXtextBuilderParticipant" | ||
264 | fileExtensions="vsc"/> | ||
265 | </extension> | ||
266 | <extension point="org.eclipse.ui.preferencePages"> | ||
267 | <page | ||
268 | category="org.eclipse.viatra.solver.language.SolverLanguage" | ||
269 | class="org.eclipse.viatra.solver.language.ui.SolverLanguageExecutableExtensionFactory:org.eclipse.xtext.builder.preferences.BuilderPreferencePage" | ||
270 | id="org.eclipse.viatra.solver.language.SolverLanguage.compiler.preferencePage" | ||
271 | name="Compiler"> | ||
272 | <keywordReference id="org.eclipse.viatra.solver.language.ui.keyword_SolverLanguage"/> | ||
273 | </page> | ||
274 | </extension> | ||
275 | <extension point="org.eclipse.ui.propertyPages"> | ||
276 | <page | ||
277 | category="org.eclipse.viatra.solver.language.SolverLanguage" | ||
278 | class="org.eclipse.viatra.solver.language.ui.SolverLanguageExecutableExtensionFactory:org.eclipse.xtext.builder.preferences.BuilderPreferencePage" | ||
279 | id="org.eclipse.viatra.solver.language.SolverLanguage.compiler.propertyPage" | ||
280 | name="Compiler"> | ||
281 | <keywordReference id="org.eclipse.viatra.solver.language.ui.keyword_SolverLanguage"/> | ||
282 | <enabledWhen> | ||
283 | <adapt type="org.eclipse.core.resources.IProject"/> | ||
284 | </enabledWhen> | ||
285 | <filter name="projectNature" value="org.eclipse.xtext.ui.shared.xtextNature"/> | ||
286 | </page> | ||
287 | </extension> | ||
288 | <extension point="org.eclipse.ui.menus"> | ||
289 | <menuContribution locationURI="popup:#TextEditorContext?after=xtext.ui.openDeclaration"> | ||
290 | <command | ||
291 | commandId="org.eclipse.xtext.ui.OpenGeneratedFileCommand" | ||
292 | id="org.eclipse.viatra.solver.language.SolverLanguage.OpenGeneratedCode" | ||
293 | style="push"> | ||
294 | <visibleWhen checkEnabled="false"> | ||
295 | <reference definitionId="org.eclipse.viatra.solver.language.SolverLanguage.Editor.opened" /> | ||
296 | </visibleWhen> | ||
297 | </command> | ||
298 | </menuContribution> | ||
299 | </extension> | ||
300 | <extension point="org.eclipse.ui.handlers"> | ||
301 | <handler | ||
302 | class="org.eclipse.viatra.solver.language.ui.SolverLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.generator.trace.OpenGeneratedFileHandler" | ||
303 | commandId="org.eclipse.xtext.ui.OpenGeneratedFileCommand"> | ||
304 | <activeWhen> | ||
305 | <reference definitionId="org.eclipse.viatra.solver.language.SolverLanguage.Editor.opened" /> | ||
306 | </activeWhen> | ||
307 | </handler> | ||
308 | </extension> | ||
309 | <!-- Quick Outline --> | ||
310 | <extension | ||
311 | point="org.eclipse.ui.handlers"> | ||
312 | <handler | ||
313 | class="org.eclipse.viatra.solver.language.ui.SolverLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.editor.outline.quickoutline.ShowQuickOutlineActionHandler" | ||
314 | commandId="org.eclipse.xtext.ui.editor.outline.QuickOutline"> | ||
315 | <activeWhen> | ||
316 | <reference | ||
317 | definitionId="org.eclipse.viatra.solver.language.SolverLanguage.Editor.opened"> | ||
318 | </reference> | ||
319 | </activeWhen> | ||
320 | </handler> | ||
321 | </extension> | ||
322 | <extension | ||
323 | point="org.eclipse.ui.commands"> | ||
324 | <command | ||
325 | description="Open the quick outline." | ||
326 | id="org.eclipse.xtext.ui.editor.outline.QuickOutline" | ||
327 | name="Quick Outline"> | ||
328 | </command> | ||
329 | </extension> | ||
330 | <extension point="org.eclipse.ui.menus"> | ||
331 | <menuContribution | ||
332 | locationURI="popup:#TextEditorContext?after=group.open"> | ||
333 | <command commandId="org.eclipse.xtext.ui.editor.outline.QuickOutline" | ||
334 | style="push" | ||
335 | tooltip="Open Quick Outline"> | ||
336 | <visibleWhen checkEnabled="false"> | ||
337 | <reference definitionId="org.eclipse.viatra.solver.language.SolverLanguage.Editor.opened"/> | ||
338 | </visibleWhen> | ||
339 | </command> | ||
340 | </menuContribution> | ||
341 | </extension> | ||
342 | <!-- quickfix marker resolution generator for org.eclipse.viatra.solver.language.SolverLanguage --> | ||
343 | <extension | ||
344 | point="org.eclipse.ui.ide.markerResolution"> | ||
345 | <markerResolutionGenerator | ||
346 | class="org.eclipse.viatra.solver.language.ui.SolverLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.editor.quickfix.MarkerResolutionGenerator" | ||
347 | markerType="org.eclipse.viatra.solver.language.ui.solverlanguage.check.fast"> | ||
348 | <attribute | ||
349 | name="FIXABLE_KEY" | ||
350 | value="true"> | ||
351 | </attribute> | ||
352 | </markerResolutionGenerator> | ||
353 | <markerResolutionGenerator | ||
354 | class="org.eclipse.viatra.solver.language.ui.SolverLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.editor.quickfix.MarkerResolutionGenerator" | ||
355 | markerType="org.eclipse.viatra.solver.language.ui.solverlanguage.check.normal"> | ||
356 | <attribute | ||
357 | name="FIXABLE_KEY" | ||
358 | value="true"> | ||
359 | </attribute> | ||
360 | </markerResolutionGenerator> | ||
361 | <markerResolutionGenerator | ||
362 | class="org.eclipse.viatra.solver.language.ui.SolverLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.editor.quickfix.MarkerResolutionGenerator" | ||
363 | markerType="org.eclipse.viatra.solver.language.ui.solverlanguage.check.expensive"> | ||
364 | <attribute | ||
365 | name="FIXABLE_KEY" | ||
366 | value="true"> | ||
367 | </attribute> | ||
368 | </markerResolutionGenerator> | ||
369 | </extension> | ||
370 | <!-- Rename Refactoring --> | ||
371 | <extension point="org.eclipse.ui.handlers"> | ||
372 | <handler | ||
373 | class="org.eclipse.viatra.solver.language.ui.SolverLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.refactoring.ui.DefaultRenameElementHandler" | ||
374 | commandId="org.eclipse.xtext.ui.refactoring.RenameElement"> | ||
375 | <activeWhen> | ||
376 | <reference | ||
377 | definitionId="org.eclipse.viatra.solver.language.SolverLanguage.Editor.opened"> | ||
378 | </reference> | ||
379 | </activeWhen> | ||
380 | </handler> | ||
381 | </extension> | ||
382 | <extension point="org.eclipse.ui.menus"> | ||
383 | <menuContribution | ||
384 | locationURI="popup:#TextEditorContext?after=group.edit"> | ||
385 | <command commandId="org.eclipse.xtext.ui.refactoring.RenameElement" | ||
386 | style="push"> | ||
387 | <visibleWhen checkEnabled="false"> | ||
388 | <reference | ||
389 | definitionId="org.eclipse.viatra.solver.language.SolverLanguage.Editor.opened"> | ||
390 | </reference> | ||
391 | </visibleWhen> | ||
392 | </command> | ||
393 | </menuContribution> | ||
394 | </extension> | ||
395 | <extension point="org.eclipse.ui.preferencePages"> | ||
396 | <page | ||
397 | category="org.eclipse.viatra.solver.language.SolverLanguage" | ||
398 | class="org.eclipse.viatra.solver.language.ui.SolverLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.refactoring.ui.RefactoringPreferencePage" | ||
399 | id="org.eclipse.viatra.solver.language.SolverLanguage.refactoring" | ||
400 | name="Refactoring"> | ||
401 | <keywordReference id="org.eclipse.viatra.solver.language.ui.keyword_SolverLanguage"/> | ||
402 | </page> | ||
403 | </extension> | ||
404 | <extension point="org.eclipse.compare.contentViewers"> | ||
405 | <viewer id="org.eclipse.viatra.solver.language.SolverLanguage.compare.contentViewers" | ||
406 | class="org.eclipse.viatra.solver.language.ui.SolverLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.compare.InjectableViewerCreator" | ||
407 | extensions="vsc"> | ||
408 | </viewer> | ||
409 | <contentTypeBinding | ||
410 | contentTypeId="org.eclipse.viatra.solver.language.SolverLanguage.contenttype" | ||
411 | contentViewerId="org.eclipse.viatra.solver.language.SolverLanguage.compare.contentViewers" /> | ||
412 | </extension> | ||
413 | <extension point="org.eclipse.compare.contentMergeViewers"> | ||
414 | <viewer id="org.eclipse.viatra.solver.language.SolverLanguage.compare.contentMergeViewers" | ||
415 | class="org.eclipse.viatra.solver.language.ui.SolverLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.compare.InjectableViewerCreator" | ||
416 | extensions="vsc" label="SolverLanguage Compare"> | ||
417 | </viewer> | ||
418 | <contentTypeBinding | ||
419 | contentTypeId="org.eclipse.viatra.solver.language.SolverLanguage.contenttype" | ||
420 | contentMergeViewerId="org.eclipse.viatra.solver.language.SolverLanguage.compare.contentMergeViewers" /> | ||
421 | </extension> | ||
422 | <extension point="org.eclipse.ui.editors.documentProviders"> | ||
423 | <provider id="org.eclipse.viatra.solver.language.SolverLanguage.editors.documentProviders" | ||
424 | class="org.eclipse.viatra.solver.language.ui.SolverLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.editor.model.XtextDocumentProvider" | ||
425 | extensions="vsc"> | ||
426 | </provider> | ||
427 | </extension> | ||
428 | <extension point="org.eclipse.team.core.fileTypes"> | ||
429 | <fileTypes | ||
430 | extension="vsc" | ||
431 | type="text"> | ||
432 | </fileTypes> | ||
433 | </extension> | ||
434 | </plugin> | ||
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 new file mode 100644 index 00000000..2df9b674 --- /dev/null +++ b/Application/org.eclipse.viatra.solver.language.ui/src-gen/org/eclipse/viatra/solver/language/ui/AbstractSolverLanguageUiModule.java | |||
@@ -0,0 +1,300 @@ | |||
1 | /* | ||
2 | * generated by Xtext 2.21.0 | ||
3 | */ | ||
4 | package org.eclipse.viatra.solver.language.ui; | ||
5 | |||
6 | import com.google.inject.Binder; | ||
7 | import com.google.inject.Provider; | ||
8 | import com.google.inject.name.Names; | ||
9 | import org.eclipse.compare.IViewerCreator; | ||
10 | import org.eclipse.core.resources.IWorkspaceRoot; | ||
11 | import org.eclipse.core.resources.ResourcesPlugin; | ||
12 | import org.eclipse.jface.viewers.ILabelProvider; | ||
13 | import org.eclipse.ui.plugin.AbstractUIPlugin; | ||
14 | import org.eclipse.viatra.solver.language.ide.contentassist.antlr.PartialSolverLanguageContentAssistParser; | ||
15 | import org.eclipse.viatra.solver.language.ide.contentassist.antlr.SolverLanguageParser; | ||
16 | import org.eclipse.viatra.solver.language.ide.contentassist.antlr.lexer.InternalSolverLanguageLexer; | ||
17 | import org.eclipse.viatra.solver.language.ui.contentassist.SolverLanguageProposalProvider; | ||
18 | import org.eclipse.viatra.solver.language.ui.labeling.SolverLanguageDescriptionLabelProvider; | ||
19 | import org.eclipse.viatra.solver.language.ui.labeling.SolverLanguageLabelProvider; | ||
20 | import org.eclipse.viatra.solver.language.ui.outline.SolverLanguageOutlineTreeProvider; | ||
21 | import org.eclipse.viatra.solver.language.ui.quickfix.SolverLanguageQuickfixProvider; | ||
22 | import org.eclipse.viatra.solver.language.validation.SolverLanguageValidatorConfigurationBlock; | ||
23 | import org.eclipse.xtext.builder.BuilderParticipant; | ||
24 | import org.eclipse.xtext.builder.EclipseOutputConfigurationProvider; | ||
25 | import org.eclipse.xtext.builder.IXtextBuilderParticipant; | ||
26 | import org.eclipse.xtext.builder.builderState.IBuilderState; | ||
27 | import org.eclipse.xtext.builder.clustering.CurrentDescriptions; | ||
28 | import org.eclipse.xtext.builder.impl.PersistentDataAwareDirtyResource; | ||
29 | import org.eclipse.xtext.builder.nature.NatureAddingEditorCallback; | ||
30 | import org.eclipse.xtext.builder.preferences.BuilderPreferenceAccess; | ||
31 | import org.eclipse.xtext.generator.IContextualOutputConfigurationProvider; | ||
32 | import org.eclipse.xtext.ide.LexerIdeBindings; | ||
33 | import org.eclipse.xtext.ide.editor.contentassist.CompletionPrefixProvider; | ||
34 | import org.eclipse.xtext.ide.editor.contentassist.IndentationAwareCompletionPrefixProvider; | ||
35 | import org.eclipse.xtext.ide.editor.contentassist.antlr.IContentAssistParser; | ||
36 | import org.eclipse.xtext.ide.editor.contentassist.antlr.internal.Lexer; | ||
37 | import org.eclipse.xtext.ide.editor.partialEditing.IPartialEditingContentAssistParser; | ||
38 | import org.eclipse.xtext.parser.antlr.AntlrTokenDefProvider; | ||
39 | import org.eclipse.xtext.parser.antlr.ITokenDefProvider; | ||
40 | import org.eclipse.xtext.parser.antlr.LexerProvider; | ||
41 | import org.eclipse.xtext.resource.IResourceDescriptions; | ||
42 | import org.eclipse.xtext.resource.containers.IAllContainersState; | ||
43 | import org.eclipse.xtext.resource.impl.ResourceDescriptionsProvider; | ||
44 | import org.eclipse.xtext.service.SingletonBinding; | ||
45 | import org.eclipse.xtext.ui.DefaultUiModule; | ||
46 | import org.eclipse.xtext.ui.UIBindings; | ||
47 | import org.eclipse.xtext.ui.codetemplates.ui.AccessibleCodetemplatesActivator; | ||
48 | import org.eclipse.xtext.ui.codetemplates.ui.partialEditing.IPartialEditingContentAssistContextFactory; | ||
49 | import org.eclipse.xtext.ui.codetemplates.ui.partialEditing.PartialEditingContentAssistContextFactory; | ||
50 | import org.eclipse.xtext.ui.codetemplates.ui.preferences.AdvancedTemplatesPreferencePage; | ||
51 | import org.eclipse.xtext.ui.codetemplates.ui.preferences.TemplatesLanguageConfiguration; | ||
52 | import org.eclipse.xtext.ui.codetemplates.ui.registry.LanguageRegistrar; | ||
53 | import org.eclipse.xtext.ui.codetemplates.ui.registry.LanguageRegistry; | ||
54 | import org.eclipse.xtext.ui.compare.DefaultViewerCreator; | ||
55 | import org.eclipse.xtext.ui.editor.DocumentBasedDirtyResource; | ||
56 | import org.eclipse.xtext.ui.editor.IXtextEditorCallback; | ||
57 | import org.eclipse.xtext.ui.editor.contentassist.ContentAssistContext; | ||
58 | import org.eclipse.xtext.ui.editor.contentassist.FQNPrefixMatcher; | ||
59 | import org.eclipse.xtext.ui.editor.contentassist.IContentProposalProvider; | ||
60 | import org.eclipse.xtext.ui.editor.contentassist.IProposalConflictHelper; | ||
61 | import org.eclipse.xtext.ui.editor.contentassist.PrefixMatcher; | ||
62 | import org.eclipse.xtext.ui.editor.contentassist.antlr.AntlrProposalConflictHelper; | ||
63 | import org.eclipse.xtext.ui.editor.contentassist.antlr.DelegatingContentAssistContextFactory; | ||
64 | import org.eclipse.xtext.ui.editor.outline.IOutlineTreeProvider; | ||
65 | import org.eclipse.xtext.ui.editor.outline.impl.IOutlineTreeStructureProvider; | ||
66 | import org.eclipse.xtext.ui.editor.preferences.IPreferenceStoreInitializer; | ||
67 | import org.eclipse.xtext.ui.editor.quickfix.IssueResolutionProvider; | ||
68 | import org.eclipse.xtext.ui.editor.templates.XtextTemplatePreferencePage; | ||
69 | import org.eclipse.xtext.ui.refactoring.IDependentElementsCalculator; | ||
70 | import org.eclipse.xtext.ui.refactoring.IReferenceUpdater; | ||
71 | import org.eclipse.xtext.ui.refactoring.IRenameRefactoringProvider; | ||
72 | import org.eclipse.xtext.ui.refactoring.IRenameStrategy; | ||
73 | import org.eclipse.xtext.ui.refactoring.impl.DefaultDependentElementsCalculator; | ||
74 | import org.eclipse.xtext.ui.refactoring.impl.DefaultReferenceUpdater; | ||
75 | import org.eclipse.xtext.ui.refactoring.impl.DefaultRenameRefactoringProvider; | ||
76 | import org.eclipse.xtext.ui.refactoring.impl.DefaultRenameStrategy; | ||
77 | import org.eclipse.xtext.ui.refactoring.ui.DefaultRenameSupport; | ||
78 | import org.eclipse.xtext.ui.refactoring.ui.IRenameSupport; | ||
79 | import org.eclipse.xtext.ui.refactoring.ui.RefactoringPreferences; | ||
80 | import org.eclipse.xtext.ui.resource.ResourceServiceDescriptionLabelProvider; | ||
81 | import org.eclipse.xtext.ui.shared.Access; | ||
82 | import org.eclipse.xtext.ui.validation.AbstractValidatorConfigurationBlock; | ||
83 | |||
84 | /** | ||
85 | * Manual modifications go to {@link SolverLanguageUiModule}. | ||
86 | */ | ||
87 | @SuppressWarnings("all") | ||
88 | public abstract class AbstractSolverLanguageUiModule extends DefaultUiModule { | ||
89 | |||
90 | public AbstractSolverLanguageUiModule(AbstractUIPlugin plugin) { | ||
91 | super(plugin); | ||
92 | } | ||
93 | |||
94 | // contributed by org.eclipse.xtext.xtext.generator.ImplicitFragment | ||
95 | public Provider<? extends IAllContainersState> provideIAllContainersState() { | ||
96 | return Access.getJavaProjectsState(); | ||
97 | } | ||
98 | |||
99 | // contributed by org.eclipse.xtext.xtext.generator.parser.antlr.XtextAntlrGeneratorFragment2 | ||
100 | public Class<? extends IProposalConflictHelper> bindIProposalConflictHelper() { | ||
101 | return AntlrProposalConflictHelper.class; | ||
102 | } | ||
103 | |||
104 | // contributed by org.eclipse.xtext.xtext.generator.parser.antlr.XtextAntlrGeneratorFragment2 | ||
105 | public void configureContentAssistLexer(Binder binder) { | ||
106 | binder.bind(Lexer.class) | ||
107 | .annotatedWith(Names.named(LexerIdeBindings.CONTENT_ASSIST)) | ||
108 | .to(InternalSolverLanguageLexer.class); | ||
109 | } | ||
110 | |||
111 | // contributed by org.eclipse.xtext.xtext.generator.parser.antlr.XtextAntlrGeneratorFragment2 | ||
112 | public void configureHighlightingLexer(Binder binder) { | ||
113 | binder.bind(org.eclipse.xtext.parser.antlr.Lexer.class) | ||
114 | .annotatedWith(Names.named(LexerIdeBindings.HIGHLIGHTING)) | ||
115 | .to(org.eclipse.viatra.solver.language.parser.antlr.lexer.InternalSolverLanguageLexer.class); | ||
116 | } | ||
117 | |||
118 | // contributed by org.eclipse.xtext.xtext.generator.parser.antlr.XtextAntlrGeneratorFragment2 | ||
119 | public void configureHighlightingTokenDefProvider(Binder binder) { | ||
120 | binder.bind(ITokenDefProvider.class) | ||
121 | .annotatedWith(Names.named(LexerIdeBindings.HIGHLIGHTING)) | ||
122 | .to(AntlrTokenDefProvider.class); | ||
123 | } | ||
124 | |||
125 | // contributed by org.eclipse.xtext.xtext.generator.parser.antlr.XtextAntlrGeneratorFragment2 | ||
126 | public Class<? extends ContentAssistContext.Factory> bindContentAssistContext$Factory() { | ||
127 | return DelegatingContentAssistContextFactory.class; | ||
128 | } | ||
129 | |||
130 | // contributed by org.eclipse.xtext.xtext.generator.parser.antlr.XtextAntlrGeneratorFragment2 | ||
131 | public Class<? extends IContentAssistParser> bindIContentAssistParser() { | ||
132 | return SolverLanguageParser.class; | ||
133 | } | ||
134 | |||
135 | // contributed by org.eclipse.xtext.xtext.generator.parser.antlr.XtextAntlrGeneratorFragment2 | ||
136 | public void configureContentAssistLexerProvider(Binder binder) { | ||
137 | binder.bind(InternalSolverLanguageLexer.class).toProvider(LexerProvider.create(InternalSolverLanguageLexer.class)); | ||
138 | } | ||
139 | |||
140 | // contributed by org.eclipse.xtext.xtext.generator.parser.antlr.XtextAntlrGeneratorFragment2 | ||
141 | public Class<? extends CompletionPrefixProvider> bindCompletionPrefixProvider() { | ||
142 | return IndentationAwareCompletionPrefixProvider.class; | ||
143 | } | ||
144 | |||
145 | // contributed by org.eclipse.xtext.xtext.generator.validation.ValidatorFragment2 | ||
146 | public Class<? extends AbstractValidatorConfigurationBlock> bindAbstractValidatorConfigurationBlock() { | ||
147 | return SolverLanguageValidatorConfigurationBlock.class; | ||
148 | } | ||
149 | |||
150 | // contributed by org.eclipse.xtext.xtext.generator.exporting.QualifiedNamesFragment2 | ||
151 | public Class<? extends PrefixMatcher> bindPrefixMatcher() { | ||
152 | return FQNPrefixMatcher.class; | ||
153 | } | ||
154 | |||
155 | // contributed by org.eclipse.xtext.xtext.generator.exporting.QualifiedNamesFragment2 | ||
156 | public Class<? extends IDependentElementsCalculator> bindIDependentElementsCalculator() { | ||
157 | return DefaultDependentElementsCalculator.class; | ||
158 | } | ||
159 | |||
160 | // contributed by org.eclipse.xtext.xtext.generator.builder.BuilderIntegrationFragment2 | ||
161 | public void configureIResourceDescriptionsBuilderScope(Binder binder) { | ||
162 | binder.bind(IResourceDescriptions.class).annotatedWith(Names.named(ResourceDescriptionsProvider.NAMED_BUILDER_SCOPE)).to(CurrentDescriptions.ResourceSetAware.class); | ||
163 | } | ||
164 | |||
165 | // contributed by org.eclipse.xtext.xtext.generator.builder.BuilderIntegrationFragment2 | ||
166 | public Class<? extends IXtextEditorCallback> bindIXtextEditorCallback() { | ||
167 | return NatureAddingEditorCallback.class; | ||
168 | } | ||
169 | |||
170 | // contributed by org.eclipse.xtext.xtext.generator.builder.BuilderIntegrationFragment2 | ||
171 | public Class<? extends IContextualOutputConfigurationProvider> bindIContextualOutputConfigurationProvider() { | ||
172 | return EclipseOutputConfigurationProvider.class; | ||
173 | } | ||
174 | |||
175 | // contributed by org.eclipse.xtext.xtext.generator.builder.BuilderIntegrationFragment2 | ||
176 | public void configureIResourceDescriptionsPersisted(Binder binder) { | ||
177 | binder.bind(IResourceDescriptions.class).annotatedWith(Names.named(ResourceDescriptionsProvider.PERSISTED_DESCRIPTIONS)).to(IBuilderState.class); | ||
178 | } | ||
179 | |||
180 | // contributed by org.eclipse.xtext.xtext.generator.builder.BuilderIntegrationFragment2 | ||
181 | public Class<? extends DocumentBasedDirtyResource> bindDocumentBasedDirtyResource() { | ||
182 | return PersistentDataAwareDirtyResource.class; | ||
183 | } | ||
184 | |||
185 | // contributed by org.eclipse.xtext.xtext.generator.generator.GeneratorFragment2 | ||
186 | public Class<? extends IXtextBuilderParticipant> bindIXtextBuilderParticipant() { | ||
187 | return BuilderParticipant.class; | ||
188 | } | ||
189 | |||
190 | // contributed by org.eclipse.xtext.xtext.generator.generator.GeneratorFragment2 | ||
191 | public IWorkspaceRoot bindIWorkspaceRootToInstance() { | ||
192 | return ResourcesPlugin.getWorkspace().getRoot(); | ||
193 | } | ||
194 | |||
195 | // contributed by org.eclipse.xtext.xtext.generator.generator.GeneratorFragment2 | ||
196 | public void configureBuilderPreferenceStoreInitializer(Binder binder) { | ||
197 | binder.bind(IPreferenceStoreInitializer.class) | ||
198 | .annotatedWith(Names.named("builderPreferenceInitializer")) | ||
199 | .to(BuilderPreferenceAccess.Initializer.class); | ||
200 | } | ||
201 | |||
202 | // contributed by org.eclipse.xtext.xtext.generator.ui.labeling.LabelProviderFragment2 | ||
203 | public Class<? extends ILabelProvider> bindILabelProvider() { | ||
204 | return SolverLanguageLabelProvider.class; | ||
205 | } | ||
206 | |||
207 | // contributed by org.eclipse.xtext.xtext.generator.ui.labeling.LabelProviderFragment2 | ||
208 | public void configureResourceUIServiceLabelProvider(Binder binder) { | ||
209 | binder.bind(ILabelProvider.class).annotatedWith(ResourceServiceDescriptionLabelProvider.class).to(SolverLanguageDescriptionLabelProvider.class); | ||
210 | } | ||
211 | |||
212 | // contributed by org.eclipse.xtext.xtext.generator.ui.outline.OutlineTreeProviderFragment2 | ||
213 | public Class<? extends IOutlineTreeProvider> bindIOutlineTreeProvider() { | ||
214 | return SolverLanguageOutlineTreeProvider.class; | ||
215 | } | ||
216 | |||
217 | // contributed by org.eclipse.xtext.xtext.generator.ui.outline.OutlineTreeProviderFragment2 | ||
218 | public Class<? extends IOutlineTreeStructureProvider> bindIOutlineTreeStructureProvider() { | ||
219 | return SolverLanguageOutlineTreeProvider.class; | ||
220 | } | ||
221 | |||
222 | // contributed by org.eclipse.xtext.xtext.generator.ui.quickfix.QuickfixProviderFragment2 | ||
223 | public Class<? extends IssueResolutionProvider> bindIssueResolutionProvider() { | ||
224 | return SolverLanguageQuickfixProvider.class; | ||
225 | } | ||
226 | |||
227 | // contributed by org.eclipse.xtext.xtext.generator.ui.contentAssist.ContentAssistFragment2 | ||
228 | public Class<? extends IContentProposalProvider> bindIContentProposalProvider() { | ||
229 | return SolverLanguageProposalProvider.class; | ||
230 | } | ||
231 | |||
232 | // contributed by org.eclipse.xtext.xtext.generator.ui.refactoring.RefactorElementNameFragment2 | ||
233 | public void configureIPreferenceStoreInitializer(Binder binder) { | ||
234 | binder.bind(IPreferenceStoreInitializer.class) | ||
235 | .annotatedWith(Names.named("RefactoringPreferences")) | ||
236 | .to(RefactoringPreferences.Initializer.class); | ||
237 | } | ||
238 | |||
239 | // contributed by org.eclipse.xtext.xtext.generator.ui.refactoring.RefactorElementNameFragment2 | ||
240 | public Class<? extends IRenameStrategy> bindIRenameStrategy() { | ||
241 | return DefaultRenameStrategy.class; | ||
242 | } | ||
243 | |||
244 | // contributed by org.eclipse.xtext.xtext.generator.ui.refactoring.RefactorElementNameFragment2 | ||
245 | public Class<? extends IReferenceUpdater> bindIReferenceUpdater() { | ||
246 | return DefaultReferenceUpdater.class; | ||
247 | } | ||
248 | |||
249 | // contributed by org.eclipse.xtext.xtext.generator.ui.refactoring.RefactorElementNameFragment2 | ||
250 | public Class<? extends IRenameRefactoringProvider> bindIRenameRefactoringProvider() { | ||
251 | return DefaultRenameRefactoringProvider.class; | ||
252 | } | ||
253 | |||
254 | // contributed by org.eclipse.xtext.xtext.generator.ui.refactoring.RefactorElementNameFragment2 | ||
255 | public Class<? extends IRenameSupport.Factory> bindIRenameSupport$Factory() { | ||
256 | return DefaultRenameSupport.Factory.class; | ||
257 | } | ||
258 | |||
259 | // contributed by org.eclipse.xtext.xtext.generator.ui.templates.CodetemplatesGeneratorFragment2 | ||
260 | public Provider<? extends TemplatesLanguageConfiguration> provideTemplatesLanguageConfiguration() { | ||
261 | return AccessibleCodetemplatesActivator.getTemplatesLanguageConfigurationProvider(); | ||
262 | } | ||
263 | |||
264 | // contributed by org.eclipse.xtext.xtext.generator.ui.templates.CodetemplatesGeneratorFragment2 | ||
265 | public Provider<? extends LanguageRegistry> provideLanguageRegistry() { | ||
266 | return AccessibleCodetemplatesActivator.getLanguageRegistry(); | ||
267 | } | ||
268 | |||
269 | // contributed by org.eclipse.xtext.xtext.generator.ui.templates.CodetemplatesGeneratorFragment2 | ||
270 | @SingletonBinding(eager=true) | ||
271 | public Class<? extends LanguageRegistrar> bindLanguageRegistrar() { | ||
272 | return LanguageRegistrar.class; | ||
273 | } | ||
274 | |||
275 | // contributed by org.eclipse.xtext.xtext.generator.ui.templates.CodetemplatesGeneratorFragment2 | ||
276 | public Class<? extends XtextTemplatePreferencePage> bindXtextTemplatePreferencePage() { | ||
277 | return AdvancedTemplatesPreferencePage.class; | ||
278 | } | ||
279 | |||
280 | // contributed by org.eclipse.xtext.xtext.generator.ui.templates.CodetemplatesGeneratorFragment2 | ||
281 | public Class<? extends IPartialEditingContentAssistParser> bindIPartialEditingContentAssistParser() { | ||
282 | return PartialSolverLanguageContentAssistParser.class; | ||
283 | } | ||
284 | |||
285 | // contributed by org.eclipse.xtext.xtext.generator.ui.templates.CodetemplatesGeneratorFragment2 | ||
286 | public Class<? extends IPartialEditingContentAssistContextFactory> bindIPartialEditingContentAssistContextFactory() { | ||
287 | return PartialEditingContentAssistContextFactory.class; | ||
288 | } | ||
289 | |||
290 | // contributed by org.eclipse.xtext.xtext.generator.ui.compare.CompareFragment2 | ||
291 | public Class<? extends IViewerCreator> bindIViewerCreator() { | ||
292 | return DefaultViewerCreator.class; | ||
293 | } | ||
294 | |||
295 | // contributed by org.eclipse.xtext.xtext.generator.ui.compare.CompareFragment2 | ||
296 | public void configureCompareViewerTitle(Binder binder) { | ||
297 | binder.bind(String.class).annotatedWith(Names.named(UIBindings.COMPARE_VIEWER_TITLE)).toInstance("SolverLanguage Compare"); | ||
298 | } | ||
299 | |||
300 | } | ||
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 new file mode 100644 index 00000000..7d189d28 --- /dev/null +++ b/Application/org.eclipse.viatra.solver.language.ui/src-gen/org/eclipse/viatra/solver/language/ui/SolverLanguageExecutableExtensionFactory.java | |||
@@ -0,0 +1,29 @@ | |||
1 | /* | ||
2 | * generated by Xtext 2.21.0 | ||
3 | */ | ||
4 | package org.eclipse.viatra.solver.language.ui; | ||
5 | |||
6 | import com.google.inject.Injector; | ||
7 | import org.eclipse.core.runtime.Platform; | ||
8 | import org.eclipse.viatra.solver.language.ui.internal.LanguageActivator; | ||
9 | import org.eclipse.xtext.ui.guice.AbstractGuiceAwareExecutableExtensionFactory; | ||
10 | import org.osgi.framework.Bundle; | ||
11 | |||
12 | /** | ||
13 | * This class was generated. Customizations should only happen in a newly | ||
14 | * introduced subclass. | ||
15 | */ | ||
16 | public class SolverLanguageExecutableExtensionFactory extends AbstractGuiceAwareExecutableExtensionFactory { | ||
17 | |||
18 | @Override | ||
19 | protected Bundle getBundle() { | ||
20 | return Platform.getBundle(LanguageActivator.PLUGIN_ID); | ||
21 | } | ||
22 | |||
23 | @Override | ||
24 | protected Injector getInjector() { | ||
25 | LanguageActivator activator = LanguageActivator.getInstance(); | ||
26 | return activator != null ? activator.getInjector(LanguageActivator.ORG_ECLIPSE_VIATRA_SOLVER_LANGUAGE_SOLVERLANGUAGE) : null; | ||
27 | } | ||
28 | |||
29 | } | ||
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 new file mode 100644 index 00000000..cfbb9a5d --- /dev/null +++ b/Application/org.eclipse.viatra.solver.language.ui/src-gen/org/eclipse/viatra/solver/language/ui/contentassist/AbstractSolverLanguageProposalProvider.java | |||
@@ -0,0 +1,595 @@ | |||
1 | /* | ||
2 | * generated by Xtext 2.21.0 | ||
3 | */ | ||
4 | package org.eclipse.viatra.solver.language.ui.contentassist; | ||
5 | |||
6 | import org.eclipse.emf.ecore.EObject; | ||
7 | import org.eclipse.xtext.Assignment; | ||
8 | import org.eclipse.xtext.CrossReference; | ||
9 | import org.eclipse.xtext.RuleCall; | ||
10 | import org.eclipse.xtext.common.ui.contentassist.TerminalsProposalProvider; | ||
11 | import org.eclipse.xtext.ui.editor.contentassist.ContentAssistContext; | ||
12 | import org.eclipse.xtext.ui.editor.contentassist.ICompletionProposalAcceptor; | ||
13 | |||
14 | /** | ||
15 | * Represents a generated, default implementation of superclass {@link TerminalsProposalProvider}. | ||
16 | * Methods are dynamically dispatched on the first parameter, i.e., you can override them | ||
17 | * with a more concrete subtype. | ||
18 | */ | ||
19 | public abstract class AbstractSolverLanguageProposalProvider extends TerminalsProposalProvider { | ||
20 | |||
21 | public void completeProblem_Name(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
22 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | ||
23 | } | ||
24 | public void completeProblem_Imports(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
25 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | ||
26 | } | ||
27 | public void completeProblem_Statements(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
28 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | ||
29 | } | ||
30 | public void completeUriImport_Uri(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
31 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | ||
32 | } | ||
33 | public void completeUriImport_Alias(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
34 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | ||
35 | } | ||
36 | public void completeNamespaceImport_ImportedNamespace(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
37 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | ||
38 | } | ||
39 | public void completeNamespaceImport_Alias(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
40 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | ||
41 | } | ||
42 | public void completeAssertionOrDefinition_Range(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
43 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | ||
44 | } | ||
45 | public void completeAssertionOrDefinition_Body(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
46 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | ||
47 | } | ||
48 | public void completePredicateDefinition_Functional(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
49 | // subclasses may override | ||
50 | } | ||
51 | public void completePredicateDefinition_Error(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
52 | // subclasses may override | ||
53 | } | ||
54 | public void completePredicateDefinition_Head(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
55 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | ||
56 | } | ||
57 | public void completePredicateDefinition_Body(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
58 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | ||
59 | } | ||
60 | public void completeUnnamedErrorPredicateDefintion_ArgumentList(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
61 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | ||
62 | } | ||
63 | public void completeUnnamedErrorPredicateDefintion_Body(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
64 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | ||
65 | } | ||
66 | public void completeDefaultAssertion_Expression(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
67 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | ||
68 | } | ||
69 | public void completeDefaultAssertion_Range(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
70 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | ||
71 | } | ||
72 | public void completeFunctionDefinition_ResultType(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
73 | lookupCrossReference(((CrossReference)assignment.getTerminal()), context, acceptor); | ||
74 | } | ||
75 | public void completeFunctionDefinition_Head(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
76 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | ||
77 | } | ||
78 | public void completeFunctionDefinition_Body(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
79 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | ||
80 | } | ||
81 | public void completeTypeReference_Type(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
82 | lookupCrossReference(((CrossReference)assignment.getTerminal()), context, acceptor); | ||
83 | } | ||
84 | public void completeTypeReference_ForceObjectType(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
85 | // subclasses may override | ||
86 | } | ||
87 | public void completeAttribute_Kind(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
88 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | ||
89 | } | ||
90 | public void completeAttribute_Target(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
91 | lookupCrossReference(((CrossReference)assignment.getTerminal()), context, acceptor); | ||
92 | } | ||
93 | public void completeExternPredicateDeclaration_Functional(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
94 | // subclasses may override | ||
95 | } | ||
96 | public void completeExternPredicateDeclaration_Error(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
97 | // subclasses may override | ||
98 | } | ||
99 | public void completeExternPredicateDeclaration_Name(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
100 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | ||
101 | } | ||
102 | public void completeExternPredicateDeclaration_ArgumentList(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
103 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | ||
104 | } | ||
105 | public void completeExternFunctionDeclaration_ResultType(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
106 | lookupCrossReference(((CrossReference)assignment.getTerminal()), context, acceptor); | ||
107 | } | ||
108 | public void completeExternFunctionDeclaration_Name(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
109 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | ||
110 | } | ||
111 | public void completeExternFunctionDeclaration_ArgumentList(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
112 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | ||
113 | } | ||
114 | public void completeExternAggregationOperatorDeclaration_ResultType(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
115 | lookupCrossReference(((CrossReference)assignment.getTerminal()), context, acceptor); | ||
116 | } | ||
117 | public void completeExternAggregationOperatorDeclaration_Name(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
118 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | ||
119 | } | ||
120 | public void completeExternAggregationOperatorDeclaration_ArgumentType(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
121 | lookupCrossReference(((CrossReference)assignment.getTerminal()), context, acceptor); | ||
122 | } | ||
123 | public void completeExternDatatypeDeclaration_Name(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
124 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | ||
125 | } | ||
126 | public void completeExpression_Body(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
127 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | ||
128 | } | ||
129 | public void completeConditionalExpression_Condition(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
130 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | ||
131 | } | ||
132 | public void completeConditionalExpression_Then(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
133 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | ||
134 | } | ||
135 | public void completeConditionalExpression_Else(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
136 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | ||
137 | } | ||
138 | public void completeLetExpression_Bindings(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
139 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | ||
140 | } | ||
141 | public void completeLetExpression_Body(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
142 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | ||
143 | } | ||
144 | public void completeLetBinding_Type(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
145 | lookupCrossReference(((CrossReference)assignment.getTerminal()), context, acceptor); | ||
146 | } | ||
147 | public void completeLetBinding_Name(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
148 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | ||
149 | } | ||
150 | public void completeLetBinding_Value(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
151 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | ||
152 | } | ||
153 | public void completeDisjunctiveExpression_Children(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
154 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | ||
155 | } | ||
156 | public void completeDisjunctiveExpression_Body(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
157 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | ||
158 | } | ||
159 | public void completeDisjunctiveExpression_Cases(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
160 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | ||
161 | } | ||
162 | public void completeCase_Condition(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
163 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | ||
164 | } | ||
165 | public void completeCase_Body(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
166 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | ||
167 | } | ||
168 | public void completeConjunctiveExpression_Children(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
169 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | ||
170 | } | ||
171 | public void completeComparisonExpression_Op(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
172 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | ||
173 | } | ||
174 | public void completeComparisonExpression_Right(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
175 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | ||
176 | } | ||
177 | public void completeAdditiveExpression_Op(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
178 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | ||
179 | } | ||
180 | public void completeAdditiveExpression_Right(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
181 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | ||
182 | } | ||
183 | public void completeMultiplicativeExpression_Op(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
184 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | ||
185 | } | ||
186 | public void completeMultiplicativeExpression_Right(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
187 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | ||
188 | } | ||
189 | public void completeExponentialExpression_Op(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
190 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | ||
191 | } | ||
192 | public void completeExponentialExpression_Right(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
193 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | ||
194 | } | ||
195 | public void completeCastExpression_TargetType(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
196 | lookupCrossReference(((CrossReference)assignment.getTerminal()), context, acceptor); | ||
197 | } | ||
198 | public void completeUnaryExpression_Op(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
199 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | ||
200 | } | ||
201 | public void completeUnaryExpression_Body(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
202 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | ||
203 | } | ||
204 | public void completeAggregation_Op(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
205 | lookupCrossReference(((CrossReference)assignment.getTerminal()), context, acceptor); | ||
206 | } | ||
207 | public void completeAggregation_Value(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
208 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | ||
209 | } | ||
210 | public void completeAggregation_Condition(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
211 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | ||
212 | } | ||
213 | public void completeCount_Condition(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
214 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | ||
215 | } | ||
216 | public void completeCall_Functor(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
217 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | ||
218 | } | ||
219 | public void completeCall_ArgumentList(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
220 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | ||
221 | } | ||
222 | public void completeArgumentList_Arguments(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
223 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | ||
224 | } | ||
225 | public void completeExpressionArgument_Expression(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
226 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | ||
227 | } | ||
228 | public void completeTypedVariableArgument_TypeReference(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
229 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | ||
230 | } | ||
231 | public void completeTypedVariableArgument_Name(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
232 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | ||
233 | } | ||
234 | public void completeTypedStarArgument_TypeReference(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
235 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | ||
236 | } | ||
237 | public void completeReference_Components(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
238 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | ||
239 | } | ||
240 | public void completePathComponent_Inverse(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
241 | // subclasses may override | ||
242 | } | ||
243 | public void completePathComponent_Symbol(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
244 | lookupCrossReference(((CrossReference)assignment.getTerminal()), context, acceptor); | ||
245 | } | ||
246 | public void completePathComponent_TransitiveClosure(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
247 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | ||
248 | } | ||
249 | public void completePathComponent_ReflexiveTransitiveClosure(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
250 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | ||
251 | } | ||
252 | public void completeInterval_LowerBound(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
253 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | ||
254 | } | ||
255 | public void completeInterval_UpperBound(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
256 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | ||
257 | } | ||
258 | public void completeLogicLiteral_Value(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
259 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | ||
260 | } | ||
261 | public void completeIntLiteral_Value(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
262 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | ||
263 | } | ||
264 | public void completeRealLiteral_Value(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
265 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | ||
266 | } | ||
267 | public void completeStringLiteral_Value(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
268 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | ||
269 | } | ||
270 | public void completeClassDeclaration_Abstract(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
271 | // subclasses may override | ||
272 | } | ||
273 | public void completeClassDeclaration_Root(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
274 | // subclasses may override | ||
275 | } | ||
276 | public void completeClassDeclaration_Name(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
277 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | ||
278 | } | ||
279 | public void completeClassDeclaration_Supertypes(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
280 | lookupCrossReference(((CrossReference)assignment.getTerminal()), context, acceptor); | ||
281 | } | ||
282 | public void completeClassDeclaration_Fields(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
283 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | ||
284 | } | ||
285 | public void completeField_Containment(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
286 | // subclasses may override | ||
287 | } | ||
288 | public void completeField_CrossReference(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
289 | // subclasses may override | ||
290 | } | ||
291 | public void completeField_Type(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
292 | lookupCrossReference(((CrossReference)assignment.getTerminal()), context, acceptor); | ||
293 | } | ||
294 | public void completeField_Multiplicity(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
295 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | ||
296 | } | ||
297 | public void completeField_Name(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
298 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | ||
299 | } | ||
300 | public void completeField_Opposite(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
301 | lookupCrossReference(((CrossReference)assignment.getTerminal()), context, acceptor); | ||
302 | } | ||
303 | public void completeExactMultiplicity_Value(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
304 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | ||
305 | } | ||
306 | public void completeBoundedMultiplicity_LowerBound(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
307 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | ||
308 | } | ||
309 | public void completeBoundedMultiplicity_UpperBound(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
310 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | ||
311 | } | ||
312 | public void completeEnumDeclaration_Name(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
313 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | ||
314 | } | ||
315 | public void completeEnumDeclaration_Literals(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
316 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | ||
317 | } | ||
318 | public void completeEnumLiteral_Name(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
319 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | ||
320 | } | ||
321 | public void completeExactScope_Type(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
322 | lookupCrossReference(((CrossReference)assignment.getTerminal()), context, acceptor); | ||
323 | } | ||
324 | public void completeExactScope_Size(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
325 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | ||
326 | } | ||
327 | public void completeBoundedScope_LowerBound(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
328 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | ||
329 | } | ||
330 | public void completeBoundedScope_Type(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
331 | lookupCrossReference(((CrossReference)assignment.getTerminal()), context, acceptor); | ||
332 | } | ||
333 | public void completeBoundedScope_UpperBound(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
334 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | ||
335 | } | ||
336 | public void completeLowerBoundedScope_LowerBound(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
337 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | ||
338 | } | ||
339 | public void completeLowerBoundedScope_Type(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
340 | lookupCrossReference(((CrossReference)assignment.getTerminal()), context, acceptor); | ||
341 | } | ||
342 | public void completeObjectiveDeclaration_Kind(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
343 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | ||
344 | } | ||
345 | public void completeObjectiveDeclaration_Objective(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
346 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | ||
347 | } | ||
348 | |||
349 | public void complete_Problem(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
350 | // subclasses may override | ||
351 | } | ||
352 | public void complete_Statement(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
353 | // subclasses may override | ||
354 | } | ||
355 | public void complete_Import(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
356 | // subclasses may override | ||
357 | } | ||
358 | public void complete_UriImport(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
359 | // subclasses may override | ||
360 | } | ||
361 | public void complete_NamespaceImport(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
362 | // subclasses may override | ||
363 | } | ||
364 | public void complete_AssertionOrDefinition(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
365 | // subclasses may override | ||
366 | } | ||
367 | public void complete_PredicateDefinition(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
368 | // subclasses may override | ||
369 | } | ||
370 | public void complete_UnnamedErrorPredicateDefintion(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
371 | // subclasses may override | ||
372 | } | ||
373 | public void complete_DefaultAssertion(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
374 | // subclasses may override | ||
375 | } | ||
376 | public void complete_FunctionDefinition(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
377 | // subclasses may override | ||
378 | } | ||
379 | public void complete_TypeReference(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
380 | // subclasses may override | ||
381 | } | ||
382 | public void complete_AttributeKind(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
383 | // subclasses may override | ||
384 | } | ||
385 | public void complete_Attribute(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
386 | // subclasses may override | ||
387 | } | ||
388 | public void complete_ExternDeclaration(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
389 | // subclasses may override | ||
390 | } | ||
391 | public void complete_ExternPredicateDeclaration(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
392 | // subclasses may override | ||
393 | } | ||
394 | public void complete_ExternFunctionDeclaration(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
395 | // subclasses may override | ||
396 | } | ||
397 | public void complete_ExternAggregationOperatorDeclaration(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
398 | // subclasses may override | ||
399 | } | ||
400 | public void complete_ExternDatatypeDeclaration(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
401 | // subclasses may override | ||
402 | } | ||
403 | public void complete_Expression(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
404 | // subclasses may override | ||
405 | } | ||
406 | public void complete_ConditionalExpression(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
407 | // subclasses may override | ||
408 | } | ||
409 | public void complete_LetExpression(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
410 | // subclasses may override | ||
411 | } | ||
412 | public void complete_LetBinding(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
413 | // subclasses may override | ||
414 | } | ||
415 | public void complete_DisjunctiveExpression(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
416 | // subclasses may override | ||
417 | } | ||
418 | public void complete_Case(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
419 | // subclasses may override | ||
420 | } | ||
421 | public void complete_ConjunctiveExpression(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
422 | // subclasses may override | ||
423 | } | ||
424 | public void complete_ComparisonOperator(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
425 | // subclasses may override | ||
426 | } | ||
427 | public void complete_ComparisonExpression(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
428 | // subclasses may override | ||
429 | } | ||
430 | public void complete_AdditiveBinaryOperator(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
431 | // subclasses may override | ||
432 | } | ||
433 | public void complete_AdditiveExpression(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
434 | // subclasses may override | ||
435 | } | ||
436 | public void complete_MultiplicativeBinaryOperator(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
437 | // subclasses may override | ||
438 | } | ||
439 | public void complete_MultiplicativeExpression(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
440 | // subclasses may override | ||
441 | } | ||
442 | public void complete_ExponentialOp(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
443 | // subclasses may override | ||
444 | } | ||
445 | public void complete_ExponentialExpression(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
446 | // subclasses may override | ||
447 | } | ||
448 | public void complete_CastExpression(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
449 | // subclasses may override | ||
450 | } | ||
451 | public void complete_UnaryOperator(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
452 | // subclasses may override | ||
453 | } | ||
454 | public void complete_UnaryExpression(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
455 | // subclasses may override | ||
456 | } | ||
457 | public void complete_BracedAggregateExpression(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
458 | // subclasses may override | ||
459 | } | ||
460 | public void complete_Aggregation(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
461 | // subclasses may override | ||
462 | } | ||
463 | public void complete_Count(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
464 | // subclasses may override | ||
465 | } | ||
466 | public void complete_AtomicExpression(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
467 | // subclasses may override | ||
468 | } | ||
469 | public void complete_Call(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
470 | // subclasses may override | ||
471 | } | ||
472 | public void complete_ArgumentList(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
473 | // subclasses may override | ||
474 | } | ||
475 | public void complete_Argument(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
476 | // subclasses may override | ||
477 | } | ||
478 | public void complete_ExpressionArgument(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
479 | // subclasses may override | ||
480 | } | ||
481 | public void complete_StarArgument(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
482 | // subclasses may override | ||
483 | } | ||
484 | public void complete_TypedVariableArgument(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
485 | // subclasses may override | ||
486 | } | ||
487 | public void complete_TypedStarArgument(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
488 | // subclasses may override | ||
489 | } | ||
490 | public void complete_Reference(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
491 | // subclasses may override | ||
492 | } | ||
493 | public void complete_PathComponent(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
494 | // subclasses may override | ||
495 | } | ||
496 | public void complete_Interval(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
497 | // subclasses may override | ||
498 | } | ||
499 | public void complete_Literal(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
500 | // subclasses may override | ||
501 | } | ||
502 | public void complete_LogicValue(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
503 | // subclasses may override | ||
504 | } | ||
505 | public void complete_LogicLiteral(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
506 | // subclasses may override | ||
507 | } | ||
508 | public void complete_IntLiteral(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
509 | // subclasses may override | ||
510 | } | ||
511 | public void complete_RealLiteral(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
512 | // subclasses may override | ||
513 | } | ||
514 | public void complete_InfinityLiteral(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
515 | // subclasses may override | ||
516 | } | ||
517 | public void complete_EmptyLiteral(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
518 | // subclasses may override | ||
519 | } | ||
520 | public void complete_StringLiteral(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
521 | // subclasses may override | ||
522 | } | ||
523 | public void complete_ClassDeclaration(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
524 | // subclasses may override | ||
525 | } | ||
526 | public void complete_Field(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
527 | // subclasses may override | ||
528 | } | ||
529 | public void complete_Multiplicity(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
530 | // subclasses may override | ||
531 | } | ||
532 | public void complete_UnboundedMultiplicity(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
533 | // subclasses may override | ||
534 | } | ||
535 | public void complete_ExactMultiplicity(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
536 | // subclasses may override | ||
537 | } | ||
538 | public void complete_BoundedMultiplicity(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
539 | // subclasses may override | ||
540 | } | ||
541 | public void complete_EnumDeclaration(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
542 | // subclasses may override | ||
543 | } | ||
544 | public void complete_EnumLiteral(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
545 | // subclasses may override | ||
546 | } | ||
547 | public void complete_ScopeDeclaration(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
548 | // subclasses may override | ||
549 | } | ||
550 | public void complete_ExactScope(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
551 | // subclasses may override | ||
552 | } | ||
553 | public void complete_BoundedScope(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
554 | // subclasses may override | ||
555 | } | ||
556 | public void complete_LowerBoundedScope(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
557 | // subclasses may override | ||
558 | } | ||
559 | public void complete_ObjectiveKind(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
560 | // subclasses may override | ||
561 | } | ||
562 | public void complete_ObjectiveDeclaration(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
563 | // subclasses may override | ||
564 | } | ||
565 | public void complete_UpperMultiplicty(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
566 | // subclasses may override | ||
567 | } | ||
568 | public void complete_Real(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
569 | // subclasses may override | ||
570 | } | ||
571 | public void complete_QualifiedNameSegment(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
572 | // subclasses may override | ||
573 | } | ||
574 | public void complete_QualifiedName(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
575 | // subclasses may override | ||
576 | } | ||
577 | public void complete_STRING(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
578 | // subclasses may override | ||
579 | } | ||
580 | public void complete_QUOTED_ID(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
581 | // subclasses may override | ||
582 | } | ||
583 | public void complete_SL_COMMENT(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
584 | // subclasses may override | ||
585 | } | ||
586 | public void complete_TRANSITIVE_CLOSURE(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
587 | // subclasses may override | ||
588 | } | ||
589 | public void complete_REFLEXIVE_TRANSITIVE_CLOSURE(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
590 | // subclasses may override | ||
591 | } | ||
592 | public void complete_FULL_STOP(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
593 | // subclasses may override | ||
594 | } | ||
595 | } | ||
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 new file mode 100644 index 00000000..22259126 --- /dev/null +++ b/Application/org.eclipse.viatra.solver.language.ui/src-gen/org/eclipse/viatra/solver/language/ui/internal/LanguageActivator.java | |||
@@ -0,0 +1,94 @@ | |||
1 | /* | ||
2 | * generated by Xtext 2.21.0 | ||
3 | */ | ||
4 | package org.eclipse.viatra.solver.language.ui.internal; | ||
5 | |||
6 | import com.google.common.collect.Maps; | ||
7 | import com.google.inject.Guice; | ||
8 | import com.google.inject.Injector; | ||
9 | import java.util.Collections; | ||
10 | import java.util.Map; | ||
11 | import org.apache.log4j.Logger; | ||
12 | import org.eclipse.ui.plugin.AbstractUIPlugin; | ||
13 | import org.eclipse.viatra.solver.language.SolverLanguageRuntimeModule; | ||
14 | import org.eclipse.viatra.solver.language.ui.SolverLanguageUiModule; | ||
15 | import org.eclipse.xtext.ui.shared.SharedStateModule; | ||
16 | import org.eclipse.xtext.util.Modules2; | ||
17 | import org.osgi.framework.BundleContext; | ||
18 | |||
19 | /** | ||
20 | * This class was generated. Customizations should only happen in a newly | ||
21 | * introduced subclass. | ||
22 | */ | ||
23 | public class LanguageActivator extends AbstractUIPlugin { | ||
24 | |||
25 | public static final String PLUGIN_ID = "org.eclipse.viatra.solver.language.ui"; | ||
26 | public static final String ORG_ECLIPSE_VIATRA_SOLVER_LANGUAGE_SOLVERLANGUAGE = "org.eclipse.viatra.solver.language.SolverLanguage"; | ||
27 | |||
28 | private static final Logger logger = Logger.getLogger(LanguageActivator.class); | ||
29 | |||
30 | private static LanguageActivator INSTANCE; | ||
31 | |||
32 | private Map<String, Injector> injectors = Collections.synchronizedMap(Maps.<String, Injector> newHashMapWithExpectedSize(1)); | ||
33 | |||
34 | @Override | ||
35 | public void start(BundleContext context) throws Exception { | ||
36 | super.start(context); | ||
37 | INSTANCE = this; | ||
38 | } | ||
39 | |||
40 | @Override | ||
41 | public void stop(BundleContext context) throws Exception { | ||
42 | injectors.clear(); | ||
43 | INSTANCE = null; | ||
44 | super.stop(context); | ||
45 | } | ||
46 | |||
47 | public static LanguageActivator getInstance() { | ||
48 | return INSTANCE; | ||
49 | } | ||
50 | |||
51 | public Injector getInjector(String language) { | ||
52 | synchronized (injectors) { | ||
53 | Injector injector = injectors.get(language); | ||
54 | if (injector == null) { | ||
55 | injectors.put(language, injector = createInjector(language)); | ||
56 | } | ||
57 | return injector; | ||
58 | } | ||
59 | } | ||
60 | |||
61 | protected Injector createInjector(String language) { | ||
62 | try { | ||
63 | com.google.inject.Module runtimeModule = getRuntimeModule(language); | ||
64 | com.google.inject.Module sharedStateModule = getSharedStateModule(); | ||
65 | com.google.inject.Module uiModule = getUiModule(language); | ||
66 | com.google.inject.Module mergedModule = Modules2.mixin(runtimeModule, sharedStateModule, uiModule); | ||
67 | return Guice.createInjector(mergedModule); | ||
68 | } catch (Exception e) { | ||
69 | logger.error("Failed to create injector for " + language); | ||
70 | logger.error(e.getMessage(), e); | ||
71 | throw new RuntimeException("Failed to create injector for " + language, e); | ||
72 | } | ||
73 | } | ||
74 | |||
75 | protected com.google.inject.Module getRuntimeModule(String grammar) { | ||
76 | if (ORG_ECLIPSE_VIATRA_SOLVER_LANGUAGE_SOLVERLANGUAGE.equals(grammar)) { | ||
77 | return new SolverLanguageRuntimeModule(); | ||
78 | } | ||
79 | throw new IllegalArgumentException(grammar); | ||
80 | } | ||
81 | |||
82 | protected com.google.inject.Module getUiModule(String grammar) { | ||
83 | if (ORG_ECLIPSE_VIATRA_SOLVER_LANGUAGE_SOLVERLANGUAGE.equals(grammar)) { | ||
84 | return new SolverLanguageUiModule(this); | ||
85 | } | ||
86 | throw new IllegalArgumentException(grammar); | ||
87 | } | ||
88 | |||
89 | protected com.google.inject.Module getSharedStateModule() { | ||
90 | return new SharedStateModule(); | ||
91 | } | ||
92 | |||
93 | |||
94 | } | ||
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 new file mode 100644 index 00000000..a603d3d2 --- /dev/null +++ b/Application/org.eclipse.viatra.solver.language.ui/src-gen/org/eclipse/viatra/solver/language/validation/SolverLanguageValidatorConfigurationBlock.java | |||
@@ -0,0 +1,35 @@ | |||
1 | /* | ||
2 | * generated by Xtext 2.21.0 | ||
3 | */ | ||
4 | package org.eclipse.viatra.solver.language.validation; | ||
5 | |||
6 | import org.eclipse.jface.dialogs.IDialogSettings; | ||
7 | import org.eclipse.swt.widgets.Composite; | ||
8 | import org.eclipse.xtext.ui.validation.AbstractValidatorConfigurationBlock; | ||
9 | |||
10 | @SuppressWarnings("restriction") | ||
11 | public class SolverLanguageValidatorConfigurationBlock extends AbstractValidatorConfigurationBlock { | ||
12 | |||
13 | protected static final String SETTINGS_SECTION_NAME = "SolverLanguage"; | ||
14 | |||
15 | @Override | ||
16 | protected void fillSettingsPage(Composite composite, int nColumns, int defaultIndent) { | ||
17 | addComboBox(SolverLanguageConfigurableIssueCodesProvider.DEPRECATED_MODEL_PART, "Deprecated Model Part", composite, defaultIndent); | ||
18 | } | ||
19 | |||
20 | @Override | ||
21 | public void dispose() { | ||
22 | storeSectionExpansionStates(getDialogSettings()); | ||
23 | super.dispose(); | ||
24 | } | ||
25 | |||
26 | @Override | ||
27 | protected IDialogSettings getDialogSettings() { | ||
28 | IDialogSettings dialogSettings = super.getDialogSettings(); | ||
29 | IDialogSettings section = dialogSettings.getSection(SETTINGS_SECTION_NAME); | ||
30 | if (section == null) { | ||
31 | return dialogSettings.addNewSection(SETTINGS_SECTION_NAME); | ||
32 | } | ||
33 | return section; | ||
34 | } | ||
35 | } | ||
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 new file mode 100644 index 00000000..602646aa --- /dev/null +++ b/Application/org.eclipse.viatra.solver.language.ui/src/org/eclipse/viatra/solver/language/ui/SolverLanguageUiModule.xtend | |||
@@ -0,0 +1,20 @@ | |||
1 | /* | ||
2 | * generated by Xtext 2.18.0.M3 | ||
3 | */ | ||
4 | package org.eclipse.viatra.solver.language.ui | ||
5 | |||
6 | import org.eclipse.xtend.lib.annotations.FinalFieldsConstructor | ||
7 | |||
8 | /** | ||
9 | * Use this class to register components to be used within the Eclipse IDE. | ||
10 | */ | ||
11 | @FinalFieldsConstructor | ||
12 | class SolverLanguageUiModule extends AbstractSolverLanguageUiModule { | ||
13 | // def Class<? extends ISemanticHighlightingCalculator> bindISemanticHighlightingCalculator() { | ||
14 | // SolverSemanticHighlightCalculator | ||
15 | // } | ||
16 | // | ||
17 | // def Class<? extends ITextAttributeProvider> bindITextAttributeProvider() { | ||
18 | // SolverSemanticTextAttributeProvider | ||
19 | // } | ||
20 | } | ||
diff --git a/Application/org.eclipse.viatra.solver.language.ui/src/org/eclipse/viatra/solver/language/ui/contentassist/SolverLanguageProposalProvider.xtend b/Application/org.eclipse.viatra.solver.language.ui/src/org/eclipse/viatra/solver/language/ui/contentassist/SolverLanguageProposalProvider.xtend new file mode 100644 index 00000000..9b6ab0fc --- /dev/null +++ b/Application/org.eclipse.viatra.solver.language.ui/src/org/eclipse/viatra/solver/language/ui/contentassist/SolverLanguageProposalProvider.xtend | |||
@@ -0,0 +1,12 @@ | |||
1 | /* | ||
2 | * generated by Xtext 2.18.0.M3 | ||
3 | */ | ||
4 | package org.eclipse.viatra.solver.language.ui.contentassist | ||
5 | |||
6 | |||
7 | /** | ||
8 | * See https://www.eclipse.org/Xtext/documentation/304_ide_concepts.html#content-assist | ||
9 | * on how to customize the content assistant. | ||
10 | */ | ||
11 | class SolverLanguageProposalProvider extends AbstractSolverLanguageProposalProvider { | ||
12 | } | ||
diff --git a/Application/org.eclipse.viatra.solver.language.ui/src/org/eclipse/viatra/solver/language/ui/labeling/SolverLanguageDescriptionLabelProvider.xtend b/Application/org.eclipse.viatra.solver.language.ui/src/org/eclipse/viatra/solver/language/ui/labeling/SolverLanguageDescriptionLabelProvider.xtend new file mode 100644 index 00000000..32f81edc --- /dev/null +++ b/Application/org.eclipse.viatra.solver.language.ui/src/org/eclipse/viatra/solver/language/ui/labeling/SolverLanguageDescriptionLabelProvider.xtend | |||
@@ -0,0 +1,24 @@ | |||
1 | /* | ||
2 | * generated by Xtext 2.18.0.M3 | ||
3 | */ | ||
4 | package org.eclipse.viatra.solver.language.ui.labeling | ||
5 | |||
6 | import org.eclipse.xtext.ui.label.DefaultDescriptionLabelProvider | ||
7 | |||
8 | /** | ||
9 | * Provides labels for IEObjectDescriptions and IResourceDescriptions. | ||
10 | * | ||
11 | * See https://www.eclipse.org/Xtext/documentation/304_ide_concepts.html#label-provider | ||
12 | */ | ||
13 | class SolverLanguageDescriptionLabelProvider extends DefaultDescriptionLabelProvider { | ||
14 | |||
15 | // Labels and icons can be computed like this: | ||
16 | |||
17 | // override text(IEObjectDescription ele) { | ||
18 | // ele.name.toString | ||
19 | // } | ||
20 | // | ||
21 | // override image(IEObjectDescription ele) { | ||
22 | // ele.EClass.name + '.gif' | ||
23 | // } | ||
24 | } | ||
diff --git a/Application/org.eclipse.viatra.solver.language.ui/src/org/eclipse/viatra/solver/language/ui/labeling/SolverLanguageLabelProvider.xtend b/Application/org.eclipse.viatra.solver.language.ui/src/org/eclipse/viatra/solver/language/ui/labeling/SolverLanguageLabelProvider.xtend new file mode 100644 index 00000000..c2d8ac75 --- /dev/null +++ b/Application/org.eclipse.viatra.solver.language.ui/src/org/eclipse/viatra/solver/language/ui/labeling/SolverLanguageLabelProvider.xtend | |||
@@ -0,0 +1,31 @@ | |||
1 | /* | ||
2 | * generated by Xtext 2.18.0.M3 | ||
3 | */ | ||
4 | package org.eclipse.viatra.solver.language.ui.labeling | ||
5 | |||
6 | import com.google.inject.Inject | ||
7 | import org.eclipse.emf.edit.ui.provider.AdapterFactoryLabelProvider | ||
8 | import org.eclipse.xtext.ui.label.DefaultEObjectLabelProvider | ||
9 | |||
10 | /** | ||
11 | * Provides labels for EObjects. | ||
12 | * | ||
13 | * See https://www.eclipse.org/Xtext/documentation/304_ide_concepts.html#label-provider | ||
14 | */ | ||
15 | class SolverLanguageLabelProvider extends DefaultEObjectLabelProvider { | ||
16 | |||
17 | @Inject | ||
18 | new(AdapterFactoryLabelProvider delegate) { | ||
19 | super(delegate); | ||
20 | } | ||
21 | |||
22 | // Labels and icons can be computed like this: | ||
23 | |||
24 | // def text(Greeting ele) { | ||
25 | // 'A greeting to ' + ele.name | ||
26 | // } | ||
27 | // | ||
28 | // def image(Greeting ele) { | ||
29 | // 'Greeting.gif' | ||
30 | // } | ||
31 | } | ||
diff --git a/Application/org.eclipse.viatra.solver.language.ui/src/org/eclipse/viatra/solver/language/ui/outline/SolverLanguageOutlineTreeProvider.xtend b/Application/org.eclipse.viatra.solver.language.ui/src/org/eclipse/viatra/solver/language/ui/outline/SolverLanguageOutlineTreeProvider.xtend new file mode 100644 index 00000000..abd2855c --- /dev/null +++ b/Application/org.eclipse.viatra.solver.language.ui/src/org/eclipse/viatra/solver/language/ui/outline/SolverLanguageOutlineTreeProvider.xtend | |||
@@ -0,0 +1,15 @@ | |||
1 | /* | ||
2 | * generated by Xtext 2.18.0.M3 | ||
3 | */ | ||
4 | package org.eclipse.viatra.solver.language.ui.outline | ||
5 | |||
6 | import org.eclipse.xtext.ui.editor.outline.impl.DefaultOutlineTreeProvider | ||
7 | |||
8 | /** | ||
9 | * Customization of the default outline structure. | ||
10 | * | ||
11 | * See https://www.eclipse.org/Xtext/documentation/310_eclipse_support.html#outline | ||
12 | */ | ||
13 | class SolverLanguageOutlineTreeProvider extends DefaultOutlineTreeProvider { | ||
14 | |||
15 | } | ||
diff --git a/Application/org.eclipse.viatra.solver.language.ui/src/org/eclipse/viatra/solver/language/ui/quickfix/SolverLanguageQuickfixProvider.xtend b/Application/org.eclipse.viatra.solver.language.ui/src/org/eclipse/viatra/solver/language/ui/quickfix/SolverLanguageQuickfixProvider.xtend new file mode 100644 index 00000000..42f81255 --- /dev/null +++ b/Application/org.eclipse.viatra.solver.language.ui/src/org/eclipse/viatra/solver/language/ui/quickfix/SolverLanguageQuickfixProvider.xtend | |||
@@ -0,0 +1,24 @@ | |||
1 | /* | ||
2 | * generated by Xtext 2.18.0.M3 | ||
3 | */ | ||
4 | package org.eclipse.viatra.solver.language.ui.quickfix | ||
5 | |||
6 | import org.eclipse.xtext.ui.editor.quickfix.DefaultQuickfixProvider | ||
7 | |||
8 | /** | ||
9 | * Custom quickfixes. | ||
10 | * | ||
11 | * See https://www.eclipse.org/Xtext/documentation/310_eclipse_support.html#quick-fixes | ||
12 | */ | ||
13 | class SolverLanguageQuickfixProvider extends DefaultQuickfixProvider { | ||
14 | |||
15 | // @Fix(SolverLanguageValidator.INVALID_NAME) | ||
16 | // def capitalizeName(Issue issue, IssueResolutionAcceptor acceptor) { | ||
17 | // acceptor.accept(issue, 'Capitalize name', 'Capitalize the name.', 'upcase.png') [ | ||
18 | // context | | ||
19 | // val xtextDocument = context.xtextDocument | ||
20 | // val firstLetter = xtextDocument.get(issue.offset, 1) | ||
21 | // xtextDocument.replace(issue.offset, 1, firstLetter.toUpperCase) | ||
22 | // ] | ||
23 | // } | ||
24 | } | ||
diff --git a/Application/org.eclipse.viatra.solver.language.ui/src/org/eclipse/viatra/solver/language/ui/syntaxcoloring/SolverSemanticHighlightCalculator.xtend b/Application/org.eclipse.viatra.solver.language.ui/src/org/eclipse/viatra/solver/language/ui/syntaxcoloring/SolverSemanticHighlightCalculator.xtend new file mode 100644 index 00000000..5242a82e --- /dev/null +++ b/Application/org.eclipse.viatra.solver.language.ui/src/org/eclipse/viatra/solver/language/ui/syntaxcoloring/SolverSemanticHighlightCalculator.xtend | |||
@@ -0,0 +1,59 @@ | |||
1 | package org.eclipse.viatra.solver.language.ui.syntaxcoloring | ||
2 | |||
3 | import java.util.Random | ||
4 | import java.util.WeakHashMap | ||
5 | import org.eclipse.viatra.solver.language.solverLanguage.Reference | ||
6 | import org.eclipse.xtext.ide.editor.syntaxcoloring.DefaultSemanticHighlightingCalculator | ||
7 | import org.eclipse.xtext.ide.editor.syntaxcoloring.IHighlightedPositionAcceptor | ||
8 | import org.eclipse.xtext.nodemodel.util.NodeModelUtils | ||
9 | import org.eclipse.xtext.resource.XtextResource | ||
10 | import org.eclipse.xtext.util.CancelIndicator | ||
11 | |||
12 | class SolverSemanticHighlightCalculator extends DefaultSemanticHighlightingCalculator { | ||
13 | public static val SYMBOL_CODE = "SymbolCode::" | ||
14 | |||
15 | val symbolName2ID = new WeakHashMap<String, String> | ||
16 | |||
17 | override provideHighlightingFor(XtextResource resource, IHighlightedPositionAcceptor acceptor, | ||
18 | CancelIndicator cancelIndicator) { | ||
19 | if (resource === null || resource.getParseResult() === null) { | ||
20 | return | ||
21 | } else { | ||
22 | val modelSymbols = resource.allContents.filter(Reference) | ||
23 | while (modelSymbols.hasNext) { | ||
24 | val symbolElement = modelSymbols.next | ||
25 | val node = NodeModelUtils.getNode(symbolElement) | ||
26 | acceptor.addPosition( | ||
27 | node.getOffset(), | ||
28 | node.getLength(), | ||
29 | getSymbolCode(node.text) | ||
30 | ) | ||
31 | } | ||
32 | } | ||
33 | } | ||
34 | |||
35 | def getSymbolCode(String name) { | ||
36 | if (symbolName2ID.containsKey(name)) { | ||
37 | return symbolName2ID.get(name) | ||
38 | } else { | ||
39 | val id = calculateSymbolCode(name) | ||
40 | symbolName2ID.put(name, id) | ||
41 | return id | ||
42 | } | ||
43 | } | ||
44 | |||
45 | def String calculateSymbolCode(String name) { | ||
46 | val Random random = new Random(name.hashCode) | ||
47 | val hue = huePick(random.nextFloat) | ||
48 | val saturation = 0.2 + random.nextFloat * 0.3 | ||
49 | val brightness = random.nextFloat * 0.2 + 0.7f | ||
50 | return '''«SYMBOL_CODE» «hue» «saturation» «brightness»''' | ||
51 | } | ||
52 | |||
53 | private def huePick(float random) { | ||
54 | val pink = 300 | ||
55 | val tolerance = 10 | ||
56 | val degree = random * (360 - 2 * tolerance) | ||
57 | if(degree < pink - tolerance) return degree else return degree + 2 * tolerance | ||
58 | } | ||
59 | } | ||
diff --git a/Application/org.eclipse.viatra.solver.language.ui/src/org/eclipse/viatra/solver/language/ui/syntaxcoloring/SolverSemanticTextAttributeProvider.xtend b/Application/org.eclipse.viatra.solver.language.ui/src/org/eclipse/viatra/solver/language/ui/syntaxcoloring/SolverSemanticTextAttributeProvider.xtend new file mode 100644 index 00000000..ca74a9a2 --- /dev/null +++ b/Application/org.eclipse.viatra.solver.language.ui/src/org/eclipse/viatra/solver/language/ui/syntaxcoloring/SolverSemanticTextAttributeProvider.xtend | |||
@@ -0,0 +1,55 @@ | |||
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.RGB | ||
7 | import org.eclipse.xtext.ui.editor.preferences.IPreferenceStoreAccess | ||
8 | import org.eclipse.xtext.ui.editor.syntaxcoloring.IHighlightingConfiguration | ||
9 | import org.eclipse.xtext.ui.editor.syntaxcoloring.PreferenceStoreAccessor | ||
10 | import org.eclipse.xtext.ui.editor.syntaxcoloring.TextAttributeProvider | ||
11 | import org.eclipse.xtext.ui.editor.utils.EditorUtils | ||
12 | import org.eclipse.xtext.ui.editor.utils.TextStyle | ||
13 | |||
14 | class SolverSemanticTextAttributeProvider extends TextAttributeProvider { | ||
15 | |||
16 | val defaultTextStyle = new TextStyle | ||
17 | val colorID2TextAttribute = new WeakHashMap<String, TextAttribute> | ||
18 | |||
19 | @Inject | ||
20 | new(IHighlightingConfiguration highlightingConfig, IPreferenceStoreAccess preferenceStoreAccess, | ||
21 | PreferenceStoreAccessor prefStoreAccessor) { | ||
22 | super(highlightingConfig, preferenceStoreAccess, prefStoreAccessor) | ||
23 | } | ||
24 | |||
25 | override getAttribute(String id) { | ||
26 | if (isMetamodelElementColorID(id)) { | ||
27 | if (colorID2TextAttribute.containsKey(id)) { | ||
28 | return colorID2TextAttribute.get(id) | ||
29 | } else { | ||
30 | val style = metamodelElementTextStyle(id) | ||
31 | colorID2TextAttribute.put(id, style) | ||
32 | return style | ||
33 | } | ||
34 | } else { | ||
35 | super.getAttribute(id) | ||
36 | } | ||
37 | } | ||
38 | |||
39 | private def isMetamodelElementColorID(String id) { | ||
40 | id.startsWith(SolverSemanticHighlightCalculator.SYMBOL_CODE) | ||
41 | } | ||
42 | |||
43 | private def TextAttribute metamodelElementTextStyle(String id) { | ||
44 | val texts = id.split(' ') | ||
45 | val backgroundColor = new RGB( | ||
46 | Float.parseFloat(texts.get(1)), | ||
47 | Float.parseFloat(texts.get(2)), | ||
48 | Float.parseFloat(texts.get(3)) | ||
49 | ) | ||
50 | return new TextAttribute(EditorUtils.colorFromRGB(defaultTextStyle.color), | ||
51 | EditorUtils.colorFromRGB(backgroundColor), defaultTextStyle.style, | ||
52 | EditorUtils.fontFromFontData(defaultTextStyle.getFontData())); | ||
53 | } | ||
54 | |||
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/.gitignore b/Application/org.eclipse.viatra.solver.language.ui/xtend-gen/org/eclipse/viatra/solver/language/ui/.gitignore new file mode 100644 index 00000000..54297e9d --- /dev/null +++ b/Application/org.eclipse.viatra.solver.language.ui/xtend-gen/org/eclipse/viatra/solver/language/ui/.gitignore | |||
@@ -0,0 +1,3 @@ | |||
1 | /.SolverLanguageUiModule.java._trace | ||
2 | /.SolverLanguageUiModule.xtendbin | ||
3 | /SolverLanguageUiModule.java | ||
diff --git a/Application/org.eclipse.viatra.solver.language.ui/xtend-gen/org/eclipse/viatra/solver/language/ui/contentassist/.gitignore b/Application/org.eclipse.viatra.solver.language.ui/xtend-gen/org/eclipse/viatra/solver/language/ui/contentassist/.gitignore new file mode 100644 index 00000000..7bf487b6 --- /dev/null +++ b/Application/org.eclipse.viatra.solver.language.ui/xtend-gen/org/eclipse/viatra/solver/language/ui/contentassist/.gitignore | |||
@@ -0,0 +1,3 @@ | |||
1 | /.SolverLanguageProposalProvider.java._trace | ||
2 | /.SolverLanguageProposalProvider.xtendbin | ||
3 | /SolverLanguageProposalProvider.java | ||
diff --git a/Application/org.eclipse.viatra.solver.language.ui/xtend-gen/org/eclipse/viatra/solver/language/ui/highlight/.gitignore b/Application/org.eclipse.viatra.solver.language.ui/xtend-gen/org/eclipse/viatra/solver/language/ui/highlight/.gitignore new file mode 100644 index 00000000..682fd167 --- /dev/null +++ b/Application/org.eclipse.viatra.solver.language.ui/xtend-gen/org/eclipse/viatra/solver/language/ui/highlight/.gitignore | |||
@@ -0,0 +1,6 @@ | |||
1 | /.SolverSemanticHighlightCalculator.java._trace | ||
2 | /.SolverSemanticHighlightCalculator.xtendbin | ||
3 | /.SolverSemanticTextAttributeProvider.java._trace | ||
4 | /.SolverSemanticTextAttributeProvider.xtendbin | ||
5 | /SolverSemanticHighlightCalculator.java | ||
6 | /SolverSemanticTextAttributeProvider.java | ||
diff --git a/Application/org.eclipse.viatra.solver.language.ui/xtend-gen/org/eclipse/viatra/solver/language/ui/labeling/.gitignore b/Application/org.eclipse.viatra.solver.language.ui/xtend-gen/org/eclipse/viatra/solver/language/ui/labeling/.gitignore new file mode 100644 index 00000000..4f407d4c --- /dev/null +++ b/Application/org.eclipse.viatra.solver.language.ui/xtend-gen/org/eclipse/viatra/solver/language/ui/labeling/.gitignore | |||
@@ -0,0 +1,6 @@ | |||
1 | /.SolverLanguageDescriptionLabelProvider.java._trace | ||
2 | /.SolverLanguageDescriptionLabelProvider.xtendbin | ||
3 | /.SolverLanguageLabelProvider.java._trace | ||
4 | /.SolverLanguageLabelProvider.xtendbin | ||
5 | /SolverLanguageDescriptionLabelProvider.java | ||
6 | /SolverLanguageLabelProvider.java | ||
diff --git a/Application/org.eclipse.viatra.solver.language.ui/xtend-gen/org/eclipse/viatra/solver/language/ui/outline/.gitignore b/Application/org.eclipse.viatra.solver.language.ui/xtend-gen/org/eclipse/viatra/solver/language/ui/outline/.gitignore new file mode 100644 index 00000000..63ce4740 --- /dev/null +++ b/Application/org.eclipse.viatra.solver.language.ui/xtend-gen/org/eclipse/viatra/solver/language/ui/outline/.gitignore | |||
@@ -0,0 +1,3 @@ | |||
1 | /.SolverLanguageOutlineTreeProvider.java._trace | ||
2 | /.SolverLanguageOutlineTreeProvider.xtendbin | ||
3 | /SolverLanguageOutlineTreeProvider.java | ||
diff --git a/Application/org.eclipse.viatra.solver.language.ui/xtend-gen/org/eclipse/viatra/solver/language/ui/quickfix/.gitignore b/Application/org.eclipse.viatra.solver.language.ui/xtend-gen/org/eclipse/viatra/solver/language/ui/quickfix/.gitignore new file mode 100644 index 00000000..37dbeadb --- /dev/null +++ b/Application/org.eclipse.viatra.solver.language.ui/xtend-gen/org/eclipse/viatra/solver/language/ui/quickfix/.gitignore | |||
@@ -0,0 +1,3 @@ | |||
1 | /.SolverLanguageQuickfixProvider.java._trace | ||
2 | /.SolverLanguageQuickfixProvider.xtendbin | ||
3 | /SolverLanguageQuickfixProvider.java | ||
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..8e8e8c70 --- /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..741776d1 --- /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..73356e7f --- /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 | } | ||