diff options
Diffstat (limited to 'Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire')
2 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.xtendbin b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/.FAMTest.xtendbin index 292bf88e..18295021 100644 --- a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/.FAMTest.xtendbin +++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/.FAMTest.xtendbin | |||
Binary files differ | |||
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); |