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

   1 package edu.berkeley.fleet.ships;
   2 import edu.berkeley.fleet.*;
   3
   4 import java.util.*;
   5 import java.io.*;
   6
   7 public class HaltShip extends Ship {
   8
   9     TokenInPort in = new TokenInPort(this, "in");
  10
  11     public HaltShip(Fleet fleet, String name) {
  12         super(fleet, name);
  13     }
  14
  15     public void service() {
  16         if (in.empty()) return;
  17         in.remove();
  18         getFleet().halt = true;
  19         Log.println(Log.red("    HALT: ====== halt ship got a token; halting the fleet ======"));
  20     }
  21
  22 }