public void report(JCDiagnostic diag) {
   if (!diag.isFlagSet(JCDiagnostic.DiagnosticFlag.NON_DEFERRABLE)
       && (filter == null || filter.accepts(diag))) {
     deferred.add(diag);
   } else {
     prev.report(diag);
   }
 }
Beispiel #2
0
 public void report(JCDiagnostic diag) {
   if (filter == null || filter.accepts(diag)) deferred.add(diag);
   else prev.report(diag);
 }