HCoop / bpt / coccinelle.git / blame
| Commit | Line | Data |
|---|---|---|
| 34e49164 C |
1 | @ rule1 @ |
| 2 | type T; | |
| 3 | identifier lock; | |
| 4 | @@ | |
| 5 | ||
| 6 | T { ... | |
| 7 | struct semaphore lock; | |
| 8 | ... | |
| 9 | }; | |
| 10 | ||
| 11 | @ rule1a @ | |
| 12 | type rule1.T; | |
| 13 | T data; | |
| 14 | identifier rule1.lock; | |
| 15 | @@ | |
| 16 | ||
| 17 | - init_MUTEX | |
| 18 | + mutex_init | |
| 19 | (&data. | |
| 20 | - lock | |
| 21 | + new_lock | |
| 22 | ) | |
| 23 | ||
| 24 | @@ | |
| 25 | type rule1.T; | |
| 26 | identifier rule1.lock; | |
| 27 | @@ | |
| 28 | ||
| 29 | T { ... | |
| 30 | - struct semaphore lock; | |
| 31 | + struct mutex new_lock; | |
| 32 | ... | |
| 33 | }; |