diff options
Diffstat (limited to 'Tests/MODELS2020-CaseStudies/case.study.familyTree.run/inputs')
-rw-r--r-- | Tests/MODELS2020-CaseStudies/case.study.familyTree.run/inputs/familytree.ecore | 17 | ||||
-rw-r--r-- | Tests/MODELS2020-CaseStudies/case.study.familyTree.run/inputs/familytreeGen.vsconfig | 23 |
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 @@ | |||
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="familytree" nsURI="http://www.example.org/familytree" nsPrefix="familytree"> | ||
4 | <eClassifiers xsi:type="ecore:EClass" name="FamilyTree"> | ||
5 | <eStructuralFeatures xsi:type="ecore:EReference" name="members" upperBound="-1" | ||
6 | eType="#//Member" containment="true"/> | ||
7 | </eClassifiers> | ||
8 | <eClassifiers xsi:type="ecore:EClass" name="Member"> | ||
9 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="name" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/> | ||
10 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="age" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt" | ||
11 | defaultValueLiteral="0"/> | ||
12 | <eStructuralFeatures xsi:type="ecore:EReference" name="children" upperBound="-1" | ||
13 | eType="#//Member" eOpposite="#//Member/parents"/> | ||
14 | <eStructuralFeatures xsi:type="ecore:EReference" name="parents" upperBound="2" | ||
15 | eType="#//Member" eOpposite="#//Member/children"/> | ||
16 | </eClassifiers> | ||
17 | </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 @@ | |||
1 | import epackage "inputs/familytree.ecore" | ||
2 | import viatra "src/queries/familyTreeConstraints.vql" | ||
3 | |||
4 | generate { | ||
5 | metamodel = { package familytree } | ||
6 | constraints = { package queries} | ||
7 | solver = ViatraSolver | ||
8 | scope = { | ||
9 | #node = 6, | ||
10 | #int = {1,2,3,4,5} | ||
11 | } | ||
12 | |||
13 | config = { | ||
14 | runtime = 10000, | ||
15 | log-level = normal | ||
16 | } | ||
17 | |||
18 | runs = 1 | ||
19 | |||
20 | debug = "outputs/debug" | ||
21 | log = "outputs/log.txt" | ||
22 | output = "outputs/models" | ||
23 | } \ No newline at end of file | ||