== TeX ==============================================================
+This ship is used for debugging. It has only one port, {\tt in}.
+Programmers should send debug report values to this port. How such
+values are reported back to the programmer doing the debugging is left
+unspecified.
+
+\subsection*{To Do}
+
+Provide an {\tt inOp} port and use opcode ports \cite{am25} to
+effectively allow multiple independent ``debug streams''
+
+Provide a way to programmatically read back the output of the debug
+ship.
+
== Fleeterpreter ====================================================
public void service() {
if (box_in.dataReadyForShip())
endmodule
+== Test ================================================================
+#expect 25
+
+#ship debug : Debug
+
+debug.in:
+ literal 25;
+ deliver;
+
== Contributors =========================================================
Adam Megacz <megacz@cs.berkeley.edu>