equal
deleted
inserted
replaced
134 this.filter = filter; |
134 this.filter = filter; |
135 install(log); |
135 install(log); |
136 } |
136 } |
137 |
137 |
138 public void report(JCDiagnostic diag) { |
138 public void report(JCDiagnostic diag) { |
139 if (filter == null || filter.accepts(diag)) |
139 if (!diag.isFlagSet(JCDiagnostic.DiagnosticFlag.NON_DEFERRABLE) && |
|
140 (filter == null || filter.accepts(diag))) { |
140 deferred.add(diag); |
141 deferred.add(diag); |
141 else |
142 } else { |
142 prev.report(diag); |
143 prev.report(diag); |
|
144 } |
143 } |
145 } |
144 |
146 |
145 public Queue<JCDiagnostic> getDiagnostics() { |
147 public Queue<JCDiagnostic> getDiagnostics() { |
146 return deferred; |
148 return deferred; |
147 } |
149 } |