equal
deleted
inserted
replaced
233 private void printConstant(int index) { |
233 private void printConstant(int index) { |
234 constantWriter.write(index); |
234 constantWriter.write(index); |
235 } |
235 } |
236 |
236 |
237 private List<InstructionDetailWriter> getDetailWriters(Code_attribute attr) { |
237 private List<InstructionDetailWriter> getDetailWriters(Code_attribute attr) { |
238 List<InstructionDetailWriter> detailWriters = |
238 List<InstructionDetailWriter> detailWriters = new ArrayList<>(); |
239 new ArrayList<InstructionDetailWriter>(); |
|
240 if (options.details.contains(InstructionDetailWriter.Kind.SOURCE)) { |
239 if (options.details.contains(InstructionDetailWriter.Kind.SOURCE)) { |
241 sourceWriter.reset(classWriter.getClassFile(), attr); |
240 sourceWriter.reset(classWriter.getClassFile(), attr); |
242 if (sourceWriter.hasSource()) |
241 if (sourceWriter.hasSource()) |
243 detailWriters.add(sourceWriter); |
242 detailWriters.add(sourceWriter); |
244 else |
243 else |