diff options
| author |  OszkarSemerath <oszka@152.66.252.189> | 2017-10-13 13:35:03 +0200 |
|---|---|---|
| committer | OszkarSemerath <oszka@152.66.252.189> | 2017-10-13 13:35:03 +0200 |
| commit | fe2881fe9c09372ac4a5cc54e96b439d024dffd9 (patch) | |
| tree | 3504ac660491293154ca2cb566a68ba8ce635c39 /Solvers/Alloy-Solver/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/src/hu/bme/mit/inf/dlsreasoner/alloy/reasoner/builder/Logic2AlloyLanguageMapper_TypeMapperTrace_InheritanceAndHorizontal.xtend | |
| parent | Refactoring of Alloy type mapping and interpretation. (diff) | |
| download | VIATRA-Generator-fe2881fe9c09372ac4a5cc54e96b439d024dffd9.tar.gz VIATRA-Generator-fe2881fe9c09372ac4a5cc54e96b439d024dffd9.tar.zst VIATRA-Generator-fe2881fe9c09372ac4a5cc54e96b439d024dffd9.zip | |
:lipstick:
Diffstat (limited to 'Solvers/Alloy-Solver/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/src/hu/bme/mit/inf/dlsreasoner/alloy/reasoner/builder/Logic2AlloyLanguageMapper_TypeMapperTrace_InheritanceAndHorizontal.xtend')
1 files changed, 15 insertions, 0 deletions
diff --git a/Solvers/Alloy-Solver/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/src/hu/bme/mit/inf/dlsreasoner/alloy/reasoner/builder/Logic2AlloyLanguageMapper_TypeMapperTrace_InheritanceAndHorizontal.xtend b/Solvers/Alloy-Solver/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/src/hu/bme/mit/inf/dlsreasoner/alloy/reasoner/builder/Logic2AlloyLanguageMapper_TypeMapperTrace_InheritanceAndHorizontal.xtend new file mode 100644 index 00000000..8377aca4 --- /dev/null +++ b/Solvers/Alloy-Solver/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/src/hu/bme/mit/inf/dlsreasoner/alloy/reasoner/builder/Logic2AlloyLanguageMapper_TypeMapperTrace_InheritanceAndHorizontal.xtend | |||
| @@ -0,0 +1,15 @@ | |||
| 1 | package hu.bme.mit.inf.dlsreasoner.alloy.reasoner.builder | ||
| 2 | |||
| 3 | import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSSignatureDeclaration | ||
| 4 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.DefinedElement | ||
| 5 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Type | ||
| 6 | import java.util.HashMap | ||
| 7 | import java.util.List | ||
| 8 | import java.util.Map | ||
| 9 | |||
| 10 | class Logic2AlloyLanguageMapper_TypeMapperTrace_InheritanceAndHorizontal implements Logic2AlloyLanguageMapper_TypeMapperTrace { | ||
| 11 | public var ALSSignatureDeclaration objectSupperClass; | ||
| 12 | public val Map<Type, ALSSignatureDeclaration> type2ALSType = new HashMap; | ||
| 13 | public val Map<DefinedElement, ALSSignatureDeclaration> definedElement2Declaration = new HashMap | ||
| 14 | public val Map<Type, List<ALSSignatureDeclaration>> typeSelection = new HashMap | ||
| 15 | } | ||