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/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/FAMTest.java | |
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/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/FAMTest.java')
-rw-r--r-- | Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/FAMTest.java | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/FAMTest.java b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/FAMTest.java index aca97399..71f522de 100644 --- a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/FAMTest.java +++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/FAMTest.java | |||
@@ -12,17 +12,21 @@ import hu.bme.mit.inf.dslreasoner.ecore2logic.Ecore2LogicConfiguration; | |||
12 | import hu.bme.mit.inf.dslreasoner.ecore2logic.Ecore2Logic_Trace; | 12 | import hu.bme.mit.inf.dslreasoner.ecore2logic.Ecore2Logic_Trace; |
13 | import hu.bme.mit.inf.dslreasoner.ecore2logic.EcoreMetamodelDescriptor; | 13 | import hu.bme.mit.inf.dslreasoner.ecore2logic.EcoreMetamodelDescriptor; |
14 | import hu.bme.mit.inf.dslreasoner.logic.model.builder.DocumentationLevel; | 14 | import hu.bme.mit.inf.dslreasoner.logic.model.builder.DocumentationLevel; |
15 | import hu.bme.mit.inf.dslreasoner.logic.model.builder.LogicModelInterpretation; | ||
15 | import hu.bme.mit.inf.dslreasoner.logic.model.builder.TracedOutput; | 16 | import hu.bme.mit.inf.dslreasoner.logic.model.builder.TracedOutput; |
16 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Type; | 17 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Type; |
17 | import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicProblem; | 18 | import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicProblem; |
18 | import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicResult; | 19 | import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicResult; |
20 | import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.ModelResult; | ||
19 | import hu.bme.mit.inf.dslreasoner.logic2ecore.Logic2Ecore; | 21 | import hu.bme.mit.inf.dslreasoner.logic2ecore.Logic2Ecore; |
20 | import hu.bme.mit.inf.dslreasoner.viatra2logic.Viatra2Logic; | 22 | import hu.bme.mit.inf.dslreasoner.viatra2logic.Viatra2Logic; |
21 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretation2logic.InstanceModel2Logic; | 23 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretation2logic.InstanceModel2Logic; |
22 | import hu.bme.mit.inf.dslreasoner.workspace.FileSystemWorkspace; | 24 | import hu.bme.mit.inf.dslreasoner.workspace.FileSystemWorkspace; |
23 | import java.util.HashMap; | 25 | import java.util.HashMap; |
26 | import java.util.List; | ||
24 | import java.util.Map; | 27 | import java.util.Map; |
25 | import org.eclipse.emf.common.util.EList; | 28 | import org.eclipse.emf.common.util.EList; |
29 | import org.eclipse.emf.ecore.EAttribute; | ||
26 | import org.eclipse.emf.ecore.EObject; | 30 | import org.eclipse.emf.ecore.EObject; |
27 | import org.eclipse.emf.ecore.resource.Resource; | 31 | import org.eclipse.emf.ecore.resource.Resource; |
28 | import org.eclipse.emf.ecore.xmi.impl.XMIResourceFactoryImpl; | 32 | import org.eclipse.emf.ecore.xmi.impl.XMIResourceFactoryImpl; |
@@ -95,6 +99,9 @@ public class FAMTest { | |||
95 | }; | 99 | }; |
96 | final VampireSolverConfiguration vampireConfig = ObjectExtensions.<VampireSolverConfiguration>operator_doubleArrow(_vampireSolverConfiguration, _function); | 100 | final VampireSolverConfiguration vampireConfig = ObjectExtensions.<VampireSolverConfiguration>operator_doubleArrow(_vampireSolverConfiguration, _function); |
97 | LogicResult solution = reasoner.solve(problem, vampireConfig, workspace); | 101 | LogicResult solution = reasoner.solve(problem, vampireConfig, workspace); |
102 | List<? extends LogicModelInterpretation> interpretations = reasoner.getInterpretations(((ModelResult) solution)); | ||
103 | interpretations.get(0); | ||
104 | InputOutput.<Iterable<EAttribute>>println(ecore2Logic.allAttributesInScope(modelGenerationProblem.getTrace())); | ||
98 | long _currentTimeMillis = System.currentTimeMillis(); | 105 | long _currentTimeMillis = System.currentTimeMillis(); |
99 | long _minus = (_currentTimeMillis - startTime); | 106 | long _minus = (_currentTimeMillis - startTime); |
100 | long totalTimeMin = (_minus / 60000); | 107 | long totalTimeMin = (_minus / 60000); |