1 files changed, 80 insertions, 0 deletions

diff --git a/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/src/ca/mcgill/ecse/dslreasoner/realistic/metrics/examples/CSERposterSample.xtend b/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/src/ca/mcgill/ecse/dslreasoner/realistic/metrics/examples/CSERposterSample.xtend
new file mode 100644
index 00000000..44aad755
--- /dev/null
+++ b/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/src/ca/mcgill/ecse/dslreasoner/realistic/metrics/examples/CSERposterSample.xtend
@@ -0,0 +1,80 @@
+package ca.mcgill.ecse.dslreasoner.realistic.metrics.examples

+

+import hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.yakindumm.YakindummPackage

+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.viatrasolver.partialinterpretation2logic.InstanceModel2PartialInterpretation

+import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.neighbourhood.PartialInterpretation2ImmutableTypeLattice

+import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.visualisation.PartialInterpretation2Gml

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

+import java.util.Collections

+import org.eclipse.emf.ecore.EClass

+import org.eclipse.emf.ecore.EEnum

+import org.eclipse.emf.ecore.EObject

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

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

+import org.eclipse.viatra.query.runtime.rete.matcher.ReteEngine

+import java.io.PrintWriter

+import linkedList.LinkedListPackage

+import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.neighbourhood.Neighbourhood2Gml

+import simpleStatechart.SimpleStatechartPackage

+

+class CSERposterSample {

+        static val partialInterpretation2Logic = new InstanceModel2PartialInterpretation

+        static val neighbourhoodComputer = new PartialInterpretation2ImmutableTypeLattice

+        static val Ecore2Logic ecore2Logic = new Ecore2Logic

+        static val partialVisualizer = new PartialInterpretation2Gml

+        static val neighbourhoodVisualizer = new Neighbourhood2Gml

+        static val depth = 1

+        static val REALISTIC = "simpleSCRealistic"

+        static val IRREALISTIC = "simpleSCIrrealistic"

+        

+        def static void main(String[] args) {

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

+                YakindummPackage.eINSTANCE.eClass

+                LinkedListPackage.eINSTANCE.eClass

+                SimpleStatechartPackage.eINSTANCE.eClass

+                ReteEngine.getClass

+                

+                val outputs = "outputs"

+                val instModName = REALISTIC

+                val workspace = new FileSystemWorkspace('''resources''', "")

+                val model = workspace.readModel(EObject, instModName+".xmi")

+

+                val pckg = model.eClass.EPackage

+                val metamodel = new EcoreMetamodelDescriptor(

+                        pckg.EClassifiers.filter(EClass).toList,

+                        Collections::emptySet,

+                        false,

+                        pckg.EClassifiers.filter(EEnum).toList,

+                        pckg.EClassifiers.filter(EEnum).map[ELiterals].flatten.toList,

+                        pckg.EClassifiers.filter(EClass).map[EReferences].flatten.toList,

+                        pckg.EClassifiers.filter(EClass).map[EAttributes].flatten.toList

+                )

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

+

+                val partialModelOutput = partialInterpretation2Logic.transform(metamodelTransformationOutput, model.eResource, false)

+                

+                val writer = new PrintWriter(outputs+"//"+instModName+"MODEL.gml")

+                

+                writer.print(partialVisualizer.transform(partialModelOutput))

+                

+                writer.close

+                

+                val hood = neighbourhoodComputer.createRepresentation(partialModelOutput, depth, Integer.MAX_VALUE, Integer.MAX_VALUE)

+                

+                val w2 = new PrintWriter(outputs+"/"+instModName+depth+"NEIGHBOURHOOD.gml")

+                

+                w2.print(neighbourhoodVisualizer.transform(hood, partialModelOutput))

+                

+                w2.close

+                

+                println("visualization done")

+                

+//              partialModelOutput.openWorldElements

+                //RESULTS

+//              print(hood)

+                

+        }

+}