diff options
Diffstat (limited to 'Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/patterns/TypeIndexerWithPreliminaryTypeAnalysis.xtend')
-rw-r--r-- | Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/patterns/TypeIndexerWithPreliminaryTypeAnalysis.xtend | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/patterns/TypeIndexerWithPreliminaryTypeAnalysis.xtend b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/patterns/TypeIndexerWithPreliminaryTypeAnalysis.xtend index fd0b7c18..7bdb9a5b 100644 --- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/patterns/TypeIndexerWithPreliminaryTypeAnalysis.xtend +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/patterns/TypeIndexerWithPreliminaryTypeAnalysis.xtend | |||
@@ -18,11 +18,11 @@ class TypeIndexerWithPreliminaryTypeAnalysis extends TypeIndexer{ | |||
18 | override requiresTypeAnalysis() { true } | 18 | override requiresTypeAnalysis() { true } |
19 | 19 | ||
20 | override getRequiredQueries() ''' | 20 | override getRequiredQueries() ''' |
21 | private pattern typeInterpretation(problem:LogicProblem, interpetation:PartialInterpretation, type:TypeDeclaration, typeInterpretation:PartialTypeInterpratation) { | 21 | private pattern typeInterpretation(problem:LogicProblem, interpetation:PartialInterpretation, type:TypeDeclaration, typeInterpretation:PartialComplexTypeInterpretation) { |
22 | find interpretation(problem,interpetation); | 22 | find interpretation(problem,interpetation); |
23 | LogicProblem.types(problem,type); | 23 | LogicProblem.types(problem,type); |
24 | PartialInterpretation.partialtypeinterpratation(interpetation,typeInterpretation); | 24 | PartialInterpretation.partialtypeinterpratation(interpetation,typeInterpretation); |
25 | PartialTypeInterpratation.interpretationOf(typeInterpretation,type); | 25 | PartialComplexTypeInterpretation.interpretationOf(typeInterpretation,type); |
26 | } | 26 | } |
27 | 27 | ||
28 | private pattern directInstanceOf(problem:LogicProblem, interpetation:PartialInterpretation, element:DefinedElement, type:Type) { | 28 | private pattern directInstanceOf(problem:LogicProblem, interpetation:PartialInterpretation, element:DefinedElement, type:Type) { |
@@ -32,7 +32,7 @@ class TypeIndexerWithPreliminaryTypeAnalysis extends TypeIndexer{ | |||
32 | } or { | 32 | } or { |
33 | find interpretation(problem,interpetation); | 33 | find interpretation(problem,interpetation); |
34 | find typeInterpretation(problem,interpetation,type,typeInterpretation); | 34 | find typeInterpretation(problem,interpetation,type,typeInterpretation); |
35 | PartialTypeInterpratation.elements(typeInterpretation,element); | 35 | PartialComplexTypeInterpretation.elements(typeInterpretation,element); |
36 | } | 36 | } |
37 | ''' | 37 | ''' |
38 | 38 | ||
@@ -81,7 +81,7 @@ class TypeIndexerWithPreliminaryTypeAnalysis extends TypeIndexer{ | |||
81 | «ENDFOR» | 81 | «ENDFOR» |
82 | } or { | 82 | } or { |
83 | find interpretation(problem,interpretation); | 83 | find interpretation(problem,interpretation); |
84 | PartialInterpretation.openWorldElementPrototypes(interpetation,element); | 84 | PartialInterpretation.openWorldElements(interpetation,element); |
85 | } or | 85 | } or |
86 | «ENDIF» | 86 | «ENDIF» |
87 | { «referInstanceOf(type,Modality.MUST,"element")» } | 87 | { «referInstanceOf(type,Modality.MUST,"element")» } |