diff options
author | Kristóf Marussy <marussy@mit.bme.hu> | 2020-05-10 22:13:21 +0200 |
---|---|---|
committer | Kristóf Marussy <marussy@mit.bme.hu> | 2020-05-10 22:13:21 +0200 |
commit | 5a6eea9bd15597eab77bbcedb4b5116020f0a67d (patch) | |
tree | 6c86f7e5bd3d86fde29d3fee4fb4f912f35057bc /Tests/MODELS2020-CaseStudies/case.study.familyTree.run/src/queries/familyTreeConstraints.vql | |
parent | Add satellite case study (diff) | |
parent | Merge branch 'master' of https://github.com/viatra/VIATRA-Generator (diff) | |
download | VIATRA-Generator-5a6eea9bd15597eab77bbcedb4b5116020f0a67d.tar.gz VIATRA-Generator-5a6eea9bd15597eab77bbcedb4b5116020f0a67d.tar.zst VIATRA-Generator-5a6eea9bd15597eab77bbcedb4b5116020f0a67d.zip |
Merge branch 'master' of github.com:viatra/VIATRA-Generator
Diffstat (limited to 'Tests/MODELS2020-CaseStudies/case.study.familyTree.run/src/queries/familyTreeConstraints.vql')
-rw-r--r-- | Tests/MODELS2020-CaseStudies/case.study.familyTree.run/src/queries/familyTreeConstraints.vql | 18 |
1 files changed, 12 insertions, 6 deletions
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 a204443a..fdbac640 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 | |||
@@ -20,13 +20,19 @@ pattern memberHasParent(m: Member) = { | |||
20 | Member.parents(m, _); | 20 | Member.parents(m, _); |
21 | } | 21 | } |
22 | 22 | ||
23 | @Constraint(message="parentTooYoung", severity="error", key={m, p}) | 23 | @Constraint(message="negativeAge", severity="error",key={m}) |
24 | pattern parentTooYoung(m: Member, p: Member) = { | 24 | pattern negativeAge(m: Member) { |
25 | FamilyTree.members(_, m); | 25 | Member.age(m,mage); |
26 | Member.parents(m, p); | 26 | check(mage<0); |
27 | Member.age(m, mAge); | 27 | } |
28 | |||
29 | @Constraint(message="parentTooYoung", severity="error", key={c, p}) | ||
30 | pattern parentTooYoung(c: Member, p: Member) = { | ||
31 | FamilyTree.members(_, c); | ||
32 | Member.parents(c, p); | ||
33 | Member.age(c, cAge); | ||
28 | Member.age(p, pAge); | 34 | Member.age(p, pAge); |
29 | check (mAge <= (pAge + 12)); | 35 | check (pAge <= (cAge + 12)); |
30 | } | 36 | } |
31 | 37 | ||
32 | 38 | ||