src/edu/berkeley/fleet/ships/HaltShip.java

   1 package edu.berkeley.fleet.ships;
   2 import edu.berkeley.fleet.interpreter.*;
   3 import edu.berkeley.fleet.*;
   4
   5 import java.util.*;
   6 import java.io.*;
   7
   8 public class HaltShip extends InterpreterShip {
   9
  10     TokenInbox in = new TokenInbox(this, "in");
  11
  12     public HaltShip(Interpreter fleet, String name) {
  13         super(fleet, name);
  14     }
  15
  16     public void service() {
  17         if (!in.tokenReadyForShip()) return;
  18         in.removeTokenForShip();
  19         ((Interpreter)getInterpreter()).halt = true;
  20         Log.println(Log.yellow("    HALT: ====== halt ship got a token; halting the fleet ======"));
  21     }
  22
  23 }