clang 22.0.0git
DiagnosticRenderer.h
Go to the documentation of this file.
1//===- DiagnosticRenderer.h - 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 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_DIAGNOSTICRENDERER_H
16#define LLVM_CLANG_FRONTEND_DIAGNOSTICRENDERER_H
17
20#include "clang/Basic/LLVM.h"
22#include "llvm/ADT/ArrayRef.h"
23#include "llvm/ADT/IntrusiveRefCntPtr.h"
24#include "llvm/ADT/PointerUnion.h"
25#include "llvm/ADT/StringRef.h"
26
27namespace clang {
28
29class LangOptions;
30class SourceManager;
31
33 llvm::PointerUnion<const Diagnostic *, const StoredDiagnostic *>;
34
35/// Class to encapsulate the logic for formatting a diagnostic message.
36///
37/// Actual "printing" logic is implemented by subclasses.
38///
39/// This class provides an interface for building and emitting
40/// diagnostic, including all of the macro backtraces, caret diagnostics, FixIt
41/// Hints, and code snippets. In the presence of macros this involves
42/// a recursive process, synthesizing notes for each macro expansion.
43///
44/// A brief worklist:
45/// FIXME: Sink the recursive printing of template instantiations into this
46/// class.
48protected:
51
52 /// The location of the previous diagnostic if known.
53 ///
54 /// This will be invalid in cases where there is no (known) previous
55 /// diagnostic location, or that location itself is invalid or comes from
56 /// a different source manager than SM.
58
59 /// The location of the last include whose stack was printed if known.
60 ///
61 /// Same restriction as LastLoc essentially, but tracking include stack
62 /// root locations rather than diagnostic locations.
64
65 /// The level of the last diagnostic emitted.
66 ///
67 /// The level of the last diagnostic emitted. Used to detect level changes
68 /// which change the amount of information displayed.
70
72
74
77 StringRef Message,
79 DiagOrStoredDiag Info) = 0;
80
83 ArrayRef<CharSourceRange> Ranges) = 0;
84
88 ArrayRef<FixItHint> Hints) = 0;
89
90 virtual void emitIncludeLocation(FullSourceLoc Loc, PresumedLoc PLoc) = 0;
92 StringRef ModuleName) = 0;
94 StringRef ModuleName) = 0;
95
100
101private:
102 void emitBasicNote(StringRef Message);
103 void emitIncludeStack(FullSourceLoc Loc, PresumedLoc PLoc,
105 void emitIncludeStackRecursively(FullSourceLoc Loc);
106 void emitImportStack(FullSourceLoc Loc);
107 void emitImportStackRecursively(FullSourceLoc Loc, StringRef ModuleName);
108 void emitModuleBuildStack(const SourceManager &SM);
109 void emitCaret(FullSourceLoc Loc, DiagnosticsEngine::Level Level,
111 void emitSingleMacroExpansion(FullSourceLoc Loc,
114 void emitMacroExpansions(FullSourceLoc Loc, DiagnosticsEngine::Level Level,
116 ArrayRef<FixItHint> Hints);
117
118public:
119 /// Emit a diagnostic.
120 ///
121 /// This is the primary entry point for emitting diagnostic messages.
122 /// It handles formatting and rendering the message as well as any ancillary
123 /// information needed based on macros whose expansions impact the
124 /// diagnostic.
125 ///
126 /// \param Loc The location for this caret.
127 /// \param Level The level of the diagnostic to be emitted.
128 /// \param Message The diagnostic message to emit.
129 /// \param Ranges The underlined ranges for this code snippet.
130 /// \param FixItHints The FixIt hints active for this diagnostic.
132 StringRef Message, ArrayRef<CharSourceRange> Ranges,
133 ArrayRef<FixItHint> FixItHints,
134 DiagOrStoredDiag D = (Diagnostic *)nullptr);
135
137};
138
139/// Subclass of DiagnosticRender that turns all subdiagostics into explicit
140/// notes. It is up to subclasses to further define the behavior.
142public:
146
148
149 void emitIncludeLocation(FullSourceLoc Loc, PresumedLoc PLoc) override;
150
152 StringRef ModuleName) override;
153
155 StringRef ModuleName) override;
156
157 virtual void emitNote(FullSourceLoc Loc, StringRef Message) = 0;
158};
159
160} // namespace clang
161
162#endif // LLVM_CLANG_FRONTEND_DIAGNOSTICRENDERER_H
Defines the Diagnostic-related interfaces.
Forward-declares and imports various common LLVM datatypes that clang wants to use unqualified.
static DiagnosticBuilder Diag(DiagnosticsEngine *Diags, const LangOptions &Features, FullSourceLoc TokLoc, const char *TokBegin, const char *TokRangeBegin, const char *TokRangeEnd, unsigned DiagID)
Produce a diagnostic highlighting some portion of a literal.
#define SM(sm)
Defines the clang::SourceLocation class and associated facilities.
virtual void emitNote(FullSourceLoc Loc, StringRef Message)=0
void emitBuildingModuleLocation(FullSourceLoc Loc, PresumedLoc PLoc, StringRef ModuleName) override
DiagnosticNoteRenderer(const LangOptions &LangOpts, DiagnosticOptions &DiagOpts)
void emitIncludeLocation(FullSourceLoc Loc, PresumedLoc PLoc) override
void emitImportLocation(FullSourceLoc Loc, PresumedLoc PLoc, StringRef ModuleName) override
Options for controlling the compiler diagnostics engine.
virtual void endDiagnostic(DiagOrStoredDiag D, DiagnosticsEngine::Level Level)
virtual void emitIncludeLocation(FullSourceLoc Loc, PresumedLoc PLoc)=0
const LangOptions & LangOpts
void emitStoredDiagnostic(StoredDiagnostic &Diag)
virtual void emitDiagnosticLoc(FullSourceLoc Loc, PresumedLoc PLoc, DiagnosticsEngine::Level Level, ArrayRef< CharSourceRange > Ranges)=0
SourceLocation LastLoc
The location of the previous diagnostic if known.
DiagnosticOptions & DiagOpts
DiagnosticsEngine::Level LastLevel
The level of the last diagnostic emitted.
virtual void emitImportLocation(FullSourceLoc Loc, PresumedLoc PLoc, StringRef ModuleName)=0
virtual void emitDiagnosticMessage(FullSourceLoc Loc, PresumedLoc PLoc, DiagnosticsEngine::Level Level, StringRef Message, ArrayRef< CharSourceRange > Ranges, DiagOrStoredDiag Info)=0
SourceLocation LastIncludeLoc
The location of the last include whose stack was printed if known.
virtual void emitBuildingModuleLocation(FullSourceLoc Loc, PresumedLoc PLoc, StringRef ModuleName)=0
void emitDiagnostic(FullSourceLoc Loc, DiagnosticsEngine::Level Level, StringRef Message, ArrayRef< CharSourceRange > Ranges, ArrayRef< FixItHint > FixItHints, DiagOrStoredDiag D=(Diagnostic *) nullptr)
Emit a diagnostic.
virtual void emitCodeContext(FullSourceLoc Loc, DiagnosticsEngine::Level Level, SmallVectorImpl< CharSourceRange > &Ranges, ArrayRef< FixItHint > Hints)=0
DiagnosticRenderer(const LangOptions &LangOpts, DiagnosticOptions &DiagOpts)
virtual void beginDiagnostic(DiagOrStoredDiag D, DiagnosticsEngine::Level Level)
A little helper class (which is basically a smart pointer that forwards info from DiagnosticsEngine a...
Level
The level of the diagnostic, after it has been through mapping.
Definition Diagnostic.h:236
A SourceLocation and its associated SourceManager.
Keeps track of the various options that can be enabled, which controls the dialect of C or C++ that i...
Represents an unpacked "presumed" location which can be presented to the user.
Encodes a location in the source.
This class handles loading and caching of source files into memory.
Represents a diagnostic in a form that can be retained until its corresponding source manager is dest...
The JSON file list parser is used to communicate input to InstallAPI.
llvm::PointerUnion< const Diagnostic *, const StoredDiagnostic * > DiagOrStoredDiag