rename Pledge Case Studies and add familyTree case study

2 files changed, 40 insertions, 0 deletions

diff --git a/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/inputs/familytree.ecore b/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/inputs/familytree.ecore
new file mode 100644
index 00000000..f2e51f65
--- /dev/null
+++ b/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/inputs/familytree.ecore
@@ -0,0 +1,17 @@
+<?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="familytree" nsURI="http://www.example.org/familytree" nsPrefix="familytree">

+  <eClassifiers xsi:type="ecore:EClass" name="FamilyTree">

+    <eStructuralFeatures xsi:type="ecore:EReference" name="members" upperBound="-1"

+        eType="#//Member" containment="true"/>

+  </eClassifiers>

+  <eClassifiers xsi:type="ecore:EClass" name="Member">

+    <eStructuralFeatures xsi:type="ecore:EAttribute" name="name" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>

+    <eStructuralFeatures xsi:type="ecore:EAttribute" name="age" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt"

+        defaultValueLiteral="0"/>

+    <eStructuralFeatures xsi:type="ecore:EReference" name="children" upperBound="-1"

+        eType="#//Member" eOpposite="#//Member/parents"/>

+    <eStructuralFeatures xsi:type="ecore:EReference" name="parents" upperBound="2"

+        eType="#//Member" eOpposite="#//Member/children"/>

+  </eClassifiers>

+</ecore:EPackage>

diff --git a/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/inputs/familytreeGen.vsconfig b/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/inputs/familytreeGen.vsconfig
new file mode 100644
index 00000000..140523bf
--- /dev/null
+++ b/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/inputs/familytreeGen.vsconfig
@@ -0,0 +1,23 @@
+import epackage "inputs/familytree.ecore"

+import viatra   "src/queries/familyTreeConstraints.vql"

+

+generate {

+        metamodel = { package familytree }

+        constraints = { package queries}

+        solver = ViatraSolver

+        scope = {

+                #node = 6,

+                #int = {1,2,3,4,5}

+        }

+        

+        config = {

+                runtime = 10000,

+                log-level = normal

+        }

+        

+        runs = 1

+        

+        debug =                 "outputs/debug"

+        log =                   "outputs/log.txt"

+        output =                "outputs/models"

+}
\ No newline at end of file