| 1 | //===--- TextDiagnostic.h - Text Diagnostic Pretty-Printing -----*- C++ -*-===// |
| 2 | // |
| 3 | // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. |
| 4 | // See https://llvm.org/LICENSE.txt for license information. |
| 5 | // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception |
| 6 | // |
| 7 | //===----------------------------------------------------------------------===// |
| 8 | // |
| 9 | // This is a utility class that provides support for textual pretty-printing of |
| 10 | // diagnostics. It is used to implement the different code paths which require |
| 11 | // such functionality in a consistent way. |
| 12 | // |
| 13 | //===----------------------------------------------------------------------===// |
| 14 | |
| 15 | #ifndef LLVM_CLANG_FRONTEND_TEXTDIAGNOSTIC_H |
| 16 | #define LLVM_CLANG_FRONTEND_TEXTDIAGNOSTIC_H |
| 17 | |
| 18 | #include "clang/Frontend/DiagnosticRenderer.h" |
| 19 | #include "llvm/Support/raw_ostream.h" |
| 20 | |
| 21 | namespace clang { |
| 22 | |
| 23 | /// Class to encapsulate the logic for formatting and printing a textual |
| 24 | /// diagnostic message. |
| 25 | /// |
| 26 | /// This class provides an interface for building and emitting a textual |
| 27 | /// diagnostic, including all of the macro backtraces, caret diagnostics, FixIt |
| 28 | /// Hints, and code snippets. In the presence of macros this involves |
| 29 | /// a recursive process, synthesizing notes for each macro expansion. |
| 30 | /// |
| 31 | /// The purpose of this class is to isolate the implementation of printing |
| 32 | /// beautiful text diagnostics from any particular interfaces. The Clang |
| 33 | /// DiagnosticClient is implemented through this class as is diagnostic |
| 34 | /// printing coming out of libclang. |
| 35 | class TextDiagnostic : public DiagnosticRenderer { |
| 36 | raw_ostream &OS; |
| 37 | const Preprocessor *PP; |
| 38 | |
| 39 | public: |
| 40 | TextDiagnostic(raw_ostream &OS, const LangOptions &LangOpts, |
| 41 | DiagnosticOptions &DiagOpts, const Preprocessor *PP = nullptr); |
| 42 | |
| 43 | ~TextDiagnostic() override; |
| 44 | |
| 45 | struct StyleRange { |
| 46 | unsigned Start; |
| 47 | unsigned End; |
| 48 | enum llvm::raw_ostream::Colors Color; |
| 49 | StyleRange(unsigned S, unsigned E, enum llvm::raw_ostream::Colors C) |
| 50 | : Start(S), End(E), Color(C){}; |
| 51 | }; |
| 52 | |
| 53 | /// Print the diagonstic level to a raw_ostream. |
| 54 | /// |
| 55 | /// This is a static helper that handles colorizing the level and formatting |
| 56 | /// it into an arbitrary output stream. This is used internally by the |
| 57 | /// TextDiagnostic emission code, but it can also be used directly by |
| 58 | /// consumers that don't have a source manager or other state that the full |
| 59 | /// TextDiagnostic logic requires. |
| 60 | static void printDiagnosticLevel(raw_ostream &OS, |
| 61 | DiagnosticsEngine::Level Level, |
| 62 | bool ShowColors); |
| 63 | |
| 64 | /// Pretty-print a diagnostic message to a raw_ostream. |
| 65 | /// |
| 66 | /// This is a static helper to handle the line wrapping, colorizing, and |
| 67 | /// rendering of a diagnostic message to a particular ostream. It is |
| 68 | /// publicly visible so that clients which do not have sufficient state to |
| 69 | /// build a complete TextDiagnostic object can still get consistent |
| 70 | /// formatting of their diagnostic messages. |
| 71 | /// |
| 72 | /// \param OS Where the message is printed |
| 73 | /// \param IsSupplemental true if this is a continuation note diagnostic |
| 74 | /// \param Message The text actually printed |
| 75 | /// \param CurrentColumn The starting column of the first line, accounting |
| 76 | /// for any prefix. |
| 77 | /// \param Columns The number of columns to use in line-wrapping, 0 disables |
| 78 | /// all line-wrapping. |
| 79 | /// \param ShowColors Enable colorizing of the message. |
| 80 | static void printDiagnosticMessage(raw_ostream &OS, bool IsSupplemental, |
| 81 | StringRef Message, unsigned CurrentColumn, |
| 82 | unsigned Columns, bool ShowColors); |
| 83 | |
| 84 | protected: |
| 85 | void emitDiagnosticMessage(FullSourceLoc Loc, PresumedLoc PLoc, |
| 86 | DiagnosticsEngine::Level Level, StringRef Message, |
| 87 | ArrayRef<CharSourceRange> Ranges, |
| 88 | DiagOrStoredDiag D) override; |
| 89 | |
| 90 | void emitDiagnosticLoc(FullSourceLoc Loc, PresumedLoc PLoc, |
| 91 | DiagnosticsEngine::Level Level, |
| 92 | ArrayRef<CharSourceRange> Ranges) override; |
| 93 | |
| 94 | void emitCodeContext(FullSourceLoc Loc, DiagnosticsEngine::Level Level, |
| 95 | SmallVectorImpl<CharSourceRange> &Ranges, |
| 96 | ArrayRef<FixItHint> Hints) override { |
| 97 | emitSnippetAndCaret(Loc, Level, Ranges, Hints); |
| 98 | } |
| 99 | |
| 100 | void emitIncludeLocation(FullSourceLoc Loc, PresumedLoc PLoc) override; |
| 101 | |
| 102 | void emitImportLocation(FullSourceLoc Loc, PresumedLoc PLoc, |
| 103 | StringRef ModuleName) override; |
| 104 | |
| 105 | void emitBuildingModuleLocation(FullSourceLoc Loc, PresumedLoc PLoc, |
| 106 | StringRef ModuleName) override; |
| 107 | |
| 108 | private: |
| 109 | void emitFilename(StringRef Filename, const SourceManager &SM); |
| 110 | |
| 111 | void emitSnippetAndCaret(FullSourceLoc Loc, DiagnosticsEngine::Level Level, |
| 112 | SmallVectorImpl<CharSourceRange> &Ranges, |
| 113 | ArrayRef<FixItHint> Hints); |
| 114 | |
| 115 | void emitSnippet(StringRef SourceLine, unsigned MaxLineNoDisplayWidth, |
| 116 | unsigned LineNo, unsigned DisplayLineNo, |
| 117 | ArrayRef<StyleRange> Styles); |
| 118 | |
| 119 | void emitParseableFixits(ArrayRef<FixItHint> Hints, const SourceManager &SM); |
| 120 | }; |
| 121 | |
| 122 | } // end namespace clang |
| 123 | |
| 124 | #endif |
| 125 | |