6 files changed, 235 insertions, 0 deletions
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/metamodels/fam.ecore b/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/metamodels/fam.ecore
new file mode 100644
index 00000000..498e9838
--- /dev/null
+++ b/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/metamodels/fam.ecore
@@ -0,0 +1,68 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<ecore:EPackage xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
+    xmlns:ecore="http://www.eclipse.org/emf/2002/Ecore" name="fam" nsURI="FamMetamodel" nsPrefix="fam">
+  <eAnnotations source="http://www.eclipse.org/emf/2002/Ecore">
+    <details key="settingDelegates" value="org.eclipse.viatra.query.querybasedfeature"/>
+  </eAnnotations>
+  <eClassifiers xsi:type="ecore:EClass" name="FunctionalElement" abstract="true">
+    <eStructuralFeatures xsi:type="ecore:EReference" name="interface" eType="#//FunctionalInterface"
+        containment="true" eOpposite="#//FunctionalInterface/element"/>
+    <eStructuralFeatures xsi:type="ecore:EReference" name="model" lowerBound="1" eType="#//FunctionalArchitectureModel"
+        volatile="true" transient="true" derived="true">
+      <eAnnotations source="org.eclipse.viatra.query.querybasedfeature">
+        <details key="patternFQN" value="ca.mcgill.ecse.dslreasoner.standalone.test.xyz.model"/>
+      </eAnnotations>
+    </eStructuralFeatures>
+    <eStructuralFeatures xsi:type="ecore:EReference" name="parent" eType="#//Function"
+        eOpposite="#//Function/subElements"/>
+  </eClassifiers>
+  <eClassifiers xsi:type="ecore:EClass" name="FunctionalArchitectureModel">
+    <eStructuralFeatures xsi:type="ecore:EReference" name="rootElements" upperBound="-1"
+        eType="#//FunctionalElement" containment="true"/>
+  </eClassifiers>
+  <eClassifiers xsi:type="ecore:EClass" name="Function" eSuperTypes="#//FunctionalElement">
+    <eStructuralFeatures xsi:type="ecore:EReference" name="subElements" upperBound="-1"
+        eType="#//FunctionalElement" containment="true" eOpposite="#//FunctionalElement/parent"/>
+    <eStructuralFeatures xsi:type="ecore:EAttribute" name="type" lowerBound="1" eType="#//FunctionType"
+        changeable="false" volatile="true" transient="true" derived="true">
+      <eAnnotations source="org.eclipse.viatra.query.querybasedfeature">
+        <details key="patternFQN" value="ca.mcgill.ecse.dslreasoner.standalone.test.xyz.type"/>
+      </eAnnotations>
+    </eStructuralFeatures>
+  </eClassifiers>
+  <eClassifiers xsi:type="ecore:EClass" name="FAMTerminator">
+    <eStructuralFeatures xsi:type="ecore:EReference" name="data" eType="#//FunctionalData"
+        eOpposite="#//FunctionalData/terminator"/>
+  </eClassifiers>
+  <eClassifiers xsi:type="ecore:EClass" name="InformationLink">
+    <eStructuralFeatures xsi:type="ecore:EReference" name="from" eType="#//FunctionalOutput"
+        eOpposite="#//FunctionalOutput/outgoingLinks"/>
+    <eStructuralFeatures xsi:type="ecore:EReference" name="to" lowerBound="1" eType="#//FunctionalInput"
+        eOpposite="#//FunctionalInput/IncomingLinks"/>
+  </eClassifiers>
+  <eClassifiers xsi:type="ecore:EClass" name="FunctionalInterface">
+    <eStructuralFeatures xsi:type="ecore:EReference" name="data" upperBound="-1" eType="#//FunctionalData"
+        containment="true" eOpposite="#//FunctionalData/interface"/>
+    <eStructuralFeatures xsi:type="ecore:EReference" name="element" eType="#//FunctionalElement"
+        eOpposite="#//FunctionalElement/interface"/>
+  </eClassifiers>
+  <eClassifiers xsi:type="ecore:EClass" name="FunctionalInput" eSuperTypes="#//FunctionalData">
+    <eStructuralFeatures xsi:type="ecore:EReference" name="IncomingLinks" upperBound="-1"
+        eType="#//InformationLink" eOpposite="#//InformationLink/to"/>
+  </eClassifiers>
+  <eClassifiers xsi:type="ecore:EClass" name="FunctionalOutput" eSuperTypes="#//FunctionalData">
+    <eStructuralFeatures xsi:type="ecore:EReference" name="outgoingLinks" upperBound="-1"
+        eType="#//InformationLink" containment="true" eOpposite="#//InformationLink/from"/>
+  </eClassifiers>
+  <eClassifiers xsi:type="ecore:EClass" name="FunctionalData" abstract="true">
+    <eStructuralFeatures xsi:type="ecore:EReference" name="terminator" eType="#//FAMTerminator"
+        containment="true" eOpposite="#//FAMTerminator/data"/>
+    <eStructuralFeatures xsi:type="ecore:EReference" name="interface" eType="#//FunctionalInterface"
+        eOpposite="#//FunctionalInterface/data"/>
+  </eClassifiers>
+  <eClassifiers xsi:type="ecore:EEnum" name="FunctionType">
+    <eLiterals name="Root"/>
+    <eLiterals name="Intermediate" value="1"/>
+    <eLiterals name="Leaf" value="2"/>
+  </eClassifiers>
+</ecore:EPackage>
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/metamodels/fam.genmodel b/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/metamodels/fam.genmodel
new file mode 100644
index 00000000..3d26d5c4
--- /dev/null
+++ b/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/metamodels/fam.genmodel
@@ -0,0 +1,49 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<genmodel:GenModel xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:ecore="http://www.eclipse.org/emf/2002/Ecore"
+    xmlns:genmodel="http://www.eclipse.org/emf/2002/GenModel" modelDirectory="/ca.mcgill.ecse.dslreasoner.standalone.test/src"
+    modelPluginID="ca.mcgill.ecse.dslreasoner.standalone.test" modelName="Fam" rootExtendsClass="org.eclipse.emf.ecore.impl.MinimalEObjectImpl$Container"
+    importerID="org.eclipse.emf.importer.ecore" complianceLevel="8.0" copyrightFields="false"
+    operationReflection="true" importOrganizing="true">
+  <foreignModel>fam.ecore</foreignModel>
+  <genPackages prefix="fam" basePackage="ca.mcgill.ecse.dslreasoner.standalone.test"
+      disposableProviderFactory="true" ecorePackage="fam.ecore#/">
+    <genEnums typeSafeEnumCompatible="false" ecoreEnum="fam.ecore#//FunctionType">
+      <genEnumLiterals ecoreEnumLiteral="fam.ecore#//FunctionType/Root"/>
+      <genEnumLiterals ecoreEnumLiteral="fam.ecore#//FunctionType/Intermediate"/>
+      <genEnumLiterals ecoreEnumLiteral="fam.ecore#//FunctionType/Leaf"/>
+    </genEnums>
+    <genClasses image="false" ecoreClass="fam.ecore#//FunctionalElement">
+      <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference fam.ecore#//FunctionalElement/interface"/>
+      <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference fam.ecore#//FunctionalElement/model"/>
+      <genFeatures property="None" notify="false" createChild="false" ecoreFeature="ecore:EReference fam.ecore#//FunctionalElement/parent"/>
+    </genClasses>
+    <genClasses ecoreClass="fam.ecore#//FunctionalArchitectureModel">
+      <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference fam.ecore#//FunctionalArchitectureModel/rootElements"/>
+    </genClasses>
+    <genClasses ecoreClass="fam.ecore#//Function">
+      <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference fam.ecore#//Function/subElements"/>
+      <genFeatures property="Readonly" createChild="false" ecoreFeature="ecore:EAttribute fam.ecore#//Function/type"/>
+    </genClasses>
+    <genClasses ecoreClass="fam.ecore#//FAMTerminator">
+      <genFeatures property="None" notify="false" createChild="false" ecoreFeature="ecore:EReference fam.ecore#//FAMTerminator/data"/>
+    </genClasses>
+    <genClasses ecoreClass="fam.ecore#//InformationLink">
+      <genFeatures property="None" notify="false" createChild="false" ecoreFeature="ecore:EReference fam.ecore#//InformationLink/from"/>
+      <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference fam.ecore#//InformationLink/to"/>
+    </genClasses>
+    <genClasses ecoreClass="fam.ecore#//FunctionalInterface">
+      <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference fam.ecore#//FunctionalInterface/data"/>
+      <genFeatures property="None" notify="false" createChild="false" ecoreFeature="ecore:EReference fam.ecore#//FunctionalInterface/element"/>
+    </genClasses>
+    <genClasses ecoreClass="fam.ecore#//FunctionalInput">
+      <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference fam.ecore#//FunctionalInput/IncomingLinks"/>
+    </genClasses>
+    <genClasses ecoreClass="fam.ecore#//FunctionalOutput">
+      <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference fam.ecore#//FunctionalOutput/outgoingLinks"/>
+    </genClasses>
+    <genClasses image="false" ecoreClass="fam.ecore#//FunctionalData">
+      <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference fam.ecore#//FunctionalData/terminator"/>
+      <genFeatures property="None" notify="false" createChild="false" ecoreFeature="ecore:EReference fam.ecore#//FunctionalData/interface"/>
+    </genClasses>
+  </genPackages>
+</genmodel:GenModel>
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/metamodels/filesystem.ecore b/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/metamodels/filesystem.ecore
new file mode 100644
index 00000000..3dd2061b
--- /dev/null
+++ b/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/metamodels/filesystem.ecore
@@ -0,0 +1,32 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<ecore:EPackage xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
+    xmlns:ecore="http://www.eclipse.org/emf/2002/Ecore" name="filesystem" nsURI="FileSystemMetamodel" nsPrefix="filesystem">
+  <eAnnotations source="http://www.eclipse.org/emf/2002/Ecore">
+    <details key="settingDelegates" value="org.eclipse.viatra.query.querybasedfeature"/>
+  </eAnnotations>
+  <eClassifiers xsi:type="ecore:EClass" name="FileSystem">
+    <eStructuralFeatures xsi:type="ecore:EReference" name="root" lowerBound="1" eType="#//Dir"
+        containment="true"/>
+    <eStructuralFeatures xsi:type="ecore:EReference" name="live" upperBound="-1" eType="#//FSObject"
+        changeable="false" volatile="true" transient="true" derived="true">
+      <eAnnotations source="org.eclipse.viatra.query.querybasedfeature">
+        <details key="patternFQN" value="hu.bme.mit.inf.dslreasoner.domains.alloyexamples.live"/>
+      </eAnnotations>
+    </eStructuralFeatures>
+  </eClassifiers>
+  <eClassifiers xsi:type="ecore:EClass" name="FSObject" abstract="true">
+    <eStructuralFeatures xsi:type="ecore:EReference" name="parent" eType="#//Dir"
+        eOpposite="#//Dir/contents"/>
+  </eClassifiers>
+  <eClassifiers xsi:type="ecore:EClass" name="Dir" eSuperTypes="#//FSObject">
+    <eStructuralFeatures xsi:type="ecore:EReference" name="contents" upperBound="-1"
+        eType="#//FSObject" containment="true" eOpposite="#//FSObject/parent"/>
+  </eClassifiers>
+  <eClassifiers xsi:type="ecore:EClass" name="File" eSuperTypes="#//FSObject"/>
+  <eClassifiers xsi:type="ecore:EClass" name="Model">
+    <eStructuralFeatures xsi:type="ecore:EReference" name="filesystems" lowerBound="1"
+        eType="#//FileSystem" containment="true"/>
+    <eStructuralFeatures xsi:type="ecore:EReference" name="otherFSObjects" upperBound="-1"
+        eType="#//FSObject" containment="true"/>
+  </eClassifiers>
+</ecore:EPackage>
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/metamodels/filesystem.genmodel b/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/metamodels/filesystem.genmodel
new file mode 100644
index 00000000..712533fe
--- /dev/null
+++ b/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/metamodels/filesystem.genmodel
@@ -0,0 +1,26 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<genmodel:GenModel xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:ecore="http://www.eclipse.org/emf/2002/Ecore"
+    xmlns:genmodel="http://www.eclipse.org/emf/2002/GenModel" modelDirectory="/ca.mcgill.ecse.dslreasoner.standalone.test/src"
+    modelPluginID="ca.mcgill.ecse.dslreasoner.standalone.test" modelName="Filesystem"
+    rootExtendsClass="org.eclipse.emf.ecore.impl.MinimalEObjectImpl$Container" importerID="org.eclipse.emf.importer.ecore"
+    complianceLevel="8.0" copyrightFields="false" operationReflection="true" importOrganizing="true">
+  <foreignModel>filesystem.ecore</foreignModel>
+  <genPackages prefix="filesystem" basePackage="ca.mcgill.ecse.dslreasoner.standalone.test"
+      disposableProviderFactory="true" ecorePackage="filesystem.ecore#/">
+    <genClasses ecoreClass="filesystem.ecore#//FileSystem">
+      <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference filesystem.ecore#//FileSystem/root"/>
+      <genFeatures property="Readonly" notify="false" createChild="false" ecoreFeature="ecore:EReference filesystem.ecore#//FileSystem/live"/>
+    </genClasses>
+    <genClasses image="false" ecoreClass="filesystem.ecore#//FSObject">
+      <genFeatures property="None" notify="false" createChild="false" ecoreFeature="ecore:EReference filesystem.ecore#//FSObject/parent"/>
+    </genClasses>
+    <genClasses ecoreClass="filesystem.ecore#//Dir">
+      <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference filesystem.ecore#//Dir/contents"/>
+    </genClasses>
+    <genClasses ecoreClass="filesystem.ecore#//File"/>
+    <genClasses ecoreClass="filesystem.ecore#//Model">
+      <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference filesystem.ecore#//Model/filesystems"/>
+      <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference filesystem.ecore#//Model/otherFSObjects"/>
+    </genClasses>
+  </genPackages>
+</genmodel:GenModel>
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/metamodels/yakindu.ecore b/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/metamodels/yakindu.ecore
new file mode 100644
index 00000000..0c944db8
--- /dev/null
+++ b/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/metamodels/yakindu.ecore
@@ -0,0 +1,26 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<ecore:EPackage xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:ecore="http://www.eclipse.org/emf/2002/Ecore" name="yakindu" nsURI="YakinduMetamodel" nsPrefix="yakindu">
+  <eClassifiers xsi:type="ecore:EClass" name="Pseudostate" abstract="true" eSuperTypes="//Vertex"/>
+  <eClassifiers xsi:type="ecore:EClass" name="Vertex" abstract="true">
+    <eStructuralFeatures xsi:type="ecore:EReference" name="incomingTransitions" ordered="false" upperBound="-1" eType="//Transition" eOpposite="//Transition/target"/>
+    <eStructuralFeatures xsi:type="ecore:EReference" name="outgoingTransitions" ordered="false" upperBound="-1" eType="//Transition" containment="true" eOpposite="//Transition/source"/>
+  </eClassifiers>
+  <eClassifiers xsi:type="ecore:EClass" name="Region">
+    <eStructuralFeatures xsi:type="ecore:EReference" name="vertices" ordered="false" upperBound="-1" eType="//Vertex" containment="true"/>
+  </eClassifiers>
+  <eClassifiers xsi:type="ecore:EClass" name="Transition">
+    <eStructuralFeatures xsi:type="ecore:EReference" name="target" ordered="false" lowerBound="1" eType="//Vertex" eOpposite="//Vertex/incomingTransitions"/>
+    <eStructuralFeatures xsi:type="ecore:EReference" name="source" ordered="false" eType="//Vertex" eOpposite="//Vertex/outgoingTransitions"/>
+  </eClassifiers>
+  <eClassifiers xsi:type="ecore:EClass" name="Statechart" eSuperTypes="//CompositeElement"/>
+  <eClassifiers xsi:type="ecore:EClass" name="Entry" eSuperTypes="//Pseudostate"/>
+  <eClassifiers xsi:type="ecore:EClass" name="Synchronization" eSuperTypes="//Pseudostate"/>
+  <eClassifiers xsi:type="ecore:EClass" name="State" eSuperTypes="//RegularState //CompositeElement"/>
+  <eClassifiers xsi:type="ecore:EClass" name="RegularState" abstract="true" eSuperTypes="//Vertex"/>
+  <eClassifiers xsi:type="ecore:EClass" name="CompositeElement" abstract="true">
+    <eStructuralFeatures xsi:type="ecore:EReference" name="regions" upperBound="-1" eType="//Region" containment="true"/>
+  </eClassifiers>
+  <eClassifiers xsi:type="ecore:EClass" name="Choice" eSuperTypes="//Pseudostate"/>
+  <eClassifiers xsi:type="ecore:EClass" name="Exit" eSuperTypes="//Pseudostate"/>
+  <eClassifiers xsi:type="ecore:EClass" name="FinalState" eSuperTypes="//RegularState"/>
+</ecore:EPackage>
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/metamodels/yakindu.genmodel b/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/metamodels/yakindu.genmodel
new file mode 100644
index 00000000..b1f75d76
--- /dev/null
+++ b/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/metamodels/yakindu.genmodel
@@ -0,0 +1,34 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<genmodel:GenModel xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:ecore="http://www.eclipse.org/emf/2002/Ecore"
+    xmlns:genmodel="http://www.eclipse.org/emf/2002/GenModel" modelDirectory="/ca.mcgill.ecse.dslreasoner.standalone.test/src"
+    modelPluginID="ca.mcgill.ecse.dslreasoner.standalone.test" modelName="Yakindu"
+    rootExtendsClass="org.eclipse.emf.ecore.impl.MinimalEObjectImpl$Container" importerID="org.eclipse.emf.importer.ecore"
+    complianceLevel="8.0" copyrightFields="false" operationReflection="true" importOrganizing="true">
+  <foreignModel>yakindu.ecore</foreignModel>
+  <genPackages prefix="yakindu" basePackage="ca.mcgill.ecse.dslreasoner.standalone.test"
+      disposableProviderFactory="true" ecorePackage="yakindu.ecore#/">
+    <genClasses image="false" ecoreClass="yakindu.ecore#//Pseudostate"/>
+    <genClasses image="false" ecoreClass="yakindu.ecore#//Vertex">
+      <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference yakindu.ecore#//Vertex/incomingTransitions"/>
+      <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference yakindu.ecore#//Vertex/outgoingTransitions"/>
+    </genClasses>
+    <genClasses ecoreClass="yakindu.ecore#//Region">
+      <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference yakindu.ecore#//Region/vertices"/>
+    </genClasses>
+    <genClasses ecoreClass="yakindu.ecore#//Transition">
+      <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference yakindu.ecore#//Transition/target"/>
+      <genFeatures property="None" notify="false" createChild="false" ecoreFeature="ecore:EReference yakindu.ecore#//Transition/source"/>
+    </genClasses>
+    <genClasses ecoreClass="yakindu.ecore#//Statechart"/>
+    <genClasses ecoreClass="yakindu.ecore#//Entry"/>
+    <genClasses ecoreClass="yakindu.ecore#//Synchronization"/>
+    <genClasses ecoreClass="yakindu.ecore#//State"/>
+    <genClasses image="false" ecoreClass="yakindu.ecore#//RegularState"/>
+    <genClasses image="false" ecoreClass="yakindu.ecore#//CompositeElement">
+      <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference yakindu.ecore#//CompositeElement/regions"/>
+    </genClasses>
+    <genClasses ecoreClass="yakindu.ecore#//Choice"/>
+    <genClasses ecoreClass="yakindu.ecore#//Exit"/>
+    <genClasses ecoreClass="yakindu.ecore#//FinalState"/>
+  </genPackages>
+</genmodel:GenModel>

diff --git a/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/metamodels/fam.ecore b/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/metamodels/fam.ecore new file mode 100644 index 00000000..498e9838 --- /dev/null +++ b/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/metamodels/fam.ecore
@@ -0,0 +1,68 @@
	1	<?xml version="1.0" encoding="UTF-8"?>
	2	<ecore:EPackage xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
	3	xmlns:ecore="http://www.eclipse.org/emf/2002/Ecore" name="fam" nsURI="FamMetamodel" nsPrefix="fam">
	4	<eAnnotations source="http://www.eclipse.org/emf/2002/Ecore">
	5	<details key="settingDelegates" value="org.eclipse.viatra.query.querybasedfeature"/>
	6	</eAnnotations>
	7	<eClassifiers xsi:type="ecore:EClass" name="FunctionalElement" abstract="true">
	8	<eStructuralFeatures xsi:type="ecore:EReference" name="interface" eType="#//FunctionalInterface"
	9	containment="true" eOpposite="#//FunctionalInterface/element"/>
	10	<eStructuralFeatures xsi:type="ecore:EReference" name="model" lowerBound="1" eType="#//FunctionalArchitectureModel"
	11	volatile="true" transient="true" derived="true">
	12	<eAnnotations source="org.eclipse.viatra.query.querybasedfeature">
	13	<details key="patternFQN" value="ca.mcgill.ecse.dslreasoner.standalone.test.xyz.model"/>
	14	</eAnnotations>
	15	</eStructuralFeatures>
	16	<eStructuralFeatures xsi:type="ecore:EReference" name="parent" eType="#//Function"
	17	eOpposite="#//Function/subElements"/>
	18	</eClassifiers>
	19	<eClassifiers xsi:type="ecore:EClass" name="FunctionalArchitectureModel">
	20	<eStructuralFeatures xsi:type="ecore:EReference" name="rootElements" upperBound="-1"
	21	eType="#//FunctionalElement" containment="true"/>
	22	</eClassifiers>
	23	<eClassifiers xsi:type="ecore:EClass" name="Function" eSuperTypes="#//FunctionalElement">
	24	<eStructuralFeatures xsi:type="ecore:EReference" name="subElements" upperBound="-1"
	25	eType="#//FunctionalElement" containment="true" eOpposite="#//FunctionalElement/parent"/>
	26	<eStructuralFeatures xsi:type="ecore:EAttribute" name="type" lowerBound="1" eType="#//FunctionType"
	27	changeable="false" volatile="true" transient="true" derived="true">
	28	<eAnnotations source="org.eclipse.viatra.query.querybasedfeature">
	29	<details key="patternFQN" value="ca.mcgill.ecse.dslreasoner.standalone.test.xyz.type"/>
	30	</eAnnotations>
	31	</eStructuralFeatures>
	32	</eClassifiers>
	33	<eClassifiers xsi:type="ecore:EClass" name="FAMTerminator">
	34	<eStructuralFeatures xsi:type="ecore:EReference" name="data" eType="#//FunctionalData"
	35	eOpposite="#//FunctionalData/terminator"/>
	36	</eClassifiers>
	37	<eClassifiers xsi:type="ecore:EClass" name="InformationLink">
	38	<eStructuralFeatures xsi:type="ecore:EReference" name="from" eType="#//FunctionalOutput"
	39	eOpposite="#//FunctionalOutput/outgoingLinks"/>
	40	<eStructuralFeatures xsi:type="ecore:EReference" name="to" lowerBound="1" eType="#//FunctionalInput"
	41	eOpposite="#//FunctionalInput/IncomingLinks"/>
	42	</eClassifiers>
	43	<eClassifiers xsi:type="ecore:EClass" name="FunctionalInterface">
	44	<eStructuralFeatures xsi:type="ecore:EReference" name="data" upperBound="-1" eType="#//FunctionalData"
	45	containment="true" eOpposite="#//FunctionalData/interface"/>
	46	<eStructuralFeatures xsi:type="ecore:EReference" name="element" eType="#//FunctionalElement"
	47	eOpposite="#//FunctionalElement/interface"/>
	48	</eClassifiers>
	49	<eClassifiers xsi:type="ecore:EClass" name="FunctionalInput" eSuperTypes="#//FunctionalData">
	50	<eStructuralFeatures xsi:type="ecore:EReference" name="IncomingLinks" upperBound="-1"
	51	eType="#//InformationLink" eOpposite="#//InformationLink/to"/>
	52	</eClassifiers>
	53	<eClassifiers xsi:type="ecore:EClass" name="FunctionalOutput" eSuperTypes="#//FunctionalData">
	54	<eStructuralFeatures xsi:type="ecore:EReference" name="outgoingLinks" upperBound="-1"
	55	eType="#//InformationLink" containment="true" eOpposite="#//InformationLink/from"/>
	56	</eClassifiers>
	57	<eClassifiers xsi:type="ecore:EClass" name="FunctionalData" abstract="true">
	58	<eStructuralFeatures xsi:type="ecore:EReference" name="terminator" eType="#//FAMTerminator"
	59	containment="true" eOpposite="#//FAMTerminator/data"/>
	60	<eStructuralFeatures xsi:type="ecore:EReference" name="interface" eType="#//FunctionalInterface"
	61	eOpposite="#//FunctionalInterface/data"/>
	62	</eClassifiers>
	63	<eClassifiers xsi:type="ecore:EEnum" name="FunctionType">
	64	<eLiterals name="Root"/>
	65	<eLiterals name="Intermediate" value="1"/>
	66	<eLiterals name="Leaf" value="2"/>
	67	</eClassifiers>
	68	</ecore:EPackage>


diff --git a/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/metamodels/fam.genmodel b/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/metamodels/fam.genmodel new file mode 100644 index 00000000..3d26d5c4 --- /dev/null +++ b/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/metamodels/fam.genmodel
@@ -0,0 +1,49 @@
	1	<?xml version="1.0" encoding="UTF-8"?>
	2	<genmodel:GenModel xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:ecore="http://www.eclipse.org/emf/2002/Ecore"
	3	xmlns:genmodel="http://www.eclipse.org/emf/2002/GenModel" modelDirectory="/ca.mcgill.ecse.dslreasoner.standalone.test/src"
	4	modelPluginID="ca.mcgill.ecse.dslreasoner.standalone.test" modelName="Fam" rootExtendsClass="org.eclipse.emf.ecore.impl.MinimalEObjectImpl$Container"
	5	importerID="org.eclipse.emf.importer.ecore" complianceLevel="8.0" copyrightFields="false"
	6	operationReflection="true" importOrganizing="true">
	7	<foreignModel>fam.ecore</foreignModel>
	8	<genPackages prefix="fam" basePackage="ca.mcgill.ecse.dslreasoner.standalone.test"
	9	disposableProviderFactory="true" ecorePackage="fam.ecore#/">
	10	<genEnums typeSafeEnumCompatible="false" ecoreEnum="fam.ecore#//FunctionType">
	11	<genEnumLiterals ecoreEnumLiteral="fam.ecore#//FunctionType/Root"/>
	12	<genEnumLiterals ecoreEnumLiteral="fam.ecore#//FunctionType/Intermediate"/>
	13	<genEnumLiterals ecoreEnumLiteral="fam.ecore#//FunctionType/Leaf"/>
	14	</genEnums>
	15	<genClasses image="false" ecoreClass="fam.ecore#//FunctionalElement">
	16	<genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference fam.ecore#//FunctionalElement/interface"/>
	17	<genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference fam.ecore#//FunctionalElement/model"/>
	18	<genFeatures property="None" notify="false" createChild="false" ecoreFeature="ecore:EReference fam.ecore#//FunctionalElement/parent"/>
	19	</genClasses>
	20	<genClasses ecoreClass="fam.ecore#//FunctionalArchitectureModel">
	21	<genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference fam.ecore#//FunctionalArchitectureModel/rootElements"/>
	22	</genClasses>
	23	<genClasses ecoreClass="fam.ecore#//Function">
	24	<genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference fam.ecore#//Function/subElements"/>
	25	<genFeatures property="Readonly" createChild="false" ecoreFeature="ecore:EAttribute fam.ecore#//Function/type"/>
	26	</genClasses>
	27	<genClasses ecoreClass="fam.ecore#//FAMTerminator">
	28	<genFeatures property="None" notify="false" createChild="false" ecoreFeature="ecore:EReference fam.ecore#//FAMTerminator/data"/>
	29	</genClasses>
	30	<genClasses ecoreClass="fam.ecore#//InformationLink">
	31	<genFeatures property="None" notify="false" createChild="false" ecoreFeature="ecore:EReference fam.ecore#//InformationLink/from"/>
	32	<genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference fam.ecore#//InformationLink/to"/>
	33	</genClasses>
	34	<genClasses ecoreClass="fam.ecore#//FunctionalInterface">
	35	<genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference fam.ecore#//FunctionalInterface/data"/>
	36	<genFeatures property="None" notify="false" createChild="false" ecoreFeature="ecore:EReference fam.ecore#//FunctionalInterface/element"/>
	37	</genClasses>
	38	<genClasses ecoreClass="fam.ecore#//FunctionalInput">
	39	<genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference fam.ecore#//FunctionalInput/IncomingLinks"/>
	40	</genClasses>
	41	<genClasses ecoreClass="fam.ecore#//FunctionalOutput">
	42	<genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference fam.ecore#//FunctionalOutput/outgoingLinks"/>
	43	</genClasses>
	44	<genClasses image="false" ecoreClass="fam.ecore#//FunctionalData">
	45	<genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference fam.ecore#//FunctionalData/terminator"/>
	46	<genFeatures property="None" notify="false" createChild="false" ecoreFeature="ecore:EReference fam.ecore#//FunctionalData/interface"/>
	47	</genClasses>
	48	</genPackages>
	49	</genmodel:GenModel>


diff --git a/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/metamodels/filesystem.ecore b/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/metamodels/filesystem.ecore new file mode 100644 index 00000000..3dd2061b --- /dev/null +++ b/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/metamodels/filesystem.ecore
@@ -0,0 +1,32 @@
	1	<?xml version="1.0" encoding="UTF-8"?>
	2	<ecore:EPackage xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
	3	xmlns:ecore="http://www.eclipse.org/emf/2002/Ecore" name="filesystem" nsURI="FileSystemMetamodel" nsPrefix="filesystem">
	4	<eAnnotations source="http://www.eclipse.org/emf/2002/Ecore">
	5	<details key="settingDelegates" value="org.eclipse.viatra.query.querybasedfeature"/>
	6	</eAnnotations>
	7	<eClassifiers xsi:type="ecore:EClass" name="FileSystem">
	8	<eStructuralFeatures xsi:type="ecore:EReference" name="root" lowerBound="1" eType="#//Dir"
	9	containment="true"/>
	10	<eStructuralFeatures xsi:type="ecore:EReference" name="live" upperBound="-1" eType="#//FSObject"
	11	changeable="false" volatile="true" transient="true" derived="true">
	12	<eAnnotations source="org.eclipse.viatra.query.querybasedfeature">
	13	<details key="patternFQN" value="hu.bme.mit.inf.dslreasoner.domains.alloyexamples.live"/>
	14	</eAnnotations>
	15	</eStructuralFeatures>
	16	</eClassifiers>
	17	<eClassifiers xsi:type="ecore:EClass" name="FSObject" abstract="true">
	18	<eStructuralFeatures xsi:type="ecore:EReference" name="parent" eType="#//Dir"
	19	eOpposite="#//Dir/contents"/>
	20	</eClassifiers>
	21	<eClassifiers xsi:type="ecore:EClass" name="Dir" eSuperTypes="#//FSObject">
	22	<eStructuralFeatures xsi:type="ecore:EReference" name="contents" upperBound="-1"
	23	eType="#//FSObject" containment="true" eOpposite="#//FSObject/parent"/>
	24	</eClassifiers>
	25	<eClassifiers xsi:type="ecore:EClass" name="File" eSuperTypes="#//FSObject"/>
	26	<eClassifiers xsi:type="ecore:EClass" name="Model">
	27	<eStructuralFeatures xsi:type="ecore:EReference" name="filesystems" lowerBound="1"
	28	eType="#//FileSystem" containment="true"/>
	29	<eStructuralFeatures xsi:type="ecore:EReference" name="otherFSObjects" upperBound="-1"
	30	eType="#//FSObject" containment="true"/>
	31	</eClassifiers>
	32	</ecore:EPackage>


diff --git a/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/metamodels/filesystem.genmodel b/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/metamodels/filesystem.genmodel new file mode 100644 index 00000000..712533fe --- /dev/null +++ b/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/metamodels/filesystem.genmodel
@@ -0,0 +1,26 @@
	1	<?xml version="1.0" encoding="UTF-8"?>
	2	<genmodel:GenModel xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:ecore="http://www.eclipse.org/emf/2002/Ecore"
	3	xmlns:genmodel="http://www.eclipse.org/emf/2002/GenModel" modelDirectory="/ca.mcgill.ecse.dslreasoner.standalone.test/src"
	4	modelPluginID="ca.mcgill.ecse.dslreasoner.standalone.test" modelName="Filesystem"
	5	rootExtendsClass="org.eclipse.emf.ecore.impl.MinimalEObjectImpl$Container" importerID="org.eclipse.emf.importer.ecore"
	6	complianceLevel="8.0" copyrightFields="false" operationReflection="true" importOrganizing="true">
	7	<foreignModel>filesystem.ecore</foreignModel>
	8	<genPackages prefix="filesystem" basePackage="ca.mcgill.ecse.dslreasoner.standalone.test"
	9	disposableProviderFactory="true" ecorePackage="filesystem.ecore#/">
	10	<genClasses ecoreClass="filesystem.ecore#//FileSystem">
	11	<genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference filesystem.ecore#//FileSystem/root"/>
	12	<genFeatures property="Readonly" notify="false" createChild="false" ecoreFeature="ecore:EReference filesystem.ecore#//FileSystem/live"/>
	13	</genClasses>
	14	<genClasses image="false" ecoreClass="filesystem.ecore#//FSObject">
	15	<genFeatures property="None" notify="false" createChild="false" ecoreFeature="ecore:EReference filesystem.ecore#//FSObject/parent"/>
	16	</genClasses>
	17	<genClasses ecoreClass="filesystem.ecore#//Dir">
	18	<genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference filesystem.ecore#//Dir/contents"/>
	19	</genClasses>
	20	<genClasses ecoreClass="filesystem.ecore#//File"/>
	21	<genClasses ecoreClass="filesystem.ecore#//Model">
	22	<genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference filesystem.ecore#//Model/filesystems"/>
	23	<genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference filesystem.ecore#//Model/otherFSObjects"/>
	24	</genClasses>
	25	</genPackages>
	26	</genmodel:GenModel>


diff --git a/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/metamodels/yakindu.ecore b/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/metamodels/yakindu.ecore new file mode 100644 index 00000000..0c944db8 --- /dev/null +++ b/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/metamodels/yakindu.ecore
@@ -0,0 +1,26 @@
	1	<?xml version="1.0" encoding="UTF-8"?>
	2	<ecore:EPackage xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:ecore="http://www.eclipse.org/emf/2002/Ecore" name="yakindu" nsURI="YakinduMetamodel" nsPrefix="yakindu">
	3	<eClassifiers xsi:type="ecore:EClass" name="Pseudostate" abstract="true" eSuperTypes="//Vertex"/>
	4	<eClassifiers xsi:type="ecore:EClass" name="Vertex" abstract="true">
	5	<eStructuralFeatures xsi:type="ecore:EReference" name="incomingTransitions" ordered="false" upperBound="-1" eType="//Transition" eOpposite="//Transition/target"/>
	6	<eStructuralFeatures xsi:type="ecore:EReference" name="outgoingTransitions" ordered="false" upperBound="-1" eType="//Transition" containment="true" eOpposite="//Transition/source"/>
	7	</eClassifiers>
	8	<eClassifiers xsi:type="ecore:EClass" name="Region">
	9	<eStructuralFeatures xsi:type="ecore:EReference" name="vertices" ordered="false" upperBound="-1" eType="//Vertex" containment="true"/>
	10	</eClassifiers>
	11	<eClassifiers xsi:type="ecore:EClass" name="Transition">
	12	<eStructuralFeatures xsi:type="ecore:EReference" name="target" ordered="false" lowerBound="1" eType="//Vertex" eOpposite="//Vertex/incomingTransitions"/>
	13	<eStructuralFeatures xsi:type="ecore:EReference" name="source" ordered="false" eType="//Vertex" eOpposite="//Vertex/outgoingTransitions"/>
	14	</eClassifiers>
	15	<eClassifiers xsi:type="ecore:EClass" name="Statechart" eSuperTypes="//CompositeElement"/>
	16	<eClassifiers xsi:type="ecore:EClass" name="Entry" eSuperTypes="//Pseudostate"/>
	17	<eClassifiers xsi:type="ecore:EClass" name="Synchronization" eSuperTypes="//Pseudostate"/>
	18	<eClassifiers xsi:type="ecore:EClass" name="State" eSuperTypes="//RegularState //CompositeElement"/>
	19	<eClassifiers xsi:type="ecore:EClass" name="RegularState" abstract="true" eSuperTypes="//Vertex"/>
	20	<eClassifiers xsi:type="ecore:EClass" name="CompositeElement" abstract="true">
	21	<eStructuralFeatures xsi:type="ecore:EReference" name="regions" upperBound="-1" eType="//Region" containment="true"/>
	22	</eClassifiers>
	23	<eClassifiers xsi:type="ecore:EClass" name="Choice" eSuperTypes="//Pseudostate"/>
	24	<eClassifiers xsi:type="ecore:EClass" name="Exit" eSuperTypes="//Pseudostate"/>
	25	<eClassifiers xsi:type="ecore:EClass" name="FinalState" eSuperTypes="//RegularState"/>
	26	</ecore:EPackage>


diff --git a/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/metamodels/yakindu.genmodel b/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/metamodels/yakindu.genmodel new file mode 100644 index 00000000..b1f75d76 --- /dev/null +++ b/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/metamodels/yakindu.genmodel
@@ -0,0 +1,34 @@
	1	<?xml version="1.0" encoding="UTF-8"?>
	2	<genmodel:GenModel xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:ecore="http://www.eclipse.org/emf/2002/Ecore"
	3	xmlns:genmodel="http://www.eclipse.org/emf/2002/GenModel" modelDirectory="/ca.mcgill.ecse.dslreasoner.standalone.test/src"
	4	modelPluginID="ca.mcgill.ecse.dslreasoner.standalone.test" modelName="Yakindu"
	5	rootExtendsClass="org.eclipse.emf.ecore.impl.MinimalEObjectImpl$Container" importerID="org.eclipse.emf.importer.ecore"
	6	complianceLevel="8.0" copyrightFields="false" operationReflection="true" importOrganizing="true">
	7	<foreignModel>yakindu.ecore</foreignModel>
	8	<genPackages prefix="yakindu" basePackage="ca.mcgill.ecse.dslreasoner.standalone.test"
	9	disposableProviderFactory="true" ecorePackage="yakindu.ecore#/">
	10	<genClasses image="false" ecoreClass="yakindu.ecore#//Pseudostate"/>
	11	<genClasses image="false" ecoreClass="yakindu.ecore#//Vertex">
	12	<genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference yakindu.ecore#//Vertex/incomingTransitions"/>
	13	<genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference yakindu.ecore#//Vertex/outgoingTransitions"/>
	14	</genClasses>
	15	<genClasses ecoreClass="yakindu.ecore#//Region">
	16	<genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference yakindu.ecore#//Region/vertices"/>
	17	</genClasses>
	18	<genClasses ecoreClass="yakindu.ecore#//Transition">
	19	<genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference yakindu.ecore#//Transition/target"/>
	20	<genFeatures property="None" notify="false" createChild="false" ecoreFeature="ecore:EReference yakindu.ecore#//Transition/source"/>
	21	</genClasses>
	22	<genClasses ecoreClass="yakindu.ecore#//Statechart"/>
	23	<genClasses ecoreClass="yakindu.ecore#//Entry"/>
	24	<genClasses ecoreClass="yakindu.ecore#//Synchronization"/>
	25	<genClasses ecoreClass="yakindu.ecore#//State"/>
	26	<genClasses image="false" ecoreClass="yakindu.ecore#//RegularState"/>
	27	<genClasses image="false" ecoreClass="yakindu.ecore#//CompositeElement">
	28	<genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference yakindu.ecore#//CompositeElement/regions"/>
	29	</genClasses>
	30	<genClasses ecoreClass="yakindu.ecore#//Choice"/>
	31	<genClasses ecoreClass="yakindu.ecore#//Exit"/>
	32	<genClasses ecoreClass="yakindu.ecore#//FinalState"/>
	33	</genPackages>
	34	</genmodel:GenModel>