Fix FAM Test. Begin Grammar Fix.

1 files changed, 89 insertions, 0 deletions

diff --git a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/icse/GeneralTest.xtend b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/icse/GeneralTest.xtend
new file mode 100644
index 00000000..2c53d181
--- /dev/null
+++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/icse/GeneralTest.xtend
@@ -0,0 +1,89 @@
+package ca.mcgill.ecse.dslreasoner.vampire.icse

+

+import ca.mcgill.ecse.dslreasoner.vampire.reasoner.VampireSolver

+import ca.mcgill.ecse.dslreasoner.vampire.reasoner.VampireSolverConfiguration

+import hu.bme.mit.inf.dslreasoner.domains.transima.fam.FamPatterns

+import hu.bme.mit.inf.dslreasoner.ecore2logic.Ecore2Logic

+import hu.bme.mit.inf.dslreasoner.ecore2logic.Ecore2LogicConfiguration

+import hu.bme.mit.inf.dslreasoner.ecore2logic.EcoreMetamodelDescriptor

+import hu.bme.mit.inf.dslreasoner.logic.model.builder.LogicReasoner

+import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicResult

+import hu.bme.mit.inf.dslreasoner.logic2ecore.Logic2Ecore

+import hu.bme.mit.inf.dslreasoner.viatra2logic.Viatra2Logic

+import hu.bme.mit.inf.dslreasoner.viatra2logic.Viatra2LogicConfiguration

+import hu.bme.mit.inf.dslreasoner.viatra2logic.ViatraQuerySetDescriptor

+import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretation2logic.InstanceModel2Logic

+import hu.bme.mit.inf.dslreasoner.workspace.FileSystemWorkspace

+import hu.bme.mit.inf.dslreasoner.workspace.ReasonerWorkspace

+import java.util.List

+import org.eclipse.emf.ecore.EAttribute

+import org.eclipse.emf.ecore.EClass

+import org.eclipse.emf.ecore.EEnum

+import org.eclipse.emf.ecore.EEnumLiteral

+import org.eclipse.emf.ecore.EObject

+import org.eclipse.emf.ecore.EPackage

+import org.eclipse.emf.ecore.EReference

+import org.eclipse.emf.ecore.resource.Resource

+import org.eclipse.emf.ecore.xmi.impl.XMIResourceFactoryImpl

+import org.eclipse.viatra.query.runtime.api.IQueryGroup

+

+class GeneralTest {

+        def static String createAndSolveProblem(EcoreMetamodelDescriptor metamodel, List<EObject> partialModel, ViatraQuerySetDescriptor queries, FileSystemWorkspace workspace) {

+                val Ecore2Logic ecore2Logic = new Ecore2Logic

+                val Logic2Ecore logic2Ecore = new Logic2Ecore(ecore2Logic)

+                val Viatra2Logic viatra2Logic = new Viatra2Logic(ecore2Logic)

+                val InstanceModel2Logic instanceModel2Logic = new InstanceModel2Logic

+                

+                val modelGenerationProblem = ecore2Logic.transformMetamodel(metamodel,new Ecore2LogicConfiguration())

+                var problem = instanceModel2Logic.transform(modelGenerationProblem,partialModel).output

+                problem = viatra2Logic.transformQueries(queries,modelGenerationProblem,new Viatra2LogicConfiguration).output

+                

+                workspace.writeModel(problem, "Fam.logicproblem")

+                

+                println("Problem created")

+                

+                var LogicResult solution

+                var LogicReasoner reasoner

+                //*

+                reasoner = new VampireSolver

+                val vampireConfig = new VampireSolverConfiguration => [

+                        //add configuration things, in config file first

+                        it.writeToFile = true

+                ]

+                

+                solution = reasoner.solve(problem, vampireConfig,       workspace)

+                

+                println("Problem solved")

+        }

+        

+        def static loadMetamodel(EPackage pckg) {

+                val List<EClass> classes = pckg.getEClassifiers.filter(EClass).toList

+                val List<EEnum> enums = pckg.getEClassifiers.filter(EEnum).toList

+                val List<EEnumLiteral> literals = enums.map[getELiterals].flatten.toList

+                val List<EReference> references = classes.map[getEReferences].flatten.toList

+                val List<EAttribute> attributes = classes.map[getEAttributes].flatten.toList

+                return new EcoreMetamodelDescriptor(classes,#{},false,enums,literals,references,attributes)

+        }

+

+        def static loadPartialModel(ReasonerWorkspace inputs, String path) {

+                Resource.Factory.Registry.INSTANCE.getExtensionToFactoryMap().put("*", new XMIResourceFactoryImpl());

+                inputs.readModel(EObject,path).eResource.contents

+//              inputs.readModel(EObject,"FamInstance.xmi").eResource.allContents.toList

+        }

+

+        def static loadQueries(EcoreMetamodelDescriptor metamodel, IQueryGroup i) {

+                val patterns = i.specifications.toList

+                val wfPatterns = patterns.filter[it.allAnnotations.exists[it.name== "Constraint"]].toSet

+                val derivedFeatures = emptyMap

+                //NO DERIVED FEATURES

+//              val derivedFeatures = new LinkedHashMap

+//              derivedFeatures.put(i.type,metamodel.attributes.filter[it.name == "type"].head)

+//              derivedFeatures.put(i.model,metamodel.references.filter[it.name == "model"].head)

+                val res = new ViatraQuerySetDescriptor(

+                        patterns,

+                        wfPatterns,

+                        derivedFeatures

+                )

+                return res

+        }

+}
\ No newline at end of file