| 2985 | // |
| 2986 | |
| 2987 | static act* act_event() |
| 2988 | { |
| 2989 | act* action = NULL; |
| 2990 | |
| 2991 | if (MSC_match(KW_INIT)) |
| 2992 | action = PAR_event_init(true); |
| 2993 | else if (MSC_match(KW_WAIT)) |
| 2994 | action = PAR_event_wait(true); |
| 2995 | else |
| 2996 | CPR_s_error("INIT or WAIT"); |
| 2997 | action->act_whenever = gen_whenever(); |
| 2998 | return action; |
| 2999 | } |
| 3000 | |
| 3001 | |
| 3002 | //____________________________________________________________ |
no test coverage detected