listing7.8.java

java 完全探索的随书源码

class SaferElevator extends Elevator {
  ...
  public void shutDown() {
    if ( isEmpty() )
      running = false;
    else
      printErrorMessage();
  }
}