1 files changed, 40 insertions, 0 deletions

diff --git a/Tests/ca.mcgill.ecse.dslreasoner.yakindu.test/input/yakindu_simplified.genmodel b/Tests/ca.mcgill.ecse.dslreasoner.yakindu.test/input/yakindu_simplified.genmodel
new file mode 100644
index 00000000..cfbafce6
--- /dev/null
+++ b/Tests/ca.mcgill.ecse.dslreasoner.yakindu.test/input/yakindu_simplified.genmodel
@@ -0,0 +1,40 @@
+<?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.vampire.test/src" modelPluginID="ca.mcgill.ecse.dslreasoner.vampire.test"
+    modelName="yakindu_simplified" 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_simplified.ecore</foreignModel>
+  <genPackages prefix="Yakindumm" basePackage="ca.mcgill.ecse.dslreasoner.vampire"
+      disposableProviderFactory="true" ecorePackage="yakindu_simplified.ecore#/">
+    <genEnums typeSafeEnumCompatible="false" ecoreEnum="yakindu_simplified.ecore#//EntryType">
+      <genEnumLiterals ecoreEnumLiteral="yakindu_simplified.ecore#//EntryType/Normal"/>
+      <genEnumLiterals ecoreEnumLiteral="yakindu_simplified.ecore#//EntryType/History"/>
+      <genEnumLiterals ecoreEnumLiteral="yakindu_simplified.ecore#//EntryType/DeepHistory"/>
+    </genEnums>
+    <genClasses image="false" ecoreClass="yakindu_simplified.ecore#//Pseudostate"/>
+    <genClasses image="false" ecoreClass="yakindu_simplified.ecore#//Vertex">
+      <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference yakindu_simplified.ecore#//Vertex/incomingTransitions"/>
+      <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference yakindu_simplified.ecore#//Vertex/outgoingTransitions"/>
+    </genClasses>
+    <genClasses ecoreClass="yakindu_simplified.ecore#//Region">
+      <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference yakindu_simplified.ecore#//Region/vertices"/>
+    </genClasses>
+    <genClasses ecoreClass="yakindu_simplified.ecore#//Transition">
+      <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference yakindu_simplified.ecore#//Transition/target"/>
+      <genFeatures property="None" notify="false" createChild="false" ecoreFeature="ecore:EReference yakindu_simplified.ecore#//Transition/source"/>
+    </genClasses>
+    <genClasses ecoreClass="yakindu_simplified.ecore#//Statechart"/>
+    <genClasses ecoreClass="yakindu_simplified.ecore#//Entry">
+      <genFeatures createChild="false" ecoreFeature="ecore:EAttribute yakindu_simplified.ecore#//Entry/Type"/>
+    </genClasses>
+    <genClasses ecoreClass="yakindu_simplified.ecore#//State"/>
+    <genClasses image="false" ecoreClass="yakindu_simplified.ecore#//RegularState"/>
+    <genClasses image="false" ecoreClass="yakindu_simplified.ecore#//CompositeElement">
+      <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference yakindu_simplified.ecore#//CompositeElement/regions"/>
+    </genClasses>
+    <genClasses ecoreClass="yakindu_simplified.ecore#//Choice"/>
+    <genClasses ecoreClass="yakindu_simplified.ecore#//Exit"/>
+    <genClasses ecoreClass="yakindu_simplified.ecore#//FinalState"/>
+  </genPackages>
+</genmodel:GenModel>