diff options
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 | 13 |
1 files changed, 2 insertions, 11 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 26252d6c..8cd08fd8 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 | |||
@@ -8,7 +8,6 @@ import functionalarchitecture.Function; | |||
8 | import functionalarchitecture.FunctionalArchitectureModel; | 8 | import functionalarchitecture.FunctionalArchitectureModel; |
9 | import functionalarchitecture.FunctionalOutput; | 9 | import functionalarchitecture.FunctionalOutput; |
10 | import functionalarchitecture.FunctionalarchitecturePackage; | 10 | import functionalarchitecture.FunctionalarchitecturePackage; |
11 | import hu.bme.mit.inf.dslreasoner.domains.transima.fam.FamPatterns; | ||
12 | import hu.bme.mit.inf.dslreasoner.ecore2logic.Ecore2Logic; | 11 | import hu.bme.mit.inf.dslreasoner.ecore2logic.Ecore2Logic; |
13 | import hu.bme.mit.inf.dslreasoner.ecore2logic.Ecore2LogicConfiguration; | 12 | import hu.bme.mit.inf.dslreasoner.ecore2logic.Ecore2LogicConfiguration; |
14 | import hu.bme.mit.inf.dslreasoner.ecore2logic.Ecore2Logic_Trace; | 13 | import hu.bme.mit.inf.dslreasoner.ecore2logic.Ecore2Logic_Trace; |
@@ -22,8 +21,6 @@ import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicResult; | |||
22 | import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.ModelResult; | 21 | import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.ModelResult; |
23 | import hu.bme.mit.inf.dslreasoner.logic2ecore.Logic2Ecore; | 22 | import hu.bme.mit.inf.dslreasoner.logic2ecore.Logic2Ecore; |
24 | import hu.bme.mit.inf.dslreasoner.viatra2logic.Viatra2Logic; | 23 | import hu.bme.mit.inf.dslreasoner.viatra2logic.Viatra2Logic; |
25 | import hu.bme.mit.inf.dslreasoner.viatra2logic.Viatra2LogicConfiguration; | ||
26 | import hu.bme.mit.inf.dslreasoner.viatra2logic.ViatraQuerySetDescriptor; | ||
27 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretation2logic.InstanceModel2Logic; | 24 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretation2logic.InstanceModel2Logic; |
28 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretation2logic.InstanceModel2PartialInterpretation; | 25 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretation2logic.InstanceModel2PartialInterpretation; |
29 | import hu.bme.mit.inf.dslreasoner.workspace.FileSystemWorkspace; | 26 | import hu.bme.mit.inf.dslreasoner.workspace.FileSystemWorkspace; |
@@ -63,14 +60,12 @@ public class FAMTest { | |||
63 | InputOutput.<String>println("Input and output workspaces are created"); | 60 | InputOutput.<String>println("Input and output workspaces are created"); |
64 | final EcoreMetamodelDescriptor metamodel = GeneralTest.loadMetamodel(FunctionalarchitecturePackage.eINSTANCE); | 61 | final EcoreMetamodelDescriptor metamodel = GeneralTest.loadMetamodel(FunctionalarchitecturePackage.eINSTANCE); |
65 | final EList<EObject> partialModel = GeneralTest.loadPartialModel(inputs, "FAM/FaModel.xmi"); | 62 | final EList<EObject> partialModel = GeneralTest.loadPartialModel(inputs, "FAM/FaModel.xmi"); |
66 | final ViatraQuerySetDescriptor queries = GeneralTest.loadQueries(metamodel, FamPatterns.instance()); | 63 | final Object queries = null; |
67 | InputOutput.<String>println("DSL loaded"); | 64 | InputOutput.<String>println("DSL loaded"); |
68 | Ecore2LogicConfiguration _ecore2LogicConfiguration = new Ecore2LogicConfiguration(); | 65 | Ecore2LogicConfiguration _ecore2LogicConfiguration = new Ecore2LogicConfiguration(); |
69 | final TracedOutput<LogicProblem, Ecore2Logic_Trace> modelGenerationProblem = ecore2Logic.transformMetamodel(metamodel, _ecore2LogicConfiguration); | 66 | final TracedOutput<LogicProblem, Ecore2Logic_Trace> modelGenerationProblem = ecore2Logic.transformMetamodel(metamodel, _ecore2LogicConfiguration); |
70 | LogicProblem problem = modelGenerationProblem.getOutput(); | 67 | LogicProblem problem = modelGenerationProblem.getOutput(); |
71 | problem = instanceModel2Logic.transform(modelGenerationProblem, partialModel).getOutput(); | 68 | problem = instanceModel2Logic.transform(modelGenerationProblem, partialModel).getOutput(); |
72 | Viatra2LogicConfiguration _viatra2LogicConfiguration = new Viatra2LogicConfiguration(); | ||
73 | problem = viatra2Logic.transformQueries(queries, modelGenerationProblem, _viatra2LogicConfiguration).getOutput(); | ||
74 | workspace.writeModel(problem, "Fam.logicproblem"); | 69 | workspace.writeModel(problem, "Fam.logicproblem"); |
75 | InputOutput.<String>println("Problem created"); | 70 | InputOutput.<String>println("Problem created"); |
76 | long startTime = System.currentTimeMillis(); | 71 | long startTime = System.currentTimeMillis(); |
@@ -91,16 +86,12 @@ public class FAMTest { | |||
91 | it.documentationLevel = DocumentationLevel.FULL; | 86 | it.documentationLevel = DocumentationLevel.FULL; |
92 | it.typeScopes.minNewElements = 8; | 87 | it.typeScopes.minNewElements = 8; |
93 | it.typeScopes.maxNewElements = 10; | 88 | it.typeScopes.maxNewElements = 10; |
94 | int _size = typeMapMin.size(); | ||
95 | boolean _notEquals = (_size != 0); | ||
96 | if (_notEquals) { | ||
97 | it.typeScopes.minNewElementsByType = typeMapMin; | ||
98 | } | ||
99 | it.contCycleLevel = 5; | 89 | it.contCycleLevel = 5; |
100 | it.uniquenessDuplicates = false; | 90 | it.uniquenessDuplicates = false; |
101 | }; | 91 | }; |
102 | final VampireSolverConfiguration vampireConfig = ObjectExtensions.<VampireSolverConfiguration>operator_doubleArrow(_vampireSolverConfiguration, _function); | 92 | final VampireSolverConfiguration vampireConfig = ObjectExtensions.<VampireSolverConfiguration>operator_doubleArrow(_vampireSolverConfiguration, _function); |
103 | LogicResult solution = reasoner.solve(problem, vampireConfig, workspace); | 93 | LogicResult solution = reasoner.solve(problem, vampireConfig, workspace); |
94 | InputOutput.<String>println("Problem solved"); | ||
104 | List<? extends LogicModelInterpretation> interpretations = reasoner.getInterpretations(((ModelResult) solution)); | 95 | List<? extends LogicModelInterpretation> interpretations = reasoner.getInterpretations(((ModelResult) solution)); |
105 | InputOutput.<Class<? extends List>>print(interpretations.getClass()); | 96 | InputOutput.<Class<? extends List>>print(interpretations.getClass()); |
106 | for (final LogicModelInterpretation interpretation : interpretations) { | 97 | for (final LogicModelInterpretation interpretation : interpretations) { |