diff options
author | Kristóf Marussy <kris7topher@gmail.com> | 2019-02-16 00:43:11 +0100 |
---|---|---|
committer | Kristóf Marussy <kris7topher@gmail.com> | 2019-02-19 19:18:25 +0100 |
commit | d90bedacaafe87e06fddaa05a6ff9b7b796e97e7 (patch) | |
tree | 3631e27854b40de3bce7606f60113054c77bd391 /Application/hu.bme.mit.inf.dslreasoner.application.ui | |
parent | Ecore2Cft transformation (diff) | |
download | VIATRA-Generator-d90bedacaafe87e06fddaa05a6ff9b7b796e97e7.tar.gz VIATRA-Generator-d90bedacaafe87e06fddaa05a6ff9b7b796e97e7.tar.zst VIATRA-Generator-d90bedacaafe87e06fddaa05a6ff9b7b796e97e7.zip |
Two-valued fault tree analyzer WIP
Diffstat (limited to 'Application/hu.bme.mit.inf.dslreasoner.application.ui')
-rw-r--r-- | Application/hu.bme.mit.inf.dslreasoner.application.ui/plugin.xml | 12 |
1 files changed, 10 insertions, 2 deletions
diff --git a/Application/hu.bme.mit.inf.dslreasoner.application.ui/plugin.xml b/Application/hu.bme.mit.inf.dslreasoner.application.ui/plugin.xml index 099d6993..304df098 100644 --- a/Application/hu.bme.mit.inf.dslreasoner.application.ui/plugin.xml +++ b/Application/hu.bme.mit.inf.dslreasoner.application.ui/plugin.xml | |||
@@ -419,12 +419,20 @@ | |||
419 | point="org.eclipse.ui.menus"> | 419 | point="org.eclipse.ui.menus"> |
420 | <menuContribution | 420 | <menuContribution |
421 | allPopups="false" | 421 | allPopups="false" |
422 | locationURI="popup:org.eclipse.ui.popup.any?after=org.eclipse.viatra.addon.validation.runtime.ui.menu"> | 422 | locationURI="popup:hu.bme.mit.inf.dslreasoner.application.ui.menu"> |
423 | <command | 423 | <command |
424 | commandId="hu.bme.mit.inf.dslreasoner.application.ui.executescript" | 424 | commandId="hu.bme.mit.inf.dslreasoner.application.ui.executescript" |
425 | label="VIATRA Solver: Execute" | 425 | label="Execute Application Configuration" |
426 | style="push"> | 426 | style="push"> |
427 | </command> | 427 | </command> |
428 | </menuContribution> | 428 | </menuContribution> |
429 | <menuContribution | ||
430 | allPopups="false" | ||
431 | locationURI="popup:org.eclipse.ui.popup.any?after=org.eclipse.viatra.addon.validation.runtime.ui.menu"> | ||
432 | <menu | ||
433 | id="hu.bme.mit.inf.dslreasoner.application.ui.menu" | ||
434 | label="VIATRA Solver"> | ||
435 | </menu> | ||
436 | </menuContribution> | ||
429 | </extension> | 437 | </extension> |
430 | </plugin> | 438 | </plugin> |