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();
}
