34e49164 C |
1 | @@ |
2 | //identifier rule3.d_fill_fifo; |
3 | struct IsdnCardState *cs; |
4 | identifier E; |
5 | @@ |
6 | |
7 | ... when != cs->DC_Send_Data |
8 | ( |
9 | + cs->DC_Send_Data = d_fill_fifo; |
10 | cs->DC_Close = E; |
11 | | |
12 | + cs->DC_Send_Data = &d_fill_fifo; |
13 | cs->DC_Close = &E; |
14 | ) |
15 | ... when != cs->DC_Send_Data |