diff options
author | 2019-09-02 03:47:21 -0400 | |
---|---|---|
committer | 2020-06-07 19:41:44 -0400 | |
commit | 35ac37963fc3e3f3fb142aaf1fdffd26e05e473a (patch) | |
tree | 5e2449306e2fd7169b05ac72fe78e167934d7f8c /Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/icse/FAMTest.xtend | |
parent | VAMPIRE: setup structure of model interpretation (diff) | |
download | VIATRA-Generator-35ac37963fc3e3f3fb142aaf1fdffd26e05e473a.tar.gz VIATRA-Generator-35ac37963fc3e3f3fb142aaf1fdffd26e05e473a.tar.zst VIATRA-Generator-35ac37963fc3e3f3fb142aaf1fdffd26e05e473a.zip |
VAMPIRE: implement Vampire Model Interpreter, 2/3 done
Diffstat (limited to 'Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/icse/FAMTest.xtend')
-rw-r--r-- | Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/icse/FAMTest.xtend | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/icse/FAMTest.xtend b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/icse/FAMTest.xtend index 0c59b077..4efbc821 100644 --- a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/icse/FAMTest.xtend +++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/icse/FAMTest.xtend | |||
@@ -2,6 +2,7 @@ package ca.mcgill.ecse.dslreasoner.vampire.icse | |||
2 | 2 | ||
3 | import ca.mcgill.ecse.dslreasoner.vampire.reasoner.VampireSolver | 3 | import ca.mcgill.ecse.dslreasoner.vampire.reasoner.VampireSolver |
4 | import ca.mcgill.ecse.dslreasoner.vampire.reasoner.VampireSolverConfiguration | 4 | import ca.mcgill.ecse.dslreasoner.vampire.reasoner.VampireSolverConfiguration |
5 | import ca.mcgill.ecse.dslreasoner.vampire.reasoner.builder.VampireModelInterpretation | ||
5 | import functionalarchitecture.Function | 6 | import functionalarchitecture.Function |
6 | import functionalarchitecture.FunctionalArchitectureModel | 7 | import functionalarchitecture.FunctionalArchitectureModel |
7 | import functionalarchitecture.FunctionalInterface | 8 | import functionalarchitecture.FunctionalInterface |
@@ -17,6 +18,7 @@ import hu.bme.mit.inf.dslreasoner.viatra2logic.Viatra2Logic | |||
17 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretation2logic.InstanceModel2Logic | 18 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretation2logic.InstanceModel2Logic |
18 | import hu.bme.mit.inf.dslreasoner.workspace.FileSystemWorkspace | 19 | import hu.bme.mit.inf.dslreasoner.workspace.FileSystemWorkspace |
19 | import java.util.HashMap | 20 | import java.util.HashMap |
21 | import java.util.List | ||
20 | import org.eclipse.emf.ecore.resource.Resource | 22 | import org.eclipse.emf.ecore.resource.Resource |
21 | import org.eclipse.emf.ecore.xmi.impl.XMIResourceFactoryImpl | 23 | import org.eclipse.emf.ecore.xmi.impl.XMIResourceFactoryImpl |
22 | 24 | ||
@@ -97,8 +99,10 @@ class FAMTest { | |||
97 | var LogicResult solution = reasoner.solve(problem, vampireConfig, workspace) | 99 | var LogicResult solution = reasoner.solve(problem, vampireConfig, workspace) |
98 | 100 | ||
99 | //visualisation, see | 101 | //visualisation, see |
100 | // var interpretations = reasoner.getInterpretations(solution as ModelResult) | 102 | var interpretations = reasoner.getInterpretations(solution as ModelResult) |
101 | // | 103 | interpretations.get(0) as VampireModelInterpretation |
104 | println(ecore2Logic.allAttributesInScope(modelGenerationProblem.trace)) | ||
105 | |||
102 | // for(interpretation : interpretations) { | 106 | // for(interpretation : interpretations) { |
103 | // val model = logic2Ecore.transformInterpretation(interpretation,modelGenerationProblem.trace) | 107 | // val model = logic2Ecore.transformInterpretation(interpretation,modelGenerationProblem.trace) |
104 | // //look here: hu.bme.mit.inf.dslreasoner.application.execution.GenerationTaskExecutor | 108 | // //look here: hu.bme.mit.inf.dslreasoner.application.execution.GenerationTaskExecutor |