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.MF26
-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/src-gen/org/eclipse/viatra/solver/language/ui/AbstractSolverLanguageUiModule.java293
-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.java300
-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.xtend24
-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/highlight/SolverSemanticHighlightCalculator.xtend58
-rw-r--r--Application/org.eclipse.viatra.solver.language.ui/src/org/eclipse/viatra/solver/language/ui/highlight/SolverSemanticTextAttributeProvider.xtend57
-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/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
27 files changed, 1540 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..95a8bf0f
--- /dev/null
+++ b/Application/org.eclipse.viatra.solver.language.ui/META-INF/MANIFEST.MF
@@ -0,0 +1,26 @@
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.quickfix,
24 org.eclipse.viatra.solver.language.ui.contentassist,
25 org.eclipse.viatra.solver.language.ui.internal
26Bundle-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/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..cff29f76
--- /dev/null
+++ b/Application/org.eclipse.viatra.solver.language.ui/src-gen/org/eclipse/viatra/solver/language/ui/AbstractSolverLanguageUiModule.java
@@ -0,0 +1,293 @@
1/*
2 * generated by Xtext 2.18.0.M3
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.internal.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.antlr.IContentAssistParser;
34import org.eclipse.xtext.ide.editor.contentassist.antlr.internal.Lexer;
35import org.eclipse.xtext.ide.editor.partialEditing.IPartialEditingContentAssistParser;
36import org.eclipse.xtext.parser.antlr.AntlrTokenDefProvider;
37import org.eclipse.xtext.parser.antlr.ITokenDefProvider;
38import org.eclipse.xtext.parser.antlr.LexerProvider;
39import org.eclipse.xtext.resource.IResourceDescriptions;
40import org.eclipse.xtext.resource.containers.IAllContainersState;
41import org.eclipse.xtext.resource.impl.ResourceDescriptionsProvider;
42import org.eclipse.xtext.service.SingletonBinding;
43import org.eclipse.xtext.ui.DefaultUiModule;
44import org.eclipse.xtext.ui.UIBindings;
45import org.eclipse.xtext.ui.codetemplates.ui.AccessibleCodetemplatesActivator;
46import org.eclipse.xtext.ui.codetemplates.ui.partialEditing.IPartialEditingContentAssistContextFactory;
47import org.eclipse.xtext.ui.codetemplates.ui.partialEditing.PartialEditingContentAssistContextFactory;
48import org.eclipse.xtext.ui.codetemplates.ui.preferences.AdvancedTemplatesPreferencePage;
49import org.eclipse.xtext.ui.codetemplates.ui.preferences.TemplatesLanguageConfiguration;
50import org.eclipse.xtext.ui.codetemplates.ui.registry.LanguageRegistrar;
51import org.eclipse.xtext.ui.codetemplates.ui.registry.LanguageRegistry;
52import org.eclipse.xtext.ui.compare.DefaultViewerCreator;
53import org.eclipse.xtext.ui.editor.DocumentBasedDirtyResource;
54import org.eclipse.xtext.ui.editor.IXtextEditorCallback;
55import org.eclipse.xtext.ui.editor.contentassist.ContentAssistContext;
56import org.eclipse.xtext.ui.editor.contentassist.FQNPrefixMatcher;
57import org.eclipse.xtext.ui.editor.contentassist.IContentProposalProvider;
58import org.eclipse.xtext.ui.editor.contentassist.IProposalConflictHelper;
59import org.eclipse.xtext.ui.editor.contentassist.PrefixMatcher;
60import org.eclipse.xtext.ui.editor.contentassist.antlr.AntlrProposalConflictHelper;
61import org.eclipse.xtext.ui.editor.contentassist.antlr.DelegatingContentAssistContextFactory;
62import org.eclipse.xtext.ui.editor.outline.IOutlineTreeProvider;
63import org.eclipse.xtext.ui.editor.outline.impl.IOutlineTreeStructureProvider;
64import org.eclipse.xtext.ui.editor.preferences.IPreferenceStoreInitializer;
65import org.eclipse.xtext.ui.editor.quickfix.IssueResolutionProvider;
66import org.eclipse.xtext.ui.editor.templates.XtextTemplatePreferencePage;
67import org.eclipse.xtext.ui.refactoring.IDependentElementsCalculator;
68import org.eclipse.xtext.ui.refactoring.IReferenceUpdater;
69import org.eclipse.xtext.ui.refactoring.IRenameRefactoringProvider;
70import org.eclipse.xtext.ui.refactoring.IRenameStrategy;
71import org.eclipse.xtext.ui.refactoring.impl.DefaultDependentElementsCalculator;
72import org.eclipse.xtext.ui.refactoring.impl.DefaultReferenceUpdater;
73import org.eclipse.xtext.ui.refactoring.impl.DefaultRenameRefactoringProvider;
74import org.eclipse.xtext.ui.refactoring.impl.DefaultRenameStrategy;
75import org.eclipse.xtext.ui.refactoring.ui.DefaultRenameSupport;
76import org.eclipse.xtext.ui.refactoring.ui.IRenameSupport;
77import org.eclipse.xtext.ui.refactoring.ui.RefactoringPreferences;
78import org.eclipse.xtext.ui.resource.ResourceServiceDescriptionLabelProvider;
79import org.eclipse.xtext.ui.shared.Access;
80import org.eclipse.xtext.ui.validation.AbstractValidatorConfigurationBlock;
81
82/**
83 * Manual modifications go to {@link SolverLanguageUiModule}.
84 */
85@SuppressWarnings("all")
86public abstract class AbstractSolverLanguageUiModule extends DefaultUiModule {
87
88 public AbstractSolverLanguageUiModule(AbstractUIPlugin plugin) {
89 super(plugin);
90 }
91
92 // contributed by org.eclipse.xtext.xtext.generator.ImplicitFragment
93 public Provider<? extends IAllContainersState> provideIAllContainersState() {
94 return Access.getJavaProjectsState();
95 }
96
97 // contributed by org.eclipse.xtext.xtext.generator.parser.antlr.XtextAntlrGeneratorFragment2
98 public Class<? extends IProposalConflictHelper> bindIProposalConflictHelper() {
99 return AntlrProposalConflictHelper.class;
100 }
101
102 // contributed by org.eclipse.xtext.xtext.generator.parser.antlr.XtextAntlrGeneratorFragment2
103 public void configureContentAssistLexer(Binder binder) {
104 binder.bind(Lexer.class)
105 .annotatedWith(Names.named(LexerIdeBindings.CONTENT_ASSIST))
106 .to(InternalSolverLanguageLexer.class);
107 }
108
109 // contributed by org.eclipse.xtext.xtext.generator.parser.antlr.XtextAntlrGeneratorFragment2
110 public void configureHighlightingLexer(Binder binder) {
111 binder.bind(org.eclipse.xtext.parser.antlr.Lexer.class)
112 .annotatedWith(Names.named(LexerIdeBindings.HIGHLIGHTING))
113 .to(org.eclipse.viatra.solver.language.parser.antlr.internal.InternalSolverLanguageLexer.class);
114 }
115
116 // contributed by org.eclipse.xtext.xtext.generator.parser.antlr.XtextAntlrGeneratorFragment2
117 public void configureHighlightingTokenDefProvider(Binder binder) {
118 binder.bind(ITokenDefProvider.class)
119 .annotatedWith(Names.named(LexerIdeBindings.HIGHLIGHTING))
120 .to(AntlrTokenDefProvider.class);
121 }
122
123 // contributed by org.eclipse.xtext.xtext.generator.parser.antlr.XtextAntlrGeneratorFragment2
124 public Class<? extends ContentAssistContext.Factory> bindContentAssistContext$Factory() {
125 return DelegatingContentAssistContextFactory.class;
126 }
127
128 // contributed by org.eclipse.xtext.xtext.generator.parser.antlr.XtextAntlrGeneratorFragment2
129 public Class<? extends IContentAssistParser> bindIContentAssistParser() {
130 return SolverLanguageParser.class;
131 }
132
133 // contributed by org.eclipse.xtext.xtext.generator.parser.antlr.XtextAntlrGeneratorFragment2
134 public void configureContentAssistLexerProvider(Binder binder) {
135 binder.bind(InternalSolverLanguageLexer.class).toProvider(LexerProvider.create(InternalSolverLanguageLexer.class));
136 }
137
138 // contributed by org.eclipse.xtext.xtext.generator.validation.ValidatorFragment2
139 public Class<? extends AbstractValidatorConfigurationBlock> bindAbstractValidatorConfigurationBlock() {
140 return SolverLanguageValidatorConfigurationBlock.class;
141 }
142
143 // contributed by org.eclipse.xtext.xtext.generator.exporting.QualifiedNamesFragment2
144 public Class<? extends PrefixMatcher> bindPrefixMatcher() {
145 return FQNPrefixMatcher.class;
146 }
147
148 // contributed by org.eclipse.xtext.xtext.generator.exporting.QualifiedNamesFragment2
149 public Class<? extends IDependentElementsCalculator> bindIDependentElementsCalculator() {
150 return DefaultDependentElementsCalculator.class;
151 }
152
153 // contributed by org.eclipse.xtext.xtext.generator.builder.BuilderIntegrationFragment2
154 public void configureIResourceDescriptionsBuilderScope(Binder binder) {
155 binder.bind(IResourceDescriptions.class).annotatedWith(Names.named(ResourceDescriptionsProvider.NAMED_BUILDER_SCOPE)).to(CurrentDescriptions.ResourceSetAware.class);
156 }
157
158 // contributed by org.eclipse.xtext.xtext.generator.builder.BuilderIntegrationFragment2
159 public Class<? extends IXtextEditorCallback> bindIXtextEditorCallback() {
160 return NatureAddingEditorCallback.class;
161 }
162
163 // contributed by org.eclipse.xtext.xtext.generator.builder.BuilderIntegrationFragment2
164 public Class<? extends IContextualOutputConfigurationProvider> bindIContextualOutputConfigurationProvider() {
165 return EclipseOutputConfigurationProvider.class;
166 }
167
168 // contributed by org.eclipse.xtext.xtext.generator.builder.BuilderIntegrationFragment2
169 public void configureIResourceDescriptionsPersisted(Binder binder) {
170 binder.bind(IResourceDescriptions.class).annotatedWith(Names.named(ResourceDescriptionsProvider.PERSISTED_DESCRIPTIONS)).to(IBuilderState.class);
171 }
172
173 // contributed by org.eclipse.xtext.xtext.generator.builder.BuilderIntegrationFragment2
174 public Class<? extends DocumentBasedDirtyResource> bindDocumentBasedDirtyResource() {
175 return PersistentDataAwareDirtyResource.class;
176 }
177
178 // contributed by org.eclipse.xtext.xtext.generator.generator.GeneratorFragment2
179 public Class<? extends IXtextBuilderParticipant> bindIXtextBuilderParticipant() {
180 return BuilderParticipant.class;
181 }
182
183 // contributed by org.eclipse.xtext.xtext.generator.generator.GeneratorFragment2
184 public IWorkspaceRoot bindIWorkspaceRootToInstance() {
185 return ResourcesPlugin.getWorkspace().getRoot();
186 }
187
188 // contributed by org.eclipse.xtext.xtext.generator.generator.GeneratorFragment2
189 public void configureBuilderPreferenceStoreInitializer(Binder binder) {
190 binder.bind(IPreferenceStoreInitializer.class)
191 .annotatedWith(Names.named("builderPreferenceInitializer"))
192 .to(BuilderPreferenceAccess.Initializer.class);
193 }
194
195 // contributed by org.eclipse.xtext.xtext.generator.ui.labeling.LabelProviderFragment2
196 public Class<? extends ILabelProvider> bindILabelProvider() {
197 return SolverLanguageLabelProvider.class;
198 }
199
200 // contributed by org.eclipse.xtext.xtext.generator.ui.labeling.LabelProviderFragment2
201 public void configureResourceUIServiceLabelProvider(Binder binder) {
202 binder.bind(ILabelProvider.class).annotatedWith(ResourceServiceDescriptionLabelProvider.class).to(SolverLanguageDescriptionLabelProvider.class);
203 }
204
205 // contributed by org.eclipse.xtext.xtext.generator.ui.outline.OutlineTreeProviderFragment2
206 public Class<? extends IOutlineTreeProvider> bindIOutlineTreeProvider() {
207 return SolverLanguageOutlineTreeProvider.class;
208 }
209
210 // contributed by org.eclipse.xtext.xtext.generator.ui.outline.OutlineTreeProviderFragment2
211 public Class<? extends IOutlineTreeStructureProvider> bindIOutlineTreeStructureProvider() {
212 return SolverLanguageOutlineTreeProvider.class;
213 }
214
215 // contributed by org.eclipse.xtext.xtext.generator.ui.quickfix.QuickfixProviderFragment2
216 public Class<? extends IssueResolutionProvider> bindIssueResolutionProvider() {
217 return SolverLanguageQuickfixProvider.class;
218 }
219
220 // contributed by org.eclipse.xtext.xtext.generator.ui.contentAssist.ContentAssistFragment2
221 public Class<? extends IContentProposalProvider> bindIContentProposalProvider() {
222 return SolverLanguageProposalProvider.class;
223 }
224
225 // contributed by org.eclipse.xtext.xtext.generator.ui.refactoring.RefactorElementNameFragment2
226 public void configureIPreferenceStoreInitializer(Binder binder) {
227 binder.bind(IPreferenceStoreInitializer.class)
228 .annotatedWith(Names.named("RefactoringPreferences"))
229 .to(RefactoringPreferences.Initializer.class);
230 }
231
232 // contributed by org.eclipse.xtext.xtext.generator.ui.refactoring.RefactorElementNameFragment2
233 public Class<? extends IRenameStrategy> bindIRenameStrategy() {
234 return DefaultRenameStrategy.class;
235 }
236
237 // contributed by org.eclipse.xtext.xtext.generator.ui.refactoring.RefactorElementNameFragment2
238 public Class<? extends IReferenceUpdater> bindIReferenceUpdater() {
239 return DefaultReferenceUpdater.class;
240 }
241
242 // contributed by org.eclipse.xtext.xtext.generator.ui.refactoring.RefactorElementNameFragment2
243 public Class<? extends IRenameRefactoringProvider> bindIRenameRefactoringProvider() {
244 return DefaultRenameRefactoringProvider.class;
245 }
246
247 // contributed by org.eclipse.xtext.xtext.generator.ui.refactoring.RefactorElementNameFragment2
248 public Class<? extends IRenameSupport.Factory> bindIRenameSupport$Factory() {
249 return DefaultRenameSupport.Factory.class;
250 }
251
252 // contributed by org.eclipse.xtext.xtext.generator.ui.templates.CodetemplatesGeneratorFragment2
253 public Provider<? extends TemplatesLanguageConfiguration> provideTemplatesLanguageConfiguration() {
254 return AccessibleCodetemplatesActivator.getTemplatesLanguageConfigurationProvider();
255 }
256
257 // contributed by org.eclipse.xtext.xtext.generator.ui.templates.CodetemplatesGeneratorFragment2
258 public Provider<? extends LanguageRegistry> provideLanguageRegistry() {
259 return AccessibleCodetemplatesActivator.getLanguageRegistry();
260 }
261
262 // contributed by org.eclipse.xtext.xtext.generator.ui.templates.CodetemplatesGeneratorFragment2
263 @SingletonBinding(eager=true)
264 public Class<? extends LanguageRegistrar> bindLanguageRegistrar() {
265 return LanguageRegistrar.class;
266 }
267
268 // contributed by org.eclipse.xtext.xtext.generator.ui.templates.CodetemplatesGeneratorFragment2
269 public Class<? extends XtextTemplatePreferencePage> bindXtextTemplatePreferencePage() {
270 return AdvancedTemplatesPreferencePage.class;
271 }
272
273 // contributed by org.eclipse.xtext.xtext.generator.ui.templates.CodetemplatesGeneratorFragment2
274 public Class<? extends IPartialEditingContentAssistParser> bindIPartialEditingContentAssistParser() {
275 return PartialSolverLanguageContentAssistParser.class;
276 }
277
278 // contributed by org.eclipse.xtext.xtext.generator.ui.templates.CodetemplatesGeneratorFragment2
279 public Class<? extends IPartialEditingContentAssistContextFactory> bindIPartialEditingContentAssistContextFactory() {
280 return PartialEditingContentAssistContextFactory.class;
281 }
282
283 // contributed by org.eclipse.xtext.xtext.generator.ui.compare.CompareFragment2
284 public Class<? extends IViewerCreator> bindIViewerCreator() {
285 return DefaultViewerCreator.class;
286 }
287
288 // contributed by org.eclipse.xtext.xtext.generator.ui.compare.CompareFragment2
289 public void configureCompareViewerTitle(Binder binder) {
290 binder.bind(String.class).annotatedWith(Names.named(UIBindings.COMPARE_VIEWER_TITLE)).toInstance("SolverLanguage Compare");
291 }
292
293}
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..b86c5864
--- /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.18.0.M3
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..ce4d4468
--- /dev/null
+++ b/Application/org.eclipse.viatra.solver.language.ui/src-gen/org/eclipse/viatra/solver/language/ui/contentassist/AbstractSolverLanguageProposalProvider.java
@@ -0,0 +1,300 @@
1/*
2 * generated by Xtext 2.18.0.M3
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.RuleCall;
9import org.eclipse.xtext.common.ui.contentassist.TerminalsProposalProvider;
10import org.eclipse.xtext.ui.editor.contentassist.ContentAssistContext;
11import org.eclipse.xtext.ui.editor.contentassist.ICompletionProposalAcceptor;
12
13/**
14 * Represents a generated, default implementation of superclass {@link TerminalsProposalProvider}.
15 * Methods are dynamically dispatched on the first parameter, i.e., you can override them
16 * with a more concrete subtype.
17 */
18public abstract class AbstractSolverLanguageProposalProvider extends TerminalsProposalProvider {
19
20 public void completeProblem_Statements(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
21 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
22 }
23 public void completeBasicInterpretation_Symbol(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
24 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
25 }
26 public void completeBasicInterpretation_Objects(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
27 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
28 }
29 public void completeBasicInterpretation_Value(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
30 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
31 }
32 public void completeModelSymbol_Name(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
33 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
34 }
35 public void completeNamedObject_Name(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
36 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
37 }
38 public void completeUnnamedObject_Name(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
39 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
40 }
41 public void completeBooleanObject_Value(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
42 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
43 }
44 public void completeIntObject_Value(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
45 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
46 }
47 public void completeRealObject_Value(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
48 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
49 }
50 public void completeStringObject_Value(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
51 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
52 }
53 public void completePredicateSymbol_Symbol(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
54 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
55 }
56 public void completePredicateSymbol_Parameters(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
57 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
58 }
59 public void completePredicateSymbol_Bodies(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
60 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
61 }
62 public void completeErrorPredicate_Name(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
63 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
64 }
65 public void completeErrorPredicate_Parameters(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
66 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
67 }
68 public void completeErrorPredicate_Bodies(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
69 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
70 }
71 public void completeParameter_Variable(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
72 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
73 }
74 public void completeParameter_Type(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
75 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
76 }
77 public void completePatternBody_Constraints(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
78 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
79 }
80 public void completeConstraint_Polarity(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
81 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
82 }
83 public void completeConstraint_Symbol(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
84 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
85 }
86 public void completeConstraint_Params(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
87 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
88 }
89 public void completeConstraint_ClosureType(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
90 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
91 }
92 public void completeVariable_Name(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
93 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
94 }
95 public void completeAllInstances_Symbol(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
96 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
97 }
98 public void completeDefaultInterpretation_Interpretation(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
99 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
100 }
101 public void completeClassInterpretation_Abstract(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
102 // subclasses may override
103 }
104 public void completeClassInterpretation_Symbol(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
105 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
106 }
107 public void completeClassInterpretation_Supertypes(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
108 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
109 }
110 public void completeClassInterpretation_Fielt(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
111 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
112 }
113 public void completeEnumInterpretation_Symbol(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
114 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
115 }
116 public void completeEnumInterpretation_Objects(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
117 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
118 }
119 public void completeFieldRelationInterpretation_Containment(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
120 // subclasses may override
121 }
122 public void completeFieldRelationInterpretation_Symbol(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
123 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
124 }
125 public void completeFieldRelationInterpretation_Multiplicity(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
126 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
127 }
128 public void completeFieldRelationInterpretation_Target(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
129 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
130 }
131 public void completeGlobalRelationInterpretation_Containment(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
132 // subclasses may override
133 }
134 public void completeGlobalRelationInterpretation_Symbol(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
135 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
136 }
137 public void completeGlobalRelationInterpretation_SourceMultiplicity(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
138 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
139 }
140 public void completeGlobalRelationInterpretation_Source(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
141 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
142 }
143 public void completeGlobalRelationInterpretation_TargetMultiplicity(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
144 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
145 }
146 public void completeGlobalRelationInterpretation_Target(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
147 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
148 }
149 public void completeMultiplicityDefinition_Lower(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
150 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
151 }
152 public void completeMultiplicityDefinition_Upper(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
153 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
154 }
155 public void completeMultiplicityDefinition_UnlimitedUpper(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
156 // subclasses may override
157 }
158
159 public void complete_Problem(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
160 // subclasses may override
161 }
162 public void complete_Statement(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
163 // subclasses may override
164 }
165 public void complete_STRING(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
166 // subclasses may override
167 }
168 public void complete_REALLiteral(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
169 // subclasses may override
170 }
171 public void complete_INTLiteral(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
172 // subclasses may override
173 }
174 public void complete_BooleanValue(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
175 // subclasses may override
176 }
177 public void complete_TruthValue(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
178 // subclasses may override
179 }
180 public void complete_Interpretation(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
181 // subclasses may override
182 }
183 public void complete_BasicInterpretation(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
184 // subclasses may override
185 }
186 public void complete_Symbol(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
187 // subclasses may override
188 }
189 public void complete_ModelSymbol(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
190 // subclasses may override
191 }
192 public void complete_PartialitySymbol(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
193 // subclasses may override
194 }
195 public void complete_ExistSymbol(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
196 // subclasses may override
197 }
198 public void complete_EqualsSymbol(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
199 // subclasses may override
200 }
201 public void complete_DataSymbol(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
202 // subclasses may override
203 }
204 public void complete_BooleanSymbol(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
205 // subclasses may override
206 }
207 public void complete_IntegerSymbol(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
208 // subclasses may override
209 }
210 public void complete_RealSymbol(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
211 // subclasses may override
212 }
213 public void complete_StringSymbol(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
214 // subclasses may override
215 }
216 public void complete_ComplexObject(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
217 // subclasses may override
218 }
219 public void complete_Object(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
220 // subclasses may override
221 }
222 public void complete_NamedObject(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
223 // subclasses may override
224 }
225 public void complete_UnnamedObject(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
226 // subclasses may override
227 }
228 public void complete_DataObject(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
229 // subclasses may override
230 }
231 public void complete_BooleanObject(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
232 // subclasses may override
233 }
234 public void complete_IntObject(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
235 // subclasses may override
236 }
237 public void complete_RealObject(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
238 // subclasses may override
239 }
240 public void complete_StringObject(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
241 // subclasses may override
242 }
243 public void complete_Predicate(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
244 // subclasses may override
245 }
246 public void complete_PredicateSymbol(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
247 // subclasses may override
248 }
249 public void complete_ErrorPredicate(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
250 // subclasses may override
251 }
252 public void complete_Parameter(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
253 // subclasses may override
254 }
255 public void complete_PatternBody(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
256 // subclasses may override
257 }
258 public void complete_Polarity(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
259 // subclasses may override
260 }
261 public void complete_Constraint(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
262 // subclasses may override
263 }
264 public void complete_ClosureType(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
265 // subclasses may override
266 }
267 public void complete_Literal(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
268 // subclasses may override
269 }
270 public void complete_Variable(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
271 // subclasses may override
272 }
273 public void complete_AllInstances(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
274 // subclasses may override
275 }
276 public void complete_AllObjects(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
277 // subclasses may override
278 }
279 public void complete_DefaultInterpretation(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
280 // subclasses may override
281 }
282 public void complete_CDInterpretation(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
283 // subclasses may override
284 }
285 public void complete_ClassInterpretation(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
286 // subclasses may override
287 }
288 public void complete_EnumInterpretation(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
289 // subclasses may override
290 }
291 public void complete_FieldRelationInterpretation(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
292 // subclasses may override
293 }
294 public void complete_GlobalRelationInterpretation(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
295 // subclasses may override
296 }
297 public void complete_MultiplicityDefinition(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
298 // subclasses may override
299 }
300}
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..327cfff1
--- /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.18.0.M3
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..ad6c3a18
--- /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.18.0.M3
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..1c165a0a
--- /dev/null
+++ b/Application/org.eclipse.viatra.solver.language.ui/src/org/eclipse/viatra/solver/language/ui/SolverLanguageUiModule.xtend
@@ -0,0 +1,24 @@
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
7import org.eclipse.xtext.ide.editor.syntaxcoloring.ISemanticHighlightingCalculator
8import org.eclipse.xtext.ui.editor.syntaxcoloring.ITextAttributeProvider
9import org.eclipse.viatra.solver.language.ui.highlight.SolverSemanticHighlightCalculator
10import org.eclipse.viatra.solver.language.ui.highlight.SolverSemanticTextAttributeProvider
11
12/**
13 * Use this class to register components to be used within the Eclipse IDE.
14 */
15@FinalFieldsConstructor
16class SolverLanguageUiModule extends AbstractSolverLanguageUiModule {
17 def Class<? extends ISemanticHighlightingCalculator> bindISemanticHighlightingCalculator() {
18 SolverSemanticHighlightCalculator
19 }
20
21 def Class<? extends ITextAttributeProvider> bindITextAttributeProvider() {
22 SolverSemanticTextAttributeProvider
23 }
24}
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/highlight/SolverSemanticHighlightCalculator.xtend b/Application/org.eclipse.viatra.solver.language.ui/src/org/eclipse/viatra/solver/language/ui/highlight/SolverSemanticHighlightCalculator.xtend
new file mode 100644
index 00000000..c9ceb36a
--- /dev/null
+++ b/Application/org.eclipse.viatra.solver.language.ui/src/org/eclipse/viatra/solver/language/ui/highlight/SolverSemanticHighlightCalculator.xtend
@@ -0,0 +1,58 @@
1package org.eclipse.viatra.solver.language.ui.highlight
2
3import java.util.Random
4import java.util.WeakHashMap
5import org.eclipse.viatra.solver.language.solverLanguage.ModelSymbol
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 SmybolCode = "SymbolCode"
14
15 val symbolName2ID = new WeakHashMap<String,String>
16
17 override provideHighlightingFor(XtextResource resource, IHighlightedPositionAcceptor acceptor, CancelIndicator cancelIndicator) {
18 if (resource === null || resource.getParseResult() === null) {
19 return
20 } else {
21 val modelSymbols = resource.allContents.filter(ModelSymbol)
22 while(modelSymbols.hasNext) {
23 val symbolElement = modelSymbols.next
24 val node = NodeModelUtils::getNode(symbolElement)
25 acceptor.addPosition(
26 node.getOffset(),
27 node.getLength(),
28 getSymbolCode(symbolElement.name)
29 )
30 }
31 }
32 }
33
34 def getSymbolCode(String name) {
35 if(symbolName2ID.containsKey(name)) {
36 return symbolName2ID.get(name)
37 } else {
38 val id = calculateSymbolCode(name)
39 symbolName2ID.put(name,id)
40 return id
41 }
42 }
43
44 def String calculateSymbolCode(String name) {
45 val Random random = new Random(name.hashCode)
46 val hue = huePick(random.nextFloat)
47 val saturation = 0.1+random.nextFloat*0.2
48 val brightness = random.nextFloat/4+0.7f
49 return '''«SmybolCode» «hue» «saturation» «brightness»'''
50 }
51 private def huePick(float random) {
52 val pink = 300
53 val tolerance = 10
54 val degree = random*(360-2*tolerance)
55 if(degree<pink-tolerance) return degree
56 else return degree+2*tolerance
57 }
58} \ No newline at end of file
diff --git a/Application/org.eclipse.viatra.solver.language.ui/src/org/eclipse/viatra/solver/language/ui/highlight/SolverSemanticTextAttributeProvider.xtend b/Application/org.eclipse.viatra.solver.language.ui/src/org/eclipse/viatra/solver/language/ui/highlight/SolverSemanticTextAttributeProvider.xtend
new file mode 100644
index 00000000..4eed59ce
--- /dev/null
+++ b/Application/org.eclipse.viatra.solver.language.ui/src/org/eclipse/viatra/solver/language/ui/highlight/SolverSemanticTextAttributeProvider.xtend
@@ -0,0 +1,57 @@
1package org.eclipse.viatra.solver.language.ui.highlight
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, PreferenceStoreAccessor prefStoreAccessor) {
21 super(highlightingConfig, preferenceStoreAccess, prefStoreAccessor)
22 }
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::SmybolCode)
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(
51 EditorUtils.colorFromRGB(defaultTextStyle.color),
52 EditorUtils.colorFromRGB(backgroundColor),
53 defaultTextStyle.style,
54 EditorUtils.fontFromFontData(defaultTextStyle.getFontData()));
55 }
56
57} \ No newline at end of file
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/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
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-07-03 12:14:18 +0000