added Choice ship
[fleet.git] / ships / Halt.ship
1 ship: Halt
2
3 == Ports ===========================================================
4 token in: in
5
6 == Constants ========================================================
7
8 == TeX ==============================================================
9
10 == Fleeterpreter ====================================================
11 public void service() {
12   if (!box_in.tokenReadyForShip()) return;
13   box_in.removeTokenForShip();
14   ((Interpreter)getInterpreter()).halt = true;
15   Log.println(ANSI.yellow("    HALT: ====== halt ship got a token; halting the fleet ======"));
16 }
17
18 == FleetSim ==============================================================
19
20 == FPGA ==============================================================
21 // not implemented FIXME
22
23 == Contributors =========================================================
24 Adam Megacz <megacz@cs.berkeley.edu>