PPCallbacks.h revision 651f13cea278ec967336033dd032faef0e9fc2ec
1//===--- PPCallbacks.h - Callbacks for Preprocessor actions -----*- 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/// \file
11/// \brief Defines the PPCallbacks interface.
12///
13//===----------------------------------------------------------------------===//
14
15#ifndef LLVM_CLANG_LEX_PPCALLBACKS_H
16#define LLVM_CLANG_LEX_PPCALLBACKS_H
17
18#include "clang/Basic/DiagnosticIDs.h"
19#include "clang/Basic/SourceLocation.h"
20#include "clang/Lex/DirectoryLookup.h"
21#include "clang/Lex/ModuleLoader.h"
22#include "clang/Lex/Pragma.h"
23#include "llvm/ADT/StringRef.h"
24#include <string>
25
26namespace clang {
27  class SourceLocation;
28  class Token;
29  class IdentifierInfo;
30  class MacroDirective;
31  class MacroArgs;
32
33/// \brief This interface provides a way to observe the actions of the
34/// preprocessor as it does its thing.
35///
36/// Clients can define their hooks here to implement preprocessor level tools.
37class PPCallbacks {
38public:
39  virtual ~PPCallbacks();
40
41  enum FileChangeReason {
42    EnterFile, ExitFile, SystemHeaderPragma, RenameFile
43  };
44
45  /// \brief Callback invoked whenever a source file is entered or exited.
46  ///
47  /// \param Loc Indicates the new location.
48  /// \param PrevFID the file that was exited if \p Reason is ExitFile.
49  virtual void FileChanged(SourceLocation Loc, FileChangeReason Reason,
50                           SrcMgr::CharacteristicKind FileType,
51                           FileID PrevFID = FileID()) {
52  }
53
54  /// \brief Callback invoked whenever a source file is skipped as the result
55  /// of header guard optimization.
56  ///
57  /// \param ParentFile The file that \#included the skipped file.
58  ///
59  /// \param FilenameTok The token in ParentFile that indicates the
60  /// skipped file.
61  virtual void FileSkipped(const FileEntry &ParentFile,
62                           const Token &FilenameTok,
63                           SrcMgr::CharacteristicKind FileType) {
64  }
65
66  /// \brief Callback invoked whenever an inclusion directive results in a
67  /// file-not-found error.
68  ///
69  /// \param FileName The name of the file being included, as written in the
70  /// source code.
71  ///
72  /// \param RecoveryPath If this client indicates that it can recover from
73  /// this missing file, the client should set this as an additional header
74  /// search patch.
75  ///
76  /// \returns true to indicate that the preprocessor should attempt to recover
77  /// by adding \p RecoveryPath as a header search path.
78  virtual bool FileNotFound(StringRef FileName,
79                            SmallVectorImpl<char> &RecoveryPath) {
80    return false;
81  }
82
83  /// \brief Callback invoked whenever an inclusion directive of
84  /// any kind (\c \#include, \c \#import, etc.) has been processed, regardless
85  /// of whether the inclusion will actually result in an inclusion.
86  ///
87  /// \param HashLoc The location of the '#' that starts the inclusion
88  /// directive.
89  ///
90  /// \param IncludeTok The token that indicates the kind of inclusion
91  /// directive, e.g., 'include' or 'import'.
92  ///
93  /// \param FileName The name of the file being included, as written in the
94  /// source code.
95  ///
96  /// \param IsAngled Whether the file name was enclosed in angle brackets;
97  /// otherwise, it was enclosed in quotes.
98  ///
99  /// \param FilenameRange The character range of the quotes or angle brackets
100  /// for the written file name.
101  ///
102  /// \param File The actual file that may be included by this inclusion
103  /// directive.
104  ///
105  /// \param SearchPath Contains the search path which was used to find the file
106  /// in the file system. If the file was found via an absolute include path,
107  /// SearchPath will be empty. For framework includes, the SearchPath and
108  /// RelativePath will be split up. For example, if an include of "Some/Some.h"
109  /// is found via the framework path
110  /// "path/to/Frameworks/Some.framework/Headers/Some.h", SearchPath will be
111  /// "path/to/Frameworks/Some.framework/Headers" and RelativePath will be
112  /// "Some.h".
113  ///
114  /// \param RelativePath The path relative to SearchPath, at which the include
115  /// file was found. This is equal to FileName except for framework includes.
116  ///
117  /// \param Imported The module, whenever an inclusion directive was
118  /// automatically turned into a module import or null otherwise.
119  ///
120  virtual void InclusionDirective(SourceLocation HashLoc,
121                                  const Token &IncludeTok,
122                                  StringRef FileName,
123                                  bool IsAngled,
124                                  CharSourceRange FilenameRange,
125                                  const FileEntry *File,
126                                  StringRef SearchPath,
127                                  StringRef RelativePath,
128                                  const Module *Imported) {
129  }
130
131  /// \brief Callback invoked whenever there was an explicit module-import
132  /// syntax.
133  ///
134  /// \param ImportLoc The location of import directive token.
135  ///
136  /// \param Path The identifiers (and their locations) of the module
137  /// "path", e.g., "std.vector" would be split into "std" and "vector".
138  ///
139  /// \param Imported The imported module; can be null if importing failed.
140  ///
141  virtual void moduleImport(SourceLocation ImportLoc,
142                            ModuleIdPath Path,
143                            const Module *Imported) {
144  }
145
146  /// \brief Callback invoked when the end of the main file is reached.
147  ///
148  /// No subsequent callbacks will be made.
149  virtual void EndOfMainFile() {
150  }
151
152  /// \brief Callback invoked when a \#ident or \#sccs directive is read.
153  /// \param Loc The location of the directive.
154  /// \param str The text of the directive.
155  ///
156  virtual void Ident(SourceLocation Loc, const std::string &str) {
157  }
158
159  /// \brief Callback invoked when start reading any pragma directive.
160  virtual void PragmaDirective(SourceLocation Loc,
161                               PragmaIntroducerKind Introducer) {
162  }
163
164  /// \brief Callback invoked when a \#pragma comment directive is read.
165  virtual void PragmaComment(SourceLocation Loc, const IdentifierInfo *Kind,
166                             const std::string &Str) {
167  }
168
169  /// \brief Callback invoked when a \#pragma detect_mismatch directive is
170  /// read.
171  virtual void PragmaDetectMismatch(SourceLocation Loc,
172                                    const std::string &Name,
173                                    const std::string &Value) {
174  }
175
176  /// \brief Callback invoked when a \#pragma clang __debug directive is read.
177  /// \param Loc The location of the debug directive.
178  /// \param DebugType The identifier following __debug.
179  virtual void PragmaDebug(SourceLocation Loc, StringRef DebugType) {
180  }
181
182  /// \brief Determines the kind of \#pragma invoking a call to PragmaMessage.
183  enum PragmaMessageKind {
184    /// \brief \#pragma message has been invoked.
185    PMK_Message,
186
187    /// \brief \#pragma GCC warning has been invoked.
188    PMK_Warning,
189
190    /// \brief \#pragma GCC error has been invoked.
191    PMK_Error
192  };
193
194  /// \brief Callback invoked when a \#pragma message directive is read.
195  /// \param Loc The location of the message directive.
196  /// \param Namespace The namespace of the message directive.
197  /// \param Kind The type of the message directive.
198  /// \param Str The text of the message directive.
199  virtual void PragmaMessage(SourceLocation Loc, StringRef Namespace,
200                             PragmaMessageKind Kind, StringRef Str) {
201  }
202
203  /// \brief Callback invoked when a \#pragma gcc dianostic push directive
204  /// is read.
205  virtual void PragmaDiagnosticPush(SourceLocation Loc,
206                                    StringRef Namespace) {
207  }
208
209  /// \brief Callback invoked when a \#pragma gcc dianostic pop directive
210  /// is read.
211  virtual void PragmaDiagnosticPop(SourceLocation Loc,
212                                   StringRef Namespace) {
213  }
214
215  /// \brief Callback invoked when a \#pragma gcc dianostic directive is read.
216  virtual void PragmaDiagnostic(SourceLocation Loc, StringRef Namespace,
217                                diag::Mapping mapping, StringRef Str) {
218  }
219
220  /// \brief Called when an OpenCL extension is either disabled or
221  /// enabled with a pragma.
222  virtual void PragmaOpenCLExtension(SourceLocation NameLoc,
223                                     const IdentifierInfo *Name,
224                                     SourceLocation StateLoc, unsigned State) {
225  }
226
227  /// \brief Callback invoked when a \#pragma warning directive is read.
228  virtual void PragmaWarning(SourceLocation Loc, StringRef WarningSpec,
229                             ArrayRef<int> Ids) {
230  }
231
232  /// \brief Callback invoked when a \#pragma warning(push) directive is read.
233  virtual void PragmaWarningPush(SourceLocation Loc, int Level) {
234  }
235
236  /// \brief Callback invoked when a \#pragma warning(pop) directive is read.
237  virtual void PragmaWarningPop(SourceLocation Loc) {
238  }
239
240  /// \brief Called by Preprocessor::HandleMacroExpandedIdentifier when a
241  /// macro invocation is found.
242  virtual void MacroExpands(const Token &MacroNameTok, const MacroDirective *MD,
243                            SourceRange Range, const MacroArgs *Args) {
244  }
245
246  /// \brief Hook called whenever a macro definition is seen.
247  virtual void MacroDefined(const Token &MacroNameTok,
248                            const MacroDirective *MD) {
249  }
250
251  /// \brief Hook called whenever a macro \#undef is seen.
252  ///
253  /// MD is released immediately following this callback.
254  virtual void MacroUndefined(const Token &MacroNameTok,
255                              const MacroDirective *MD) {
256  }
257
258  /// \brief Hook called whenever the 'defined' operator is seen.
259  /// \param MD The MacroDirective if the name was a macro, null otherwise.
260  virtual void Defined(const Token &MacroNameTok, const MacroDirective *MD,
261                       SourceRange Range) {
262  }
263
264  /// \brief Hook called when a source range is skipped.
265  /// \param Range The SourceRange that was skipped. The range begins at the
266  /// \#if/\#else directive and ends after the \#endif/\#else directive.
267  virtual void SourceRangeSkipped(SourceRange Range) {
268  }
269
270  enum ConditionValueKind {
271    CVK_NotEvaluated, CVK_False, CVK_True
272  };
273
274  /// \brief Hook called whenever an \#if is seen.
275  /// \param Loc the source location of the directive.
276  /// \param ConditionRange The SourceRange of the expression being tested.
277  /// \param ConditionValue The evaluated value of the condition.
278  ///
279  // FIXME: better to pass in a list (or tree!) of Tokens.
280  virtual void If(SourceLocation Loc, SourceRange ConditionRange,
281                  ConditionValueKind ConditionValue) {
282  }
283
284  /// \brief Hook called whenever an \#elif is seen.
285  /// \param Loc the source location of the directive.
286  /// \param ConditionRange The SourceRange of the expression being tested.
287  /// \param ConditionValue The evaluated value of the condition.
288  /// \param IfLoc the source location of the \#if/\#ifdef/\#ifndef directive.
289  // FIXME: better to pass in a list (or tree!) of Tokens.
290  virtual void Elif(SourceLocation Loc, SourceRange ConditionRange,
291                    ConditionValueKind ConditionValue, SourceLocation IfLoc) {
292  }
293
294  /// \brief Hook called whenever an \#ifdef is seen.
295  /// \param Loc the source location of the directive.
296  /// \param MacroNameTok Information on the token being tested.
297  /// \param MD The MacroDirective if the name was a macro, null otherwise.
298  virtual void Ifdef(SourceLocation Loc, const Token &MacroNameTok,
299                     const MacroDirective *MD) {
300  }
301
302  /// \brief Hook called whenever an \#ifndef is seen.
303  /// \param Loc the source location of the directive.
304  /// \param MacroNameTok Information on the token being tested.
305  /// \param MD The MacroDirective if the name was a macro, null otherwise.
306  virtual void Ifndef(SourceLocation Loc, const Token &MacroNameTok,
307                      const MacroDirective *MD) {
308  }
309
310  /// \brief Hook called whenever an \#else is seen.
311  /// \param Loc the source location of the directive.
312  /// \param IfLoc the source location of the \#if/\#ifdef/\#ifndef directive.
313  virtual void Else(SourceLocation Loc, SourceLocation IfLoc) {
314  }
315
316  /// \brief Hook called whenever an \#endif is seen.
317  /// \param Loc the source location of the directive.
318  /// \param IfLoc the source location of the \#if/\#ifdef/\#ifndef directive.
319  virtual void Endif(SourceLocation Loc, SourceLocation IfLoc) {
320  }
321};
322
323/// \brief Simple wrapper class for chaining callbacks.
324class PPChainedCallbacks : public PPCallbacks {
325  virtual void anchor();
326  PPCallbacks *First, *Second;
327
328public:
329  PPChainedCallbacks(PPCallbacks *_First, PPCallbacks *_Second)
330    : First(_First), Second(_Second) {}
331  ~PPChainedCallbacks() {
332    delete Second;
333    delete First;
334  }
335
336  void FileChanged(SourceLocation Loc, FileChangeReason Reason,
337                   SrcMgr::CharacteristicKind FileType,
338                   FileID PrevFID) override {
339    First->FileChanged(Loc, Reason, FileType, PrevFID);
340    Second->FileChanged(Loc, Reason, FileType, PrevFID);
341  }
342
343  void FileSkipped(const FileEntry &ParentFile,
344                   const Token &FilenameTok,
345                   SrcMgr::CharacteristicKind FileType) override {
346    First->FileSkipped(ParentFile, FilenameTok, FileType);
347    Second->FileSkipped(ParentFile, FilenameTok, FileType);
348  }
349
350  bool FileNotFound(StringRef FileName,
351                    SmallVectorImpl<char> &RecoveryPath) override {
352    return First->FileNotFound(FileName, RecoveryPath) ||
353           Second->FileNotFound(FileName, RecoveryPath);
354  }
355
356  void InclusionDirective(SourceLocation HashLoc, const Token &IncludeTok,
357                          StringRef FileName, bool IsAngled,
358                          CharSourceRange FilenameRange, const FileEntry *File,
359                          StringRef SearchPath, StringRef RelativePath,
360                          const Module *Imported) override {
361    First->InclusionDirective(HashLoc, IncludeTok, FileName, IsAngled,
362                              FilenameRange, File, SearchPath, RelativePath,
363                              Imported);
364    Second->InclusionDirective(HashLoc, IncludeTok, FileName, IsAngled,
365                               FilenameRange, File, SearchPath, RelativePath,
366                               Imported);
367  }
368
369  void moduleImport(SourceLocation ImportLoc, ModuleIdPath Path,
370                    const Module *Imported) override {
371    First->moduleImport(ImportLoc, Path, Imported);
372    Second->moduleImport(ImportLoc, Path, Imported);
373  }
374
375  void EndOfMainFile() override {
376    First->EndOfMainFile();
377    Second->EndOfMainFile();
378  }
379
380  void Ident(SourceLocation Loc, const std::string &str) override {
381    First->Ident(Loc, str);
382    Second->Ident(Loc, str);
383  }
384
385  void PragmaComment(SourceLocation Loc, const IdentifierInfo *Kind,
386                     const std::string &Str) override {
387    First->PragmaComment(Loc, Kind, Str);
388    Second->PragmaComment(Loc, Kind, Str);
389  }
390
391  void PragmaDetectMismatch(SourceLocation Loc, const std::string &Name,
392                            const std::string &Value) override {
393    First->PragmaDetectMismatch(Loc, Name, Value);
394    Second->PragmaDetectMismatch(Loc, Name, Value);
395  }
396
397  void PragmaMessage(SourceLocation Loc, StringRef Namespace,
398                     PragmaMessageKind Kind, StringRef Str) override {
399    First->PragmaMessage(Loc, Namespace, Kind, Str);
400    Second->PragmaMessage(Loc, Namespace, Kind, Str);
401  }
402
403  void PragmaDiagnosticPush(SourceLocation Loc, StringRef Namespace) override {
404    First->PragmaDiagnosticPush(Loc, Namespace);
405    Second->PragmaDiagnosticPush(Loc, Namespace);
406  }
407
408  void PragmaDiagnosticPop(SourceLocation Loc, StringRef Namespace) override {
409    First->PragmaDiagnosticPop(Loc, Namespace);
410    Second->PragmaDiagnosticPop(Loc, Namespace);
411  }
412
413  void PragmaDiagnostic(SourceLocation Loc, StringRef Namespace,
414                        diag::Mapping mapping, StringRef Str) override {
415    First->PragmaDiagnostic(Loc, Namespace, mapping, Str);
416    Second->PragmaDiagnostic(Loc, Namespace, mapping, Str);
417  }
418
419  void PragmaOpenCLExtension(SourceLocation NameLoc, const IdentifierInfo *Name,
420                             SourceLocation StateLoc, unsigned State) override {
421    First->PragmaOpenCLExtension(NameLoc, Name, StateLoc, State);
422    Second->PragmaOpenCLExtension(NameLoc, Name, StateLoc, State);
423  }
424
425  void PragmaWarning(SourceLocation Loc, StringRef WarningSpec,
426                     ArrayRef<int> Ids) override {
427    First->PragmaWarning(Loc, WarningSpec, Ids);
428    Second->PragmaWarning(Loc, WarningSpec, Ids);
429  }
430
431  void PragmaWarningPush(SourceLocation Loc, int Level) override {
432    First->PragmaWarningPush(Loc, Level);
433    Second->PragmaWarningPush(Loc, Level);
434  }
435
436  void PragmaWarningPop(SourceLocation Loc) override {
437    First->PragmaWarningPop(Loc);
438    Second->PragmaWarningPop(Loc);
439  }
440
441  void MacroExpands(const Token &MacroNameTok, const MacroDirective *MD,
442                    SourceRange Range, const MacroArgs *Args) override {
443    First->MacroExpands(MacroNameTok, MD, Range, Args);
444    Second->MacroExpands(MacroNameTok, MD, Range, Args);
445  }
446
447  void MacroDefined(const Token &MacroNameTok, const MacroDirective *MD) override {
448    First->MacroDefined(MacroNameTok, MD);
449    Second->MacroDefined(MacroNameTok, MD);
450  }
451
452  void MacroUndefined(const Token &MacroNameTok,
453                      const MacroDirective *MD) override {
454    First->MacroUndefined(MacroNameTok, MD);
455    Second->MacroUndefined(MacroNameTok, MD);
456  }
457
458  void Defined(const Token &MacroNameTok, const MacroDirective *MD,
459               SourceRange Range) override {
460    First->Defined(MacroNameTok, MD, Range);
461    Second->Defined(MacroNameTok, MD, Range);
462  }
463
464  void SourceRangeSkipped(SourceRange Range) override {
465    First->SourceRangeSkipped(Range);
466    Second->SourceRangeSkipped(Range);
467  }
468
469  /// \brief Hook called whenever an \#if is seen.
470  void If(SourceLocation Loc, SourceRange ConditionRange,
471          ConditionValueKind ConditionValue) override {
472    First->If(Loc, ConditionRange, ConditionValue);
473    Second->If(Loc, ConditionRange, ConditionValue);
474  }
475
476  /// \brief Hook called whenever an \#elif is seen.
477  void Elif(SourceLocation Loc, SourceRange ConditionRange,
478            ConditionValueKind ConditionValue, SourceLocation IfLoc) override {
479    First->Elif(Loc, ConditionRange, ConditionValue, IfLoc);
480    Second->Elif(Loc, ConditionRange, ConditionValue, IfLoc);
481  }
482
483  /// \brief Hook called whenever an \#ifdef is seen.
484  void Ifdef(SourceLocation Loc, const Token &MacroNameTok,
485             const MacroDirective *MD) override {
486    First->Ifdef(Loc, MacroNameTok, MD);
487    Second->Ifdef(Loc, MacroNameTok, MD);
488  }
489
490  /// \brief Hook called whenever an \#ifndef is seen.
491  void Ifndef(SourceLocation Loc, const Token &MacroNameTok,
492              const MacroDirective *MD) override {
493    First->Ifndef(Loc, MacroNameTok, MD);
494    Second->Ifndef(Loc, MacroNameTok, MD);
495  }
496
497  /// \brief Hook called whenever an \#else is seen.
498  void Else(SourceLocation Loc, SourceLocation IfLoc) override {
499    First->Else(Loc, IfLoc);
500    Second->Else(Loc, IfLoc);
501  }
502
503  /// \brief Hook called whenever an \#endif is seen.
504  void Endif(SourceLocation Loc, SourceLocation IfLoc) override {
505    First->Endif(Loc, IfLoc);
506    Second->Endif(Loc, IfLoc);
507  }
508};
509
510}  // end namespace clang
511
512#endif
513