diff options
author | 2021-01-06 07:08:59 +0100 | |
---|---|---|
committer | 2021-01-06 07:08:59 +0100 | |
commit | 43fcf6e297c4c305eb8f5cf3c91f8e507d440b83 (patch) | |
tree | d4d9b610a46364982fb740309a8c2d6ae1ff899f /Tests/MODELS2020-CaseStudies/case.study.familyTree.run | |
parent | Merge branch 'dreal-integration' of https://github.com/viatra/VIATRA-Generato... (diff) | |
download | VIATRA-Generator-43fcf6e297c4c305eb8f5cf3c91f8e507d440b83.tar.gz VIATRA-Generator-43fcf6e297c4c305eb8f5cf3c91f8e507d440b83.tar.zst VIATRA-Generator-43fcf6e297c4c305eb8f5cf3c91f8e507d440b83.zip |
prepping measurement setup w/ dreal
Diffstat (limited to 'Tests/MODELS2020-CaseStudies/case.study.familyTree.run')
-rw-r--r-- | Tests/MODELS2020-CaseStudies/case.study.familyTree.run/plugin.xml | 1 | ||||
-rw-r--r-- | Tests/MODELS2020-CaseStudies/case.study.familyTree.run/src/queries/familyTreeConstraints.vql | 6 |
2 files changed, 7 insertions, 0 deletions
diff --git a/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/plugin.xml b/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/plugin.xml index 4297ec89..f5cda378 100644 --- a/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/plugin.xml +++ b/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/plugin.xml | |||
@@ -5,6 +5,7 @@ | |||
5 | <query-specification fqn="queries.twoMembersHaveNoParent"/> | 5 | <query-specification fqn="queries.twoMembersHaveNoParent"/> |
6 | <query-specification fqn="queries.memberHasParent"/> | 6 | <query-specification fqn="queries.memberHasParent"/> |
7 | <query-specification fqn="queries.negativeAge"/> | 7 | <query-specification fqn="queries.negativeAge"/> |
8 | <query-specification fqn="queries.realisticAge"/> | ||
8 | <query-specification fqn="queries.parentTooYoung"/> | 9 | <query-specification fqn="queries.parentTooYoung"/> |
9 | </group> | 10 | </group> |
10 | </extension> | 11 | </extension> |
diff --git a/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/src/queries/familyTreeConstraints.vql b/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/src/queries/familyTreeConstraints.vql index fdbac640..f8650073 100644 --- a/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/src/queries/familyTreeConstraints.vql +++ b/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/src/queries/familyTreeConstraints.vql | |||
@@ -26,6 +26,12 @@ pattern negativeAge(m: Member) { | |||
26 | check(mage<0); | 26 | check(mage<0); |
27 | } | 27 | } |
28 | 28 | ||
29 | @Constraint(message="realisticAge", severity="error",key={m}) | ||
30 | pattern realisticAge(m: Member) { | ||
31 | Member.age(m,mage); | ||
32 | check(mage>120); | ||
33 | } | ||
34 | |||
29 | @Constraint(message="parentTooYoung", severity="error", key={c, p}) | 35 | @Constraint(message="parentTooYoung", severity="error", key={c, p}) |
30 | pattern parentTooYoung(c: Member, p: Member) = { | 36 | pattern parentTooYoung(c: Member, p: Member) = { |
31 | FamilyTree.members(_, c); | 37 | FamilyTree.members(_, c); |