+
+ for(Port port : ship.portlist) {
+ if (ship instanceof DebugShip && port instanceof Outbox)
+ continue;
+ System.out.print(" || ");
+ if (port instanceof Inbox)
+ System.out.print("inbox(");
+ else
+ System.out.print("outbox(");
+ System.out.print("instruction_"+port.getShip().getName()+"_"+port.getName());
+ System.out.print(", ");
+ System.out.print("dest_"+port.getShip().getName()+"_"+port.getName());
+ System.out.print(", ");
+ System.out.print("source_"+port.getShip().getName()+"_"+port.getName());
+ System.out.print(", ");
+ System.out.print("data_"+port.getShip().getName()+"_"+port.getName());
+ System.out.print(")");
+ System.out.println();
+ }
+