aboutsummaryrefslogtreecommitdiffstats
path: root/Application/org.eclipse.viatra.solver.language.ui
diff options
context:
space:
mode:
Diffstat (limited to 'Application/org.eclipse.viatra.solver.language.ui')
-rw-r--r--Application/org.eclipse.viatra.solver.language.ui/.classpath9
-rw-r--r--Application/org.eclipse.viatra.solver.language.ui/.gitignore1
-rw-r--r--Application/org.eclipse.viatra.solver.language.ui/.project34
-rw-r--r--Application/org.eclipse.viatra.solver.language.ui/.settings/org.eclipse.core.resources.prefs2
-rw-r--r--Application/org.eclipse.viatra.solver.language.ui/.settings/org.eclipse.jdt.core.prefs7
-rw-r--r--Application/org.eclipse.viatra.solver.language.ui/META-INF/MANIFEST.MF27
-rw-r--r--Application/org.eclipse.viatra.solver.language.ui/build.properties7
-rw-r--r--Application/org.eclipse.viatra.solver.language.ui/plugin.xml434
-rw-r--r--Application/org.eclipse.viatra.solver.language.ui/plugin.xml_gen434
-rw-r--r--Application/org.eclipse.viatra.solver.language.ui/src-gen/org/eclipse/viatra/solver/language/ui/AbstractSolverLanguageUiModule.java300
-rw-r--r--Application/org.eclipse.viatra.solver.language.ui/src-gen/org/eclipse/viatra/solver/language/ui/SolverLanguageExecutableExtensionFactory.java29
-rw-r--r--Application/org.eclipse.viatra.solver.language.ui/src-gen/org/eclipse/viatra/solver/language/ui/contentassist/AbstractSolverLanguageProposalProvider.java595
-rw-r--r--Application/org.eclipse.viatra.solver.language.ui/src-gen/org/eclipse/viatra/solver/language/ui/internal/LanguageActivator.java94
-rw-r--r--Application/org.eclipse.viatra.solver.language.ui/src-gen/org/eclipse/viatra/solver/language/validation/SolverLanguageValidatorConfigurationBlock.java35
-rw-r--r--Application/org.eclipse.viatra.solver.language.ui/src/org/eclipse/viatra/solver/language/ui/SolverLanguageUiModule.xtend20
-rw-r--r--Application/org.eclipse.viatra.solver.language.ui/src/org/eclipse/viatra/solver/language/ui/contentassist/SolverLanguageProposalProvider.xtend12
-rw-r--r--Application/org.eclipse.viatra.solver.language.ui/src/org/eclipse/viatra/solver/language/ui/labeling/SolverLanguageDescriptionLabelProvider.xtend24
-rw-r--r--Application/org.eclipse.viatra.solver.language.ui/src/org/eclipse/viatra/solver/language/ui/labeling/SolverLanguageLabelProvider.xtend31
-rw-r--r--Application/org.eclipse.viatra.solver.language.ui/src/org/eclipse/viatra/solver/language/ui/outline/SolverLanguageOutlineTreeProvider.xtend15
-rw-r--r--Application/org.eclipse.viatra.solver.language.ui/src/org/eclipse/viatra/solver/language/ui/quickfix/SolverLanguageQuickfixProvider.xtend24
-rw-r--r--Application/org.eclipse.viatra.solver.language.ui/src/org/eclipse/viatra/solver/language/ui/syntaxcoloring/SolverSemanticHighlightCalculator.xtend59
-rw-r--r--Application/org.eclipse.viatra.solver.language.ui/src/org/eclipse/viatra/solver/language/ui/syntaxcoloring/SolverSemanticTextAttributeProvider.xtend55
-rw-r--r--Application/org.eclipse.viatra.solver.language.ui/src/org/eclipse/viatra/solver/language/validation/SolverLanguageValidator.xtend25
-rw-r--r--Application/org.eclipse.viatra.solver.language.ui/xtend-gen/org/eclipse/viatra/solver/language/ui/.gitignore3
-rw-r--r--Application/org.eclipse.viatra.solver.language.ui/xtend-gen/org/eclipse/viatra/solver/language/ui/contentassist/.gitignore3
-rw-r--r--Application/org.eclipse.viatra.solver.language.ui/xtend-gen/org/eclipse/viatra/solver/language/ui/highlight/.gitignore6
-rw-r--r--Application/org.eclipse.viatra.solver.language.ui/xtend-gen/org/eclipse/viatra/solver/language/ui/labeling/.gitignore6
-rw-r--r--Application/org.eclipse.viatra.solver.language.ui/xtend-gen/org/eclipse/viatra/solver/language/ui/outline/.gitignore3
-rw-r--r--Application/org.eclipse.viatra.solver.language.ui/xtend-gen/org/eclipse/viatra/solver/language/ui/quickfix/.gitignore3
-rw-r--r--Application/org.eclipse.viatra.solver.language.ui/xtend-gen/org/eclipse/viatra/solver/language/ui/syntaxcoloring/.SolverSemanticHighlightCalculator.xtendbinbin0 -> 5334 bytes
-rw-r--r--Application/org.eclipse.viatra.solver.language.ui/xtend-gen/org/eclipse/viatra/solver/language/ui/syntaxcoloring/.SolverSemanticTextAttributeProvider.xtendbinbin0 -> 4902 bytes
-rw-r--r--Application/org.eclipse.viatra.solver.language.ui/xtend-gen/org/eclipse/viatra/solver/language/ui/syntaxcoloring/.gitignore2
-rw-r--r--Application/org.eclipse.viatra.solver.language.ui/xtend-gen/org/eclipse/viatra/solver/language/ui/syntaxcoloring/SolverSemanticHighlightCalculator.java83
-rw-r--r--Application/org.eclipse.viatra.solver.language.ui/xtend-gen/org/eclipse/viatra/solver/language/ui/syntaxcoloring/SolverSemanticTextAttributeProvider.java63
-rw-r--r--Application/org.eclipse.viatra.solver.language.ui/xtend-gen/org/eclipse/viatra/solver/language/validation/.SolverLanguageValidator.xtendbinbin0 -> 1717 bytes
-rw-r--r--Application/org.eclipse.viatra.solver.language.ui/xtend-gen/org/eclipse/viatra/solver/language/validation/.gitignore1
-rw-r--r--Application/org.eclipse.viatra.solver.language.ui/xtend-gen/org/eclipse/viatra/solver/language/validation/SolverLanguageValidator.java15
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 @@
1eclipse.preferences.version=1
2encoding/<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 @@
1eclipse.preferences.version=1
2org.eclipse.jdt.core.compiler.codegen.inlineJsrBytecode=enabled
3org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.8
4org.eclipse.jdt.core.compiler.compliance=1.8
5org.eclipse.jdt.core.compiler.problem.assertIdentifier=error
6org.eclipse.jdt.core.compiler.problem.enumIdentifier=error
7org.eclipse.jdt.core.compiler.source=1.8
diff --git a/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 @@
1Manifest-Version: 1.0
2Automatic-Module-Name: org.eclipse.viatra.solver.language.ui
3Bundle-ManifestVersion: 2
4Bundle-Name: org.eclipse.viatra.solver.language.ui
5Bundle-Vendor: My Company
6Bundle-Version: 1.0.0.qualifier
7Bundle-SymbolicName: org.eclipse.viatra.solver.language.ui; singleton:=true
8Bundle-ActivationPolicy: lazy
9Require-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
21Import-Package: org.apache.log4j
22Bundle-RequiredExecutionEnvironment: JavaSE-1.8
23Export-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
27Bundle-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 @@
1source.. = src/,\
2 src-gen/,\
3 xtend-gen/
4bin.includes = .,\
5 META-INF/,\
6 plugin.xml
7bin.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 */
4package org.eclipse.viatra.solver.language.ui;
5
6import com.google.inject.Binder;
7import com.google.inject.Provider;
8import com.google.inject.name.Names;
9import org.eclipse.compare.IViewerCreator;
10import org.eclipse.core.resources.IWorkspaceRoot;
11import org.eclipse.core.resources.ResourcesPlugin;
12import org.eclipse.jface.viewers.ILabelProvider;
13import org.eclipse.ui.plugin.AbstractUIPlugin;
14import org.eclipse.viatra.solver.language.ide.contentassist.antlr.PartialSolverLanguageContentAssistParser;
15import org.eclipse.viatra.solver.language.ide.contentassist.antlr.SolverLanguageParser;
16import org.eclipse.viatra.solver.language.ide.contentassist.antlr.lexer.InternalSolverLanguageLexer;
17import org.eclipse.viatra.solver.language.ui.contentassist.SolverLanguageProposalProvider;
18import org.eclipse.viatra.solver.language.ui.labeling.SolverLanguageDescriptionLabelProvider;
19import org.eclipse.viatra.solver.language.ui.labeling.SolverLanguageLabelProvider;
20import org.eclipse.viatra.solver.language.ui.outline.SolverLanguageOutlineTreeProvider;
21import org.eclipse.viatra.solver.language.ui.quickfix.SolverLanguageQuickfixProvider;
22import org.eclipse.viatra.solver.language.validation.SolverLanguageValidatorConfigurationBlock;
23import org.eclipse.xtext.builder.BuilderParticipant;
24import org.eclipse.xtext.builder.EclipseOutputConfigurationProvider;
25import org.eclipse.xtext.builder.IXtextBuilderParticipant;
26import org.eclipse.xtext.builder.builderState.IBuilderState;
27import org.eclipse.xtext.builder.clustering.CurrentDescriptions;
28import org.eclipse.xtext.builder.impl.PersistentDataAwareDirtyResource;
29import org.eclipse.xtext.builder.nature.NatureAddingEditorCallback;
30import org.eclipse.xtext.builder.preferences.BuilderPreferenceAccess;
31import org.eclipse.xtext.generator.IContextualOutputConfigurationProvider;
32import org.eclipse.xtext.ide.LexerIdeBindings;
33import org.eclipse.xtext.ide.editor.contentassist.CompletionPrefixProvider;
34import org.eclipse.xtext.ide.editor.contentassist.IndentationAwareCompletionPrefixProvider;
35import org.eclipse.xtext.ide.editor.contentassist.antlr.IContentAssistParser;
36import org.eclipse.xtext.ide.editor.contentassist.antlr.internal.Lexer;
37import org.eclipse.xtext.ide.editor.partialEditing.IPartialEditingContentAssistParser;
38import org.eclipse.xtext.parser.antlr.AntlrTokenDefProvider;
39import org.eclipse.xtext.parser.antlr.ITokenDefProvider;
40import org.eclipse.xtext.parser.antlr.LexerProvider;
41import org.eclipse.xtext.resource.IResourceDescriptions;
42import org.eclipse.xtext.resource.containers.IAllContainersState;
43import org.eclipse.xtext.resource.impl.ResourceDescriptionsProvider;
44import org.eclipse.xtext.service.SingletonBinding;
45import org.eclipse.xtext.ui.DefaultUiModule;
46import org.eclipse.xtext.ui.UIBindings;
47import org.eclipse.xtext.ui.codetemplates.ui.AccessibleCodetemplatesActivator;
48import org.eclipse.xtext.ui.codetemplates.ui.partialEditing.IPartialEditingContentAssistContextFactory;
49import org.eclipse.xtext.ui.codetemplates.ui.partialEditing.PartialEditingContentAssistContextFactory;
50import org.eclipse.xtext.ui.codetemplates.ui.preferences.AdvancedTemplatesPreferencePage;
51import org.eclipse.xtext.ui.codetemplates.ui.preferences.TemplatesLanguageConfiguration;
52import org.eclipse.xtext.ui.codetemplates.ui.registry.LanguageRegistrar;
53import org.eclipse.xtext.ui.codetemplates.ui.registry.LanguageRegistry;
54import org.eclipse.xtext.ui.compare.DefaultViewerCreator;
55import org.eclipse.xtext.ui.editor.DocumentBasedDirtyResource;
56import org.eclipse.xtext.ui.editor.IXtextEditorCallback;
57import org.eclipse.xtext.ui.editor.contentassist.ContentAssistContext;
58import org.eclipse.xtext.ui.editor.contentassist.FQNPrefixMatcher;
59import org.eclipse.xtext.ui.editor.contentassist.IContentProposalProvider;
60import org.eclipse.xtext.ui.editor.contentassist.IProposalConflictHelper;
61import org.eclipse.xtext.ui.editor.contentassist.PrefixMatcher;
62import org.eclipse.xtext.ui.editor.contentassist.antlr.AntlrProposalConflictHelper;
63import org.eclipse.xtext.ui.editor.contentassist.antlr.DelegatingContentAssistContextFactory;
64import org.eclipse.xtext.ui.editor.outline.IOutlineTreeProvider;
65import org.eclipse.xtext.ui.editor.outline.impl.IOutlineTreeStructureProvider;
66import org.eclipse.xtext.ui.editor.preferences.IPreferenceStoreInitializer;
67import org.eclipse.xtext.ui.editor.quickfix.IssueResolutionProvider;
68import org.eclipse.xtext.ui.editor.templates.XtextTemplatePreferencePage;
69import org.eclipse.xtext.ui.refactoring.IDependentElementsCalculator;
70import org.eclipse.xtext.ui.refactoring.IReferenceUpdater;
71import org.eclipse.xtext.ui.refactoring.IRenameRefactoringProvider;
72import org.eclipse.xtext.ui.refactoring.IRenameStrategy;
73import org.eclipse.xtext.ui.refactoring.impl.DefaultDependentElementsCalculator;
74import org.eclipse.xtext.ui.refactoring.impl.DefaultReferenceUpdater;
75import org.eclipse.xtext.ui.refactoring.impl.DefaultRenameRefactoringProvider;
76import org.eclipse.xtext.ui.refactoring.impl.DefaultRenameStrategy;
77import org.eclipse.xtext.ui.refactoring.ui.DefaultRenameSupport;
78import org.eclipse.xtext.ui.refactoring.ui.IRenameSupport;
79import org.eclipse.xtext.ui.refactoring.ui.RefactoringPreferences;
80import org.eclipse.xtext.ui.resource.ResourceServiceDescriptionLabelProvider;
81import org.eclipse.xtext.ui.shared.Access;
82import org.eclipse.xtext.ui.validation.AbstractValidatorConfigurationBlock;
83
84/**
85 * Manual modifications go to {@link SolverLanguageUiModule}.
86 */
87@SuppressWarnings("all")
88public 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 */
4package org.eclipse.viatra.solver.language.ui;
5
6import com.google.inject.Injector;
7import org.eclipse.core.runtime.Platform;
8import org.eclipse.viatra.solver.language.ui.internal.LanguageActivator;
9import org.eclipse.xtext.ui.guice.AbstractGuiceAwareExecutableExtensionFactory;
10import org.osgi.framework.Bundle;
11
12/**
13 * This class was generated. Customizations should only happen in a newly
14 * introduced subclass.
15 */
16public 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 */
4package org.eclipse.viatra.solver.language.ui.contentassist;
5
6import org.eclipse.emf.ecore.EObject;
7import org.eclipse.xtext.Assignment;
8import org.eclipse.xtext.CrossReference;
9import org.eclipse.xtext.RuleCall;
10import org.eclipse.xtext.common.ui.contentassist.TerminalsProposalProvider;
11import org.eclipse.xtext.ui.editor.contentassist.ContentAssistContext;
12import org.eclipse.xtext.ui.editor.contentassist.ICompletionProposalAcceptor;
13
14/**
15 * Represents a generated, default implementation of superclass {@link TerminalsProposalProvider}.
16 * Methods are dynamically dispatched on the first parameter, i.e., you can override them
17 * with a more concrete subtype.
18 */
19public abstract class 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 */
4package org.eclipse.viatra.solver.language.ui.internal;
5
6import com.google.common.collect.Maps;
7import com.google.inject.Guice;
8import com.google.inject.Injector;
9import java.util.Collections;
10import java.util.Map;
11import org.apache.log4j.Logger;
12import org.eclipse.ui.plugin.AbstractUIPlugin;
13import org.eclipse.viatra.solver.language.SolverLanguageRuntimeModule;
14import org.eclipse.viatra.solver.language.ui.SolverLanguageUiModule;
15import org.eclipse.xtext.ui.shared.SharedStateModule;
16import org.eclipse.xtext.util.Modules2;
17import org.osgi.framework.BundleContext;
18
19/**
20 * This class was generated. Customizations should only happen in a newly
21 * introduced subclass.
22 */
23public 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 */
4package org.eclipse.viatra.solver.language.validation;
5
6import org.eclipse.jface.dialogs.IDialogSettings;
7import org.eclipse.swt.widgets.Composite;
8import org.eclipse.xtext.ui.validation.AbstractValidatorConfigurationBlock;
9
10@SuppressWarnings("restriction")
11public 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 */
4package org.eclipse.viatra.solver.language.ui
5
6import org.eclipse.xtend.lib.annotations.FinalFieldsConstructor
7
8/**
9 * Use this class to register components to be used within the Eclipse IDE.
10 */
11@FinalFieldsConstructor
12class 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 */
4package 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 */
11class 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 */
4package org.eclipse.viatra.solver.language.ui.labeling
5
6import org.eclipse.xtext.ui.label.DefaultDescriptionLabelProvider
7
8/**
9 * Provides labels for IEObjectDescriptions and IResourceDescriptions.
10 *
11 * See https://www.eclipse.org/Xtext/documentation/304_ide_concepts.html#label-provider
12 */
13class 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 */
4package org.eclipse.viatra.solver.language.ui.labeling
5
6import com.google.inject.Inject
7import org.eclipse.emf.edit.ui.provider.AdapterFactoryLabelProvider
8import org.eclipse.xtext.ui.label.DefaultEObjectLabelProvider
9
10/**
11 * Provides labels for EObjects.
12 *
13 * See https://www.eclipse.org/Xtext/documentation/304_ide_concepts.html#label-provider
14 */
15class 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 */
4package org.eclipse.viatra.solver.language.ui.outline
5
6import org.eclipse.xtext.ui.editor.outline.impl.DefaultOutlineTreeProvider
7
8/**
9 * Customization of the default outline structure.
10 *
11 * See https://www.eclipse.org/Xtext/documentation/310_eclipse_support.html#outline
12 */
13class 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 */
4package org.eclipse.viatra.solver.language.ui.quickfix
5
6import org.eclipse.xtext.ui.editor.quickfix.DefaultQuickfixProvider
7
8/**
9 * Custom quickfixes.
10 *
11 * See https://www.eclipse.org/Xtext/documentation/310_eclipse_support.html#quick-fixes
12 */
13class 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 @@
1package org.eclipse.viatra.solver.language.ui.syntaxcoloring
2
3import java.util.Random
4import java.util.WeakHashMap
5import org.eclipse.viatra.solver.language.solverLanguage.Reference
6import org.eclipse.xtext.ide.editor.syntaxcoloring.DefaultSemanticHighlightingCalculator
7import org.eclipse.xtext.ide.editor.syntaxcoloring.IHighlightedPositionAcceptor
8import org.eclipse.xtext.nodemodel.util.NodeModelUtils
9import org.eclipse.xtext.resource.XtextResource
10import org.eclipse.xtext.util.CancelIndicator
11
12class 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 @@
1package org.eclipse.viatra.solver.language.ui.syntaxcoloring
2
3import com.google.inject.Inject
4import java.util.WeakHashMap
5import org.eclipse.jface.text.TextAttribute
6import org.eclipse.swt.graphics.RGB
7import org.eclipse.xtext.ui.editor.preferences.IPreferenceStoreAccess
8import org.eclipse.xtext.ui.editor.syntaxcoloring.IHighlightingConfiguration
9import org.eclipse.xtext.ui.editor.syntaxcoloring.PreferenceStoreAccessor
10import org.eclipse.xtext.ui.editor.syntaxcoloring.TextAttributeProvider
11import org.eclipse.xtext.ui.editor.utils.EditorUtils
12import org.eclipse.xtext.ui.editor.utils.TextStyle
13
14class 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 */
4package 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 */
12class 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 @@
1package org.eclipse.viatra.solver.language.ui.syntaxcoloring;
2
3import com.google.common.collect.Iterators;
4import java.util.Iterator;
5import java.util.Random;
6import java.util.WeakHashMap;
7import org.eclipse.viatra.solver.language.solverLanguage.Reference;
8import org.eclipse.xtend2.lib.StringConcatenation;
9import org.eclipse.xtext.ide.editor.syntaxcoloring.DefaultSemanticHighlightingCalculator;
10import org.eclipse.xtext.ide.editor.syntaxcoloring.IHighlightedPositionAcceptor;
11import org.eclipse.xtext.nodemodel.ICompositeNode;
12import org.eclipse.xtext.nodemodel.util.NodeModelUtils;
13import org.eclipse.xtext.resource.XtextResource;
14import org.eclipse.xtext.util.CancelIndicator;
15
16@SuppressWarnings("all")
17public 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 @@
1package org.eclipse.viatra.solver.language.ui.syntaxcoloring;
2
3import com.google.inject.Inject;
4import java.util.WeakHashMap;
5import org.eclipse.jface.text.TextAttribute;
6import org.eclipse.swt.graphics.Color;
7import org.eclipse.swt.graphics.Font;
8import org.eclipse.swt.graphics.RGB;
9import org.eclipse.viatra.solver.language.ui.syntaxcoloring.SolverSemanticHighlightCalculator;
10import org.eclipse.xtext.ui.editor.preferences.IPreferenceStoreAccess;
11import org.eclipse.xtext.ui.editor.syntaxcoloring.IHighlightingConfiguration;
12import org.eclipse.xtext.ui.editor.syntaxcoloring.PreferenceStoreAccessor;
13import org.eclipse.xtext.ui.editor.syntaxcoloring.TextAttributeProvider;
14import org.eclipse.xtext.ui.editor.utils.EditorUtils;
15import org.eclipse.xtext.ui.editor.utils.TextStyle;
16
17@SuppressWarnings("all")
18public 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 */
4package org.eclipse.viatra.solver.language.validation;
5
6import 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")
14public class SolverLanguageValidator extends AbstractSolverLanguageValidator {
15}
generated by cgit v1.2.3-70-g09d2 (git 2.46.0) at 2024-08-27 04:18:48 +0000