Log.java: use Packet.toString()

diff --git a/src/edu/berkeley/fleet/interpreter/Log.java b/src/edu/berkeley/fleet/interpreter/Log.java
index 914e524..e9237a2 100644 (file)
--- a/src/edu/berkeley/fleet/interpreter/Log.java
+++ b/src/edu/berkeley/fleet/interpreter/Log.java
@@ -24,25 +24,7 @@ public class Log {
     }
 
     public static void packet(Packet p) {
-        BitVector data = p.getValue();
-        Dock source = p.getSource();
-        Destination dest = p.getDestination();
-        if (dest.getDock().getInstructionDestination()==dest) {
-            if (p.isToken()) {
-                println(ANSI.yellow(ANSI.bold("  torpedo: ")) + (source + " -> " + ANSI.yellow(ANSI.bold(dest+""))));
-            } else {
-                Instruction d = source.getShip().getFleet().decodeInstruction(data, source);
-                println(ANSI.red("dispatch: " + indent(d+"", "          ")));
-            }
-        } else {
-            if (p.isToken()) {
-                println(ANSI.blue(ANSI.bold("   token: ")) + (source + " -> " + ANSI.blue(ANSI.bold(dest+""))));
-            } else {
-                println(indent(ANSI.cyan("    data: "+data) +
-                               (source==null ? "" :
-                                (" : " + source))+(" -> "+ANSI.cyan(""+dest)), "          "));
-            }
-        }
+        println(p.toString());
     }
 
     public static void error(Object o) { println(ANSI.red(o)); }