total overhaul: fleetcode-1.0 api finished
[fleet.git] / src / edu / berkeley / fleet / interpreter / Log.java
index e012e32..9fbd93c 100644 (file)
@@ -36,13 +36,13 @@ public class Log {
         println(ANSI.green("dispatch: " + indent(d+"", "          ")));
     }
 
-    public static void data(String data, Pump source, Destination dest) {
+    public static void data(String data, Dock source, Destination dest) {
         println(("    data: ") + indent(ANSI.purple(data) +
                                         (source==null ? "" :
                                          (" : " + source))+(" -> "+ANSI.purple(""+dest)), "          "));
     }
 
-    public static void token(Pump source, Destination dest) {
+    public static void token(Dock source, Destination dest) {
         println(ANSI.purple("   token: ") + (source + " -> " + ANSI.purple(dest+"")));
     }