| function (watch2) | |
| endfunction () | |
| function (watch1) | |
| variable_watch(watched watch2) | |
| variable_watch(watched watch2) | |
| variable_watch(watched watch2) | |
| variable_watch(watched watch2) | |
| variable_watch(watched watch2) | |
| variable_watch(watched watch2) | |
| endfunction () | |
| variable_watch(watched watch1) | |
| variable_watch(watched watch2) | |
| set(access "${watched}") |