/** message did not match incoming, goto next message (will be followed by goto top-of-loop) */
public static void loop_rec_end(EProc proc) {
proc.midx += 1;
}
/** message reception timed out, reset message index */
public static void timeout(EProc proc) {
if (ipclog.isLoggable(Level.FINE)) ipclog.fine("WAIT| " + proc + " timed out");
proc.midx = 0;
proc.timeout_start = 0L;
proc.in_receive = false;
}
/** remove current message, and reset message index */
public static void remove_message(EProc proc) {
proc.mbox.remove(proc.midx);
proc.midx = 0;
proc.timeout_start = 0L;
proc.in_receive = false;
}