Tests/MODELS2020-CaseStudies/case.study.familyTree.run/bin/queries/familyTreeConstraints.vql


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24

package queries
 
import "http://www.example.org/familytree"

@Constraint(message="memberIsItsOwnParent", severity="error", key={m})
pattern memberIsItsOwnParent(m: Member) = {
	FamilyTree.members(_, m);
	Member.parents(m, p);
	m == p;
}

//@Constraint(message="parentTooYoung", severity="error", key={m, p})
//pattern parentTooYoung(m: Member, p: Member) = {
//	FamilyTree.members(_, m);
//	Member.parents(m, p);
//	Member.age(m, mAge);
//	Member.age(p, pAge);
//	check (mAge <= (pAge + 12));
//}