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 | |
| 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')
3 files changed, 10 insertions, 2 deletions
diff --git a/Application/hu.bme.mit.inf.dslreasoner.application.ide/xtend-gen/hu/bme/mit/inf/dslreasoner/application/ide/.ApplicationConfigurationIdeModule.xtendbin b/Application/hu.bme.mit.inf.dslreasoner.application.ide/xtend-gen/hu/bme/mit/inf/dslreasoner/application/ide/.ApplicationConfigurationIdeModule.xtendbin index 879d3171..d13742f9 100644 --- a/Application/hu.bme.mit.inf.dslreasoner.application.ide/xtend-gen/hu/bme/mit/inf/dslreasoner/application/ide/.ApplicationConfigurationIdeModule.xtendbin +++ b/Application/hu.bme.mit.inf.dslreasoner.application.ide/xtend-gen/hu/bme/mit/inf/dslreasoner/application/ide/.ApplicationConfigurationIdeModule.xtendbin | |||
| Binary files differ | |||
diff --git a/Application/hu.bme.mit.inf.dslreasoner.application.ide/xtend-gen/hu/bme/mit/inf/dslreasoner/application/ide/.ApplicationConfigurationIdeSetup.xtendbin b/Application/hu.bme.mit.inf.dslreasoner.application.ide/xtend-gen/hu/bme/mit/inf/dslreasoner/application/ide/.ApplicationConfigurationIdeSetup.xtendbin index 1583d4f9..dc0a79cc 100644 --- a/Application/hu.bme.mit.inf.dslreasoner.application.ide/xtend-gen/hu/bme/mit/inf/dslreasoner/application/ide/.ApplicationConfigurationIdeSetup.xtendbin +++ b/Application/hu.bme.mit.inf.dslreasoner.application.ide/xtend-gen/hu/bme/mit/inf/dslreasoner/application/ide/.ApplicationConfigurationIdeSetup.xtendbin | |||
| Binary files differ | |||
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> |