READY
case READY:
thread->state = READY;
AddState(thread, time, READY, NULL);
case READY:
state = READY;
state = READY;
if (state == READY) {
} else if (state == READY || state == PREEMPTED) {
timeType = state == READY
state = READY;
state = READY;
} else if (state == READY) {
state = READY;
case READY:
thread->state = READY;
} else if (thread->state == READY || thread->state == PREEMPTED) {
if (thread->state == READY) {
| timing READY TIME
%token TIME TIMING WAIT READY RESERVED
if (state == READY) {
state = READY;
if (thread->state == READY) {
thread->state = READY;
} else if (thread->state == READY || thread->state == PREEMPTED) {