diff options
author | 2018-06-13 15:52:11 +0200 | |
---|---|---|
committer | 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/GenericTypeIndexer.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/GenericTypeIndexer.xtend')
-rw-r--r-- | Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/patterns/GenericTypeIndexer.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/GenericTypeIndexer.xtend b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/patterns/GenericTypeIndexer.xtend index a703ba4b..2dae95be 100644 --- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/patterns/GenericTypeIndexer.xtend +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/patterns/GenericTypeIndexer.xtend | |||
@@ -20,11 +20,11 @@ class GenericTypeIndexer extends TypeIndexer { | |||
20 | PartialInterpretation.newElements(interpretation,element); | 20 | PartialInterpretation.newElements(interpretation,element); |
21 | } | 21 | } |
22 | 22 | ||
23 | private pattern typeInterpretation(problem:LogicProblem, interpetation:PartialInterpretation, type:TypeDeclaration, typeInterpretation:PartialTypeInterpratation) { | 23 | private pattern typeInterpretation(problem:LogicProblem, interpetation:PartialInterpretation, type:TypeDeclaration, typeInterpretation:PartialComplexTypeInterpretation) { |
24 | find interpretation(problem,interpetation); | 24 | find interpretation(problem,interpetation); |
25 | LogicProblem.types(problem,type); | 25 | LogicProblem.types(problem,type); |
26 | PartialInterpretation.partialtypeinterpratation(interpetation,typeInterpretation); | 26 | PartialInterpretation.partialtypeinterpratation(interpetation,typeInterpretation); |
27 | PartialTypeInterpratation.interpretationOf(typeInterpretation,type); | 27 | PartialComplexTypeInterpretation.interpretationOf(typeInterpretation,type); |
28 | } | 28 | } |
29 | 29 | ||
30 | private pattern directInstanceOf(problem:LogicProblem, interpetation:PartialInterpretation, element:DefinedElement, type:Type) { | 30 | private pattern directInstanceOf(problem:LogicProblem, interpetation:PartialInterpretation, element:DefinedElement, type:Type) { |
@@ -35,7 +35,7 @@ class GenericTypeIndexer extends TypeIndexer { | |||
35 | } or { | 35 | } or { |
36 | find mustExist(problem,interpetation,element); | 36 | find mustExist(problem,interpetation,element); |
37 | find typeInterpretation(problem,interpetation,type,typeInterpretation); | 37 | find typeInterpretation(problem,interpetation,type,typeInterpretation); |
38 | PartialTypeInterpratation.elements(typeInterpretation,element); | 38 | PartialComplexTypeInterpretation.elements(typeInterpretation,element); |
39 | } | 39 | } |
40 | 40 | ||
41 | /** | 41 | /** |