aboutsummaryrefslogtreecommitdiffstats
path: root/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ui/plugin.xml
diff options
context:
space:
mode:
Diffstat (limited to 'Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ui/plugin.xml')
-rw-r--r--Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ui/plugin.xml434
1 files changed, 0 insertions, 434 deletions
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ui/plugin.xml b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ui/plugin.xml
deleted file mode 100644
index afad4516..00000000
--- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ui/plugin.xml
+++ /dev/null
@@ -1,434 +0,0 @@
1<?xml version="1.0" encoding="UTF-8"?>
2<?eclipse version="3.0"?>
3<plugin>
4 <extension
5 point="org.eclipse.ui.editors">
6 <editor
7 class="hu.bme.mit.inf.dslreasoner.faulttree.components.ui.CftLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.editor.XtextEditor"
8 contributorClass="org.eclipse.ui.editors.text.TextEditorActionContributor"
9 default="true"
10 extensions="cft"
11 id="hu.bme.mit.inf.dslreasoner.faulttree.components.CftLanguage"
12 name="CftLanguage Editor">
13 </editor>
14 </extension>
15 <extension
16 point="org.eclipse.ui.handlers">
17 <handler
18 class="hu.bme.mit.inf.dslreasoner.faulttree.components.ui.CftLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.editor.hyperlinking.OpenDeclarationHandler"
19 commandId="org.eclipse.xtext.ui.editor.hyperlinking.OpenDeclaration">
20 <activeWhen>
21 <reference
22 definitionId="hu.bme.mit.inf.dslreasoner.faulttree.components.CftLanguage.Editor.opened">
23 </reference>
24 </activeWhen>
25 </handler>
26 <handler
27 class="hu.bme.mit.inf.dslreasoner.faulttree.components.ui.CftLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.editor.handler.ValidateActionHandler"
28 commandId="hu.bme.mit.inf.dslreasoner.faulttree.components.CftLanguage.validate">
29 <activeWhen>
30 <reference
31 definitionId="hu.bme.mit.inf.dslreasoner.faulttree.components.CftLanguage.Editor.opened">
32 </reference>
33 </activeWhen>
34 </handler>
35 <!-- copy qualified name -->
36 <handler
37 class="hu.bme.mit.inf.dslreasoner.faulttree.components.ui.CftLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.editor.copyqualifiedname.EditorCopyQualifiedNameHandler"
38 commandId="org.eclipse.xtext.ui.editor.copyqualifiedname.EditorCopyQualifiedName">
39 <activeWhen>
40 <reference definitionId="hu.bme.mit.inf.dslreasoner.faulttree.components.CftLanguage.Editor.opened" />
41 </activeWhen>
42 </handler>
43 <handler
44 class="hu.bme.mit.inf.dslreasoner.faulttree.components.ui.CftLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.editor.copyqualifiedname.OutlineCopyQualifiedNameHandler"
45 commandId="org.eclipse.xtext.ui.editor.copyqualifiedname.OutlineCopyQualifiedName">
46 <activeWhen>
47 <and>
48 <reference definitionId="hu.bme.mit.inf.dslreasoner.faulttree.components.CftLanguage.XtextEditor.opened" />
49 <iterate>
50 <adapt type="org.eclipse.xtext.ui.editor.outline.IOutlineNode" />
51 </iterate>
52 </and>
53 </activeWhen>
54 </handler>
55 </extension>
56 <extension point="org.eclipse.core.expressions.definitions">
57 <definition id="hu.bme.mit.inf.dslreasoner.faulttree.components.CftLanguage.Editor.opened">
58 <and>
59 <reference definitionId="isActiveEditorAnInstanceOfXtextEditor"/>
60 <with variable="activeEditor">
61 <test property="org.eclipse.xtext.ui.editor.XtextEditor.languageName"
62 value="hu.bme.mit.inf.dslreasoner.faulttree.components.CftLanguage"
63 forcePluginActivation="true"/>
64 </with>
65 </and>
66 </definition>
67 <definition id="hu.bme.mit.inf.dslreasoner.faulttree.components.CftLanguage.XtextEditor.opened">
68 <and>
69 <reference definitionId="isXtextEditorActive"/>
70 <with variable="activeEditor">
71 <test property="org.eclipse.xtext.ui.editor.XtextEditor.languageName"
72 value="hu.bme.mit.inf.dslreasoner.faulttree.components.CftLanguage"
73 forcePluginActivation="true"/>
74 </with>
75 </and>
76 </definition>
77 </extension>
78 <extension
79 point="org.eclipse.ui.preferencePages">
80 <page
81 class="hu.bme.mit.inf.dslreasoner.faulttree.components.ui.CftLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.editor.preferences.LanguageRootPreferencePage"
82 id="hu.bme.mit.inf.dslreasoner.faulttree.components.CftLanguage"
83 name="CftLanguage">
84 <keywordReference id="hu.bme.mit.inf.dslreasoner.faulttree.components.ui.keyword_CftLanguage"/>
85 </page>
86 <page
87 category="hu.bme.mit.inf.dslreasoner.faulttree.components.CftLanguage"
88 class="hu.bme.mit.inf.dslreasoner.faulttree.components.ui.CftLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.editor.syntaxcoloring.SyntaxColoringPreferencePage"
89 id="hu.bme.mit.inf.dslreasoner.faulttree.components.CftLanguage.coloring"
90 name="Syntax Coloring">
91 <keywordReference id="hu.bme.mit.inf.dslreasoner.faulttree.components.ui.keyword_CftLanguage"/>
92 </page>
93 <page
94 category="hu.bme.mit.inf.dslreasoner.faulttree.components.CftLanguage"
95 class="hu.bme.mit.inf.dslreasoner.faulttree.components.ui.CftLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.editor.templates.XtextTemplatePreferencePage"
96 id="hu.bme.mit.inf.dslreasoner.faulttree.components.CftLanguage.templates"
97 name="Templates">
98 <keywordReference id="hu.bme.mit.inf.dslreasoner.faulttree.components.ui.keyword_CftLanguage"/>
99 </page>
100 </extension>
101 <extension
102 point="org.eclipse.ui.propertyPages">
103 <page
104 class="hu.bme.mit.inf.dslreasoner.faulttree.components.ui.CftLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.editor.preferences.LanguageRootPreferencePage"
105 id="hu.bme.mit.inf.dslreasoner.faulttree.components.CftLanguage"
106 name="CftLanguage">
107 <keywordReference id="hu.bme.mit.inf.dslreasoner.faulttree.components.ui.keyword_CftLanguage"/>
108 <enabledWhen>
109 <adapt type="org.eclipse.core.resources.IProject"/>
110 </enabledWhen>
111 <filter name="projectNature" value="org.eclipse.xtext.ui.shared.xtextNature"/>
112 </page>
113 </extension>
114 <extension
115 point="org.eclipse.ui.keywords">
116 <keyword
117 id="hu.bme.mit.inf.dslreasoner.faulttree.components.ui.keyword_CftLanguage"
118 label="CftLanguage"/>
119 </extension>
120 <extension
121 point="org.eclipse.ui.commands">
122 <command
123 description="Trigger expensive validation"
124 id="hu.bme.mit.inf.dslreasoner.faulttree.components.CftLanguage.validate"
125 name="Validate">
126 </command>
127 <!-- copy qualified name -->
128 <command
129 id="org.eclipse.xtext.ui.editor.copyqualifiedname.EditorCopyQualifiedName"
130 categoryId="org.eclipse.ui.category.edit"
131 description="Copy the qualified name for the selected element"
132 name="Copy Qualified Name">
133 </command>
134 <command
135 id="org.eclipse.xtext.ui.editor.copyqualifiedname.OutlineCopyQualifiedName"
136 categoryId="org.eclipse.ui.category.edit"
137 description="Copy the qualified name for the selected element"
138 name="Copy Qualified Name">
139 </command>
140 </extension>
141 <extension point="org.eclipse.ui.menus">
142 <menuContribution
143 locationURI="popup:#TextEditorContext?after=group.edit">
144 <command
145 commandId="hu.bme.mit.inf.dslreasoner.faulttree.components.CftLanguage.validate"
146 style="push"
147 tooltip="Trigger expensive validation">
148 <visibleWhen checkEnabled="false">
149 <reference
150 definitionId="hu.bme.mit.inf.dslreasoner.faulttree.components.CftLanguage.Editor.opened">
151 </reference>
152 </visibleWhen>
153 </command>
154 </menuContribution>
155 <!-- copy qualified name -->
156 <menuContribution locationURI="popup:#TextEditorContext?after=copy">
157 <command commandId="org.eclipse.xtext.ui.editor.copyqualifiedname.EditorCopyQualifiedName"
158 style="push" tooltip="Copy Qualified Name">
159 <visibleWhen checkEnabled="false">
160 <reference definitionId="hu.bme.mit.inf.dslreasoner.faulttree.components.CftLanguage.Editor.opened" />
161 </visibleWhen>
162 </command>
163 </menuContribution>
164 <menuContribution locationURI="menu:edit?after=copy">
165 <command commandId="org.eclipse.xtext.ui.editor.copyqualifiedname.EditorCopyQualifiedName"
166 style="push" tooltip="Copy Qualified Name">
167 <visibleWhen checkEnabled="false">
168 <reference definitionId="hu.bme.mit.inf.dslreasoner.faulttree.components.CftLanguage.Editor.opened" />
169 </visibleWhen>
170 </command>
171 </menuContribution>
172 <menuContribution locationURI="popup:org.eclipse.xtext.ui.outline?after=additions">
173 <command commandId="org.eclipse.xtext.ui.editor.copyqualifiedname.OutlineCopyQualifiedName"
174 style="push" tooltip="Copy Qualified Name">
175 <visibleWhen checkEnabled="false">
176 <and>
177 <reference definitionId="hu.bme.mit.inf.dslreasoner.faulttree.components.CftLanguage.XtextEditor.opened" />
178 <iterate>
179 <adapt type="org.eclipse.xtext.ui.editor.outline.IOutlineNode" />
180 </iterate>
181 </and>
182 </visibleWhen>
183 </command>
184 </menuContribution>
185 </extension>
186 <extension point="org.eclipse.ui.menus">
187 <menuContribution locationURI="popup:#TextEditorContext?endof=group.find">
188 <command commandId="org.eclipse.xtext.ui.editor.FindReferences">
189 <visibleWhen checkEnabled="false">
190 <reference definitionId="hu.bme.mit.inf.dslreasoner.faulttree.components.CftLanguage.Editor.opened">
191 </reference>
192 </visibleWhen>
193 </command>
194 </menuContribution>
195 </extension>
196 <extension point="org.eclipse.ui.handlers">
197 <handler
198 class="hu.bme.mit.inf.dslreasoner.faulttree.components.ui.CftLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.editor.findrefs.FindReferencesHandler"
199 commandId="org.eclipse.xtext.ui.editor.FindReferences">
200 <activeWhen>
201 <reference
202 definitionId="hu.bme.mit.inf.dslreasoner.faulttree.components.CftLanguage.Editor.opened">
203 </reference>
204 </activeWhen>
205 </handler>
206 </extension>
207 <extension point="org.eclipse.core.contenttype.contentTypes">
208 <content-type
209 base-type="org.eclipse.core.runtime.text"
210 file-extensions="cft"
211 id="hu.bme.mit.inf.dslreasoner.faulttree.components.CftLanguage.contenttype"
212 name="CftLanguage File"
213 priority="normal">
214 </content-type>
215 </extension>
216 <!-- adding resource factories -->
217 <extension
218 point="org.eclipse.emf.ecore.extension_parser">
219 <parser
220 class="hu.bme.mit.inf.dslreasoner.faulttree.components.ui.CftLanguageExecutableExtensionFactory:org.eclipse.xtext.resource.IResourceFactory"
221 type="cft">
222 </parser>
223 </extension>
224 <extension point="org.eclipse.xtext.extension_resourceServiceProvider">
225 <resourceServiceProvider
226 class="hu.bme.mit.inf.dslreasoner.faulttree.components.ui.CftLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.resource.IResourceUIServiceProvider"
227 uriExtension="cft">
228 </resourceServiceProvider>
229 </extension>
230 <!-- marker definitions for hu.bme.mit.inf.dslreasoner.faulttree.components.CftLanguage -->
231 <extension
232 id="cftlanguage.check.fast"
233 name="CftLanguage Problem"
234 point="org.eclipse.core.resources.markers">
235 <super type="org.eclipse.xtext.ui.check.fast"/>
236 <persistent value="true"/>
237 </extension>
238 <extension
239 id="cftlanguage.check.normal"
240 name="CftLanguage Problem"
241 point="org.eclipse.core.resources.markers">
242 <super type="org.eclipse.xtext.ui.check.normal"/>
243 <persistent value="true"/>
244 </extension>
245 <extension
246 id="cftlanguage.check.expensive"
247 name="CftLanguage Problem"
248 point="org.eclipse.core.resources.markers">
249 <super type="org.eclipse.xtext.ui.check.expensive"/>
250 <persistent value="true"/>
251 </extension>
252 <extension point="org.eclipse.ui.preferencePages">
253 <page
254 category="hu.bme.mit.inf.dslreasoner.faulttree.components.CftLanguage"
255 class="hu.bme.mit.inf.dslreasoner.faulttree.components.ui.CftLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.validation.ValidatorPreferencePage"
256 id="hu.bme.mit.inf.dslreasoner.faulttree.components.CftLanguage.validator.preferencePage"
257 name="Errors/Warnings">
258 <keywordReference id="hu.bme.mit.inf.dslreasoner.faulttree.components.ui.keyword_CftLanguage"/>
259 </page>
260 </extension>
261 <extension point="org.eclipse.xtext.builder.participant">
262 <participant
263 class="hu.bme.mit.inf.dslreasoner.faulttree.components.ui.CftLanguageExecutableExtensionFactory:org.eclipse.xtext.builder.IXtextBuilderParticipant"
264 fileExtensions="cft"/>
265 </extension>
266 <extension point="org.eclipse.ui.preferencePages">
267 <page
268 category="hu.bme.mit.inf.dslreasoner.faulttree.components.CftLanguage"
269 class="hu.bme.mit.inf.dslreasoner.faulttree.components.ui.CftLanguageExecutableExtensionFactory:org.eclipse.xtext.builder.preferences.BuilderPreferencePage"
270 id="hu.bme.mit.inf.dslreasoner.faulttree.components.CftLanguage.compiler.preferencePage"
271 name="Compiler">
272 <keywordReference id="hu.bme.mit.inf.dslreasoner.faulttree.components.ui.keyword_CftLanguage"/>
273 </page>
274 </extension>
275 <extension point="org.eclipse.ui.propertyPages">
276 <page
277 category="hu.bme.mit.inf.dslreasoner.faulttree.components.CftLanguage"
278 class="hu.bme.mit.inf.dslreasoner.faulttree.components.ui.CftLanguageExecutableExtensionFactory:org.eclipse.xtext.builder.preferences.BuilderPreferencePage"
279 id="hu.bme.mit.inf.dslreasoner.faulttree.components.CftLanguage.compiler.propertyPage"
280 name="Compiler">
281 <keywordReference id="hu.bme.mit.inf.dslreasoner.faulttree.components.ui.keyword_CftLanguage"/>
282 <enabledWhen>
283 <adapt type="org.eclipse.core.resources.IProject"/>
284 </enabledWhen>
285 <filter name="projectNature" value="org.eclipse.xtext.ui.shared.xtextNature"/>
286 </page>
287 </extension>
288 <extension point="org.eclipse.ui.menus">
289 <menuContribution locationURI="popup:#TextEditorContext?after=xtext.ui.openDeclaration">
290 <command
291 commandId="org.eclipse.xtext.ui.OpenGeneratedFileCommand"
292 id="hu.bme.mit.inf.dslreasoner.faulttree.components.CftLanguage.OpenGeneratedCode"
293 style="push">
294 <visibleWhen checkEnabled="false">
295 <reference definitionId="hu.bme.mit.inf.dslreasoner.faulttree.components.CftLanguage.Editor.opened" />
296 </visibleWhen>
297 </command>
298 </menuContribution>
299 </extension>
300 <extension point="org.eclipse.ui.handlers">
301 <handler
302 class="hu.bme.mit.inf.dslreasoner.faulttree.components.ui.CftLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.generator.trace.OpenGeneratedFileHandler"
303 commandId="org.eclipse.xtext.ui.OpenGeneratedFileCommand">
304 <activeWhen>
305 <reference definitionId="hu.bme.mit.inf.dslreasoner.faulttree.components.CftLanguage.Editor.opened" />
306 </activeWhen>
307 </handler>
308 </extension>
309 <!-- Quick Outline -->
310 <extension
311 point="org.eclipse.ui.handlers">
312 <handler
313 class="hu.bme.mit.inf.dslreasoner.faulttree.components.ui.CftLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.editor.outline.quickoutline.ShowQuickOutlineActionHandler"
314 commandId="org.eclipse.xtext.ui.editor.outline.QuickOutline">
315 <activeWhen>
316 <reference
317 definitionId="hu.bme.mit.inf.dslreasoner.faulttree.components.CftLanguage.Editor.opened">
318 </reference>
319 </activeWhen>
320 </handler>
321 </extension>
322 <extension
323 point="org.eclipse.ui.commands">
324 <command
325 description="Open the quick outline."
326 id="org.eclipse.xtext.ui.editor.outline.QuickOutline"
327 name="Quick Outline">
328 </command>
329 </extension>
330 <extension point="org.eclipse.ui.menus">
331 <menuContribution
332 locationURI="popup:#TextEditorContext?after=group.open">
333 <command commandId="org.eclipse.xtext.ui.editor.outline.QuickOutline"
334 style="push"
335 tooltip="Open Quick Outline">
336 <visibleWhen checkEnabled="false">
337 <reference definitionId="hu.bme.mit.inf.dslreasoner.faulttree.components.CftLanguage.Editor.opened"/>
338 </visibleWhen>
339 </command>
340 </menuContribution>
341 </extension>
342 <!-- quickfix marker resolution generator for hu.bme.mit.inf.dslreasoner.faulttree.components.CftLanguage -->
343 <extension
344 point="org.eclipse.ui.ide.markerResolution">
345 <markerResolutionGenerator
346 class="hu.bme.mit.inf.dslreasoner.faulttree.components.ui.CftLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.editor.quickfix.MarkerResolutionGenerator"
347 markerType="hu.bme.mit.inf.dslreasoner.faulttree.components.ui.cftlanguage.check.fast">
348 <attribute
349 name="FIXABLE_KEY"
350 value="true">
351 </attribute>
352 </markerResolutionGenerator>
353 <markerResolutionGenerator
354 class="hu.bme.mit.inf.dslreasoner.faulttree.components.ui.CftLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.editor.quickfix.MarkerResolutionGenerator"
355 markerType="hu.bme.mit.inf.dslreasoner.faulttree.components.ui.cftlanguage.check.normal">
356 <attribute
357 name="FIXABLE_KEY"
358 value="true">
359 </attribute>
360 </markerResolutionGenerator>
361 <markerResolutionGenerator
362 class="hu.bme.mit.inf.dslreasoner.faulttree.components.ui.CftLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.editor.quickfix.MarkerResolutionGenerator"
363 markerType="hu.bme.mit.inf.dslreasoner.faulttree.components.ui.cftlanguage.check.expensive">
364 <attribute
365 name="FIXABLE_KEY"
366 value="true">
367 </attribute>
368 </markerResolutionGenerator>
369 </extension>
370 <!-- Rename Refactoring -->
371 <extension point="org.eclipse.ui.handlers">
372 <handler
373 class="hu.bme.mit.inf.dslreasoner.faulttree.components.ui.CftLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.refactoring.ui.DefaultRenameElementHandler"
374 commandId="org.eclipse.xtext.ui.refactoring.RenameElement">
375 <activeWhen>
376 <reference
377 definitionId="hu.bme.mit.inf.dslreasoner.faulttree.components.CftLanguage.Editor.opened">
378 </reference>
379 </activeWhen>
380 </handler>
381 </extension>
382 <extension point="org.eclipse.ui.menus">
383 <menuContribution
384 locationURI="popup:#TextEditorContext?after=group.edit">
385 <command commandId="org.eclipse.xtext.ui.refactoring.RenameElement"
386 style="push">
387 <visibleWhen checkEnabled="false">
388 <reference
389 definitionId="hu.bme.mit.inf.dslreasoner.faulttree.components.CftLanguage.Editor.opened">
390 </reference>
391 </visibleWhen>
392 </command>
393 </menuContribution>
394 </extension>
395 <extension point="org.eclipse.ui.preferencePages">
396 <page
397 category="hu.bme.mit.inf.dslreasoner.faulttree.components.CftLanguage"
398 class="hu.bme.mit.inf.dslreasoner.faulttree.components.ui.CftLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.refactoring.ui.RefactoringPreferencePage"
399 id="hu.bme.mit.inf.dslreasoner.faulttree.components.CftLanguage.refactoring"
400 name="Refactoring">
401 <keywordReference id="hu.bme.mit.inf.dslreasoner.faulttree.components.ui.keyword_CftLanguage"/>
402 </page>
403 </extension>
404 <extension point="org.eclipse.compare.contentViewers">
405 <viewer id="hu.bme.mit.inf.dslreasoner.faulttree.components.CftLanguage.compare.contentViewers"
406 class="hu.bme.mit.inf.dslreasoner.faulttree.components.ui.CftLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.compare.InjectableViewerCreator"
407 extensions="cft">
408 </viewer>
409 <contentTypeBinding
410 contentTypeId="hu.bme.mit.inf.dslreasoner.faulttree.components.CftLanguage.contenttype"
411 contentViewerId="hu.bme.mit.inf.dslreasoner.faulttree.components.CftLanguage.compare.contentViewers" />
412 </extension>
413 <extension point="org.eclipse.compare.contentMergeViewers">
414 <viewer id="hu.bme.mit.inf.dslreasoner.faulttree.components.CftLanguage.compare.contentMergeViewers"
415 class="hu.bme.mit.inf.dslreasoner.faulttree.components.ui.CftLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.compare.InjectableViewerCreator"
416 extensions="cft" label="CftLanguage Compare">
417 </viewer>
418 <contentTypeBinding
419 contentTypeId="hu.bme.mit.inf.dslreasoner.faulttree.components.CftLanguage.contenttype"
420 contentMergeViewerId="hu.bme.mit.inf.dslreasoner.faulttree.components.CftLanguage.compare.contentMergeViewers" />
421 </extension>
422 <extension point="org.eclipse.ui.editors.documentProviders">
423 <provider id="hu.bme.mit.inf.dslreasoner.faulttree.components.CftLanguage.editors.documentProviders"
424 class="hu.bme.mit.inf.dslreasoner.faulttree.components.ui.CftLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.editor.model.XtextDocumentProvider"
425 extensions="cft">
426 </provider>
427 </extension>
428 <extension point="org.eclipse.team.core.fileTypes">
429 <fileTypes
430 extension="cft"
431 type="text">
432 </fileTypes>
433 </extension>
434</plugin>