diff options
Diffstat (limited to 'Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language.ui')
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 @@ | |||
1 | eclipse.preferences.version=1 | ||
2 | encoding/<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 @@ | |||
1 | eclipse.preferences.version=1 | ||
2 | org.eclipse.jdt.core.compiler.codegen.inlineJsrBytecode=enabled | ||
3 | org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.8 | ||
4 | org.eclipse.jdt.core.compiler.compliance=1.8 | ||
5 | org.eclipse.jdt.core.compiler.problem.assertIdentifier=error | ||
6 | org.eclipse.jdt.core.compiler.problem.enumIdentifier=error | ||
7 | org.eclipse.jdt.core.compiler.source=1.8 | ||
diff --git a/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 @@ | |||
1 | Manifest-Version: 1.0 | ||
2 | Bundle-ManifestVersion: 2 | ||
3 | Bundle-Name: hu.bme.mit.inf.dslreasoner.smt.language.ui | ||
4 | Bundle-Vendor: My Company | ||
5 | Bundle-Version: 1.0.0.qualifier | ||
6 | Bundle-SymbolicName: hu.bme.mit.inf.dslreasoner.smt.language.ui; singleton:=true | ||
7 | Bundle-ActivationPolicy: lazy | ||
8 | Require-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 | ||
20 | Import-Package: org.apache.log4j, | ||
21 | org.eclipse.xtext.xbase.lib | ||
22 | Bundle-RequiredExecutionEnvironment: J2SE-1.5 | ||
23 | Export-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 | ||
27 | Bundle-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 @@ | |||
1 | source.. = src/,\ | ||
2 | src-gen/,\ | ||
3 | xtend-gen/ | ||
4 | bin.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 | */ | ||
4 | package hu.bme.mit.inf.dslreasoner.ui; | ||
5 | |||
6 | import org.eclipse.ui.plugin.AbstractUIPlugin; | ||
7 | |||
8 | /** | ||
9 | * Use this class to register components to be used within the IDE. | ||
10 | */ | ||
11 | public 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 | */ | ||
4 | package hu.bme.mit.inf.dslreasoner.ui.contentassist | ||
5 | |||
6 | import 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 | */ | ||
11 | class 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 | */ | ||
4 | package 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 | */ | ||
13 | class 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 | */ | ||
4 | package hu.bme.mit.inf.dslreasoner.ui.labeling | ||
5 | |||
6 | import com.google.inject.Inject | ||
7 | |||
8 | /** | ||
9 | * Provides labels for a EObjects. | ||
10 | * | ||
11 | * see http://www.eclipse.org/Xtext/documentation.html#labelProvider | ||
12 | */ | ||
13 | class 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 | */ | ||
4 | package 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 | */ | ||
11 | class 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 | */ | ||
4 | package 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 | */ | ||
15 | class 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 | } | ||