private void debugAll(String s) { if ((debug == null) || !debugFull) return; int i; debug.println("DEBUG ALL - " + s); for (i = 0; i < NUM_REGISTERS; i++) { debug.println("\tvalue[" + i + "]=" + value[i]); debug.print("\twriteSet[" + i + "]="); for (SampleProcess p : writeSet.get(i)) debug.print(p.getProcessNumber() + ","); debug.println(); } debug.print("\tcorrect="); for (i = 0; i < correct.getSize(); i++) { SampleProcess p = correct.getProcess(i); debug.print( "[" + p.getProcessNumber() + ";" + p.getSocketAddress() + ";" + p.isCorrect() + "],"); } debug.println(); debug.println(); }