1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
|
package queries
import "http://www.example.org/familytree"
@Constraint(message="memberIsItsOwnParent", severity="error", key={m})
pattern memberIsRecursiveParent(m: Member) = {
find isParent+(m, m);
}
pattern isParent(m: Member, p: Member){
Member.parents(m, p);
}
@Constraint(message="memberIsItsOwnParent", severity="error", key={m})
pattern memberIsItsOwnParent(m: Member) = {
FamilyTree.members(_, m);
Member.parents(m, p);
m == p;
}
@Constraint(message="twoMembersHaveNoParent", severity="error", key={m1, m2})
pattern twoMembersHaveNoParent(m1:Member, m2:Member) = {
neg find memberHasParent(m1);
neg find memberHasParent(m2);
m1 != m2;
}
pattern memberHasParent(m: Member) = {
Member.parents(m, _);
}
@Constraint(message="negativeAge", severity="error",key={m})
pattern negativeAge(m: Member) {
Member.age(m,mage);
check(mage<0);
}
@Constraint(message="parentTooYoung", severity="error", key={c, p})
pattern parentTooYoung(c: Member, p: Member) = {
FamilyTree.members(_, c);
Member.parents(c, p);
Member.age(c, cAge);
Member.age(p, pAge);
check (pAge <= (cAge + 12));
}
|