// Locals needed for performing the state transition, once we determine
// the required transition.
StateImpl currentState = null ;
StateImpl nextState = null ;
Action action = null ;
// Do until no guard has deferred.
boolean deferral = false ;
do {
deferral = false ; // clear this after each deferral!