diff options
Diffstat (limited to 'Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretation2logic/src/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretation2logic/InstanceModel2PartialInterpretation.xtend')
1 files changed, 7 insertions, 4 deletions
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretation2logic/src/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretation2logic/InstanceModel2PartialInterpretation.xtend b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretation2logic/src/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretation2logic/InstanceModel2PartialInterpretation.xtend index 96e174a4..4c6cf769 100644 --- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretation2logic/src/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretation2logic/InstanceModel2PartialInterpretation.xtend +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretation2logic/src/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretation2logic/InstanceModel2PartialInterpretation.xtend | |||
@@ -19,6 +19,7 @@ import org.eclipse.emf.ecore.EObject | |||
19 | import static extension hu.bme.mit.inf.dslreasoner.util.CollectionsUtil.* | 19 | import static extension hu.bme.mit.inf.dslreasoner.util.CollectionsUtil.* |
20 | import org.eclipse.emf.ecore.resource.Resource | 20 | import org.eclipse.emf.ecore.resource.Resource |
21 | import hu.bme.mit.inf.dslreasoner.logic.model.builder.TracedOutput | 21 | import hu.bme.mit.inf.dslreasoner.logic.model.builder.TracedOutput |
22 | import hu.bme.mit.inf.dslreasoner.logic.model.builder.TypeScopes | ||
22 | 23 | ||
23 | class InstanceModel2PartialInterpretation { | 24 | class InstanceModel2PartialInterpretation { |
24 | val extension LogiclanguageFactory factory = LogiclanguageFactory.eINSTANCE | 25 | val extension LogiclanguageFactory factory = LogiclanguageFactory.eINSTANCE |
@@ -29,20 +30,22 @@ class InstanceModel2PartialInterpretation { | |||
29 | public def transform( | 30 | public def transform( |
30 | TracedOutput<LogicProblem, Ecore2Logic_Trace> metamodelTranslationResult, | 31 | TracedOutput<LogicProblem, Ecore2Logic_Trace> metamodelTranslationResult, |
31 | Resource resource, | 32 | Resource resource, |
32 | boolean withID) | 33 | boolean withID, |
34 | TypeScopes typeScopes) | ||
33 | { | 35 | { |
34 | val objects = resource.allContents.toList | 36 | val objects = resource.allContents.toList |
35 | return transform(metamodelTranslationResult,objects,withID) | 37 | return transform(metamodelTranslationResult,objects,withID,typeScopes) |
36 | } | 38 | } |
37 | 39 | ||
38 | public def transform( | 40 | public def transform( |
39 | TracedOutput<LogicProblem, Ecore2Logic_Trace> metamodelTranslationResult, | 41 | TracedOutput<LogicProblem, Ecore2Logic_Trace> metamodelTranslationResult, |
40 | List<EObject> objects, | 42 | List<EObject> objects, |
41 | boolean withID) | 43 | boolean withID, |
44 | TypeScopes typeScopes) | ||
42 | { | 45 | { |
43 | val problem = metamodelTranslationResult.output | 46 | val problem = metamodelTranslationResult.output |
44 | val ecore2LogicTrace = metamodelTranslationResult.trace | 47 | val ecore2LogicTrace = metamodelTranslationResult.trace |
45 | val tracedOutput = partialInterpretationInitialiser.initialisePartialInterpretation(problem, null) | 48 | val tracedOutput = partialInterpretationInitialiser.initialisePartialInterpretation(problem, typeScopes) |
46 | val partialInterpretation = tracedOutput.output | 49 | val partialInterpretation = tracedOutput.output |
47 | val partialInterpretationTrace = tracedOutput.trace | 50 | val partialInterpretationTrace = tracedOutput.trace |
48 | 51 | ||