public void printNotice(SourcePosition pos, String msg) {
        if (diagListener != null) {
            report(DiagnosticType.NOTE, pos, msg);
            return;
        }

        if (pos == null)
            noticeWriter.println(msg);
        else
            noticeWriter.println(pos + ": " + msg);
        noticeWriter.flush();
    }
public void printNotice ( SourcePosition pos , String msg ) { if ( diagListener != null ) { report ( DiagnosticType . NOTE , pos , msg ) ; return ; } if ( pos == null ) noticeWriter . println ( msg ) ; else noticeWriter . println ( pos + ": " + msg ) ; noticeWriter . flush ( ) ; }
Print a message.
Part of DocErrorReporter.

@param pos the position where the error occurs
@param msg message to print