aboutsummaryrefslogtreecommitdiffstats
path: root/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language.ui
diff options
context:
space:
mode:
authorLibravatar OszkarSemerath <oszka@152.66.252.189>2017-06-10 19:05:05 +0200
committerLibravatar OszkarSemerath <oszka@152.66.252.189>2017-06-10 19:05:05 +0200
commit60f01f46ba232ed6416054f0a6115cb2a9b70b4e (patch)
tree5edf8aeb07abc51f3fec63bbd15c926e1de09552 /Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language.ui
parentInitial commit, migrating from SVN (diff)
downloadVIATRA-Generator-60f01f46ba232ed6416054f0a6115cb2a9b70b4e.tar.gz
VIATRA-Generator-60f01f46ba232ed6416054f0a6115cb2a9b70b4e.tar.zst
VIATRA-Generator-60f01f46ba232ed6416054f0a6115cb2a9b70b4e.zip
Migrating Additional projects
Diffstat (limited to 'Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language.ui')
-rw-r--r--Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language.ui/.classpath9
-rw-r--r--Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language.ui/.gitignore4
-rw-r--r--Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language.ui/.project34
-rw-r--r--Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language.ui/.settings/org.eclipse.core.resources.prefs2
-rw-r--r--Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language.ui/.settings/org.eclipse.jdt.core.prefs7
-rw-r--r--Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language.ui/META-INF/MANIFEST.MF27
-rw-r--r--Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language.ui/build.properties6
-rw-r--r--Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language.ui/plugin.xml398
-rw-r--r--Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language.ui/plugin.xml_gen398
-rw-r--r--Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language.ui/src/hu/bme/mit/inf/dslreasoner/ui/SmtLanguageUiModule.java15
-rw-r--r--Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language.ui/src/hu/bme/mit/inf/dslreasoner/ui/contentassist/SmtLanguageProposalProvider.xtend12
-rw-r--r--Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language.ui/src/hu/bme/mit/inf/dslreasoner/ui/labeling/SmtLanguageDescriptionLabelProvider.xtend24
-rw-r--r--Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language.ui/src/hu/bme/mit/inf/dslreasoner/ui/labeling/SmtLanguageLabelProvider.xtend29
-rw-r--r--Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language.ui/src/hu/bme/mit/inf/dslreasoner/ui/outline/SmtLanguageOutlineTreeProvider.xtend13
-rw-r--r--Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language.ui/src/hu/bme/mit/inf/dslreasoner/ui/quickfix/SmtLanguageQuickfixProvider.xtend26
15 files changed, 1004 insertions, 0 deletions
diff --git a/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language.ui/.classpath b/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language.ui/.classpath
new file mode 100644
index 00000000..1287f96c
--- /dev/null
+++ b/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.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/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language.ui/.gitignore b/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language.ui/.gitignore
new file mode 100644
index 00000000..8ae4e44d
--- /dev/null
+++ b/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language.ui/.gitignore
@@ -0,0 +1,4 @@
1/bin/
2/src-gen/
3/vql-gen/
4/xtend-gen/
diff --git a/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language.ui/.project b/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language.ui/.project
new file mode 100644
index 00000000..94d225bf
--- /dev/null
+++ b/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language.ui/.project
@@ -0,0 +1,34 @@
1<?xml version="1.0" encoding="UTF-8"?>
2<projectDescription>
3 <name>hu.bme.mit.inf.dslreasoner.smt.language.ui</name>
4 <comment></comment>
5 <projects>
6 </projects>
7 <buildSpec>
8 <buildCommand>
9 <name>org.eclipse.jdt.core.javabuilder</name>
10 <arguments>
11 </arguments>
12 </buildCommand>
13 <buildCommand>
14 <name>org.eclipse.pde.ManifestBuilder</name>
15 <arguments>
16 </arguments>
17 </buildCommand>
18 <buildCommand>
19 <name>org.eclipse.pde.SchemaBuilder</name>
20 <arguments>
21 </arguments>
22 </buildCommand>
23 <buildCommand>
24 <name>org.eclipse.xtext.ui.shared.xtextBuilder</name>
25 <arguments>
26 </arguments>
27 </buildCommand>
28 </buildSpec>
29 <natures>
30 <nature>org.eclipse.jdt.core.javanature</nature>
31 <nature>org.eclipse.pde.PluginNature</nature>
32 <nature>org.eclipse.xtext.ui.shared.xtextNature</nature>
33 </natures>
34</projectDescription>
diff --git a/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language.ui/.settings/org.eclipse.core.resources.prefs b/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language.ui/.settings/org.eclipse.core.resources.prefs
new file mode 100644
index 00000000..4824b802
--- /dev/null
+++ b/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language.ui/.settings/org.eclipse.core.resources.prefs
@@ -0,0 +1,2 @@
1eclipse.preferences.version=1
2encoding/<project>=UTF-8
diff --git a/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language.ui/.settings/org.eclipse.jdt.core.prefs b/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language.ui/.settings/org.eclipse.jdt.core.prefs
new file mode 100644
index 00000000..295926d9
--- /dev/null
+++ b/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.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/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language.ui/META-INF/MANIFEST.MF b/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language.ui/META-INF/MANIFEST.MF
new file mode 100644
index 00000000..ba28b7ef
--- /dev/null
+++ b/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language.ui/META-INF/MANIFEST.MF
@@ -0,0 +1,27 @@
1Manifest-Version: 1.0
2Bundle-ManifestVersion: 2
3Bundle-Name: hu.bme.mit.inf.dslreasoner.smt.language.ui
4Bundle-Vendor: My Company
5Bundle-Version: 1.0.0.qualifier
6Bundle-SymbolicName: hu.bme.mit.inf.dslreasoner.smt.language.ui; singleton:=true
7Bundle-ActivationPolicy: lazy
8Require-Bundle: hu.bme.mit.inf.dslreasoner.smt.language;visibility:=reexport,
9 org.eclipse.xtext.ui,
10 org.eclipse.ui.editors;bundle-version="3.5.0",
11 org.eclipse.ui.ide;bundle-version="3.5.0",
12 org.eclipse.xtext.ui.shared,
13 org.eclipse.ui,
14 org.eclipse.xtext.builder,
15 org.antlr.runtime,
16 org.eclipse.xtext.common.types.ui,
17 org.eclipse.xtext.ui.codetemplates.ui,
18 org.eclipse.compare,
19 org.eclipse.xtext.xbase.lib
20Import-Package: org.apache.log4j,
21 org.eclipse.xtext.xbase.lib
22Bundle-RequiredExecutionEnvironment: J2SE-1.5
23Export-Package: hu.bme.mit.inf.dslreasoner.ui.quickfix,
24 hu.bme.mit.inf.dslreasoner.ui.contentassist,
25 hu.bme.mit.inf.dslreasoner.ui.contentassist.antlr,
26 hu.bme.mit.inf.dslreasoner.ui.internal
27Bundle-Activator: hu.bme.mit.inf.dslreasoner.ui.internal.SmtLanguageActivator
diff --git a/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language.ui/build.properties b/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language.ui/build.properties
new file mode 100644
index 00000000..31255ed0
--- /dev/null
+++ b/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language.ui/build.properties
@@ -0,0 +1,6 @@
1source.. = src/,\
2 src-gen/,\
3 xtend-gen/
4bin.includes = META-INF/,\
5 .,\
6 plugin.xml \ No newline at end of file
diff --git a/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language.ui/plugin.xml b/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language.ui/plugin.xml
new file mode 100644
index 00000000..2602c957
--- /dev/null
+++ b/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language.ui/plugin.xml
@@ -0,0 +1,398 @@
1<?xml version="1.0" encoding="UTF-8"?>
2<?eclipse version="3.0"?>
3
4<plugin>
5
6 <extension
7 point="org.eclipse.ui.editors">
8 <editor
9 class="hu.bme.mit.inf.dslreasoner.ui.SmtLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.editor.XtextEditor"
10 contributorClass="org.eclipse.ui.editors.text.TextEditorActionContributor"
11 default="true"
12 extensions="smt2"
13 id="hu.bme.mit.inf.dslreasoner.SmtLanguage"
14 name="SmtLanguage Editor">
15 </editor>
16 </extension>
17 <extension
18 point="org.eclipse.ui.handlers">
19 <handler
20 class="hu.bme.mit.inf.dslreasoner.ui.SmtLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.editor.hyperlinking.OpenDeclarationHandler"
21 commandId="org.eclipse.xtext.ui.editor.hyperlinking.OpenDeclaration">
22 <activeWhen>
23 <reference
24 definitionId="hu.bme.mit.inf.dslreasoner.SmtLanguage.Editor.opened">
25 </reference>
26 </activeWhen>
27 </handler>
28 <handler
29 class="hu.bme.mit.inf.dslreasoner.ui.SmtLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.editor.handler.ValidateActionHandler"
30 commandId="hu.bme.mit.inf.dslreasoner.SmtLanguage.validate">
31 <activeWhen>
32 <reference
33 definitionId="hu.bme.mit.inf.dslreasoner.SmtLanguage.Editor.opened">
34 </reference>
35 </activeWhen>
36 </handler>
37 <!-- copy qualified name -->
38 <handler
39 class="hu.bme.mit.inf.dslreasoner.ui.SmtLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.editor.copyqualifiedname.EditorCopyQualifiedNameHandler"
40 commandId="org.eclipse.xtext.ui.editor.copyqualifiedname.EditorCopyQualifiedName">
41 <activeWhen>
42 <reference definitionId="hu.bme.mit.inf.dslreasoner.SmtLanguage.Editor.opened" />
43 </activeWhen>
44 </handler>
45 <handler
46 class="hu.bme.mit.inf.dslreasoner.ui.SmtLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.editor.copyqualifiedname.OutlineCopyQualifiedNameHandler"
47 commandId="org.eclipse.xtext.ui.editor.copyqualifiedname.OutlineCopyQualifiedName">
48 <activeWhen>
49 <and>
50 <reference definitionId="hu.bme.mit.inf.dslreasoner.SmtLanguage.XtextEditor.opened" />
51 <iterate>
52 <adapt type="org.eclipse.xtext.ui.editor.outline.IOutlineNode" />
53 </iterate>
54 </and>
55 </activeWhen>
56 </handler>
57 </extension>
58 <extension point="org.eclipse.core.expressions.definitions">
59 <definition id="hu.bme.mit.inf.dslreasoner.SmtLanguage.Editor.opened">
60 <and>
61 <reference definitionId="isActiveEditorAnInstanceOfXtextEditor"/>
62 <with variable="activeEditor">
63 <test property="org.eclipse.xtext.ui.editor.XtextEditor.languageName"
64 value="hu.bme.mit.inf.dslreasoner.SmtLanguage"
65 forcePluginActivation="true"/>
66 </with>
67 </and>
68 </definition>
69 <definition id="hu.bme.mit.inf.dslreasoner.SmtLanguage.XtextEditor.opened">
70 <and>
71 <reference definitionId="isXtextEditorActive"/>
72 <with variable="activeEditor">
73 <test property="org.eclipse.xtext.ui.editor.XtextEditor.languageName"
74 value="hu.bme.mit.inf.dslreasoner.SmtLanguage"
75 forcePluginActivation="true"/>
76 </with>
77 </and>
78 </definition>
79 </extension>
80 <extension
81 point="org.eclipse.ui.preferencePages">
82 <page
83 class="hu.bme.mit.inf.dslreasoner.ui.SmtLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.editor.preferences.LanguageRootPreferencePage"
84 id="hu.bme.mit.inf.dslreasoner.SmtLanguage"
85 name="SmtLanguage">
86 <keywordReference id="hu.bme.mit.inf.dslreasoner.ui.keyword_SmtLanguage"/>
87 </page>
88 <page
89 category="hu.bme.mit.inf.dslreasoner.SmtLanguage"
90 class="hu.bme.mit.inf.dslreasoner.ui.SmtLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.editor.syntaxcoloring.SyntaxColoringPreferencePage"
91 id="hu.bme.mit.inf.dslreasoner.SmtLanguage.coloring"
92 name="Syntax Coloring">
93 <keywordReference id="hu.bme.mit.inf.dslreasoner.ui.keyword_SmtLanguage"/>
94 </page>
95 <page
96 category="hu.bme.mit.inf.dslreasoner.SmtLanguage"
97 class="hu.bme.mit.inf.dslreasoner.ui.SmtLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.editor.templates.XtextTemplatePreferencePage"
98 id="hu.bme.mit.inf.dslreasoner.SmtLanguage.templates"
99 name="Templates">
100 <keywordReference id="hu.bme.mit.inf.dslreasoner.ui.keyword_SmtLanguage"/>
101 </page>
102 </extension>
103 <extension
104 point="org.eclipse.ui.propertyPages">
105 <page
106 class="hu.bme.mit.inf.dslreasoner.ui.SmtLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.editor.preferences.LanguageRootPreferencePage"
107 id="hu.bme.mit.inf.dslreasoner.SmtLanguage"
108 name="SmtLanguage">
109 <keywordReference id="hu.bme.mit.inf.dslreasoner.ui.keyword_SmtLanguage"/>
110 <enabledWhen>
111 <adapt type="org.eclipse.core.resources.IProject"/>
112 </enabledWhen>
113 <filter name="projectNature" value="org.eclipse.xtext.ui.shared.xtextNature"/>
114 </page>
115 </extension>
116 <extension
117 point="org.eclipse.ui.keywords">
118 <keyword
119 id="hu.bme.mit.inf.dslreasoner.ui.keyword_SmtLanguage"
120 label="SmtLanguage"/>
121 </extension>
122 <extension
123 point="org.eclipse.ui.commands">
124 <command
125 description="Trigger expensive validation"
126 id="hu.bme.mit.inf.dslreasoner.SmtLanguage.validate"
127 name="Validate">
128 </command>
129 <!-- copy qualified name -->
130 <command
131 id="org.eclipse.xtext.ui.editor.copyqualifiedname.EditorCopyQualifiedName"
132 categoryId="org.eclipse.ui.category.edit"
133 description="Copy the qualified name for the selected element"
134 name="Copy Qualified Name">
135 </command>
136 <command
137 id="org.eclipse.xtext.ui.editor.copyqualifiedname.OutlineCopyQualifiedName"
138 categoryId="org.eclipse.ui.category.edit"
139 description="Copy the qualified name for the selected element"
140 name="Copy Qualified Name">
141 </command>
142 </extension>
143 <extension point="org.eclipse.ui.menus">
144 <menuContribution
145 locationURI="popup:#TextEditorContext?after=group.edit">
146 <command
147 commandId="hu.bme.mit.inf.dslreasoner.SmtLanguage.validate"
148 style="push"
149 tooltip="Trigger expensive validation">
150 <visibleWhen checkEnabled="false">
151 <reference
152 definitionId="hu.bme.mit.inf.dslreasoner.SmtLanguage.Editor.opened">
153 </reference>
154 </visibleWhen>
155 </command>
156 </menuContribution>
157 <!-- copy qualified name -->
158 <menuContribution locationURI="popup:#TextEditorContext?after=copy">
159 <command commandId="org.eclipse.xtext.ui.editor.copyqualifiedname.EditorCopyQualifiedName"
160 style="push" tooltip="Copy Qualified Name">
161 <visibleWhen checkEnabled="false">
162 <reference definitionId="hu.bme.mit.inf.dslreasoner.SmtLanguage.Editor.opened" />
163 </visibleWhen>
164 </command>
165 </menuContribution>
166 <menuContribution locationURI="menu:edit?after=copy">
167 <command commandId="org.eclipse.xtext.ui.editor.copyqualifiedname.EditorCopyQualifiedName"
168 style="push" tooltip="Copy Qualified Name">
169 <visibleWhen checkEnabled="false">
170 <reference definitionId="hu.bme.mit.inf.dslreasoner.SmtLanguage.Editor.opened" />
171 </visibleWhen>
172 </command>
173 </menuContribution>
174 <menuContribution locationURI="popup:org.eclipse.xtext.ui.outline?after=additions">
175 <command commandId="org.eclipse.xtext.ui.editor.copyqualifiedname.OutlineCopyQualifiedName"
176 style="push" tooltip="Copy Qualified Name">
177 <visibleWhen checkEnabled="false">
178 <and>
179 <reference definitionId="hu.bme.mit.inf.dslreasoner.SmtLanguage.XtextEditor.opened" />
180 <iterate>
181 <adapt type="org.eclipse.xtext.ui.editor.outline.IOutlineNode" />
182 </iterate>
183 </and>
184 </visibleWhen>
185 </command>
186 </menuContribution>
187 </extension>
188 <extension point="org.eclipse.ui.menus">
189 <menuContribution locationURI="popup:#TextEditorContext?endof=group.find">
190 <command commandId="org.eclipse.xtext.ui.editor.FindReferences">
191 <visibleWhen checkEnabled="false">
192 <reference definitionId="hu.bme.mit.inf.dslreasoner.SmtLanguage.Editor.opened">
193 </reference>
194 </visibleWhen>
195 </command>
196 </menuContribution>
197 </extension>
198 <extension point="org.eclipse.ui.handlers">
199 <handler
200 class="hu.bme.mit.inf.dslreasoner.ui.SmtLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.editor.findrefs.FindReferencesHandler"
201 commandId="org.eclipse.xtext.ui.editor.FindReferences">
202 <activeWhen>
203 <reference
204 definitionId="hu.bme.mit.inf.dslreasoner.SmtLanguage.Editor.opened">
205 </reference>
206 </activeWhen>
207 </handler>
208 </extension>
209
210<!-- adding resource factories -->
211
212 <extension
213 point="org.eclipse.emf.ecore.extension_parser">
214 <parser
215 class="hu.bme.mit.inf.dslreasoner.ui.SmtLanguageExecutableExtensionFactory:org.eclipse.xtext.resource.IResourceFactory"
216 type="smt2">
217 </parser>
218 </extension>
219 <extension point="org.eclipse.xtext.extension_resourceServiceProvider">
220 <resourceServiceProvider
221 class="hu.bme.mit.inf.dslreasoner.ui.SmtLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.resource.IResourceUIServiceProvider"
222 uriExtension="smt2">
223 </resourceServiceProvider>
224 </extension>
225
226
227 <!-- marker definitions for hu.bme.mit.inf.dslreasoner.SmtLanguage -->
228 <extension
229 id="smtlanguage.check.fast"
230 name="SmtLanguage Problem"
231 point="org.eclipse.core.resources.markers">
232 <super type="org.eclipse.xtext.ui.check.fast"/>
233 <persistent value="true"/>
234 </extension>
235 <extension
236 id="smtlanguage.check.normal"
237 name="SmtLanguage Problem"
238 point="org.eclipse.core.resources.markers">
239 <super type="org.eclipse.xtext.ui.check.normal"/>
240 <persistent value="true"/>
241 </extension>
242 <extension
243 id="smtlanguage.check.expensive"
244 name="SmtLanguage Problem"
245 point="org.eclipse.core.resources.markers">
246 <super type="org.eclipse.xtext.ui.check.expensive"/>
247 <persistent value="true"/>
248 </extension>
249
250 <extension
251 point="org.eclipse.xtext.builder.participant">
252 <participant
253 class="hu.bme.mit.inf.dslreasoner.ui.SmtLanguageExecutableExtensionFactory:org.eclipse.xtext.builder.IXtextBuilderParticipant"
254 fileExtensions="smt2"
255 >
256 </participant>
257 </extension>
258 <extension
259 point="org.eclipse.ui.preferencePages">
260 <page
261 category="hu.bme.mit.inf.dslreasoner.SmtLanguage"
262 class="hu.bme.mit.inf.dslreasoner.ui.SmtLanguageExecutableExtensionFactory:org.eclipse.xtext.builder.preferences.BuilderPreferencePage"
263 id="hu.bme.mit.inf.dslreasoner.SmtLanguage.compiler.preferencePage"
264 name="Compiler">
265 <keywordReference id="hu.bme.mit.inf.dslreasoner.ui.keyword_SmtLanguage"/>
266 </page>
267 </extension>
268 <extension
269 point="org.eclipse.ui.propertyPages">
270 <page
271 category="hu.bme.mit.inf.dslreasoner.SmtLanguage"
272 class="hu.bme.mit.inf.dslreasoner.ui.SmtLanguageExecutableExtensionFactory:org.eclipse.xtext.builder.preferences.BuilderPreferencePage"
273 id="hu.bme.mit.inf.dslreasoner.SmtLanguage.compiler.propertyPage"
274 name="Compiler">
275 <keywordReference id="hu.bme.mit.inf.dslreasoner.ui.keyword_SmtLanguage"/>
276 <enabledWhen>
277 <adapt type="org.eclipse.core.resources.IProject"/>
278 </enabledWhen>
279 <filter name="projectNature" value="org.eclipse.xtext.ui.shared.xtextNature"/>
280 </page>
281 </extension>
282
283 <!-- Quick Outline -->
284 <extension
285 point="org.eclipse.ui.handlers">
286 <handler
287 class="hu.bme.mit.inf.dslreasoner.ui.SmtLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.editor.outline.quickoutline.ShowQuickOutlineActionHandler"
288 commandId="org.eclipse.xtext.ui.editor.outline.QuickOutline">
289 <activeWhen>
290 <reference
291 definitionId="hu.bme.mit.inf.dslreasoner.SmtLanguage.Editor.opened">
292 </reference>
293 </activeWhen>
294 </handler>
295 </extension>
296 <extension
297 point="org.eclipse.ui.commands">
298 <command
299 description="Open the quick outline."
300 id="org.eclipse.xtext.ui.editor.outline.QuickOutline"
301 name="Quick Outline">
302 </command>
303 </extension>
304 <extension point="org.eclipse.ui.menus">
305 <menuContribution
306 locationURI="popup:#TextEditorContext?after=group.open">
307 <command commandId="org.eclipse.xtext.ui.editor.outline.QuickOutline"
308 style="push"
309 tooltip="Open Quick Outline">
310 <visibleWhen checkEnabled="false">
311 <reference definitionId="hu.bme.mit.inf.dslreasoner.SmtLanguage.Editor.opened"/>
312 </visibleWhen>
313 </command>
314 </menuContribution>
315 </extension>
316 <!-- quickfix marker resolution generator for hu.bme.mit.inf.dslreasoner.SmtLanguage -->
317 <extension
318 point="org.eclipse.ui.ide.markerResolution">
319 <markerResolutionGenerator
320 class="hu.bme.mit.inf.dslreasoner.ui.SmtLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.editor.quickfix.MarkerResolutionGenerator"
321 markerType="hu.bme.mit.inf.dslreasoner.ui.smtlanguage.check.fast">
322 <attribute
323 name="FIXABLE_KEY"
324 value="true">
325 </attribute>
326 </markerResolutionGenerator>
327 <markerResolutionGenerator
328 class="hu.bme.mit.inf.dslreasoner.ui.SmtLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.editor.quickfix.MarkerResolutionGenerator"
329 markerType="hu.bme.mit.inf.dslreasoner.ui.smtlanguage.check.normal">
330 <attribute
331 name="FIXABLE_KEY"
332 value="true">
333 </attribute>
334 </markerResolutionGenerator>
335 <markerResolutionGenerator
336 class="hu.bme.mit.inf.dslreasoner.ui.SmtLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.editor.quickfix.MarkerResolutionGenerator"
337 markerType="hu.bme.mit.inf.dslreasoner.ui.smtlanguage.check.expensive">
338 <attribute
339 name="FIXABLE_KEY"
340 value="true">
341 </attribute>
342 </markerResolutionGenerator>
343 </extension>
344 <!-- Rename Refactoring -->
345 <extension point="org.eclipse.ui.handlers">
346 <handler
347 class="hu.bme.mit.inf.dslreasoner.ui.SmtLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.refactoring.ui.DefaultRenameElementHandler"
348 commandId="org.eclipse.xtext.ui.refactoring.RenameElement">
349 <activeWhen>
350 <reference
351 definitionId="hu.bme.mit.inf.dslreasoner.SmtLanguage.Editor.opened">
352 </reference>
353 </activeWhen>
354 </handler>
355 </extension>
356 <extension point="org.eclipse.ui.menus">
357 <menuContribution
358 locationURI="popup:#TextEditorContext?after=group.edit">
359 <command commandId="org.eclipse.xtext.ui.refactoring.RenameElement"
360 style="push">
361 <visibleWhen checkEnabled="false">
362 <reference
363 definitionId="hu.bme.mit.inf.dslreasoner.SmtLanguage.Editor.opened">
364 </reference>
365 </visibleWhen>
366 </command>
367 </menuContribution>
368 </extension>
369 <extension point="org.eclipse.ui.preferencePages">
370 <page
371 category="hu.bme.mit.inf.dslreasoner.SmtLanguage"
372 class="hu.bme.mit.inf.dslreasoner.ui.SmtLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.refactoring.ui.RefactoringPreferencePage"
373 id="hu.bme.mit.inf.dslreasoner.SmtLanguage.refactoring"
374 name="Refactoring">
375 <keywordReference id="hu.bme.mit.inf.dslreasoner.ui.keyword_SmtLanguage"/>
376 </page>
377 </extension>
378
379 <extension point="org.eclipse.compare.contentViewers">
380 <viewer id="hu.bme.mit.inf.dslreasoner.SmtLanguage.compare.contentViewers"
381 class="hu.bme.mit.inf.dslreasoner.ui.SmtLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.compare.InjectableViewerCreator"
382 extensions="smt2">
383 </viewer>
384 </extension>
385 <extension point="org.eclipse.compare.contentMergeViewers">
386 <viewer id="hu.bme.mit.inf.dslreasoner.SmtLanguage.compare.contentMergeViewers"
387 class="hu.bme.mit.inf.dslreasoner.ui.SmtLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.compare.InjectableViewerCreator"
388 extensions="smt2" label="SmtLanguage Compare">
389 </viewer>
390 </extension>
391 <extension point="org.eclipse.ui.editors.documentProviders">
392 <provider id="hu.bme.mit.inf.dslreasoner.SmtLanguage.editors.documentProviders"
393 class="hu.bme.mit.inf.dslreasoner.ui.SmtLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.editor.model.XtextDocumentProvider"
394 extensions="smt2">
395 </provider>
396 </extension>
397
398</plugin>
diff --git a/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language.ui/plugin.xml_gen b/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language.ui/plugin.xml_gen
new file mode 100644
index 00000000..4edb0697
--- /dev/null
+++ b/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language.ui/plugin.xml_gen
@@ -0,0 +1,398 @@
1<?xml version="1.0" encoding="UTF-8"?>
2<?eclipse version="3.0"?>
3
4<plugin>
5
6 <extension
7 point="org.eclipse.ui.editors">
8 <editor
9 class="hu.bme.mit.inf.dslreasoner.ui.SmtLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.editor.XtextEditor"
10 contributorClass="org.eclipse.ui.editors.text.TextEditorActionContributor"
11 default="true"
12 extensions="smt2"
13 id="hu.bme.mit.inf.dslreasoner.SmtLanguage"
14 name="SmtLanguage Editor">
15 </editor>
16 </extension>
17 <extension
18 point="org.eclipse.ui.handlers">
19 <handler
20 class="hu.bme.mit.inf.dslreasoner.ui.SmtLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.editor.hyperlinking.OpenDeclarationHandler"
21 commandId="org.eclipse.xtext.ui.editor.hyperlinking.OpenDeclaration">
22 <activeWhen>
23 <reference
24 definitionId="hu.bme.mit.inf.dslreasoner.SmtLanguage.Editor.opened">
25 </reference>
26 </activeWhen>
27 </handler>
28 <handler
29 class="hu.bme.mit.inf.dslreasoner.ui.SmtLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.editor.handler.ValidateActionHandler"
30 commandId="hu.bme.mit.inf.dslreasoner.SmtLanguage.validate">
31 <activeWhen>
32 <reference
33 definitionId="hu.bme.mit.inf.dslreasoner.SmtLanguage.Editor.opened">
34 </reference>
35 </activeWhen>
36 </handler>
37 <!-- copy qualified name -->
38 <handler
39 class="hu.bme.mit.inf.dslreasoner.ui.SmtLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.editor.copyqualifiedname.EditorCopyQualifiedNameHandler"
40 commandId="org.eclipse.xtext.ui.editor.copyqualifiedname.EditorCopyQualifiedName">
41 <activeWhen>
42 <reference definitionId="hu.bme.mit.inf.dslreasoner.SmtLanguage.Editor.opened" />
43 </activeWhen>
44 </handler>
45 <handler
46 class="hu.bme.mit.inf.dslreasoner.ui.SmtLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.editor.copyqualifiedname.OutlineCopyQualifiedNameHandler"
47 commandId="org.eclipse.xtext.ui.editor.copyqualifiedname.OutlineCopyQualifiedName">
48 <activeWhen>
49 <and>
50 <reference definitionId="hu.bme.mit.inf.dslreasoner.SmtLanguage.XtextEditor.opened" />
51 <iterate>
52 <adapt type="org.eclipse.xtext.ui.editor.outline.IOutlineNode" />
53 </iterate>
54 </and>
55 </activeWhen>
56 </handler>
57 </extension>
58 <extension point="org.eclipse.core.expressions.definitions">
59 <definition id="hu.bme.mit.inf.dslreasoner.SmtLanguage.Editor.opened">
60 <and>
61 <reference definitionId="isActiveEditorAnInstanceOfXtextEditor"/>
62 <with variable="activeEditor">
63 <test property="org.eclipse.xtext.ui.editor.XtextEditor.languageName"
64 value="hu.bme.mit.inf.dslreasoner.SmtLanguage"
65 forcePluginActivation="true"/>
66 </with>
67 </and>
68 </definition>
69 <definition id="hu.bme.mit.inf.dslreasoner.SmtLanguage.XtextEditor.opened">
70 <and>
71 <reference definitionId="isXtextEditorActive"/>
72 <with variable="activeEditor">
73 <test property="org.eclipse.xtext.ui.editor.XtextEditor.languageName"
74 value="hu.bme.mit.inf.dslreasoner.SmtLanguage"
75 forcePluginActivation="true"/>
76 </with>
77 </and>
78 </definition>
79 </extension>
80 <extension
81 point="org.eclipse.ui.preferencePages">
82 <page
83 class="hu.bme.mit.inf.dslreasoner.ui.SmtLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.editor.preferences.LanguageRootPreferencePage"
84 id="hu.bme.mit.inf.dslreasoner.SmtLanguage"
85 name="SmtLanguage">
86 <keywordReference id="hu.bme.mit.inf.dslreasoner.ui.keyword_SmtLanguage"/>
87 </page>
88 <page
89 category="hu.bme.mit.inf.dslreasoner.SmtLanguage"
90 class="hu.bme.mit.inf.dslreasoner.ui.SmtLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.editor.syntaxcoloring.SyntaxColoringPreferencePage"
91 id="hu.bme.mit.inf.dslreasoner.SmtLanguage.coloring"
92 name="Syntax Coloring">
93 <keywordReference id="hu.bme.mit.inf.dslreasoner.ui.keyword_SmtLanguage"/>
94 </page>
95 <page
96 category="hu.bme.mit.inf.dslreasoner.SmtLanguage"
97 class="hu.bme.mit.inf.dslreasoner.ui.SmtLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.editor.templates.XtextTemplatePreferencePage"
98 id="hu.bme.mit.inf.dslreasoner.SmtLanguage.templates"
99 name="Templates">
100 <keywordReference id="hu.bme.mit.inf.dslreasoner.ui.keyword_SmtLanguage"/>
101 </page>
102 </extension>
103 <extension
104 point="org.eclipse.ui.propertyPages">
105 <page
106 class="hu.bme.mit.inf.dslreasoner.ui.SmtLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.editor.preferences.LanguageRootPreferencePage"
107 id="hu.bme.mit.inf.dslreasoner.SmtLanguage"
108 name="SmtLanguage">
109 <keywordReference id="hu.bme.mit.inf.dslreasoner.ui.keyword_SmtLanguage"/>
110 <enabledWhen>
111 <adapt type="org.eclipse.core.resources.IProject"/>
112 </enabledWhen>
113 <filter name="projectNature" value="org.eclipse.xtext.ui.shared.xtextNature"/>
114 </page>
115 </extension>
116 <extension
117 point="org.eclipse.ui.keywords">
118 <keyword
119 id="hu.bme.mit.inf.dslreasoner.ui.keyword_SmtLanguage"
120 label="SmtLanguage"/>
121 </extension>
122 <extension
123 point="org.eclipse.ui.commands">
124 <command
125 description="Trigger expensive validation"
126 id="hu.bme.mit.inf.dslreasoner.SmtLanguage.validate"
127 name="Validate">
128 </command>
129 <!-- copy qualified name -->
130 <command
131 id="org.eclipse.xtext.ui.editor.copyqualifiedname.EditorCopyQualifiedName"
132 categoryId="org.eclipse.ui.category.edit"
133 description="Copy the qualified name for the selected element"
134 name="Copy Qualified Name">
135 </command>
136 <command
137 id="org.eclipse.xtext.ui.editor.copyqualifiedname.OutlineCopyQualifiedName"
138 categoryId="org.eclipse.ui.category.edit"
139 description="Copy the qualified name for the selected element"
140 name="Copy Qualified Name">
141 </command>
142 </extension>
143 <extension point="org.eclipse.ui.menus">
144 <menuContribution
145 locationURI="popup:#TextEditorContext?after=group.edit">
146 <command
147 commandId="hu.bme.mit.inf.dslreasoner.SmtLanguage.validate"
148 style="push"
149 tooltip="Trigger expensive validation">
150 <visibleWhen checkEnabled="false">
151 <reference
152 definitionId="hu.bme.mit.inf.dslreasoner.SmtLanguage.Editor.opened">
153 </reference>
154 </visibleWhen>
155 </command>
156 </menuContribution>
157 <!-- copy qualified name -->
158 <menuContribution locationURI="popup:#TextEditorContext?after=copy">
159 <command commandId="org.eclipse.xtext.ui.editor.copyqualifiedname.EditorCopyQualifiedName"
160 style="push" tooltip="Copy Qualified Name">
161 <visibleWhen checkEnabled="false">
162 <reference definitionId="hu.bme.mit.inf.dslreasoner.SmtLanguage.Editor.opened" />
163 </visibleWhen>
164 </command>
165 </menuContribution>
166 <menuContribution locationURI="menu:edit?after=copy">
167 <command commandId="org.eclipse.xtext.ui.editor.copyqualifiedname.EditorCopyQualifiedName"
168 style="push" tooltip="Copy Qualified Name">
169 <visibleWhen checkEnabled="false">
170 <reference definitionId="hu.bme.mit.inf.dslreasoner.SmtLanguage.Editor.opened" />
171 </visibleWhen>
172 </command>
173 </menuContribution>
174 <menuContribution locationURI="popup:org.eclipse.xtext.ui.outline?after=additions">
175 <command commandId="org.eclipse.xtext.ui.editor.copyqualifiedname.OutlineCopyQualifiedName"
176 style="push" tooltip="Copy Qualified Name">
177 <visibleWhen checkEnabled="false">
178 <and>
179 <reference definitionId="hu.bme.mit.inf.dslreasoner.SmtLanguage.XtextEditor.opened" />
180 <iterate>
181 <adapt type="org.eclipse.xtext.ui.editor.outline.IOutlineNode" />
182 </iterate>
183 </and>
184 </visibleWhen>
185 </command>
186 </menuContribution>
187 </extension>
188 <extension point="org.eclipse.ui.menus">
189 <menuContribution locationURI="popup:#TextEditorContext?endof=group.find">
190 <command commandId="org.eclipse.xtext.ui.editor.FindReferences">
191 <visibleWhen checkEnabled="false">
192 <reference definitionId="hu.bme.mit.inf.dslreasoner.SmtLanguage.Editor.opened">
193 </reference>
194 </visibleWhen>
195 </command>
196 </menuContribution>
197 </extension>
198 <extension point="org.eclipse.ui.handlers">
199 <handler
200 class="hu.bme.mit.inf.dslreasoner.ui.SmtLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.editor.findrefs.FindReferencesHandler"
201 commandId="org.eclipse.xtext.ui.editor.FindReferences">
202 <activeWhen>
203 <reference
204 definitionId="hu.bme.mit.inf.dslreasoner.SmtLanguage.Editor.opened">
205 </reference>
206 </activeWhen>
207 </handler>
208 </extension>
209
210<!-- adding resource factories -->
211
212 <extension
213 point="org.eclipse.emf.ecore.extension_parser">
214 <parser
215 class="hu.bme.mit.inf.dslreasoner.ui.SmtLanguageExecutableExtensionFactory:org.eclipse.xtext.resource.IResourceFactory"
216 type="smt2">
217 </parser>
218 </extension>
219 <extension point="org.eclipse.xtext.extension_resourceServiceProvider">
220 <resourceServiceProvider
221 class="hu.bme.mit.inf.dslreasoner.ui.SmtLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.resource.IResourceUIServiceProvider"
222 uriExtension="smt2">
223 </resourceServiceProvider>
224 </extension>
225
226
227 <!-- marker definitions for hu.bme.mit.inf.dslreasoner.SmtLanguage -->
228 <extension
229 id="smtlanguage.check.fast"
230 name="SmtLanguage Problem"
231 point="org.eclipse.core.resources.markers">
232 <super type="org.eclipse.xtext.ui.check.fast"/>
233 <persistent value="true"/>
234 </extension>
235 <extension
236 id="smtlanguage.check.normal"
237 name="SmtLanguage Problem"
238 point="org.eclipse.core.resources.markers">
239 <super type="org.eclipse.xtext.ui.check.normal"/>
240 <persistent value="true"/>
241 </extension>
242 <extension
243 id="smtlanguage.check.expensive"
244 name="SmtLanguage Problem"
245 point="org.eclipse.core.resources.markers">
246 <super type="org.eclipse.xtext.ui.check.expensive"/>
247 <persistent value="true"/>
248 </extension>
249
250 <extension
251 point="org.eclipse.xtext.builder.participant">
252 <participant
253 class="hu.bme.mit.inf.dslreasoner.ui.SmtLanguageExecutableExtensionFactory:org.eclipse.xtext.builder.IXtextBuilderParticipant"
254 fileExtensions="smt2"
255 >
256 </participant>
257 </extension>
258 <extension
259 point="org.eclipse.ui.preferencePages">
260 <page
261 category="hu.bme.mit.inf.dslreasoner.SmtLanguage"
262 class="hu.bme.mit.inf.dslreasoner.ui.SmtLanguageExecutableExtensionFactory:org.eclipse.xtext.builder.preferences.BuilderPreferencePage"
263 id="hu.bme.mit.inf.dslreasoner.SmtLanguage.compiler.preferencePage"
264 name="Compiler">
265 <keywordReference id="hu.bme.mit.inf.dslreasoner.ui.keyword_SmtLanguage"/>
266 </page>
267 </extension>
268 <extension
269 point="org.eclipse.ui.propertyPages">
270 <page
271 category="hu.bme.mit.inf.dslreasoner.SmtLanguage"
272 class="hu.bme.mit.inf.dslreasoner.ui.SmtLanguageExecutableExtensionFactory:org.eclipse.xtext.builder.preferences.BuilderPreferencePage"
273 id="hu.bme.mit.inf.dslreasoner.SmtLanguage.compiler.propertyPage"
274 name="Compiler">
275 <keywordReference id="hu.bme.mit.inf.dslreasoner.ui.keyword_SmtLanguage"/>
276 <enabledWhen>
277 <adapt type="org.eclipse.core.resources.IProject"/>
278 </enabledWhen>
279 <filter name="projectNature" value="org.eclipse.xtext.ui.shared.xtextNature"/>
280 </page>
281 </extension>
282
283 <!-- Quick Outline -->
284 <extension
285 point="org.eclipse.ui.handlers">
286 <handler
287 class="hu.bme.mit.inf.dslreasoner.ui.SmtLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.editor.outline.quickoutline.ShowQuickOutlineActionHandler"
288 commandId="org.eclipse.xtext.ui.editor.outline.QuickOutline">
289 <activeWhen>
290 <reference
291 definitionId="hu.bme.mit.inf.dslreasoner.SmtLanguage.Editor.opened">
292 </reference>
293 </activeWhen>
294 </handler>
295 </extension>
296 <extension
297 point="org.eclipse.ui.commands">
298 <command
299 description="Open the quick outline."
300 id="org.eclipse.xtext.ui.editor.outline.QuickOutline"
301 name="Quick Outline">
302 </command>
303 </extension>
304 <extension point="org.eclipse.ui.menus">
305 <menuContribution
306 locationURI="popup:#TextEditorContext?after=group.open">
307 <command commandId="org.eclipse.xtext.ui.editor.outline.QuickOutline"
308 style="push"
309 tooltip="Open Quick Outline">
310 <visibleWhen checkEnabled="false">
311 <reference definitionId="hu.bme.mit.inf.dslreasoner.SmtLanguage.Editor.opened"/>
312 </visibleWhen>
313 </command>
314 </menuContribution>
315 </extension>
316 <!-- quickfix marker resolution generator for hu.bme.mit.inf.dslreasoner.SmtLanguage -->
317 <extension
318 point="org.eclipse.ui.ide.markerResolution">
319 <markerResolutionGenerator
320 class="hu.bme.mit.inf.dslreasoner.ui.SmtLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.editor.quickfix.MarkerResolutionGenerator"
321 markerType="hu.bme.mit.inf.dslreasoner.ui.smtlanguage.check.fast">
322 <attribute
323 name="FIXABLE_KEY"
324 value="true">
325 </attribute>
326 </markerResolutionGenerator>
327 <markerResolutionGenerator
328 class="hu.bme.mit.inf.dslreasoner.ui.SmtLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.editor.quickfix.MarkerResolutionGenerator"
329 markerType="hu.bme.mit.inf.dslreasoner.ui.smtlanguage.check.normal">
330 <attribute
331 name="FIXABLE_KEY"
332 value="true">
333 </attribute>
334 </markerResolutionGenerator>
335 <markerResolutionGenerator
336 class="hu.bme.mit.inf.dslreasoner.ui.SmtLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.editor.quickfix.MarkerResolutionGenerator"
337 markerType="hu.bme.mit.inf.dslreasoner.ui.smtlanguage.check.expensive">
338 <attribute
339 name="FIXABLE_KEY"
340 value="true">
341 </attribute>
342 </markerResolutionGenerator>
343 </extension>
344 <!-- Rename Refactoring -->
345 <extension point="org.eclipse.ui.handlers">
346 <handler
347 class="hu.bme.mit.inf.dslreasoner.ui.SmtLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.refactoring.ui.DefaultRenameElementHandler"
348 commandId="org.eclipse.xtext.ui.refactoring.RenameElement">
349 <activeWhen>
350 <reference
351 definitionId="hu.bme.mit.inf.dslreasoner.SmtLanguage.Editor.opened">
352 </reference>
353 </activeWhen>
354 </handler>
355 </extension>
356 <extension point="org.eclipse.ui.menus">
357 <menuContribution
358 locationURI="popup:#TextEditorContext?after=group.edit">
359 <command commandId="org.eclipse.xtext.ui.refactoring.RenameElement"
360 style="push">
361 <visibleWhen checkEnabled="false">
362 <reference
363 definitionId="hu.bme.mit.inf.dslreasoner.SmtLanguage.Editor.opened">
364 </reference>
365 </visibleWhen>
366 </command>
367 </menuContribution>
368 </extension>
369 <extension point="org.eclipse.ui.preferencePages">
370 <page
371 category="hu.bme.mit.inf.dslreasoner.SmtLanguage"
372 class="hu.bme.mit.inf.dslreasoner.ui.SmtLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.refactoring.ui.RefactoringPreferencePage"
373 id="hu.bme.mit.inf.dslreasoner.SmtLanguage.refactoring"
374 name="Refactoring">
375 <keywordReference id="hu.bme.mit.inf.dslreasoner.ui.keyword_SmtLanguage"/>
376 </page>
377 </extension>
378
379 <extension point="org.eclipse.compare.contentViewers">
380 <viewer id="hu.bme.mit.inf.dslreasoner.SmtLanguage.compare.contentViewers"
381 class="hu.bme.mit.inf.dslreasoner.ui.SmtLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.compare.InjectableViewerCreator"
382 extensions="smt2">
383 </viewer>
384 </extension>
385 <extension point="org.eclipse.compare.contentMergeViewers">
386 <viewer id="hu.bme.mit.inf.dslreasoner.SmtLanguage.compare.contentMergeViewers"
387 class="hu.bme.mit.inf.dslreasoner.ui.SmtLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.compare.InjectableViewerCreator"
388 extensions="smt2" label="SmtLanguage Compare">
389 </viewer>
390 </extension>
391 <extension point="org.eclipse.ui.editors.documentProviders">
392 <provider id="hu.bme.mit.inf.dslreasoner.SmtLanguage.editors.documentProviders"
393 class="hu.bme.mit.inf.dslreasoner.ui.SmtLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.editor.model.XtextDocumentProvider"
394 extensions="smt2">
395 </provider>
396 </extension>
397
398</plugin>
diff --git a/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language.ui/src/hu/bme/mit/inf/dslreasoner/ui/SmtLanguageUiModule.java b/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language.ui/src/hu/bme/mit/inf/dslreasoner/ui/SmtLanguageUiModule.java
new file mode 100644
index 00000000..371ccec5
--- /dev/null
+++ b/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language.ui/src/hu/bme/mit/inf/dslreasoner/ui/SmtLanguageUiModule.java
@@ -0,0 +1,15 @@
1/*
2 * generated by Xtext
3 */
4package hu.bme.mit.inf.dslreasoner.ui;
5
6import org.eclipse.ui.plugin.AbstractUIPlugin;
7
8/**
9 * Use this class to register components to be used within the IDE.
10 */
11public class SmtLanguageUiModule extends hu.bme.mit.inf.dslreasoner.ui.AbstractSmtLanguageUiModule {
12 public SmtLanguageUiModule(AbstractUIPlugin plugin) {
13 super(plugin);
14 }
15}
diff --git a/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language.ui/src/hu/bme/mit/inf/dslreasoner/ui/contentassist/SmtLanguageProposalProvider.xtend b/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language.ui/src/hu/bme/mit/inf/dslreasoner/ui/contentassist/SmtLanguageProposalProvider.xtend
new file mode 100644
index 00000000..b00cbdfa
--- /dev/null
+++ b/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language.ui/src/hu/bme/mit/inf/dslreasoner/ui/contentassist/SmtLanguageProposalProvider.xtend
@@ -0,0 +1,12 @@
1/*
2 * generated by Xtext
3 */
4package hu.bme.mit.inf.dslreasoner.ui.contentassist
5
6import hu.bme.mit.inf.dslreasoner.ui.contentassist.AbstractSmtLanguageProposalProvider
7
8/**
9 * see http://www.eclipse.org/Xtext/documentation.html#contentAssist on how to customize content assistant
10 */
11class SmtLanguageProposalProvider extends AbstractSmtLanguageProposalProvider {
12}
diff --git a/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language.ui/src/hu/bme/mit/inf/dslreasoner/ui/labeling/SmtLanguageDescriptionLabelProvider.xtend b/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language.ui/src/hu/bme/mit/inf/dslreasoner/ui/labeling/SmtLanguageDescriptionLabelProvider.xtend
new file mode 100644
index 00000000..1aa3189f
--- /dev/null
+++ b/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language.ui/src/hu/bme/mit/inf/dslreasoner/ui/labeling/SmtLanguageDescriptionLabelProvider.xtend
@@ -0,0 +1,24 @@
1/*
2* generated by Xtext
3*/
4package hu.bme.mit.inf.dslreasoner.ui.labeling
5
6//import org.eclipse.xtext.resource.IEObjectDescription
7
8/**
9 * Provides labels for a IEObjectDescriptions and IResourceDescriptions.
10 *
11 * see http://www.eclipse.org/Xtext/documentation.html#labelProvider
12 */
13class SmtLanguageDescriptionLabelProvider extends org.eclipse.xtext.ui.label.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/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language.ui/src/hu/bme/mit/inf/dslreasoner/ui/labeling/SmtLanguageLabelProvider.xtend b/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language.ui/src/hu/bme/mit/inf/dslreasoner/ui/labeling/SmtLanguageLabelProvider.xtend
new file mode 100644
index 00000000..3d26adea
--- /dev/null
+++ b/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language.ui/src/hu/bme/mit/inf/dslreasoner/ui/labeling/SmtLanguageLabelProvider.xtend
@@ -0,0 +1,29 @@
1/*
2* generated by Xtext
3*/
4package hu.bme.mit.inf.dslreasoner.ui.labeling
5
6import com.google.inject.Inject
7
8/**
9 * Provides labels for a EObjects.
10 *
11 * see http://www.eclipse.org/Xtext/documentation.html#labelProvider
12 */
13class SmtLanguageLabelProvider extends org.eclipse.xtext.ui.label.DefaultEObjectLabelProvider {
14
15 @Inject
16 new(org.eclipse.emf.edit.ui.provider.AdapterFactoryLabelProvider delegate) {
17 super(delegate);
18 }
19
20 // Labels and icons can be computed like this:
21
22// def text(Greeting ele) {
23// 'A greeting to ' + ele.name
24// }
25//
26// def image(Greeting ele) {
27// 'Greeting.gif'
28// }
29}
diff --git a/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language.ui/src/hu/bme/mit/inf/dslreasoner/ui/outline/SmtLanguageOutlineTreeProvider.xtend b/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language.ui/src/hu/bme/mit/inf/dslreasoner/ui/outline/SmtLanguageOutlineTreeProvider.xtend
new file mode 100644
index 00000000..3ad5725a
--- /dev/null
+++ b/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language.ui/src/hu/bme/mit/inf/dslreasoner/ui/outline/SmtLanguageOutlineTreeProvider.xtend
@@ -0,0 +1,13 @@
1/*
2* generated by Xtext
3*/
4package hu.bme.mit.inf.dslreasoner.ui.outline
5
6/**
7 * Customization of the default outline structure.
8 *
9 * see http://www.eclipse.org/Xtext/documentation.html#outline
10 */
11class SmtLanguageOutlineTreeProvider extends org.eclipse.xtext.ui.editor.outline.impl.DefaultOutlineTreeProvider {
12
13}
diff --git a/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language.ui/src/hu/bme/mit/inf/dslreasoner/ui/quickfix/SmtLanguageQuickfixProvider.xtend b/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language.ui/src/hu/bme/mit/inf/dslreasoner/ui/quickfix/SmtLanguageQuickfixProvider.xtend
new file mode 100644
index 00000000..7fae2761
--- /dev/null
+++ b/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language.ui/src/hu/bme/mit/inf/dslreasoner/ui/quickfix/SmtLanguageQuickfixProvider.xtend
@@ -0,0 +1,26 @@
1/*
2* generated by Xtext
3*/
4package hu.bme.mit.inf.dslreasoner.ui.quickfix
5
6//import org.eclipse.xtext.ui.editor.quickfix.Fix
7//import org.eclipse.xtext.ui.editor.quickfix.IssueResolutionAcceptor
8//import org.eclipse.xtext.validation.Issue
9
10/**
11 * Custom quickfixes.
12 *
13 * see http://www.eclipse.org/Xtext/documentation.html#quickfixes
14 */
15class SmtLanguageQuickfixProvider extends org.eclipse.xtext.ui.editor.quickfix.DefaultQuickfixProvider {
16
17// @Fix(MyDslValidator::INVALID_NAME)
18// def capitalizeName(Issue issue, IssueResolutionAcceptor acceptor) {
19// acceptor.accept(issue, 'Capitalize name', 'Capitalize the name.', 'upcase.png') [
20// context |
21// val xtextDocument = context.xtextDocument
22// val firstLetter = xtextDocument.get(issue.offset, 1)
23// xtextDocument.replace(issue.offset, 1, firstLetter.toUpperCase)
24// ]
25// }
26}
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-07-02 20:17:03 +0000