132   void PragmaMessage(SourceLocation Loc, StringRef Namespace,
135   void PragmaDiagnosticPush(SourceLocation Loc, StringRef Namespace) override;
136   void PragmaDiagnosticPop(SourceLocation Loc, StringRef Namespace) override;
137   void PragmaDiagnostic(SourceLocation Loc, StringRef Namespace,
397                                              StringRef Namespace,  in PragmaMessage()  argument
403   if (!Namespace.empty())  in PragmaMessage()
404     OS << Namespace << ' ';  in PragmaMessage()
436 PragmaDiagnosticPush(SourceLocation Loc, StringRef Namespace) {  in PragmaDiagnosticPush()  argument
439   OS << "#pragma " << Namespace << " diagnostic push";  in PragmaDiagnosticPush()
444 PragmaDiagnosticPop(SourceLocation Loc, StringRef Namespace) {  in PragmaDiagnosticPop()  argument
447   OS << "#pragma " << Namespace << " diagnostic pop";  in PragmaDiagnosticPop()
452                                                 StringRef Namespace,  in PragmaDiagnostic()  argument
457   OS << "#pragma " << Namespace << " diagnostic ";  in PragmaDiagnostic()