equal
deleted
inserted
replaced
511 return report(e); |
511 return report(e); |
512 } |
512 } |
513 } |
513 } |
514 |
514 |
515 public Void visitSourceDebugExtension(SourceDebugExtension_attribute attr, Void ignore) { |
515 public Void visitSourceDebugExtension(SourceDebugExtension_attribute attr, Void ignore) { |
516 println("SourceDebugExtension: " + attr.getValue()); |
516 println("SourceDebugExtension:"); |
|
517 indent(+1); |
|
518 for (String s: attr.getValue().split("[\r\n]+")) { |
|
519 println(s); |
|
520 } |
|
521 indent(-1); |
517 return null; |
522 return null; |
518 } |
523 } |
519 |
524 |
520 public Void visitSourceFile(SourceFile_attribute attr, Void ignore) { |
525 public Void visitSourceFile(SourceFile_attribute attr, Void ignore) { |
521 println("SourceFile: \"" + getSourceFile(attr) + "\""); |
526 println("SourceFile: \"" + getSourceFile(attr) + "\""); |