115 for (InstructionDetailWriter w: detailWriters) |
115 for (InstructionDetailWriter w: detailWriters) |
116 w.flush(); |
116 w.flush(); |
117 } |
117 } |
118 |
118 |
119 public void writeInstr(Instruction instr) { |
119 public void writeInstr(Instruction instr) { |
120 print(String.format("%4d: %-12s ", instr.getPC(), instr.getMnemonic())); |
120 print(String.format("%4d: %-13s ", instr.getPC(), instr.getMnemonic())); |
121 instr.accept(instructionPrinter, null); |
121 instr.accept(instructionPrinter, null); |
122 println(); |
122 println(); |
123 } |
123 } |
124 // where |
124 // where |
125 Instruction.KindVisitor<Void,Void> instructionPrinter = |
125 Instruction.KindVisitor<Void,Void> instructionPrinter = |