diff options
author | OszkarSemerath <oszka@SEMERATH-LAPTOP> | 2017-08-15 02:55:57 +0200 |
---|---|---|
committer | OszkarSemerath <oszka@SEMERATH-LAPTOP> | 2017-08-15 02:55:57 +0200 |
commit | 1cc691755412d988975357316d7ef079e45458aa (patch) | |
tree | 5e0a2d11a9d0e8e623d609ef0c1cdbc4a2c56fb9 /Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretation2logic/src/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretation2logic/InstanceModel2Logic.xtend | |
parent | Partial interpretation from initial instance model (diff) | |
download | VIATRA-Generator-1cc691755412d988975357316d7ef079e45458aa.tar.gz VIATRA-Generator-1cc691755412d988975357316d7ef079e45458aa.tar.zst VIATRA-Generator-1cc691755412d988975357316d7ef079e45458aa.zip |
Type scope support for initial instance model mapping
Diffstat (limited to 'Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretation2logic/src/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretation2logic/InstanceModel2Logic.xtend')
-rw-r--r-- | Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretation2logic/src/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretation2logic/InstanceModel2Logic.xtend | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretation2logic/src/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretation2logic/InstanceModel2Logic.xtend b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretation2logic/src/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretation2logic/InstanceModel2Logic.xtend index 2910a702..216ae348 100644 --- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretation2logic/src/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretation2logic/InstanceModel2Logic.xtend +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretation2logic/src/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretation2logic/InstanceModel2Logic.xtend | |||
@@ -5,6 +5,7 @@ import hu.bme.mit.inf.dslreasoner.logic.model.builder.TracedOutput | |||
5 | import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicProblem | 5 | import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicProblem |
6 | import java.util.List | 6 | import java.util.List |
7 | import org.eclipse.emf.ecore.EObject | 7 | import org.eclipse.emf.ecore.EObject |
8 | import hu.bme.mit.inf.dslreasoner.logic.model.builder.TypeScopes | ||
8 | 9 | ||
9 | class InstanceModel2Logic { | 10 | class InstanceModel2Logic { |
10 | val InstanceModel2PartialInterpretation instanceModel2PartialInterpretation = new InstanceModel2PartialInterpretation | 11 | val InstanceModel2PartialInterpretation instanceModel2PartialInterpretation = new InstanceModel2PartialInterpretation |
@@ -12,9 +13,10 @@ class InstanceModel2Logic { | |||
12 | 13 | ||
13 | public def transform( | 14 | public def transform( |
14 | TracedOutput<LogicProblem, Ecore2Logic_Trace> metamodelTranslationResult, | 15 | TracedOutput<LogicProblem, Ecore2Logic_Trace> metamodelTranslationResult, |
15 | List<EObject> objects) | 16 | List<EObject> objects, |
17 | TypeScopes typeScopes) | ||
16 | { | 18 | { |
17 | val res1 = this.instanceModel2PartialInterpretation.transform(metamodelTranslationResult,objects,true) | 19 | val res1 = this.instanceModel2PartialInterpretation.transform(metamodelTranslationResult,objects,true,typeScopes) |
18 | this.partialInterpretation2Logic.transformPartialIntepretation2Logic(metamodelTranslationResult.output,res1) | 20 | this.partialInterpretation2Logic.transformPartialIntepretation2Logic(metamodelTranslationResult.output,res1) |
19 | return metamodelTranslationResult//.output | 21 | return metamodelTranslationResult//.output |
20 | } | 22 | } |