• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
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 
26 namespace 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.
37 class PPCallbacks {
38 public:
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.
FileSkipped(const FileEntry & ParentFile,const Token & FilenameTok,SrcMgr::CharacteristicKind FileType)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.
FileNotFound(StringRef FileName,SmallVectorImpl<char> & RecoveryPath)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   ///
InclusionDirective(SourceLocation HashLoc,const Token & IncludeTok,StringRef FileName,bool IsAngled,CharSourceRange FilenameRange,const FileEntry * File,StringRef SearchPath,StringRef RelativePath,const Module * Imported)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   ///
moduleImport(SourceLocation ImportLoc,ModuleIdPath Path,const Module * Imported)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.
EndOfMainFile()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   ///
Ident(SourceLocation Loc,const std::string & str)156   virtual void Ident(SourceLocation Loc, const std::string &str) {
157   }
158 
159   /// \brief Callback invoked when start reading any pragma directive.
PragmaDirective(SourceLocation Loc,PragmaIntroducerKind Introducer)160   virtual void PragmaDirective(SourceLocation Loc,
161                                PragmaIntroducerKind Introducer) {
162   }
163 
164   /// \brief Callback invoked when a \#pragma comment directive is read.
PragmaComment(SourceLocation Loc,const IdentifierInfo * Kind,const std::string & Str)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.
PragmaDetectMismatch(SourceLocation Loc,const std::string & Name,const std::string & Value)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.
PragmaDebug(SourceLocation Loc,StringRef DebugType)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.
PragmaMessage(SourceLocation Loc,StringRef Namespace,PragmaMessageKind Kind,StringRef Str)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.
PragmaDiagnosticPush(SourceLocation Loc,StringRef Namespace)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.
PragmaDiagnosticPop(SourceLocation Loc,StringRef Namespace)211   virtual void PragmaDiagnosticPop(SourceLocation Loc,
212                                    StringRef Namespace) {
213   }
214 
215   /// \brief Callback invoked when a \#pragma gcc dianostic directive is read.
PragmaDiagnostic(SourceLocation Loc,StringRef Namespace,diag::Mapping mapping,StringRef Str)216   virtual void PragmaDiagnostic(SourceLocation Loc, StringRef Namespace,
217                                 diag::Mapping mapping, StringRef Str) {
218   }
219 
220   /// \brief Called by Preprocessor::HandleMacroExpandedIdentifier when a
221   /// macro invocation is found.
MacroExpands(const Token & MacroNameTok,const MacroDirective * MD,SourceRange Range,const MacroArgs * Args)222   virtual void MacroExpands(const Token &MacroNameTok, const MacroDirective *MD,
223                             SourceRange Range, const MacroArgs *Args) {
224   }
225 
226   /// \brief Hook called whenever a macro definition is seen.
MacroDefined(const Token & MacroNameTok,const MacroDirective * MD)227   virtual void MacroDefined(const Token &MacroNameTok,
228                             const MacroDirective *MD) {
229   }
230 
231   /// \brief Hook called whenever a macro \#undef is seen.
232   ///
233   /// MD is released immediately following this callback.
MacroUndefined(const Token & MacroNameTok,const MacroDirective * MD)234   virtual void MacroUndefined(const Token &MacroNameTok,
235                               const MacroDirective *MD) {
236   }
237 
238   /// \brief Hook called whenever the 'defined' operator is seen.
239   /// \param MD The MacroDirective if the name was a macro, null otherwise.
Defined(const Token & MacroNameTok,const MacroDirective * MD,SourceRange Range)240   virtual void Defined(const Token &MacroNameTok, const MacroDirective *MD,
241                        SourceRange Range) {
242   }
243 
244   /// \brief Hook called when a source range is skipped.
245   /// \param Range The SourceRange that was skipped. The range begins at the
246   /// \#if/\#else directive and ends after the \#endif/\#else directive.
SourceRangeSkipped(SourceRange Range)247   virtual void SourceRangeSkipped(SourceRange Range) {
248   }
249 
250   /// \brief Hook called whenever an \#if is seen.
251   /// \param Loc the source location of the directive.
252   /// \param ConditionRange The SourceRange of the expression being tested.
253   /// \param ConditionValue The evaluated value of the condition.
254   ///
255   // FIXME: better to pass in a list (or tree!) of Tokens.
If(SourceLocation Loc,SourceRange ConditionRange,bool ConditionValue)256   virtual void If(SourceLocation Loc, SourceRange ConditionRange,
257                   bool ConditionValue) {
258   }
259 
260   /// \brief Hook called whenever an \#elif is seen.
261   /// \param Loc the source location of the directive.
262   /// \param ConditionRange The SourceRange of the expression being tested.
263   /// \param ConditionValue The evaluated value of the condition.
264   /// \param IfLoc the source location of the \#if/\#ifdef/\#ifndef directive.
265   // FIXME: better to pass in a list (or tree!) of Tokens.
Elif(SourceLocation Loc,SourceRange ConditionRange,bool ConditionValue,SourceLocation IfLoc)266   virtual void Elif(SourceLocation Loc, SourceRange ConditionRange,
267                     bool ConditionValue, SourceLocation IfLoc) {
268   }
269 
270   /// \brief Hook called whenever an \#ifdef is seen.
271   /// \param Loc the source location of the directive.
272   /// \param MacroNameTok Information on the token being tested.
273   /// \param MD The MacroDirective if the name was a macro, null otherwise.
Ifdef(SourceLocation Loc,const Token & MacroNameTok,const MacroDirective * MD)274   virtual void Ifdef(SourceLocation Loc, const Token &MacroNameTok,
275                      const MacroDirective *MD) {
276   }
277 
278   /// \brief Hook called whenever an \#ifndef is seen.
279   /// \param Loc the source location of the directive.
280   /// \param MacroNameTok Information on the token being tested.
281   /// \param MD The MacroDirective if the name was a macro, null otherwise.
Ifndef(SourceLocation Loc,const Token & MacroNameTok,const MacroDirective * MD)282   virtual void Ifndef(SourceLocation Loc, const Token &MacroNameTok,
283                       const MacroDirective *MD) {
284   }
285 
286   /// \brief Hook called whenever an \#else is seen.
287   /// \param Loc the source location of the directive.
288   /// \param IfLoc the source location of the \#if/\#ifdef/\#ifndef directive.
Else(SourceLocation Loc,SourceLocation IfLoc)289   virtual void Else(SourceLocation Loc, SourceLocation IfLoc) {
290   }
291 
292   /// \brief Hook called whenever an \#endif is seen.
293   /// \param Loc the source location of the directive.
294   /// \param IfLoc the source location of the \#if/\#ifdef/\#ifndef directive.
Endif(SourceLocation Loc,SourceLocation IfLoc)295   virtual void Endif(SourceLocation Loc, SourceLocation IfLoc) {
296   }
297 };
298 
299 /// \brief Simple wrapper class for chaining callbacks.
300 class PPChainedCallbacks : public PPCallbacks {
301   virtual void anchor();
302   PPCallbacks *First, *Second;
303 
304 public:
PPChainedCallbacks(PPCallbacks * _First,PPCallbacks * _Second)305   PPChainedCallbacks(PPCallbacks *_First, PPCallbacks *_Second)
306     : First(_First), Second(_Second) {}
~PPChainedCallbacks()307   ~PPChainedCallbacks() {
308     delete Second;
309     delete First;
310   }
311 
FileChanged(SourceLocation Loc,FileChangeReason Reason,SrcMgr::CharacteristicKind FileType,FileID PrevFID)312   virtual void FileChanged(SourceLocation Loc, FileChangeReason Reason,
313                            SrcMgr::CharacteristicKind FileType,
314                            FileID PrevFID) {
315     First->FileChanged(Loc, Reason, FileType, PrevFID);
316     Second->FileChanged(Loc, Reason, FileType, PrevFID);
317   }
318 
FileSkipped(const FileEntry & ParentFile,const Token & FilenameTok,SrcMgr::CharacteristicKind FileType)319   virtual void FileSkipped(const FileEntry &ParentFile,
320                            const Token &FilenameTok,
321                            SrcMgr::CharacteristicKind FileType) {
322     First->FileSkipped(ParentFile, FilenameTok, FileType);
323     Second->FileSkipped(ParentFile, FilenameTok, FileType);
324   }
325 
FileNotFound(StringRef FileName,SmallVectorImpl<char> & RecoveryPath)326   virtual bool FileNotFound(StringRef FileName,
327                             SmallVectorImpl<char> &RecoveryPath) {
328     return First->FileNotFound(FileName, RecoveryPath) ||
329            Second->FileNotFound(FileName, RecoveryPath);
330   }
331 
InclusionDirective(SourceLocation HashLoc,const Token & IncludeTok,StringRef FileName,bool IsAngled,CharSourceRange FilenameRange,const FileEntry * File,StringRef SearchPath,StringRef RelativePath,const Module * Imported)332   virtual void InclusionDirective(SourceLocation HashLoc,
333                                   const Token &IncludeTok,
334                                   StringRef FileName,
335                                   bool IsAngled,
336                                   CharSourceRange FilenameRange,
337                                   const FileEntry *File,
338                                   StringRef SearchPath,
339                                   StringRef RelativePath,
340                                   const Module *Imported) {
341     First->InclusionDirective(HashLoc, IncludeTok, FileName, IsAngled,
342                               FilenameRange, File, SearchPath, RelativePath,
343                               Imported);
344     Second->InclusionDirective(HashLoc, IncludeTok, FileName, IsAngled,
345                                FilenameRange, File, SearchPath, RelativePath,
346                                Imported);
347   }
348 
moduleImport(SourceLocation ImportLoc,ModuleIdPath Path,const Module * Imported)349   virtual void moduleImport(SourceLocation ImportLoc,
350                             ModuleIdPath Path,
351                             const Module *Imported) {
352     First->moduleImport(ImportLoc, Path, Imported);
353     Second->moduleImport(ImportLoc, Path, Imported);
354   }
355 
EndOfMainFile()356   virtual void EndOfMainFile() {
357     First->EndOfMainFile();
358     Second->EndOfMainFile();
359   }
360 
Ident(SourceLocation Loc,const std::string & str)361   virtual void Ident(SourceLocation Loc, const std::string &str) {
362     First->Ident(Loc, str);
363     Second->Ident(Loc, str);
364   }
365 
PragmaComment(SourceLocation Loc,const IdentifierInfo * Kind,const std::string & Str)366   virtual void PragmaComment(SourceLocation Loc, const IdentifierInfo *Kind,
367                              const std::string &Str) {
368     First->PragmaComment(Loc, Kind, Str);
369     Second->PragmaComment(Loc, Kind, Str);
370   }
371 
PragmaDetectMismatch(SourceLocation Loc,const std::string & Name,const std::string & Value)372   virtual void PragmaDetectMismatch(SourceLocation Loc,
373                                     const std::string &Name,
374                                     const std::string &Value) {
375     First->PragmaDetectMismatch(Loc, Name, Value);
376     Second->PragmaDetectMismatch(Loc, Name, Value);
377   }
378 
PragmaMessage(SourceLocation Loc,StringRef Namespace,PragmaMessageKind Kind,StringRef Str)379   virtual void PragmaMessage(SourceLocation Loc, StringRef Namespace,
380                              PragmaMessageKind Kind, StringRef Str) {
381     First->PragmaMessage(Loc, Namespace, Kind, Str);
382     Second->PragmaMessage(Loc, Namespace, Kind, Str);
383   }
384 
PragmaDiagnosticPush(SourceLocation Loc,StringRef Namespace)385   virtual void PragmaDiagnosticPush(SourceLocation Loc,
386                                     StringRef Namespace) {
387     First->PragmaDiagnosticPush(Loc, Namespace);
388     Second->PragmaDiagnosticPush(Loc, Namespace);
389   }
390 
PragmaDiagnosticPop(SourceLocation Loc,StringRef Namespace)391   virtual void PragmaDiagnosticPop(SourceLocation Loc,
392                                     StringRef Namespace) {
393     First->PragmaDiagnosticPop(Loc, Namespace);
394     Second->PragmaDiagnosticPop(Loc, Namespace);
395   }
396 
PragmaDiagnostic(SourceLocation Loc,StringRef Namespace,diag::Mapping mapping,StringRef Str)397   virtual void PragmaDiagnostic(SourceLocation Loc, StringRef Namespace,
398                                 diag::Mapping mapping, StringRef Str) {
399     First->PragmaDiagnostic(Loc, Namespace, mapping, Str);
400     Second->PragmaDiagnostic(Loc, Namespace, mapping, Str);
401   }
402 
MacroExpands(const Token & MacroNameTok,const MacroDirective * MD,SourceRange Range,const MacroArgs * Args)403   virtual void MacroExpands(const Token &MacroNameTok, const MacroDirective *MD,
404                             SourceRange Range, const MacroArgs *Args) {
405     First->MacroExpands(MacroNameTok, MD, Range, Args);
406     Second->MacroExpands(MacroNameTok, MD, Range, Args);
407   }
408 
MacroDefined(const Token & MacroNameTok,const MacroDirective * MD)409   virtual void MacroDefined(const Token &MacroNameTok, const MacroDirective *MD) {
410     First->MacroDefined(MacroNameTok, MD);
411     Second->MacroDefined(MacroNameTok, MD);
412   }
413 
MacroUndefined(const Token & MacroNameTok,const MacroDirective * MD)414   virtual void MacroUndefined(const Token &MacroNameTok,
415                               const MacroDirective *MD) {
416     First->MacroUndefined(MacroNameTok, MD);
417     Second->MacroUndefined(MacroNameTok, MD);
418   }
419 
Defined(const Token & MacroNameTok,const MacroDirective * MD,SourceRange Range)420   virtual void Defined(const Token &MacroNameTok, const MacroDirective *MD,
421                        SourceRange Range) {
422     First->Defined(MacroNameTok, MD, Range);
423     Second->Defined(MacroNameTok, MD, Range);
424   }
425 
SourceRangeSkipped(SourceRange Range)426   virtual void SourceRangeSkipped(SourceRange Range) {
427     First->SourceRangeSkipped(Range);
428     Second->SourceRangeSkipped(Range);
429   }
430 
431   /// \brief Hook called whenever an \#if is seen.
If(SourceLocation Loc,SourceRange ConditionRange,bool ConditionValue)432   virtual void If(SourceLocation Loc, SourceRange ConditionRange,
433                   bool ConditionValue) {
434     First->If(Loc, ConditionRange, ConditionValue);
435     Second->If(Loc, ConditionRange, ConditionValue);
436   }
437 
438   /// \brief Hook called whenever an \#elif is seen.
Elif(SourceLocation Loc,SourceRange ConditionRange,bool ConditionValue,SourceLocation IfLoc)439   virtual void Elif(SourceLocation Loc, SourceRange ConditionRange,
440                     bool ConditionValue, SourceLocation IfLoc) {
441     First->Elif(Loc, ConditionRange, ConditionValue, IfLoc);
442     Second->Elif(Loc, ConditionRange, ConditionValue, IfLoc);
443   }
444 
445   /// \brief Hook called whenever an \#ifdef is seen.
Ifdef(SourceLocation Loc,const Token & MacroNameTok,const MacroDirective * MD)446   virtual void Ifdef(SourceLocation Loc, const Token &MacroNameTok,
447                      const MacroDirective *MD) {
448     First->Ifdef(Loc, MacroNameTok, MD);
449     Second->Ifdef(Loc, MacroNameTok, MD);
450   }
451 
452   /// \brief Hook called whenever an \#ifndef is seen.
Ifndef(SourceLocation Loc,const Token & MacroNameTok,const MacroDirective * MD)453   virtual void Ifndef(SourceLocation Loc, const Token &MacroNameTok,
454                       const MacroDirective *MD) {
455     First->Ifndef(Loc, MacroNameTok, MD);
456     Second->Ifndef(Loc, MacroNameTok, MD);
457   }
458 
459   /// \brief Hook called whenever an \#else is seen.
Else(SourceLocation Loc,SourceLocation IfLoc)460   virtual void Else(SourceLocation Loc, SourceLocation IfLoc) {
461     First->Else(Loc, IfLoc);
462     Second->Else(Loc, IfLoc);
463   }
464 
465   /// \brief Hook called whenever an \#endif is seen.
Endif(SourceLocation Loc,SourceLocation IfLoc)466   virtual void Endif(SourceLocation Loc, SourceLocation IfLoc) {
467     First->Endif(Loc, IfLoc);
468     Second->Endif(Loc, IfLoc);
469   }
470 };
471 
472 }  // end namespace clang
473 
474 #endif
475