diff options
| author |  OszkarSemerath <oszka@152.66.252.189> | 2017-06-10 19:05:05 +0200 |
|---|---|---|
| committer | OszkarSemerath <oszka@152.66.252.189> | 2017-06-10 19:05:05 +0200 |
| commit | 60f01f46ba232ed6416054f0a6115cb2a9b70b4e (patch) | |
| tree | 5edf8aeb07abc51f3fec63bbd15c926e1de09552 /Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language.ui/src/hu/bme/mit/inf/dslreasoner/ui/AlloyLanguageUiModule.java | |
| parent | Initial commit, migrating from SVN (diff) | |
| download | VIATRA-Generator-60f01f46ba232ed6416054f0a6115cb2a9b70b4e.tar.gz VIATRA-Generator-60f01f46ba232ed6416054f0a6115cb2a9b70b4e.tar.zst VIATRA-Generator-60f01f46ba232ed6416054f0a6115cb2a9b70b4e.zip | |
Migrating Additional projects
Diffstat (limited to 'Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language.ui/src/hu/bme/mit/inf/dslreasoner/ui/AlloyLanguageUiModule.java')
| -rw-r--r-- | Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language.ui/src/hu/bme/mit/inf/dslreasoner/ui/AlloyLanguageUiModule.java | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language.ui/src/hu/bme/mit/inf/dslreasoner/ui/AlloyLanguageUiModule.java b/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language.ui/src/hu/bme/mit/inf/dslreasoner/ui/AlloyLanguageUiModule.java new file mode 100644 index 00000000..20d083e6 --- /dev/null +++ b/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language.ui/src/hu/bme/mit/inf/dslreasoner/ui/AlloyLanguageUiModule.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 AlloyLanguageUiModule extends hu.bme.mit.inf.dslreasoner.ui.AbstractAlloyLanguageUiModule { | ||
| 12 | public AlloyLanguageUiModule(AbstractUIPlugin plugin) { | ||
| 13 | super(plugin); | ||
| 14 | } | ||
| 15 | } | ||