HCoop / bpt / coccinelle.git / blame
| Commit | Line | Data |
|---|---|---|
| 34e49164 C |
1 | @x disable all@ |
| 2 | position p; | |
| 3 | expression E; | |
| 4 | expression A; | |
| 5 | statement S1, S2; | |
| 6 | @@ | |
| 7 | ||
| 8 | if@p (foo(E,A)) S1 else S2 | |
| 9 | ||
| 10 | // here the incoming environment is p = 1,2 E = 6 and p = 3 E = 7 | |
| 11 | @disable all@ | |
| 12 | position p1 != x.p; | |
| 13 | expression x.E; | |
| 14 | expression B; | |
| 15 | statement S1, S2; | |
| 16 | @@ | |
| 17 | ||
| 18 | - if@p1 (foo(E,B)) S1 else S2 | |
| 19 | ||
| 20 | @y disable all@ | |
| 21 | position p; | |
| 22 | expression E; | |
| 23 | expression A; | |
| 24 | statement S1, S2; | |
| 25 | @@ | |
| 26 | ||
| 27 | if@p (bar(E,A)) S1 else S2 | |
| 28 | ||
| 29 | // here the incoming environment is p = 4,5 E = 6 and p = 6 E = 7 | |
| 30 | @disable all@ | |
| 31 | position p1 != y.p; | |
| 32 | expression y.E; | |
| 33 | expression C; | |
| 34 | statement S1, S2; | |
| 35 | @@ | |
| 36 | ||
| 37 | - if@p1 (bar(C,E)) S1 else S2 |