clang  19.0.0git
TestAST.h
Go to the documentation of this file.
1 //===--- TestAST.h - Build clang ASTs for testing -------------------------===//
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 // In normal operation of Clang, the FrontendAction's lifecycle both creates
10 // and destroys the AST, and code should operate on it during callbacks in
11 // between (e.g. via ASTConsumer).
12 //
13 // For tests it is often more convenient to parse an AST from code, and keep it
14 // alive as a normal local object, with assertions as straight-line code.
15 // TestAST provides such an interface.
16 // (ASTUnit can be used for this purpose, but is a production library with
17 // broad scope and complicated API).
18 //
19 //===----------------------------------------------------------------------===//
20 
21 #ifndef LLVM_CLANG_TESTING_TESTAST_H
22 #define LLVM_CLANG_TESTING_TESTAST_H
23 
24 #include "clang/Basic/LLVM.h"
27 #include "llvm/ADT/StringRef.h"
28 #include <string>
29 #include <vector>
30 
31 namespace clang {
32 
33 /// Specifies a virtual source file to be parsed as part of a test.
34 struct TestInputs {
35  TestInputs() = default;
36  TestInputs(StringRef Code) : Code(Code) {}
37 
38  /// The source code of the input file to be parsed.
39  std::string Code;
40 
41  /// The language to parse as.
42  /// This affects the -x and -std flags used, and the filename.
44 
45  /// Extra argv to pass to clang -cc1.
46  std::vector<std::string> ExtraArgs = {};
47 
48  /// Extra virtual files that are available to be #included.
49  /// Keys are plain filenames ("foo.h"), values are file content.
50  llvm::StringMap<std::string> ExtraFiles = {};
51 
52  /// Filename to use for translation unit. A default will be used when empty.
53  std::string FileName;
54 
55  /// By default, error diagnostics during parsing are reported as gtest errors.
56  /// To suppress this, set ErrorOK or include "error-ok" in a comment in Code.
57  /// In either case, all diagnostics appear in TestAST::diagnostics().
58  bool ErrorOK = false;
59 
60  /// The action used to parse the code.
61  /// By default, a SyntaxOnlyAction is used.
62  std::function<std::unique_ptr<FrontendAction>()> MakeAction;
63 };
64 
65 /// The result of parsing a file specified by TestInputs.
66 ///
67 /// The ASTContext, Sema etc are valid as long as this object is alive.
68 class TestAST {
69 public:
70  /// Constructing a TestAST parses the virtual file.
71  ///
72  /// To keep tests terse, critical errors (e.g. invalid flags) are reported as
73  /// unit test failures with ADD_FAILURE() and produce an empty ASTContext,
74  /// Sema etc. This frees the test code from handling these explicitly.
75  TestAST(const TestInputs &);
76  TestAST(StringRef Code) : TestAST(TestInputs(Code)) {}
77  TestAST(TestAST &&M);
79  ~TestAST();
80 
81  /// Provides access to the AST context and other parts of Clang.
82 
83  ASTContext &context() { return Clang->getASTContext(); }
84  Sema &sema() { return Clang->getSema(); }
85  SourceManager &sourceManager() { return Clang->getSourceManager(); }
86  FileManager &fileManager() { return Clang->getFileManager(); }
87  Preprocessor &preprocessor() { return Clang->getPreprocessor(); }
88  FrontendAction &action() { return *Action; }
89 
90  /// Returns diagnostics emitted during parsing.
91  /// (By default, errors cause test failures, see TestInputs::ErrorOK).
93 
94 private:
95  void clear();
96  std::unique_ptr<FrontendAction> Action;
97  std::unique_ptr<CompilerInstance> Clang;
98  std::vector<StoredDiagnostic> Diagnostics;
99 };
100 
101 } // end namespace clang
102 
103 #endif
Forward-declares and imports various common LLVM datatypes that clang wants to use unqualified.
Holds long-lived AST nodes (such as types and decls) that can be referred to throughout the semantic ...
Definition: ASTContext.h:185
Implements support for file system lookup, file system caching, and directory search management.
Definition: FileManager.h:53
Abstract base class for actions which can be performed by the frontend.
Engages in a tight little dance with the lexer to efficiently preprocess tokens.
Definition: Preprocessor.h:128
Sema - This implements semantic analysis and AST building for C.
Definition: Sema.h:462
This class handles loading and caching of source files into memory.
The result of parsing a file specified by TestInputs.
Definition: TestAST.h:68
FileManager & fileManager()
Definition: TestAST.h:86
llvm::ArrayRef< StoredDiagnostic > diagnostics()
Returns diagnostics emitted during parsing.
Definition: TestAST.h:92
ASTContext & context()
Provides access to the AST context and other parts of Clang.
Definition: TestAST.h:83
SourceManager & sourceManager()
Definition: TestAST.h:85
TestAST(StringRef Code)
Definition: TestAST.h:76
Sema & sema()
Definition: TestAST.h:84
TestAST(const TestInputs &)
Constructing a TestAST parses the virtual file.
Definition: TestAST.cpp:76
FrontendAction & action()
Definition: TestAST.h:88
TestAST & operator=(TestAST &&)
Definition: TestAST.cpp:154
Preprocessor & preprocessor()
Definition: TestAST.h:87
The JSON file list parser is used to communicate input to InstallAPI.
Language
The language for the input, used to select and validate the language standard and possible actions.
Definition: LangStandard.h:23
Specifies a virtual source file to be parsed as part of a test.
Definition: TestAST.h:34
TestInputs(StringRef Code)
Definition: TestAST.h:36
bool ErrorOK
By default, error diagnostics during parsing are reported as gtest errors.
Definition: TestAST.h:58
std::function< std::unique_ptr< FrontendAction >)> MakeAction
The action used to parse the code.
Definition: TestAST.h:62
std::vector< std::string > ExtraArgs
Extra argv to pass to clang -cc1.
Definition: TestAST.h:46
std::string FileName
Filename to use for translation unit. A default will be used when empty.
Definition: TestAST.h:53
TestInputs()=default
llvm::StringMap< std::string > ExtraFiles
Extra virtual files that are available to be #included.
Definition: TestAST.h:50
std::string Code
The source code of the input file to be parsed.
Definition: TestAST.h:39