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,
517                                              StringRef Namespace,  in PragmaMessage()  argument
522   if (!Namespace.empty())  in PragmaMessage()
523     OS << Namespace << ' ';  in PragmaMessage()
554 PragmaDiagnosticPush(SourceLocation Loc, StringRef Namespace) {  in PragmaDiagnosticPush()  argument
556   OS << "#pragma " << Namespace << " diagnostic push";  in PragmaDiagnosticPush()
561 PragmaDiagnosticPop(SourceLocation Loc, StringRef Namespace) {  in PragmaDiagnosticPop()  argument
563   OS << "#pragma " << Namespace << " diagnostic pop";  in PragmaDiagnosticPop()
568                                                 StringRef Namespace,  in PragmaDiagnostic()  argument
572   OS << "#pragma " << Namespace << " diagnostic ";  in PragmaDiagnostic()