Google Git
Sign in
eclipse / gerrit / efm / org.eclipse.efm-modeling / 57c07bad54971c2ce82b6ab7052fcdd644d4a69a / . / execution / org.eclipse.efm.execution.launchconfiguration / plugin.xml
blob: 2c08f11bb1ec3085541446533a4e4c0f38227282 [file] [log] [blame]
Arnault Lapitrea22ba402017-04-03 16:11:19 +0200[diff] [blame]1<?xml version="1.0" encoding="UTF-8"?>
2<?eclipse version="3.4"?>
3<plugin>
4
5 <extension
6 point="org.eclipse.debug.core.launchModes">
7 <launchMode
8 label="Run"
9 mode="run">
10 </launchMode>
11 <launchMode
12 label="Debug"
13 mode="debug">
14 </launchMode>
15 </extension>
16 <extension
17 point="org.eclipse.debug.core.launchDelegates">
18 <launchDelegate
19 delegate="org.eclipse.efm.execution.launchconfiguration.LaunchDelegate"
Arnault Lapitrebfaa0422017-04-14 19:29:15 +0200[diff] [blame]20 id="org.eclipse.efm.execution.launchconfiguration.launchDelegate"
Arnault Lapitrea22ba402017-04-03 16:11:19 +0200[diff] [blame]21 modes="sew"
22 type="org.eclipse.jdt.launching.localJavaApplication">
23 </launchDelegate>
24 </extension>
25 <extension
26 point="org.eclipse.debug.core.launchConfigurationTypes">
27 <launchConfigurationType
28 delegate="org.eclipse.efm.execution.launchconfiguration.LaunchDelegate"
Arnault Lapitrebfaa0422017-04-14 19:29:15 +0200[diff] [blame]29 id="org.eclipse.efm.execution.launchconfiguration.sew_type"
Arnault Lapitrea22ba402017-04-03 16:11:19 +0200[diff] [blame]30 modes="run,debug"
31 name="Symbolic Execution Workflow">
32 </launchConfigurationType>
33 </extension>
34 <extension
35 point="org.eclipse.debug.ui.launchConfigurationTabGroups">
36 <launchConfigurationTabGroup
37 class="org.eclipse.efm.execution.launchconfiguration.LaunchConfigurationTabGroup"
Arnault Lapitrebfaa0422017-04-14 19:29:15 +0200[diff] [blame]38 id="org.eclipse.efm.execution.launchconfiguration.sew_tabgroup"
39 helpContextId="org.eclipse.efm.execution.launchconfiguration.sew_launch_tabgroup"
40 type="org.eclipse.efm.execution.launchconfiguration.sew_type">
Arnault Lapitrea22ba402017-04-03 16:11:19 +0200[diff] [blame]41 </launchConfigurationTabGroup>
42 </extension>
43 <extension
44 point="org.eclipse.debug.ui.launchConfigurationTypeImages">
45 <launchConfigurationTypeImage
Arnault Lapitrebfaa0422017-04-14 19:29:15 +0200[diff] [blame]46 configTypeID="org.eclipse.efm.execution.launchconfiguration.sew_type"
Arnault Lapitrea22ba402017-04-03 16:11:19 +0200[diff] [blame]47 icon="platform:/plugin/org.eclipse.efm.ui/resources/icons/diversity_icon.png"
Arnault Lapitrebfaa0422017-04-14 19:29:15 +0200[diff] [blame]48 id="org.eclipse.efm.execution.launchconfiguration.sew_image">
Arnault Lapitrea22ba402017-04-03 16:11:19 +0200[diff] [blame]49 </launchConfigurationTypeImage>
50 </extension>
51 <extension
52 point="org.eclipse.core.expressions.definitions">
53 <definition
Arnault Lapitrebfaa0422017-04-14 19:29:15 +0200[diff] [blame]54 id="org.eclipse.efm.execution.launchconfiguration.definition.isEnabledMenuSEW">
Arnault Lapitrea22ba402017-04-03 16:11:19 +0200[diff] [blame]55 <or>
56 <with
57 variable="activeEditorId">
58 <equals
59 value="org.eclipse.diversity.ide.xtext.favm.FAVM">
60 </equals>
61 </with>
62 <with
63 variable="selection">
64 <count
65 value="1">
66 </count>
Arnault Lapitre8fc97102019-10-22 13:24:36 +0200[diff] [blame]67 <or>
68 <iterate
69 operator="and">
70 <instanceof
71 value="org.eclipse.core.resources.IFile">
72 </instanceof>
73 <or>
74 <test
75 property="org.eclipse.core.resources.extension"
76 value="sew">
77 </test>
78 <test
79 property="org.eclipse.core.resources.extension"
80 value="favm">
81 </test>
82 <test
83 property="org.eclipse.core.resources.extension"
84 value="gv">
85 </test>
86 </or>
87 </iterate>
88 <iterate
89 operator="and">
90 <instanceof
91 value="org.eclipse.core.resources.IContainer">
92 </instanceof>
93 </iterate>
94 </or>
Arnault Lapitrea22ba402017-04-03 16:11:19 +0200[diff] [blame]95 </with>
96 </or>
97 </definition>
98 <definition
Arnault Lapitrebfaa0422017-04-14 19:29:15 +0200[diff] [blame]99 id="org.eclipse.efm.execution.launchconfiguration.definition.isEnabledCommandRunSEW">
Arnault Lapitrea22ba402017-04-03 16:11:19 +0200[diff] [blame]100 <or>
101 <with
102 variable="activeEditorId">
103 <equals
104 value="org.eclipse.diversity.ide.xtext.favm.FAVM">
105 </equals>
106 </with>
107 <with
108 variable="selection">
109 <count
110 value="1">
111 </count>
112 <iterate
113 operator="and">
114 <instanceof
115 value="org.eclipse.core.resources.IFile">
116 </instanceof>
117 <or>
118 <test
119 property="org.eclipse.core.resources.extension"
120 value="sew">
121 </test>
122 <test
123 property="org.eclipse.core.resources.extension"
124 value="favm">
125 </test>
126 </or>
127 </iterate>
128 </with>
129 </or>
130 </definition>
131 <definition
Arnault Lapitrebfaa0422017-04-14 19:29:15 +0200[diff] [blame]132 id="org.eclipse.efm.execution.launchconfiguration.definition.isEnabledCommandGraphViz">
Arnault Lapitrea22ba402017-04-03 16:11:19 +0200[diff] [blame]133 <or>
134 <with
135 variable="selection">
136 <count
137 value="1">
138 </count>
139 <iterate
140 operator="and">
141 <instanceof
142 value="org.eclipse.core.resources.IFile">
143 </instanceof>
144 <test
145 property="org.eclipse.core.resources.extension"
146 value="gv">
147 </test>
148 </iterate>
149 </with>
150 </or>
151 </definition>
Arnault Lapitre8fc97102019-10-22 13:24:36 +0200[diff] [blame]152 <definition
153 id="org.eclipse.efm.execution.launchconfiguration.definition.isEnabledCommandCheckingLiveness">
154 <or>
155 <with
156 variable="selection">
157 <count
158 value="1">
159 </count>
160 <iterate
161 operator="and">
162 <instanceof
163 value="org.eclipse.core.resources.IContainer">
164 </instanceof>
165 </iterate>
166 </with>
167 </or>
168 </definition>
Arnault Lapitrea22ba402017-04-03 16:11:19 +0200[diff] [blame]169 </extension>
170 <extension
171 point="org.eclipse.ui.commands">
172 <category
173 description="Run Symbolic Execution Workflow"
Arnault Lapitrebfaa0422017-04-14 19:29:15 +0200[diff] [blame]174 id="org.eclipse.efm.execution.launchconfiguration.commands.category.runSEW"
Arnault Lapitrea22ba402017-04-03 16:11:19 +0200[diff] [blame]175 name="Run SEW">
176 </category>
177 <command
Arnault Lapitrebfaa0422017-04-14 19:29:15 +0200[diff] [blame]178 categoryId="org.eclipse.efm.execution.launchconfiguration.commands.category.runSEW"
Arnault Lapitrea22ba402017-04-03 16:11:19 +0200[diff] [blame]179 description="Run Symbolic Execution Workflow"
Arnault Lapitrebfaa0422017-04-14 19:29:15 +0200[diff] [blame]180 id="org.eclipse.efm.execution.launchconfiguration.command.runSEW"
Arnault Lapitrea22ba402017-04-03 16:11:19 +0200[diff] [blame]181 name="Run SEW">
182 </command>
183 </extension>
184 <extension
185 point="org.eclipse.ui.handlers">
186 <handler
187 class="org.eclipse.efm.execution.launchconfiguration.handlers.RunSewHandler"
Arnault Lapitrebfaa0422017-04-14 19:29:15 +0200[diff] [blame]188 commandId="org.eclipse.efm.execution.launchconfiguration.command.runSEW">
Arnault Lapitrea22ba402017-04-03 16:11:19 +0200[diff] [blame]189 <enabledWhen>
190 <reference
Arnault Lapitrebfaa0422017-04-14 19:29:15 +0200[diff] [blame]191 definitionId="org.eclipse.efm.execution.launchconfiguration.definition.isEnabledCommandRunSEW">
Arnault Lapitrea22ba402017-04-03 16:11:19 +0200[diff] [blame]192 </reference>
193 </enabledWhen>
194 </handler>
195 </extension>
196 <extension
197 point="org.eclipse.ui.commands">
198 <category
Arnault Lapitrebfaa0422017-04-14 19:29:15 +0200[diff] [blame]199 id="org.eclipse.efm.execution.launchconfiguration.commands.category.graphviz"
Arnault Lapitrea22ba402017-04-03 16:11:19 +0200[diff] [blame]200 name="GraphViz">
201 </category>
202 <command
Arnault Lapitrebfaa0422017-04-14 19:29:15 +0200[diff] [blame]203 categoryId="org.eclipse.efm.execution.launchconfiguration.commands.category.graphviz"
Arnault Lapitrea22ba402017-04-03 16:11:19 +0200[diff] [blame]204 description="Graph Visualization Tool"
Arnault Lapitrebfaa0422017-04-14 19:29:15 +0200[diff] [blame]205 id="org.eclipse.efm.execution.launchconfiguration.command.graphviz"
Arnault Lapitrea22ba402017-04-03 16:11:19 +0200[diff] [blame]206 name="GraphViz">
207 </command>
208 </extension>
209 <extension
210 point="org.eclipse.ui.handlers">
211 <handler
212 class="org.eclipse.efm.execution.launchconfiguration.handlers.GraphVizHandler"
Arnault Lapitrebfaa0422017-04-14 19:29:15 +0200[diff] [blame]213 commandId="org.eclipse.efm.execution.launchconfiguration.command.graphviz">
Arnault Lapitrea22ba402017-04-03 16:11:19 +0200[diff] [blame]214 <enabledWhen>
215 <reference
Arnault Lapitrebfaa0422017-04-14 19:29:15 +0200[diff] [blame]216 definitionId="org.eclipse.efm.execution.launchconfiguration.definition.isEnabledCommandGraphViz">
Arnault Lapitrea22ba402017-04-03 16:11:19 +0200[diff] [blame]217 </reference>
218 </enabledWhen>
219 </handler>
220 </extension>
Arnault Lapitre2f287d02019-03-01 15:16:41 +0100[diff] [blame]221
Arnault Lapitre8fc97102019-10-22 13:24:36 +0200[diff] [blame]222<!-- AFIN DE TEST RAPIDE -->
Arnault Lapitre2f287d02019-03-01 15:16:41 +0100[diff] [blame]223 <extension
224 point="org.eclipse.ui.commands">
225 <category
Arnault Lapitre8fc97102019-10-22 13:24:36 +0200[diff] [blame]226 description="Checking Liveness of Poligraphs in sectected Folder"
Arnault Lapitre2f287d02019-03-01 15:16:41 +0100[diff] [blame]227 id="org.eclipse.efm.execution.launchconfiguration.commands.category.runTest"
Arnault Lapitre8fc97102019-10-22 13:24:36 +0200[diff] [blame]228 name="Checking Liveness ...">
Arnault Lapitre2f287d02019-03-01 15:16:41 +0100[diff] [blame]229 </category>
230 <command
231 categoryId="org.eclipse.efm.execution.launchconfiguration.commands.category.runTest"
Arnault Lapitre8fc97102019-10-22 13:24:36 +0200[diff] [blame]232 description="Checking Liveness of Poligraphs in sectected Folder"
Arnault Lapitre2f287d02019-03-01 15:16:41 +0100[diff] [blame]233 id="org.eclipse.efm.execution.launchconfiguration.command.runTest"
Arnault Lapitre8fc97102019-10-22 13:24:36 +0200[diff] [blame]234 name="Checking Liveness ...">
Arnault Lapitre2f287d02019-03-01 15:16:41 +0100[diff] [blame]235 </command>
236 </extension>
237 <extension
238 point="org.eclipse.ui.handlers">
239 <handler
240 class="org.eclipse.efm.execution.launchconfiguration.handlers.RunTestHandler"
241 commandId="org.eclipse.efm.execution.launchconfiguration.command.runTest">
Arnault Lapitre8fc97102019-10-22 13:24:36 +0200[diff] [blame]242 <enabledWhen>
243 <reference
244 definitionId="org.eclipse.efm.execution.launchconfiguration.definition.isEnabledCommandCheckingLiveness">
245 </reference>
246 </enabledWhen>
Arnault Lapitre2f287d02019-03-01 15:16:41 +0100[diff] [blame]247 </handler>
248 </extension>
Arnault Lapitre8fc97102019-10-22 13:24:36 +0200[diff] [blame]249<!-- AFIN DE TEST RAPIDE -->
Arnault Lapitre2f287d02019-03-01 15:16:41 +0100[diff] [blame]250
Arnault Lapitrea22ba402017-04-03 16:11:19 +0200[diff] [blame]251 <extension
252 point="org.eclipse.ui.bindings">
253 <key
Arnault Lapitrebfaa0422017-04-14 19:29:15 +0200[diff] [blame]254 commandId="org.eclipse.efm.execution.launchconfiguration.command.graphviz"
Arnault Lapitrea22ba402017-04-03 16:11:19 +0200[diff] [blame]255 contextId="org.eclipse.ui.contexts.window"
256 schemeId="org.eclipse.ui.defaultAcceleratorConfiguration"
257 sequence="M1+7">
258 </key>
259 </extension>
260 <extension
261 point="org.eclipse.ui.menus">
262 <menuContribution
263 locationURI="menu:org.eclipse.ui.main.menu?after=additions">
264 <menu
Arnault Lapitrebfaa0422017-04-14 19:29:15 +0200[diff] [blame]265 id="org.eclipse.efm.execution.launchconfiguration.menu.main"
Arnault Lapitrea22ba402017-04-03 16:11:19 +0200[diff] [blame]266 label="SEW"
267 mnemonic="S"
268 tooltip="Symbolic Execution Workflow">
269 <command
Arnault Lapitrebfaa0422017-04-14 19:29:15 +0200[diff] [blame]270 commandId="org.eclipse.efm.execution.launchconfiguration.command.runSEW"
Arnault Lapitrea22ba402017-04-03 16:11:19 +0200[diff] [blame]271 icon="platform:/plugin/org.eclipse.efm.ui/resources/icons/run_exc.gif"
Arnault Lapitrebfaa0422017-04-14 19:29:15 +0200[diff] [blame]272 id="org.eclipse.efm.execution.launchconfiguration.menu.runSEW"
Arnault Lapitrea22ba402017-04-03 16:11:19 +0200[diff] [blame]273 label="Run Symbolic Execution Workflow"
274 mnemonic="S">
275 </command>
276 <command
Arnault Lapitrebfaa0422017-04-14 19:29:15 +0200[diff] [blame]277 commandId="org.eclipse.efm.execution.launchconfiguration.command.graphviz"
Arnault Lapitrea22ba402017-04-03 16:11:19 +0200[diff] [blame]278 icon="platform:/plugin/org.eclipse.efm.ui/resources/icons/graph.ico"
Arnault Lapitrebfaa0422017-04-14 19:29:15 +0200[diff] [blame]279 id="org.eclipse.efm.execution.launchconfiguration.menu.graphviz"
Arnault Lapitrea22ba402017-04-03 16:11:19 +0200[diff] [blame]280 mnemonic="V">
281 </command>
Arnault Lapitre2f287d02019-03-01 15:16:41 +0100[diff] [blame]282
Arnault Lapitre8fc97102019-10-22 13:24:36 +0200[diff] [blame]283<!-- AFIN DE TEST RAPIDE -->
Arnault Lapitre2f287d02019-03-01 15:16:41 +0100[diff] [blame]284 <command
285 commandId="org.eclipse.efm.execution.launchconfiguration.command.runTest"
286 icon="platform:/plugin/org.eclipse.efm.ui/resources/icons/debug_exc.png"
287 id="org.eclipse.efm.execution.launchconfiguration.menu.runTest"
288 mnemonic="T">
289 </command>
Arnault Lapitre8fc97102019-10-22 13:24:36 +0200[diff] [blame]290<!-- AFIN DE TEST RAPIDE -->
Arnault Lapitrea22ba402017-04-03 16:11:19 +0200[diff] [blame]291 </menu>
292 </menuContribution>
293 <menuContribution
294 allPopups="true"
295 locationURI="popup:org.eclipse.ui.popup.any?after=additions">
296 <menu
297 icon="platform:/plugin/org.eclipse.efm.ui/resources/icons/diversity_icon.png"
Arnault Lapitrebfaa0422017-04-14 19:29:15 +0200[diff] [blame]298 id="org.eclipse.efm.execution.launchconfiguration.menu.popup.sew"
Arnault Lapitrea22ba402017-04-03 16:11:19 +0200[diff] [blame]299 label="Symbolic Execution Workflow">
300 <visibleWhen
301 checkEnabled="false">
302 <reference
Arnault Lapitrebfaa0422017-04-14 19:29:15 +0200[diff] [blame]303 definitionId="org.eclipse.efm.execution.launchconfiguration.definition.isEnabledMenuSEW">
Arnault Lapitrea22ba402017-04-03 16:11:19 +0200[diff] [blame]304 </reference>
305 </visibleWhen>
306 <command
Arnault Lapitrebfaa0422017-04-14 19:29:15 +0200[diff] [blame]307 commandId="org.eclipse.efm.execution.launchconfiguration.command.runSEW"
Arnault Lapitrea22ba402017-04-03 16:11:19 +0200[diff] [blame]308 icon="platform:/plugin/org.eclipse.efm.ui/resources/icons/run_exc.gif"
Arnault Lapitrebfaa0422017-04-14 19:29:15 +0200[diff] [blame]309 id="org.eclipse.efm.execution.launchconfiguration.menu.runSEW"
Arnault Lapitrea22ba402017-04-03 16:11:19 +0200[diff] [blame]310 mnemonic="S">
311 </command>
312 <command
Arnault Lapitrebfaa0422017-04-14 19:29:15 +0200[diff] [blame]313 commandId="org.eclipse.efm.execution.launchconfiguration.command.graphviz"
Arnault Lapitrea22ba402017-04-03 16:11:19 +0200[diff] [blame]314 icon="platform:/plugin/org.eclipse.efm.ui/resources/icons/graph.ico"
Arnault Lapitrebfaa0422017-04-14 19:29:15 +0200[diff] [blame]315 id="org.eclipse.efm.execution.launchconfiguration.menu.graphviz"
Arnault Lapitrea22ba402017-04-03 16:11:19 +0200[diff] [blame]316 mnemonic="V">
317 </command>
Arnault Lapitre2f287d02019-03-01 15:16:41 +0100[diff] [blame]318
Arnault Lapitre8fc97102019-10-22 13:24:36 +0200[diff] [blame]319<!-- AFIN DE TEST RAPIDE -->
Arnault Lapitre2f287d02019-03-01 15:16:41 +0100[diff] [blame]320 <command
321 commandId="org.eclipse.efm.execution.launchconfiguration.command.runTest"
322 icon="platform:/plugin/org.eclipse.efm.ui/resources/icons/debug_exc.png"
323 id="org.eclipse.efm.execution.launchconfiguration.menu.runTest"
324 mnemonic="T">
325 </command>
Arnault Lapitre8fc97102019-10-22 13:24:36 +0200[diff] [blame]326<!-- AFIN DE TEST RAPIDE -->
Arnault Lapitrea22ba402017-04-03 16:11:19 +0200[diff] [blame]327 </menu>
328 </menuContribution>
329 </extension>
330 <extension
331 point="org.eclipse.ui.commands">
332 <category
333 description="Symbolic Execution Workflow Tools"
Arnault Lapitrebfaa0422017-04-14 19:29:15 +0200[diff] [blame]334 id="org.eclipse.efm.execution.launchconfiguration.category.tools"
Arnault Lapitrea22ba402017-04-03 16:11:19 +0200[diff] [blame]335 name="SEW Tools">
336 </category>
337 <command
Arnault Lapitrebfaa0422017-04-14 19:29:15 +0200[diff] [blame]338 categoryId="org.eclipse.efm.execution.launchconfiguration.category.tools"
Arnault Lapitrea22ba402017-04-03 16:11:19 +0200[diff] [blame]339 defaultHandler="org.eclipse.efm.execution.launchconfiguration.handlers.RunSewToolsHandler"
Arnault Lapitrebfaa0422017-04-14 19:29:15 +0200[diff] [blame]340 id="org.eclipse.efm.execution.launchconfiguration.command.tools"
Arnault Lapitrea22ba402017-04-03 16:11:19 +0200[diff] [blame]341 name="SEW Tools">
342 <commandParameter
Arnault Lapitrebfaa0422017-04-14 19:29:15 +0200[diff] [blame]343 id="org.eclipse.efm.execution.launchconfiguration.commandParameter.message"
Arnault Lapitrea22ba402017-04-03 16:11:19 +0200[diff] [blame]344 name="Message"
345 optional="true">
346 </commandParameter>
347 </command>
348 </extension>
349 <extension
350 point="org.eclipse.ui.menus">
351 <menuContribution
352 allPopups="false"
353 locationURI="toolbar:org.eclipse.ui.main.toolbar?after=additions">
354 <toolbar
Arnault Lapitrebfaa0422017-04-14 19:29:15 +0200[diff] [blame]355 id="org.eclipse.efm.execution.launchconfiguration.toolbar.tools"
Arnault Lapitrea22ba402017-04-03 16:11:19 +0200[diff] [blame]356 label="SEW Tools">
357 <command
Arnault Lapitrebfaa0422017-04-14 19:29:15 +0200[diff] [blame]358 commandId="org.eclipse.efm.execution.launchconfiguration.command.tools"
Arnault Lapitrea22ba402017-04-03 16:11:19 +0200[diff] [blame]359 icon="platform:/plugin/org.eclipse.efm.ui/resources/icons/diversity_icon.png"
Arnault Lapitrebfaa0422017-04-14 19:29:15 +0200[diff] [blame]360 id="org.eclipse.efm.execution.launchconfiguration.dropdowncommand.tools"
Arnault Lapitrea22ba402017-04-03 16:11:19 +0200[diff] [blame]361 style="pulldown"
362 tooltip="Symbolic Execution Workflow Tools">
363 </command>
Arnault Lapitre2f287d02019-03-01 15:16:41 +0100[diff] [blame]364
Arnault Lapitre9f9b7272019-04-09 11:59:27 +0200[diff] [blame]365<!-- AFIN DE TEST RAPIDE - ->
Arnault Lapitre2f287d02019-03-01 15:16:41 +0100[diff] [blame]366 <command
367 commandId="org.eclipse.efm.execution.launchconfiguration.command.runTest"
368 icon="platform:/plugin/org.eclipse.efm.ui/resources/icons/debug_exc.png"
369 id="org.eclipse.efm.execution.launchconfiguration.menu.runTest"
370 mnemonic="T"
371 tooltip="Test New Features">
372 </command>
Arnault Lapitre9f9b7272019-04-09 11:59:27 +0200[diff] [blame]373<!- - AFIN DE TEST RAPIDE -->
Arnault Lapitrea22ba402017-04-03 16:11:19 +0200[diff] [blame]374 </toolbar>
375 </menuContribution>
376 <menuContribution
377 allPopups="false"
Arnault Lapitrebfaa0422017-04-14 19:29:15 +0200[diff] [blame]378 locationURI="menu:org.eclipse.efm.execution.launchconfiguration.dropdowncommand.tools">
Arnault Lapitrea22ba402017-04-03 16:11:19 +0200[diff] [blame]379 <command
Arnault Lapitrebfaa0422017-04-14 19:29:15 +0200[diff] [blame]380 commandId="org.eclipse.efm.execution.launchconfiguration.command.runSEW"
Arnault Lapitrea22ba402017-04-03 16:11:19 +0200[diff] [blame]381 icon="platform:/plugin/org.eclipse.efm.ui/resources/icons/run_exc.gif"
Arnault Lapitrebfaa0422017-04-14 19:29:15 +0200[diff] [blame]382 id="org.eclipse.efm.execution.launchconfiguration.toolbars.runSEW"
Arnault Lapitrea22ba402017-04-03 16:11:19 +0200[diff] [blame]383 tooltip="run Symbolic Execution Workflow">
384 </command>
385 <command
Arnault Lapitrebfaa0422017-04-14 19:29:15 +0200[diff] [blame]386 commandId="org.eclipse.efm.execution.launchconfiguration.command.graphviz"
Arnault Lapitrea22ba402017-04-03 16:11:19 +0200[diff] [blame]387 icon="platform:/plugin/org.eclipse.efm.ui/resources/icons/graph.ico"
Arnault Lapitrebfaa0422017-04-14 19:29:15 +0200[diff] [blame]388 id="org.eclipse.efm.execution.launchconfiguration.menu.graphviz"
Arnault Lapitrea22ba402017-04-03 16:11:19 +0200[diff] [blame]389 mnemonic="V"
390 tooltip="Graph Visualization">
391 </command>
Arnault Lapitre2f287d02019-03-01 15:16:41 +0100[diff] [blame]392
Arnault Lapitre8fc97102019-10-22 13:24:36 +0200[diff] [blame]393<!-- AFIN DE TEST RAPIDE -->
Arnault Lapitre2f287d02019-03-01 15:16:41 +0100[diff] [blame]394 <command
395 commandId="org.eclipse.efm.execution.launchconfiguration.command.runTest"
396 icon="platform:/plugin/org.eclipse.efm.ui/resources/icons/debug_exc.png"
397 id="org.eclipse.efm.execution.launchconfiguration.menu.runTest"
398 mnemonic="T"
Arnault Lapitre8fc97102019-10-22 13:24:36 +0200[diff] [blame]399 tooltip="Checking Liveness of Poligraphs in sectected Folder">
Arnault Lapitre2f287d02019-03-01 15:16:41 +0100[diff] [blame]400 </command>
Arnault Lapitre8fc97102019-10-22 13:24:36 +0200[diff] [blame]401<!-- AFIN DE TEST RAPIDE -->
Arnault Lapitrea22ba402017-04-03 16:11:19 +0200[diff] [blame]402 </menuContribution>
403 </extension>
404 <extension
405 point="org.eclipse.ui.views">
406 <view
407 category="org.eclipse.efm.ui.category.views"
Arnault Lapitre040d54b2018-05-18 05:09:29 +0200[diff] [blame]408 class="org.eclipse.efm.execution.launchconfiguration.ui.views.SymbexConsoleView"
409 icon="platform:/plugin/org.eclipse.efm.ui/resources/icons/diversity_icon.png"
410 id="org.eclipse.efm.execution.launchconfiguration.ui.views.SymbexConsoleView"
411 name="New Symbex Console">
412 </view>
413 </extension>
414 <extension
415 point="org.eclipse.ui.views">
416 <view
417 category="org.eclipse.efm.ui.category.views"
Arnault Lapitrea22ba402017-04-03 16:11:19 +0200[diff] [blame]418 class="org.eclipse.efm.execution.launchconfiguration.ui.views.SymbolicExecutionView"
419 icon="platform:/plugin/org.eclipse.efm.ui/resources/icons/diversity_icon.png"
Arnault Lapitrebfaa0422017-04-14 19:29:15 +0200[diff] [blame]420 id="org.eclipse.efm.execution.launchconfiguration.ui.views.SymbolicExecutionView"
Arnault Lapitrea22ba402017-04-03 16:11:19 +0200[diff] [blame]421 name="Symbex Console">
422 </view>
423 </extension>
424
425</plugin>