153   void PragmaMessage(SourceLocation Loc, StringRef Namespace,
156   void PragmaDiagnosticPush(SourceLocation Loc, StringRef Namespace) override;
157   void PragmaDiagnosticPop(SourceLocation Loc, StringRef Namespace) override;
158   void PragmaDiagnostic(SourceLocation Loc, StringRef Namespace,
511                                              StringRef Namespace,  in PragmaMessage()  argument
516   if (!Namespace.empty())  in PragmaMessage()
517     OS << Namespace << ' ';  in PragmaMessage()
548 PragmaDiagnosticPush(SourceLocation Loc, StringRef Namespace) {  in PragmaDiagnosticPush()  argument
550   OS << "#pragma " << Namespace << " diagnostic push";  in PragmaDiagnosticPush()
555 PragmaDiagnosticPop(SourceLocation Loc, StringRef Namespace) {  in PragmaDiagnosticPop()  argument
557   OS << "#pragma " << Namespace << " diagnostic pop";  in PragmaDiagnosticPop()
562                                                 StringRef Namespace,  in PragmaDiagnostic()  argument
566   OS << "#pragma " << Namespace << " diagnostic ";  in PragmaDiagnostic()