• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1 //===--- DiagnosticRenderer.h - Diagnostic Pretty-Printing ------*- C++ -*-===//
2 //
3 //                     The LLVM Compiler Infrastructure
4 //
5 // This file is distributed under the University of Illinois Open Source
6 // License. See LICENSE.TXT for details.
7 //
8 //===----------------------------------------------------------------------===//
9 //
10 // This is a utility class that provides support for pretty-printing of
11 // diagnostics. It is used to implement the different code paths which require
12 // such functionality in a consistent way.
13 //
14 //===----------------------------------------------------------------------===//
15 
16 #ifndef LLVM_CLANG_FRONTEND_DIAGNOSTICRENDERER_H
17 #define LLVM_CLANG_FRONTEND_DIAGNOSTICRENDERER_H
18 
19 #include "clang/Basic/Diagnostic.h"
20 #include "clang/Basic/LLVM.h"
21 #include "clang/Basic/SourceLocation.h"
22 #include "llvm/ADT/Optional.h"
23 #include "llvm/ADT/PointerUnion.h"
24 
25 namespace clang {
26 
27 class DiagnosticOptions;
28 class LangOptions;
29 class SourceManager;
30 
31 typedef llvm::PointerUnion<const Diagnostic *,
32                            const StoredDiagnostic *> DiagOrStoredDiag;
33 
34 /// \brief Class to encapsulate the logic for formatting a diagnostic message.
35 ///
36 /// Actual "printing" logic is implemented by subclasses.
37 ///
38 /// This class provides an interface for building and emitting
39 /// diagnostic, including all of the macro backtraces, caret diagnostics, FixIt
40 /// Hints, and code snippets. In the presence of macros this involves
41 /// a recursive process, synthesizing notes for each macro expansion.
42 ///
43 /// A brief worklist:
44 /// FIXME: Sink the recursive printing of template instantiations into this
45 /// class.
46 class DiagnosticRenderer {
47 protected:
48   const LangOptions &LangOpts;
49   IntrusiveRefCntPtr<DiagnosticOptions> DiagOpts;
50 
51   /// \brief The location of the previous diagnostic if known.
52   ///
53   /// This will be invalid in cases where there is no (known) previous
54   /// diagnostic location, or that location itself is invalid or comes from
55   /// a different source manager than SM.
56   SourceLocation LastLoc;
57 
58   /// \brief The location of the last include whose stack was printed if known.
59   ///
60   /// Same restriction as LastLoc essentially, but tracking include stack
61   /// root locations rather than diagnostic locations.
62   SourceLocation LastIncludeLoc;
63 
64   /// \brief The level of the last diagnostic emitted.
65   ///
66   /// The level of the last diagnostic emitted. Used to detect level changes
67   /// which change the amount of information displayed.
68   DiagnosticsEngine::Level LastLevel;
69 
70   DiagnosticRenderer(const LangOptions &LangOpts,
71                      DiagnosticOptions *DiagOpts);
72 
73   virtual ~DiagnosticRenderer();
74 
75   virtual void emitDiagnosticMessage(SourceLocation Loc, PresumedLoc PLoc,
76                                      DiagnosticsEngine::Level Level,
77                                      StringRef Message,
78                                      ArrayRef<CharSourceRange> Ranges,
79                                      const SourceManager *SM,
80                                      DiagOrStoredDiag Info) = 0;
81 
82   virtual void emitDiagnosticLoc(SourceLocation Loc, PresumedLoc PLoc,
83                                  DiagnosticsEngine::Level Level,
84                                  ArrayRef<CharSourceRange> Ranges,
85                                  const SourceManager &SM) = 0;
86 
87   virtual void emitCodeContext(SourceLocation Loc,
88                                DiagnosticsEngine::Level Level,
89                                SmallVectorImpl<CharSourceRange>& Ranges,
90                                ArrayRef<FixItHint> Hints,
91                                const SourceManager &SM) = 0;
92 
93   virtual void emitIncludeLocation(SourceLocation Loc, PresumedLoc PLoc,
94                                    const SourceManager &SM) = 0;
95   virtual void emitImportLocation(SourceLocation Loc, PresumedLoc PLoc,
96                                   StringRef ModuleName,
97                                   const SourceManager &SM) = 0;
98   virtual void emitBuildingModuleLocation(SourceLocation Loc, PresumedLoc PLoc,
99                                           StringRef ModuleName,
100                                           const SourceManager &SM) = 0;
101 
beginDiagnostic(DiagOrStoredDiag D,DiagnosticsEngine::Level Level)102   virtual void beginDiagnostic(DiagOrStoredDiag D,
103                                DiagnosticsEngine::Level Level) {}
endDiagnostic(DiagOrStoredDiag D,DiagnosticsEngine::Level Level)104   virtual void endDiagnostic(DiagOrStoredDiag D,
105                              DiagnosticsEngine::Level Level) {}
106 
107 
108 private:
109   void emitBasicNote(StringRef Message);
110   void emitIncludeStack(SourceLocation Loc, PresumedLoc PLoc,
111                         DiagnosticsEngine::Level Level, const SourceManager &SM);
112   void emitIncludeStackRecursively(SourceLocation Loc, const SourceManager &SM);
113   void emitImportStack(SourceLocation Loc, const SourceManager &SM);
114   void emitImportStackRecursively(SourceLocation Loc, StringRef ModuleName,
115                                   const SourceManager &SM);
116   void emitModuleBuildStack(const SourceManager &SM);
117   void emitCaret(SourceLocation Loc, DiagnosticsEngine::Level Level,
118                  ArrayRef<CharSourceRange> Ranges, ArrayRef<FixItHint> Hints,
119                  const SourceManager &SM);
120   void emitSingleMacroExpansion(SourceLocation Loc,
121                                 DiagnosticsEngine::Level Level,
122                                 ArrayRef<CharSourceRange> Ranges,
123                                 const SourceManager &SM);
124   void emitMacroExpansions(SourceLocation Loc,
125                            DiagnosticsEngine::Level Level,
126                            ArrayRef<CharSourceRange> Ranges,
127                            ArrayRef<FixItHint> Hints,
128                            const SourceManager &SM);
129 public:
130   /// \brief Emit a diagnostic.
131   ///
132   /// This is the primary entry point for emitting diagnostic messages.
133   /// It handles formatting and rendering the message as well as any ancillary
134   /// information needed based on macros whose expansions impact the
135   /// diagnostic.
136   ///
137   /// \param Loc The location for this caret.
138   /// \param Level The level of the diagnostic to be emitted.
139   /// \param Message The diagnostic message to emit.
140   /// \param Ranges The underlined ranges for this code snippet.
141   /// \param FixItHints The FixIt hints active for this diagnostic.
142   /// \param SM The SourceManager; will be null if the diagnostic came from the
143   ///        frontend, thus \p Loc will be invalid.
144   void emitDiagnostic(SourceLocation Loc, DiagnosticsEngine::Level Level,
145                       StringRef Message, ArrayRef<CharSourceRange> Ranges,
146                       ArrayRef<FixItHint> FixItHints,
147                       const SourceManager *SM,
148                       DiagOrStoredDiag D = (Diagnostic *)nullptr);
149 
150   void emitStoredDiagnostic(StoredDiagnostic &Diag);
151 };
152 
153 /// Subclass of DiagnosticRender that turns all subdiagostics into explicit
154 /// notes.  It is up to subclasses to further define the behavior.
155 class DiagnosticNoteRenderer : public DiagnosticRenderer {
156 public:
DiagnosticNoteRenderer(const LangOptions & LangOpts,DiagnosticOptions * DiagOpts)157   DiagnosticNoteRenderer(const LangOptions &LangOpts,
158                          DiagnosticOptions *DiagOpts)
159     : DiagnosticRenderer(LangOpts, DiagOpts) {}
160 
161   ~DiagnosticNoteRenderer() override;
162 
163   void emitIncludeLocation(SourceLocation Loc, PresumedLoc PLoc,
164                            const SourceManager &SM) override;
165 
166   void emitImportLocation(SourceLocation Loc, PresumedLoc PLoc,
167                           StringRef ModuleName,
168                           const SourceManager &SM) override;
169 
170   void emitBuildingModuleLocation(SourceLocation Loc, PresumedLoc PLoc,
171                                   StringRef ModuleName,
172                                   const SourceManager &SM) override;
173 
174   virtual void emitNote(SourceLocation Loc, StringRef Message,
175                         const SourceManager *SM) = 0;
176 };
177 } // end clang namespace
178 #endif
179