Commit | Line | Data |
---|---|---|
34e49164 C |
1 | @s@ |
2 | identifier i; | |
3 | position p0; | |
4 | @@ | |
5 | ||
6 | i =@p0 ...; | |
7 | ||
8 | @r exists@ | |
9 | identifier s.i; | |
10 | position s.p0,p; | |
11 | @@ | |
12 | ||
13 | i =@p0 ...; | |
14 | ... | |
15 | i =@p <+... i ...+>; | |
16 | ||
1be43e12 | 17 | @x@ |
34e49164 C |
18 | identifier s.i; |
19 | position s.p0; | |
20 | position p != r.p; | |
21 | @@ | |
22 | ||
23 | - i =@p0 ...; | |
24 | ... when strict | |
25 | i =@p ...; |