Commit | Line | Data |
---|---|---|
5636bb2c C |
1 | @structure@ |
2 | identifier idtype, y; | |
3 | type t; | |
4 | position p; | |
5 | @@ | |
6 | struct idtype { | |
7 | ... | |
8 | t (*y)(...);@p | |
9 | ... | |
10 | }; | |
11 | ||
12 | @bad@ | |
13 | identifier structure.idtype, y; | |
14 | type t; | |
15 | position p != structure.p; | |
16 | @@ | |
17 | ||
18 | struct idtype { | |
19 | ... | |
20 | t y;@p | |
21 | ... | |
22 | }; | |
23 | ||
24 | @depends on !bad@ | |
25 | identifier structure.idtype; | |
26 | @@ | |
27 | struct | |
28 | - idtype | |
29 | + newname | |
30 | { | |
31 | ... | |
32 | }; |