synchronized protected void timeout(){
  SprogVersion v;
switch (state) {
case CRSENT:
    log.debug("Timeout no SPROG prompt");
  state=QueryState.IDLE;
v=new SprogVersion(new SprogType(SprogType.TIMEOUT));
notifyVersion(v);
break;
case QUERYSENT:
log.debug("Timeout no SPROG found");
state=QueryState.IDLE;
v=new SprogVersion(new SprogType(SprogType.NOT_A_SPROG));
notifyVersion(v);
break;
case DONE:
case IDLE:
log.error("Timeout in unexpected state: " + state);
break;
}
}

synchronized protected void timeout ( ) { SprogVersion v ; switch ( state ) { case CRSENT : log . debug ( "Timeout no SPROG prompt" ) ; state = QueryState . IDLE ; v = new SprogVersion ( new SprogType ( SprogType . TIMEOUT ) ) ; notifyVersion ( v ) ; break ; case QUERYSENT : log . debug ( "Timeout no SPROG found" ) ; state = QueryState . IDLE ; v = new SprogVersion ( new SprogType ( SprogType . NOT_A_SPROG ) ) ; notifyVersion ( v ) ; break ; case DONE : case IDLE : log . error ( "Timeout in unexpected state: " + state ) ; break ; } }
internal routine to handle a timeout
