langtools/src/share/classes/com/sun/tools/javac/processing/PrintingProcessor.java
equal
deleted
inserted
replaced
81 |
81 |
82 /** |
82 /** |
83 * Used for the -Xprint option and called by Elements.printElements |
83 * Used for the -Xprint option and called by Elements.printElements |
84 */ |
84 */ |
85 public static class PrintingElementVisitor |
85 public static class PrintingElementVisitor |
86 extends SimpleElementVisitor8<PrintingElementVisitor, Boolean> { |
86 extends SimpleElementVisitor9<PrintingElementVisitor, Boolean> { |
87 int indentation; // Indentation level; |
87 int indentation; // Indentation level; |
88 final PrintWriter writer; |
88 final PrintWriter writer; |
89 final Elements elementUtils; |
89 final Elements elementUtils; |
90 |
90 |
91 public PrintingElementVisitor(Writer w, Elements elementUtils) { |
91 public PrintingElementVisitor(Writer w, Elements elementUtils) { |