3 == Ports ===========================================================
6 == Constants ========================================================
8 == TeX ==============================================================
10 == Fleeterpreter ====================================================
11 public void service() {
12 if (!box_in.tokenReadyForShip()) return;
13 box_in.removeTokenForShip();
14 ((Interpreter)getInterpreter()).halt = true;
15 Log.println(Log.yellow(" HALT: ====== halt ship got a token; halting the fleet ======"));
18 == FleetSim ==============================================================
20 == FPGA ==============================================================
21 // not implemented FIXME
23 == Contributors =========================================================
24 Adam Megacz <megacz@cs.berkeley.edu>