1 //===--- ASTMatchFinder.h - Structural query framework ----------*- C++ -*-===//
3 // The LLVM Compiler Infrastructure
5 // This file is distributed under the University of Illinois Open Source
6 // License. See LICENSE.TXT for details.
8 //===----------------------------------------------------------------------===//
10 // Provides a way to construct an ASTConsumer that runs given matchers
11 // over the AST and invokes a given callback on every match.
13 // The general idea is to construct a matcher expression that describes a
14 // subtree match on the AST. Next, a callback that is executed every time the
15 // expression matches is registered, and the matcher is run over the AST of
16 // some code. Matched subexpressions can be bound to string IDs and easily
17 // be accessed from the registered callback. The callback can than use the
18 // AST nodes that the subexpressions matched on to output information about
19 // the match or construct changes that can be applied to the code.
22 // class HandleMatch : public MatchFinder::MatchCallback {
24 // virtual void Run(const MatchFinder::MatchResult &Result) {
25 // const CXXRecordDecl *Class =
26 // Result.Nodes.GetDeclAs<CXXRecordDecl>("id");
31 // int main(int argc, char **argv) {
32 // ClangTool Tool(argc, argv);
33 // MatchFinder finder;
34 // finder.AddMatcher(Id("id", record(hasName("::a_namespace::AClass"))),
36 // return Tool.Run(newFrontendActionFactory(&finder));
39 //===----------------------------------------------------------------------===//
41 #ifndef LLVM_CLANG_ASTMATCHERS_ASTMATCHFINDER_H
42 #define LLVM_CLANG_ASTMATCHERS_ASTMATCHFINDER_H
44 #include "clang/ASTMatchers/ASTMatchers.h"
45 #include "llvm/ADT/SmallPtrSet.h"
46 #include "llvm/ADT/StringMap.h"
47 #include "llvm/Support/Timer.h"
51 namespace ast_matchers {
53 /// A class to allow finding matches over the Clang AST.
55 /// After creation, you can add multiple matchers to the MatchFinder via
56 /// calls to addMatcher(...).
58 /// Once all matchers are added, newASTConsumer() returns an ASTConsumer
59 /// that will trigger the callbacks specified via addMatcher(...) when a match
62 /// The order of matches is guaranteed to be equivalent to doing a pre-order
63 /// traversal on the AST, and applying the matchers in the order in which they
64 /// were added to the MatchFinder.
66 /// See ASTMatchers.h for more information about how to create matchers.
68 /// Not intended to be subclassed.
71 /// Contains all information for a given match.
73 /// Every time a match is found, the MatchFinder will invoke the registered
74 /// MatchCallback with a MatchResult containing information about the match.
76 MatchResult(const BoundNodes &Nodes, clang::ASTContext *Context);
78 /// Contains the nodes bound on the current match.
80 /// This allows user code to easily extract matched AST nodes.
81 const BoundNodes Nodes;
83 /// Utilities for interpreting the matched AST structures.
85 clang::ASTContext * const Context;
86 clang::SourceManager * const SourceManager;
90 /// Called when the Match registered for it was successfully found
94 virtual ~MatchCallback();
96 /// Called on every match by the \c MatchFinder.
97 virtual void run(const MatchResult &Result) = 0;
99 /// Called at the start of each translation unit.
101 /// Optionally override to do per translation unit tasks.
102 virtual void onStartOfTranslationUnit() {}
104 /// Called at the end of each translation unit.
106 /// Optionally override to do per translation unit tasks.
107 virtual void onEndOfTranslationUnit() {}
109 /// An id used to group the matchers.
111 /// This id is used, for example, for the profiling output.
112 /// It defaults to "<unknown>".
113 virtual StringRef getID() const;
116 /// Called when parsing is finished. Intended for testing only.
117 class ParsingDoneTestCallback {
119 virtual ~ParsingDoneTestCallback();
120 virtual void run() = 0;
123 struct MatchFinderOptions {
125 Profiling(llvm::StringMap<llvm::TimeRecord> &Records)
126 : Records(Records) {}
128 /// Per bucket timing information.
129 llvm::StringMap<llvm::TimeRecord> &Records;
132 /// Enables per-check timers.
134 /// It prints a report after match.
135 llvm::Optional<Profiling> CheckProfiling;
138 MatchFinder(MatchFinderOptions Options = MatchFinderOptions());
141 /// Adds a matcher to execute when running over the AST.
143 /// Calls 'Action' with the BoundNodes on every match.
144 /// Adding more than one 'NodeMatch' allows finding different matches in a
145 /// single pass over the AST.
147 /// Does not take ownership of 'Action'.
149 void addMatcher(const DeclarationMatcher &NodeMatch,
150 MatchCallback *Action);
151 void addMatcher(const TypeMatcher &NodeMatch,
152 MatchCallback *Action);
153 void addMatcher(const StatementMatcher &NodeMatch,
154 MatchCallback *Action);
155 void addMatcher(const NestedNameSpecifierMatcher &NodeMatch,
156 MatchCallback *Action);
157 void addMatcher(const NestedNameSpecifierLocMatcher &NodeMatch,
158 MatchCallback *Action);
159 void addMatcher(const TypeLocMatcher &NodeMatch,
160 MatchCallback *Action);
161 void addMatcher(const CXXCtorInitializerMatcher &NodeMatch,
162 MatchCallback *Action);
165 /// Adds a matcher to execute when running over the AST.
167 /// This is similar to \c addMatcher(), but it uses the dynamic interface. It
168 /// is more flexible, but the lost type information enables a caller to pass
169 /// a matcher that cannot match anything.
171 /// \returns \c true if the matcher is a valid top-level matcher, \c false
173 bool addDynamicMatcher(const internal::DynTypedMatcher &NodeMatch,
174 MatchCallback *Action);
176 /// Creates a clang ASTConsumer that finds all matches.
177 std::unique_ptr<clang::ASTConsumer> newASTConsumer();
179 /// Calls the registered callbacks on all matches on the given \p Node.
181 /// Note that there can be multiple matches on a single node, for
182 /// example when using decl(forEachDescendant(stmt())).
185 template <typename T> void match(const T &Node, ASTContext &Context) {
186 match(clang::ast_type_traits::DynTypedNode::create(Node), Context);
188 void match(const clang::ast_type_traits::DynTypedNode &Node,
189 ASTContext &Context);
192 /// Finds all matches in the given AST.
193 void matchAST(ASTContext &Context);
195 /// Registers a callback to notify the end of parsing.
197 /// The provided closure is called after parsing is done, before the AST is
198 /// traversed. Useful for benchmarking.
199 /// Each call to FindAll(...) will call the closure once.
200 void registerTestCallbackAfterParsing(ParsingDoneTestCallback *ParsingDone);
202 /// For each \c Matcher<> a \c MatchCallback that will be called
204 struct MatchersByType {
205 std::vector<std::pair<internal::DynTypedMatcher, MatchCallback *>>
207 std::vector<std::pair<TypeMatcher, MatchCallback *>> Type;
208 std::vector<std::pair<NestedNameSpecifierMatcher, MatchCallback *>>
210 std::vector<std::pair<NestedNameSpecifierLocMatcher, MatchCallback *>>
211 NestedNameSpecifierLoc;
212 std::vector<std::pair<TypeLocMatcher, MatchCallback *>> TypeLoc;
213 std::vector<std::pair<CXXCtorInitializerMatcher, MatchCallback *>> CtorInit;
214 /// All the callbacks in one container to simplify iteration.
215 llvm::SmallPtrSet<MatchCallback *, 16> AllCallbacks;
219 MatchersByType Matchers;
221 MatchFinderOptions Options;
223 /// Called when parsing is done.
224 ParsingDoneTestCallback *ParsingDone;
227 /// Returns the results of matching \p Matcher on \p Node.
229 /// Collects the \c BoundNodes of all callback invocations when matching
230 /// \p Matcher on \p Node and returns the collected results.
232 /// Multiple results occur when using matchers like \c forEachDescendant,
233 /// which generate a result for each sub-match.
235 /// If you want to find all matches on the sub-tree rooted at \c Node (rather
236 /// than only the matches on \c Node itself), surround the \c Matcher with a
241 template <typename MatcherT, typename NodeT>
242 SmallVector<BoundNodes, 1>
243 match(MatcherT Matcher, const NodeT &Node, ASTContext &Context);
245 template <typename MatcherT>
246 SmallVector<BoundNodes, 1>
247 match(MatcherT Matcher, const ast_type_traits::DynTypedNode &Node,
248 ASTContext &Context);
251 /// Returns the results of matching \p Matcher on the translation unit of
252 /// \p Context and collects the \c BoundNodes of all callback invocations.
253 template <typename MatcherT>
254 SmallVector<BoundNodes, 1> match(MatcherT Matcher, ASTContext &Context);
256 /// Returns the first result of type \c NodeT bound to \p BoundTo.
258 /// Returns \c NULL if there is no match, or if the matching node cannot be
259 /// casted to \c NodeT.
261 /// This is useful in combanation with \c match():
263 /// const Decl *D = selectFirst<Decl>("id", match(Matcher.bind("id"),
266 template <typename NodeT>
268 selectFirst(StringRef BoundTo, const SmallVectorImpl<BoundNodes> &Results) {
269 for (const BoundNodes &N : Results) {
270 if (const NodeT *Node = N.getNodeAs<NodeT>(BoundTo))
277 class CollectMatchesCallback : public MatchFinder::MatchCallback {
279 void run(const MatchFinder::MatchResult &Result) override {
280 Nodes.push_back(Result.Nodes);
282 SmallVector<BoundNodes, 1> Nodes;
286 template <typename MatcherT>
287 SmallVector<BoundNodes, 1>
288 match(MatcherT Matcher, const ast_type_traits::DynTypedNode &Node,
289 ASTContext &Context) {
290 internal::CollectMatchesCallback Callback;
292 Finder.addMatcher(Matcher, &Callback);
293 Finder.match(Node, Context);
294 return std::move(Callback.Nodes);
297 template <typename MatcherT, typename NodeT>
298 SmallVector<BoundNodes, 1>
299 match(MatcherT Matcher, const NodeT &Node, ASTContext &Context) {
300 return match(Matcher, ast_type_traits::DynTypedNode::create(Node), Context);
303 template <typename MatcherT>
304 SmallVector<BoundNodes, 1>
305 match(MatcherT Matcher, ASTContext &Context) {
306 internal::CollectMatchesCallback Callback;
308 Finder.addMatcher(Matcher, &Callback);
309 Finder.matchAST(Context);
310 return std::move(Callback.Nodes);
313 } // end namespace ast_matchers
314 } // end namespace clang