diff options
author | OszkarSemerath <oszkar.semerath@gmail.com> | 2018-06-13 15:52:11 +0200 |
---|---|---|
committer | OszkarSemerath <oszkar.semerath@gmail.com> | 2018-06-13 15:52:11 +0200 |
commit | 16970bfa029b11680df1179722bd9dfd5a4dcf95 (patch) | |
tree | 9718c6ab7ef6348bd29eb5cb81ef4ef58b086217 /Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/patterns/TypeRefinementWithPreliminaryTypeAnalysis.xtend | |
parent | Updated partial model representation handling (diff) | |
download | VIATRA-Generator-16970bfa029b11680df1179722bd9dfd5a4dcf95.tar.gz VIATRA-Generator-16970bfa029b11680df1179722bd9dfd5a4dcf95.tar.zst VIATRA-Generator-16970bfa029b11680df1179722bd9dfd5a4dcf95.zip |
Support for updated partial model representation during generationScope-PS-Refactor
Diffstat (limited to 'Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/patterns/TypeRefinementWithPreliminaryTypeAnalysis.xtend')
-rw-r--r-- | Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/patterns/TypeRefinementWithPreliminaryTypeAnalysis.xtend | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/patterns/TypeRefinementWithPreliminaryTypeAnalysis.xtend b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/patterns/TypeRefinementWithPreliminaryTypeAnalysis.xtend index 8a6efeeb..7c5f507b 100644 --- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/patterns/TypeRefinementWithPreliminaryTypeAnalysis.xtend +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/patterns/TypeRefinementWithPreliminaryTypeAnalysis.xtend | |||
@@ -41,7 +41,7 @@ class TypeRefinementWithPreliminaryTypeAnalysis extends TypeRefinementGenerator{ | |||
41 | { | 41 | { |
42 | find interpretation(problem,interpretation); | 42 | find interpretation(problem,interpretation); |
43 | PartialInterpretation.partialtypeinterpratation(interpretation,typeInterpretation); | 43 | PartialInterpretation.partialtypeinterpratation(interpretation,typeInterpretation); |
44 | PartialTypeInterpratation.interpretationOf.name(typeInterpretation,"«type.name»"); | 44 | PartialComplexTypeInterpretation.interpretationOf.name(typeInterpretation,"«type.name»"); |
45 | PartialInterpretation.partialrelationinterpretation(interpretation,relationInterpretation); | 45 | PartialInterpretation.partialrelationinterpretation(interpretation,relationInterpretation); |
46 | PartialRelationInterpretation.interpretationOf.name(relationInterpretation,"«containmentRelation.name»"); | 46 | PartialRelationInterpretation.interpretationOf.name(relationInterpretation,"«containmentRelation.name»"); |
47 | PartialInterpretation.partialrelationinterpretation(interpretation,inverseInterpretation); | 47 | PartialInterpretation.partialrelationinterpretation(interpretation,inverseInterpretation); |
@@ -60,7 +60,7 @@ class TypeRefinementWithPreliminaryTypeAnalysis extends TypeRefinementGenerator{ | |||
60 | { | 60 | { |
61 | find interpretation(problem,interpretation); | 61 | find interpretation(problem,interpretation); |
62 | PartialInterpretation.partialtypeinterpratation(interpretation,typeInterpretation); | 62 | PartialInterpretation.partialtypeinterpratation(interpretation,typeInterpretation); |
63 | PartialTypeInterpratation.interpretationOf.name(typeInterpretation,"«type.name»"); | 63 | PartialComplexTypeInterpretation.interpretationOf.name(typeInterpretation,"«type.name»"); |
64 | PartialInterpretation.partialrelationinterpretation(interpretation,relationInterpretation); | 64 | PartialInterpretation.partialrelationinterpretation(interpretation,relationInterpretation); |
65 | PartialRelationInterpretation.interpretationOf.name(relationInterpretation,"«containmentRelation.name»"); | 65 | PartialRelationInterpretation.interpretationOf.name(relationInterpretation,"«containmentRelation.name»"); |
66 | «base.typeIndexer.referInstanceOf((containmentRelation.parameters.get(0) as ComplexTypeReference).referred,Modality.MUST,"container")» | 66 | «base.typeIndexer.referInstanceOf((containmentRelation.parameters.get(0) as ComplexTypeReference).referred,Modality.MUST,"container")» |
@@ -78,7 +78,7 @@ class TypeRefinementWithPreliminaryTypeAnalysis extends TypeRefinementGenerator{ | |||
78 | find interpretation(problem,interpretation); | 78 | find interpretation(problem,interpretation); |
79 | neg find hasElementInContainment(problem,interpretation); | 79 | neg find hasElementInContainment(problem,interpretation); |
80 | PartialInterpretation.partialtypeinterpratation(interpretation,typeInterpretation); | 80 | PartialInterpretation.partialtypeinterpratation(interpretation,typeInterpretation); |
81 | PartialTypeInterpratation.interpretationOf.name(typeInterpretation,"«type.name»"); | 81 | PartialComplexTypeInterpretation.interpretationOf.name(typeInterpretation,"«type.name»"); |
82 | «base.typeIndexer.referInstanceOf(type,Modality.MAY,"newObject")» | 82 | «base.typeIndexer.referInstanceOf(type,Modality.MAY,"newObject")» |
83 | find mayExist(problem, interpretation, newObject); | 83 | find mayExist(problem, interpretation, newObject); |
84 | neg find mustExist(problem, interpretation, newObject); | 84 | neg find mustExist(problem, interpretation, newObject); |