Commit | Line | Data |
---|---|---|
34e49164 C |
1 | // to be used without isomorphisms |
2 | ||
3 | @@ | |
4 | expression *E; | |
5 | @@ | |
6 | ||
7 | E == | |
8 | - 0 | |
9 | + NULL | |
10 | ||
11 | @@ | |
12 | expression *E; | |
13 | @@ | |
14 | ||
15 | - 0 | |
16 | + NULL | |
17 | == E | |
18 | ||
19 | @@ | |
20 | expression *E; | |
21 | @@ | |
22 | ||
23 | E != | |
24 | - 0 | |
25 | + NULL | |
26 | ||
27 | @@ | |
28 | expression *E; | |
29 | @@ | |
30 | ||
31 | - 0 | |
32 | + NULL | |
33 | != E | |
34 | ||
35 | // assignments | |
36 | ||
37 | @@ | |
38 | expression *E; | |
39 | expression E1; | |
40 | @@ | |
41 | ||
42 | (E = E1) == | |
43 | - 0 | |
44 | + NULL | |
45 | ||
46 | @@ | |
47 | expression *E; | |
48 | expression E1; | |
49 | @@ | |
50 | ||
51 | - 0 | |
52 | + NULL | |
53 | == (E = E1) | |
54 | ||
55 | @@ | |
56 | expression *E; | |
57 | expression E1; | |
58 | @@ | |
59 | ||
60 | (E = E1) != | |
61 | - 0 | |
62 | + NULL | |
63 | ||
64 | @@ | |
65 | expression *E; | |
66 | expression E1; | |
67 | @@ | |
68 | ||
69 | - 0 | |
70 | + NULL | |
71 | != (E = E1) |