blob: 2910a7029e9f8a9f8d257424a84f68e8e440f0de (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
package hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretation2logic
import hu.bme.mit.inf.dslreasoner.ecore2logic.Ecore2Logic_Trace
import hu.bme.mit.inf.dslreasoner.logic.model.builder.TracedOutput
import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicProblem
import java.util.List
import org.eclipse.emf.ecore.EObject
class InstanceModel2Logic {
val InstanceModel2PartialInterpretation instanceModel2PartialInterpretation = new InstanceModel2PartialInterpretation
val PartialInterpretation2Logic partialInterpretation2Logic = new PartialInterpretation2Logic
public def transform(
TracedOutput<LogicProblem, Ecore2Logic_Trace> metamodelTranslationResult,
List<EObject> objects)
{
val res1 = this.instanceModel2PartialInterpretation.transform(metamodelTranslationResult,objects,true)
this.partialInterpretation2Logic.transformPartialIntepretation2Logic(metamodelTranslationResult.output,res1)
return metamodelTranslationResult//.output
}
}
|