135   void PragmaMessage(SourceLocation Loc, StringRef Namespace,
138   void PragmaDiagnosticPush(SourceLocation Loc, StringRef Namespace) override;
139   void PragmaDiagnosticPop(SourceLocation Loc, StringRef Namespace) override;
140   void PragmaDiagnostic(SourceLocation Loc, StringRef Namespace,
446                                              StringRef Namespace,  in PragmaMessage()  argument
452   if (!Namespace.empty())  in PragmaMessage()
453     OS << Namespace << ' ';  in PragmaMessage()
485 PragmaDiagnosticPush(SourceLocation Loc, StringRef Namespace) {  in PragmaDiagnosticPush()  argument
488   OS << "#pragma " << Namespace << " diagnostic push";  in PragmaDiagnosticPush()
493 PragmaDiagnosticPop(SourceLocation Loc, StringRef Namespace) {  in PragmaDiagnosticPop()  argument
496   OS << "#pragma " << Namespace << " diagnostic pop";  in PragmaDiagnosticPop()
501                                                 StringRef Namespace,  in PragmaDiagnostic()  argument
506   OS << "#pragma " << Namespace << " diagnostic ";  in PragmaDiagnostic()