diff options
Diffstat (limited to 'Solvers/Alloy-Solver/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/src/hu/bme/mit/inf/dlsreasoner/alloy/reasoner/builder/Logic2AlloyLanguageMapper_TypeMapper_InheritanceAndHorizontal.xtend')
-rw-r--r-- | Solvers/Alloy-Solver/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/src/hu/bme/mit/inf/dlsreasoner/alloy/reasoner/builder/Logic2AlloyLanguageMapper_TypeMapper_InheritanceAndHorizontal.xtend | 50 |
1 files changed, 50 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_TypeMapper_InheritanceAndHorizontal.xtend b/Solvers/Alloy-Solver/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/src/hu/bme/mit/inf/dlsreasoner/alloy/reasoner/builder/Logic2AlloyLanguageMapper_TypeMapper_InheritanceAndHorizontal.xtend new file mode 100644 index 00000000..6533ad36 --- /dev/null +++ b/Solvers/Alloy-Solver/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/src/hu/bme/mit/inf/dlsreasoner/alloy/reasoner/builder/Logic2AlloyLanguageMapper_TypeMapper_InheritanceAndHorizontal.xtend | |||
@@ -0,0 +1,50 @@ | |||
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 hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TypeDeclaration | ||
7 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TypeDefinition | ||
8 | import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicProblem | ||
9 | import java.util.HashMap | ||
10 | import java.util.Map | ||
11 | import java.util.Collection | ||
12 | |||
13 | class Logic2AlloyLanguageMapper_TypeMapperTrace_InheritanceAndHorizontal implements Logic2AlloyLanguageMapper_TypeMapperTrace { | ||
14 | val Map<TypeDeclaration,ALSSignatureDeclaration> newElementTypes = new HashMap | ||
15 | val Map<Type,ALSSignatureDeclaration> definedElementTypes = new HashMap | ||
16 | var ALSSignatureDeclaration undefinedSupertype | ||
17 | var ALSSignatureDeclaration definedSupertype | ||
18 | } | ||
19 | |||
20 | class Logic2AlloyLanguageMapper_TypeMapper_InheritanceAndHorizontal implements Logic2AlloyLanguageMapper_TypeMapper{ | ||
21 | |||
22 | override transformTypes(Collection<Type> types, Collection<DefinedElement> elements, Logic2AlloyLanguageMapper mapper, Logic2AlloyLanguageMapperTrace trace) { | ||
23 | throw new UnsupportedOperationException("TODO: auto-generated method stub") | ||
24 | } | ||
25 | |||
26 | private def boolean hasDefinedSupertype(Type type) { | ||
27 | if(type instanceof TypeDefinition) { | ||
28 | return true | ||
29 | } else { | ||
30 | if(type.supertypes.empty) return false | ||
31 | else return type.supertypes.exists[it.hasDefinedSupertype] | ||
32 | } | ||
33 | } | ||
34 | |||
35 | override transformTypeReference(Type referred, Logic2AlloyLanguageMapper mapper, Logic2AlloyLanguageMapperTrace trace) { | ||
36 | throw new UnsupportedOperationException("TODO: auto-generated method stub") | ||
37 | } | ||
38 | |||
39 | override getUndefinedSupertype(Logic2AlloyLanguageMapperTrace trace) { | ||
40 | throw new UnsupportedOperationException("TODO: auto-generated method stub") | ||
41 | } | ||
42 | |||
43 | override transformReference(DefinedElement referred, Logic2AlloyLanguageMapperTrace trace) { | ||
44 | throw new UnsupportedOperationException("TODO: auto-generated method stub") | ||
45 | } | ||
46 | |||
47 | override getUndefinedSupertypeScope(int undefinedScope, Logic2AlloyLanguageMapperTrace trace) { | ||
48 | throw new UnsupportedOperationException("TODO: auto-generated method stub") | ||
49 | } | ||
50 | } \ No newline at end of file | ||