From e9338be10e5453a7a026bbc16ddaa30abe9fa5be Mon Sep 17 00:00:00 2001 From: OszkarSemerath Date: Fri, 13 Oct 2017 13:32:46 +0200 Subject: Refactoring of Alloy type mapping and interpretation. --- .../Logic2AlloyLanguageMapper_TypeMapper_FilteredTypes.xtend | 11 ++++------- 1 file changed, 4 insertions(+), 7 deletions(-) (limited to 'Solvers/Alloy-Solver/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/src/hu/bme/mit/inf/dlsreasoner/alloy/reasoner/builder/Logic2AlloyLanguageMapper_TypeMapper_FilteredTypes.xtend') diff --git a/Solvers/Alloy-Solver/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/src/hu/bme/mit/inf/dlsreasoner/alloy/reasoner/builder/Logic2AlloyLanguageMapper_TypeMapper_FilteredTypes.xtend b/Solvers/Alloy-Solver/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/src/hu/bme/mit/inf/dlsreasoner/alloy/reasoner/builder/Logic2AlloyLanguageMapper_TypeMapper_FilteredTypes.xtend index ade9860b..3b2e3390 100644 --- a/Solvers/Alloy-Solver/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/src/hu/bme/mit/inf/dlsreasoner/alloy/reasoner/builder/Logic2AlloyLanguageMapper_TypeMapper_FilteredTypes.xtend +++ b/Solvers/Alloy-Solver/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/src/hu/bme/mit/inf/dlsreasoner/alloy/reasoner/builder/Logic2AlloyLanguageMapper_TypeMapper_FilteredTypes.xtend @@ -18,13 +18,7 @@ import java.util.Map import static extension hu.bme.mit.inf.dslreasoner.util.CollectionsUtil.* -class Logic2AlloyLanguageMapper_TypeMapperTrace_FilteredTypes - implements Logic2AlloyLanguageMapper_TypeMapperTrace -{ - public var ALSSignatureDeclaration objectSupperClass; - public val Map type2ALSType = new HashMap; - public val Map definedElement2Declaration = new HashMap -} + /** * Each object is an element of an Object set, and types are subsets of the objects. */ @@ -265,4 +259,7 @@ class Logic2AlloyLanguageMapper_TypeMapper_FilteredTypes implements Logic2AlloyL return undefinedScope + trace.typeTrace.definedElement2Declaration.size } + override getTypeInterpreter() { + return new AlloyModelInterpretation_TypeInterpretation_FilteredTypes + } } \ No newline at end of file -- cgit v1.2.3-54-g00ecf