1e5dd7070Spatrick //===--- Transformer.cpp - Transformer library implementation ---*- C++ -*-===//
2e5dd7070Spatrick //
3e5dd7070Spatrick // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4e5dd7070Spatrick // See https://llvm.org/LICENSE.txt for license information.
5e5dd7070Spatrick // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6e5dd7070Spatrick //
7e5dd7070Spatrick //===----------------------------------------------------------------------===//
8e5dd7070Spatrick 
9e5dd7070Spatrick #include "clang/Tooling/Transformer/RewriteRule.h"
10a9ac8606Spatrick #include "clang/AST/ASTTypeTraits.h"
11a9ac8606Spatrick #include "clang/AST/Stmt.h"
12e5dd7070Spatrick #include "clang/ASTMatchers/ASTMatchFinder.h"
13e5dd7070Spatrick #include "clang/ASTMatchers/ASTMatchers.h"
14e5dd7070Spatrick #include "clang/Basic/SourceLocation.h"
15e5dd7070Spatrick #include "clang/Tooling/Transformer/SourceCode.h"
16e5dd7070Spatrick #include "llvm/ADT/StringRef.h"
17e5dd7070Spatrick #include "llvm/Support/Errc.h"
18e5dd7070Spatrick #include "llvm/Support/Error.h"
19e5dd7070Spatrick #include <map>
20e5dd7070Spatrick #include <string>
21e5dd7070Spatrick #include <utility>
22e5dd7070Spatrick #include <vector>
23e5dd7070Spatrick 
24e5dd7070Spatrick using namespace clang;
25e5dd7070Spatrick using namespace transformer;
26e5dd7070Spatrick 
27e5dd7070Spatrick using ast_matchers::MatchFinder;
28e5dd7070Spatrick using ast_matchers::internal::DynTypedMatcher;
29e5dd7070Spatrick 
30e5dd7070Spatrick using MatchResult = MatchFinder::MatchResult;
31e5dd7070Spatrick 
32a9ac8606Spatrick const char transformer::RootID[] = "___root___";
33a9ac8606Spatrick 
34ec727ea7Spatrick static Expected<SmallVector<transformer::Edit, 1>>
translateEdits(const MatchResult & Result,ArrayRef<ASTEdit> ASTEdits)35ec727ea7Spatrick translateEdits(const MatchResult &Result, ArrayRef<ASTEdit> ASTEdits) {
36ec727ea7Spatrick   SmallVector<transformer::Edit, 1> Edits;
37ec727ea7Spatrick   for (const auto &E : ASTEdits) {
38ec727ea7Spatrick     Expected<CharSourceRange> Range = E.TargetRange(Result);
39e5dd7070Spatrick     if (!Range)
40e5dd7070Spatrick       return Range.takeError();
41*12c85518Srobert     std::optional<CharSourceRange> EditRange =
42*12c85518Srobert         tooling::getFileRangeForEdit(*Range, *Result.Context);
43e5dd7070Spatrick     // FIXME: let user specify whether to treat this case as an error or ignore
44a9ac8606Spatrick     // it as is currently done. This behavior is problematic in that it hides
45a9ac8606Spatrick     // failures from bad ranges. Also, the behavior here differs from
46a9ac8606Spatrick     // `flatten`. Here, we abort (without error), whereas flatten, if it hits an
47a9ac8606Spatrick     // empty list, does not abort. As a result, `editList({A,B})` is not
48a9ac8606Spatrick     // equivalent to `flatten(edit(A), edit(B))`. The former will abort if `A`
49a9ac8606Spatrick     // produces a bad range, whereas the latter will simply ignore A.
50e5dd7070Spatrick     if (!EditRange)
51ec727ea7Spatrick       return SmallVector<Edit, 0>();
52ec727ea7Spatrick     transformer::Edit T;
53a9ac8606Spatrick     T.Kind = E.Kind;
54e5dd7070Spatrick     T.Range = *EditRange;
55*12c85518Srobert     if (E.Replacement) {
56*12c85518Srobert       auto Replacement = E.Replacement->eval(Result);
57*12c85518Srobert       if (!Replacement)
58*12c85518Srobert         return Replacement.takeError();
59e5dd7070Spatrick       T.Replacement = std::move(*Replacement);
60*12c85518Srobert     }
61*12c85518Srobert     if (E.Note) {
62*12c85518Srobert       auto Note = E.Note->eval(Result);
63*12c85518Srobert       if (!Note)
64*12c85518Srobert         return Note.takeError();
65*12c85518Srobert       T.Note = std::move(*Note);
66*12c85518Srobert     }
67*12c85518Srobert     if (E.Metadata) {
68*12c85518Srobert       auto Metadata = E.Metadata(Result);
69*12c85518Srobert       if (!Metadata)
70*12c85518Srobert         return Metadata.takeError();
71a9ac8606Spatrick       T.Metadata = std::move(*Metadata);
72*12c85518Srobert     }
73ec727ea7Spatrick     Edits.push_back(std::move(T));
74e5dd7070Spatrick   }
75ec727ea7Spatrick   return Edits;
76e5dd7070Spatrick }
77e5dd7070Spatrick 
editList(SmallVector<ASTEdit,1> Edits)78ec727ea7Spatrick EditGenerator transformer::editList(SmallVector<ASTEdit, 1> Edits) {
79ec727ea7Spatrick   return [Edits = std::move(Edits)](const MatchResult &Result) {
80ec727ea7Spatrick     return translateEdits(Result, Edits);
81ec727ea7Spatrick   };
82ec727ea7Spatrick }
83ec727ea7Spatrick 
edit(ASTEdit Edit)84ec727ea7Spatrick EditGenerator transformer::edit(ASTEdit Edit) {
85ec727ea7Spatrick   return [Edit = std::move(Edit)](const MatchResult &Result) {
86ec727ea7Spatrick     return translateEdits(Result, {Edit});
87ec727ea7Spatrick   };
88ec727ea7Spatrick }
89ec727ea7Spatrick 
noopEdit(RangeSelector Anchor)90a9ac8606Spatrick EditGenerator transformer::noopEdit(RangeSelector Anchor) {
91a9ac8606Spatrick   return [Anchor = std::move(Anchor)](const MatchResult &Result)
92a9ac8606Spatrick              -> Expected<SmallVector<transformer::Edit, 1>> {
93a9ac8606Spatrick     Expected<CharSourceRange> Range = Anchor(Result);
94a9ac8606Spatrick     if (!Range)
95a9ac8606Spatrick       return Range.takeError();
96a9ac8606Spatrick     // In case the range is inside a macro expansion, map the location back to a
97a9ac8606Spatrick     // "real" source location.
98a9ac8606Spatrick     SourceLocation Begin =
99a9ac8606Spatrick         Result.SourceManager->getSpellingLoc(Range->getBegin());
100a9ac8606Spatrick     Edit E;
101a9ac8606Spatrick     // Implicitly, leave `E.Replacement` as the empty string.
102a9ac8606Spatrick     E.Kind = EditKind::Range;
103a9ac8606Spatrick     E.Range = CharSourceRange::getCharRange(Begin, Begin);
104a9ac8606Spatrick     return SmallVector<Edit, 1>{E};
105a9ac8606Spatrick   };
106a9ac8606Spatrick }
107a9ac8606Spatrick 
108a9ac8606Spatrick EditGenerator
flattenVector(SmallVector<EditGenerator,2> Generators)109a9ac8606Spatrick transformer::flattenVector(SmallVector<EditGenerator, 2> Generators) {
110a9ac8606Spatrick   if (Generators.size() == 1)
111a9ac8606Spatrick     return std::move(Generators[0]);
112a9ac8606Spatrick   return
113a9ac8606Spatrick       [Gs = std::move(Generators)](
114a9ac8606Spatrick           const MatchResult &Result) -> llvm::Expected<SmallVector<Edit, 1>> {
115a9ac8606Spatrick         SmallVector<Edit, 1> AllEdits;
116a9ac8606Spatrick         for (const auto &G : Gs) {
117a9ac8606Spatrick           llvm::Expected<SmallVector<Edit, 1>> Edits = G(Result);
118a9ac8606Spatrick           if (!Edits)
119a9ac8606Spatrick             return Edits.takeError();
120a9ac8606Spatrick           AllEdits.append(Edits->begin(), Edits->end());
121a9ac8606Spatrick         }
122a9ac8606Spatrick         return AllEdits;
123a9ac8606Spatrick       };
124a9ac8606Spatrick }
125a9ac8606Spatrick 
changeTo(RangeSelector Target,TextGenerator Replacement)126ec727ea7Spatrick ASTEdit transformer::changeTo(RangeSelector Target, TextGenerator Replacement) {
127e5dd7070Spatrick   ASTEdit E;
128ec727ea7Spatrick   E.TargetRange = std::move(Target);
129e5dd7070Spatrick   E.Replacement = std::move(Replacement);
130e5dd7070Spatrick   return E;
131e5dd7070Spatrick }
132e5dd7070Spatrick 
note(RangeSelector Anchor,TextGenerator Note)133*12c85518Srobert ASTEdit transformer::note(RangeSelector Anchor, TextGenerator Note) {
134*12c85518Srobert   ASTEdit E;
135*12c85518Srobert   E.TargetRange = transformer::before(Anchor);
136*12c85518Srobert   E.Note = std::move(Note);
137*12c85518Srobert   return E;
138*12c85518Srobert }
139*12c85518Srobert 
140e5dd7070Spatrick namespace {
141e5dd7070Spatrick /// A \c TextGenerator that always returns a fixed string.
142e5dd7070Spatrick class SimpleTextGenerator : public MatchComputation<std::string> {
143e5dd7070Spatrick   std::string S;
144e5dd7070Spatrick 
145e5dd7070Spatrick public:
SimpleTextGenerator(std::string S)146e5dd7070Spatrick   SimpleTextGenerator(std::string S) : S(std::move(S)) {}
eval(const ast_matchers::MatchFinder::MatchResult &,std::string * Result) const147e5dd7070Spatrick   llvm::Error eval(const ast_matchers::MatchFinder::MatchResult &,
148e5dd7070Spatrick                    std::string *Result) const override {
149e5dd7070Spatrick     Result->append(S);
150e5dd7070Spatrick     return llvm::Error::success();
151e5dd7070Spatrick   }
toString() const152e5dd7070Spatrick   std::string toString() const override {
153e5dd7070Spatrick     return (llvm::Twine("text(\"") + S + "\")").str();
154e5dd7070Spatrick   }
155e5dd7070Spatrick };
156e5dd7070Spatrick } // namespace
157e5dd7070Spatrick 
makeText(std::string S)158a9ac8606Spatrick static TextGenerator makeText(std::string S) {
159a9ac8606Spatrick   return std::make_shared<SimpleTextGenerator>(std::move(S));
160e5dd7070Spatrick }
161e5dd7070Spatrick 
remove(RangeSelector S)162a9ac8606Spatrick ASTEdit transformer::remove(RangeSelector S) {
163a9ac8606Spatrick   return change(std::move(S), makeText(""));
164a9ac8606Spatrick }
165a9ac8606Spatrick 
formatHeaderPath(StringRef Header,IncludeFormat Format)166a9ac8606Spatrick static std::string formatHeaderPath(StringRef Header, IncludeFormat Format) {
167a9ac8606Spatrick   switch (Format) {
168a9ac8606Spatrick   case transformer::IncludeFormat::Quoted:
169a9ac8606Spatrick     return Header.str();
170a9ac8606Spatrick   case transformer::IncludeFormat::Angled:
171a9ac8606Spatrick     return ("<" + Header + ">").str();
172a9ac8606Spatrick   }
173a9ac8606Spatrick   llvm_unreachable("Unknown transformer::IncludeFormat enum");
174a9ac8606Spatrick }
175a9ac8606Spatrick 
addInclude(RangeSelector Target,StringRef Header,IncludeFormat Format)176a9ac8606Spatrick ASTEdit transformer::addInclude(RangeSelector Target, StringRef Header,
177a9ac8606Spatrick                                 IncludeFormat Format) {
178a9ac8606Spatrick   ASTEdit E;
179a9ac8606Spatrick   E.Kind = EditKind::AddInclude;
180a9ac8606Spatrick   E.TargetRange = Target;
181a9ac8606Spatrick   E.Replacement = makeText(formatHeaderPath(Header, Format));
182a9ac8606Spatrick   return E;
183a9ac8606Spatrick }
184a9ac8606Spatrick 
185*12c85518Srobert EditGenerator
makeEditGenerator(llvm::SmallVector<ASTEdit,1> Edits)186*12c85518Srobert transformer::detail::makeEditGenerator(llvm::SmallVector<ASTEdit, 1> Edits) {
187*12c85518Srobert   return editList(std::move(Edits));
188*12c85518Srobert }
189*12c85518Srobert 
makeEditGenerator(ASTEdit Edit)190*12c85518Srobert EditGenerator transformer::detail::makeEditGenerator(ASTEdit Edit) {
191*12c85518Srobert   return edit(std::move(Edit));
192*12c85518Srobert }
193*12c85518Srobert 
makeRule(DynTypedMatcher M,EditGenerator Edits)194*12c85518Srobert RewriteRule transformer::detail::makeRule(DynTypedMatcher M,
195*12c85518Srobert                                           EditGenerator Edits) {
196*12c85518Srobert   RewriteRule R;
197*12c85518Srobert   R.Cases = {{std::move(M), std::move(Edits)}};
198*12c85518Srobert   return R;
199*12c85518Srobert }
200*12c85518Srobert 
makeRule(ast_matchers::internal::DynTypedMatcher M,std::initializer_list<ASTEdit> Edits)201*12c85518Srobert RewriteRule transformer::makeRule(ast_matchers::internal::DynTypedMatcher M,
202*12c85518Srobert                                   std::initializer_list<ASTEdit> Edits) {
203*12c85518Srobert   return detail::makeRule(std::move(M),
204*12c85518Srobert                           detail::makeEditGenerator(std::move(Edits)));
205a9ac8606Spatrick }
206a9ac8606Spatrick 
207a9ac8606Spatrick namespace {
208a9ac8606Spatrick 
209a9ac8606Spatrick /// Unconditionally binds the given node set before trying `InnerMatcher` and
210a9ac8606Spatrick /// keeps the bound nodes on a successful match.
211a9ac8606Spatrick template <typename T>
212a9ac8606Spatrick class BindingsMatcher : public ast_matchers::internal::MatcherInterface<T> {
213a9ac8606Spatrick   ast_matchers::BoundNodes Nodes;
214a9ac8606Spatrick   const ast_matchers::internal::Matcher<T> InnerMatcher;
215a9ac8606Spatrick 
216a9ac8606Spatrick public:
BindingsMatcher(ast_matchers::BoundNodes Nodes,ast_matchers::internal::Matcher<T> InnerMatcher)217a9ac8606Spatrick   explicit BindingsMatcher(ast_matchers::BoundNodes Nodes,
218a9ac8606Spatrick                            ast_matchers::internal::Matcher<T> InnerMatcher)
219a9ac8606Spatrick       : Nodes(std::move(Nodes)), InnerMatcher(std::move(InnerMatcher)) {}
220a9ac8606Spatrick 
matches(const T & Node,ast_matchers::internal::ASTMatchFinder * Finder,ast_matchers::internal::BoundNodesTreeBuilder * Builder) const221a9ac8606Spatrick   bool matches(
222a9ac8606Spatrick       const T &Node, ast_matchers::internal::ASTMatchFinder *Finder,
223a9ac8606Spatrick       ast_matchers::internal::BoundNodesTreeBuilder *Builder) const override {
224a9ac8606Spatrick     ast_matchers::internal::BoundNodesTreeBuilder Result(*Builder);
225a9ac8606Spatrick     for (const auto &N : Nodes.getMap())
226a9ac8606Spatrick       Result.setBinding(N.first, N.second);
227a9ac8606Spatrick     if (InnerMatcher.matches(Node, Finder, &Result)) {
228a9ac8606Spatrick       *Builder = std::move(Result);
229a9ac8606Spatrick       return true;
230a9ac8606Spatrick     }
231a9ac8606Spatrick     return false;
232a9ac8606Spatrick   }
233a9ac8606Spatrick };
234a9ac8606Spatrick 
235a9ac8606Spatrick /// Matches nodes of type T that have at least one descendant node for which the
236a9ac8606Spatrick /// given inner matcher matches.  Will match for each descendant node that
237a9ac8606Spatrick /// matches.  Based on ForEachDescendantMatcher, but takes a dynamic matcher,
238a9ac8606Spatrick /// instead of a static one, because it is used by RewriteRule, which carries
239a9ac8606Spatrick /// (only top-level) dynamic matchers.
240a9ac8606Spatrick template <typename T>
241a9ac8606Spatrick class DynamicForEachDescendantMatcher
242a9ac8606Spatrick     : public ast_matchers::internal::MatcherInterface<T> {
243a9ac8606Spatrick   const DynTypedMatcher DescendantMatcher;
244a9ac8606Spatrick 
245a9ac8606Spatrick public:
DynamicForEachDescendantMatcher(DynTypedMatcher DescendantMatcher)246a9ac8606Spatrick   explicit DynamicForEachDescendantMatcher(DynTypedMatcher DescendantMatcher)
247a9ac8606Spatrick       : DescendantMatcher(std::move(DescendantMatcher)) {}
248a9ac8606Spatrick 
matches(const T & Node,ast_matchers::internal::ASTMatchFinder * Finder,ast_matchers::internal::BoundNodesTreeBuilder * Builder) const249a9ac8606Spatrick   bool matches(
250a9ac8606Spatrick       const T &Node, ast_matchers::internal::ASTMatchFinder *Finder,
251a9ac8606Spatrick       ast_matchers::internal::BoundNodesTreeBuilder *Builder) const override {
252a9ac8606Spatrick     return Finder->matchesDescendantOf(
253a9ac8606Spatrick         Node, this->DescendantMatcher, Builder,
254a9ac8606Spatrick         ast_matchers::internal::ASTMatchFinder::BK_All);
255a9ac8606Spatrick   }
256a9ac8606Spatrick };
257a9ac8606Spatrick 
258a9ac8606Spatrick template <typename T>
259a9ac8606Spatrick ast_matchers::internal::Matcher<T>
forEachDescendantDynamically(ast_matchers::BoundNodes Nodes,DynTypedMatcher M)260a9ac8606Spatrick forEachDescendantDynamically(ast_matchers::BoundNodes Nodes,
261a9ac8606Spatrick                              DynTypedMatcher M) {
262a9ac8606Spatrick   return ast_matchers::internal::makeMatcher(new BindingsMatcher<T>(
263a9ac8606Spatrick       std::move(Nodes),
264a9ac8606Spatrick       ast_matchers::internal::makeMatcher(
265a9ac8606Spatrick           new DynamicForEachDescendantMatcher<T>(std::move(M)))));
266a9ac8606Spatrick }
267a9ac8606Spatrick 
268a9ac8606Spatrick class ApplyRuleCallback : public MatchFinder::MatchCallback {
269a9ac8606Spatrick public:
ApplyRuleCallback(RewriteRule Rule)270a9ac8606Spatrick   ApplyRuleCallback(RewriteRule Rule) : Rule(std::move(Rule)) {}
271a9ac8606Spatrick 
272a9ac8606Spatrick   template <typename T>
registerMatchers(const ast_matchers::BoundNodes & Nodes,MatchFinder * MF)273a9ac8606Spatrick   void registerMatchers(const ast_matchers::BoundNodes &Nodes,
274a9ac8606Spatrick                         MatchFinder *MF) {
275a9ac8606Spatrick     for (auto &Matcher : transformer::detail::buildMatchers(Rule))
276a9ac8606Spatrick       MF->addMatcher(forEachDescendantDynamically<T>(Nodes, Matcher), this);
277a9ac8606Spatrick   }
278a9ac8606Spatrick 
run(const MatchFinder::MatchResult & Result)279a9ac8606Spatrick   void run(const MatchFinder::MatchResult &Result) override {
280a9ac8606Spatrick     if (!Edits)
281a9ac8606Spatrick       return;
282*12c85518Srobert     size_t I = transformer::detail::findSelectedCase(Result, Rule);
283*12c85518Srobert     auto Transformations = Rule.Cases[I].Edits(Result);
284a9ac8606Spatrick     if (!Transformations) {
285a9ac8606Spatrick       Edits = Transformations.takeError();
286a9ac8606Spatrick       return;
287a9ac8606Spatrick     }
288a9ac8606Spatrick     Edits->append(Transformations->begin(), Transformations->end());
289a9ac8606Spatrick   }
290a9ac8606Spatrick 
291a9ac8606Spatrick   RewriteRule Rule;
292a9ac8606Spatrick 
293a9ac8606Spatrick   // Initialize to a non-error state.
294a9ac8606Spatrick   Expected<SmallVector<Edit, 1>> Edits = SmallVector<Edit, 1>();
295a9ac8606Spatrick };
296a9ac8606Spatrick } // namespace
297a9ac8606Spatrick 
298a9ac8606Spatrick template <typename T>
299a9ac8606Spatrick llvm::Expected<SmallVector<clang::transformer::Edit, 1>>
rewriteDescendantsImpl(const T & Node,RewriteRule Rule,const MatchResult & Result)300a9ac8606Spatrick rewriteDescendantsImpl(const T &Node, RewriteRule Rule,
301a9ac8606Spatrick                        const MatchResult &Result) {
302a9ac8606Spatrick   ApplyRuleCallback Callback(std::move(Rule));
303a9ac8606Spatrick   MatchFinder Finder;
304a9ac8606Spatrick   Callback.registerMatchers<T>(Result.Nodes, &Finder);
305a9ac8606Spatrick   Finder.match(Node, *Result.Context);
306a9ac8606Spatrick   return std::move(Callback.Edits);
307a9ac8606Spatrick }
308a9ac8606Spatrick 
309a9ac8606Spatrick llvm::Expected<SmallVector<clang::transformer::Edit, 1>>
rewriteDescendants(const Decl & Node,RewriteRule Rule,const MatchResult & Result)310a9ac8606Spatrick transformer::detail::rewriteDescendants(const Decl &Node, RewriteRule Rule,
311a9ac8606Spatrick                                         const MatchResult &Result) {
312a9ac8606Spatrick   return rewriteDescendantsImpl(Node, std::move(Rule), Result);
313a9ac8606Spatrick }
314a9ac8606Spatrick 
315a9ac8606Spatrick llvm::Expected<SmallVector<clang::transformer::Edit, 1>>
rewriteDescendants(const Stmt & Node,RewriteRule Rule,const MatchResult & Result)316a9ac8606Spatrick transformer::detail::rewriteDescendants(const Stmt &Node, RewriteRule Rule,
317a9ac8606Spatrick                                         const MatchResult &Result) {
318a9ac8606Spatrick   return rewriteDescendantsImpl(Node, std::move(Rule), Result);
319a9ac8606Spatrick }
320a9ac8606Spatrick 
321a9ac8606Spatrick llvm::Expected<SmallVector<clang::transformer::Edit, 1>>
rewriteDescendants(const TypeLoc & Node,RewriteRule Rule,const MatchResult & Result)322a9ac8606Spatrick transformer::detail::rewriteDescendants(const TypeLoc &Node, RewriteRule Rule,
323a9ac8606Spatrick                                         const MatchResult &Result) {
324a9ac8606Spatrick   return rewriteDescendantsImpl(Node, std::move(Rule), Result);
325a9ac8606Spatrick }
326a9ac8606Spatrick 
327a9ac8606Spatrick llvm::Expected<SmallVector<clang::transformer::Edit, 1>>
rewriteDescendants(const DynTypedNode & DNode,RewriteRule Rule,const MatchResult & Result)328a9ac8606Spatrick transformer::detail::rewriteDescendants(const DynTypedNode &DNode,
329a9ac8606Spatrick                                         RewriteRule Rule,
330a9ac8606Spatrick                                         const MatchResult &Result) {
331a9ac8606Spatrick   if (const auto *Node = DNode.get<Decl>())
332a9ac8606Spatrick     return rewriteDescendantsImpl(*Node, std::move(Rule), Result);
333a9ac8606Spatrick   if (const auto *Node = DNode.get<Stmt>())
334a9ac8606Spatrick     return rewriteDescendantsImpl(*Node, std::move(Rule), Result);
335a9ac8606Spatrick   if (const auto *Node = DNode.get<TypeLoc>())
336a9ac8606Spatrick     return rewriteDescendantsImpl(*Node, std::move(Rule), Result);
337a9ac8606Spatrick 
338a9ac8606Spatrick   return llvm::make_error<llvm::StringError>(
339a9ac8606Spatrick       llvm::errc::invalid_argument,
340a9ac8606Spatrick       "type unsupported for recursive rewriting, Kind=" +
341a9ac8606Spatrick           DNode.getNodeKind().asStringRef());
342a9ac8606Spatrick }
343a9ac8606Spatrick 
rewriteDescendants(std::string NodeId,RewriteRule Rule)344a9ac8606Spatrick EditGenerator transformer::rewriteDescendants(std::string NodeId,
345a9ac8606Spatrick                                               RewriteRule Rule) {
346a9ac8606Spatrick   return [NodeId = std::move(NodeId),
347a9ac8606Spatrick           Rule = std::move(Rule)](const MatchResult &Result)
348a9ac8606Spatrick              -> llvm::Expected<SmallVector<clang::transformer::Edit, 1>> {
349a9ac8606Spatrick     const ast_matchers::BoundNodes::IDToNodeMap &NodesMap =
350a9ac8606Spatrick         Result.Nodes.getMap();
351a9ac8606Spatrick     auto It = NodesMap.find(NodeId);
352a9ac8606Spatrick     if (It == NodesMap.end())
353a9ac8606Spatrick       return llvm::make_error<llvm::StringError>(llvm::errc::invalid_argument,
354a9ac8606Spatrick                                                  "ID not bound: " + NodeId);
355a9ac8606Spatrick     return detail::rewriteDescendants(It->second, std::move(Rule), Result);
356a9ac8606Spatrick   };
357e5dd7070Spatrick }
358e5dd7070Spatrick 
addInclude(RewriteRuleBase & Rule,StringRef Header,IncludeFormat Format)359*12c85518Srobert void transformer::addInclude(RewriteRuleBase &Rule, StringRef Header,
360e5dd7070Spatrick                              IncludeFormat Format) {
361e5dd7070Spatrick   for (auto &Case : Rule.Cases)
362a9ac8606Spatrick     Case.Edits = flatten(std::move(Case.Edits), addInclude(Header, Format));
363e5dd7070Spatrick }
364e5dd7070Spatrick 
365e5dd7070Spatrick #ifndef NDEBUG
366e5dd7070Spatrick // Filters for supported matcher kinds. FIXME: Explicitly list the allowed kinds
367e5dd7070Spatrick // (all node matcher types except for `QualType` and `Type`), rather than just
368e5dd7070Spatrick // banning `QualType` and `Type`.
hasValidKind(const DynTypedMatcher & M)369e5dd7070Spatrick static bool hasValidKind(const DynTypedMatcher &M) {
370e5dd7070Spatrick   return !M.canConvertTo<QualType>();
371e5dd7070Spatrick }
372e5dd7070Spatrick #endif
373e5dd7070Spatrick 
374e5dd7070Spatrick // Binds each rule's matcher to a unique (and deterministic) tag based on
375ec727ea7Spatrick // `TagBase` and the id paired with the case. All of the returned matchers have
376ec727ea7Spatrick // their traversal kind explicitly set, either based on a pre-set kind or to the
377ec727ea7Spatrick // provided `DefaultTraversalKind`.
taggedMatchers(StringRef TagBase,const SmallVectorImpl<std::pair<size_t,RewriteRule::Case>> & Cases,TraversalKind DefaultTraversalKind)378e5dd7070Spatrick static std::vector<DynTypedMatcher> taggedMatchers(
379e5dd7070Spatrick     StringRef TagBase,
380ec727ea7Spatrick     const SmallVectorImpl<std::pair<size_t, RewriteRule::Case>> &Cases,
381a9ac8606Spatrick     TraversalKind DefaultTraversalKind) {
382e5dd7070Spatrick   std::vector<DynTypedMatcher> Matchers;
383e5dd7070Spatrick   Matchers.reserve(Cases.size());
384e5dd7070Spatrick   for (const auto &Case : Cases) {
385e5dd7070Spatrick     std::string Tag = (TagBase + Twine(Case.first)).str();
386e5dd7070Spatrick     // HACK: Many matchers are not bindable, so ensure that tryBind will work.
387e5dd7070Spatrick     DynTypedMatcher BoundMatcher(Case.second.Matcher);
388e5dd7070Spatrick     BoundMatcher.setAllowBind(true);
389ec727ea7Spatrick     auto M = *BoundMatcher.tryBind(Tag);
390ec727ea7Spatrick     Matchers.push_back(!M.getTraversalKind()
391ec727ea7Spatrick                            ? M.withTraversalKind(DefaultTraversalKind)
392ec727ea7Spatrick                            : std::move(M));
393e5dd7070Spatrick   }
394e5dd7070Spatrick   return Matchers;
395e5dd7070Spatrick }
396e5dd7070Spatrick 
397e5dd7070Spatrick // Simply gathers the contents of the various rules into a single rule. The
398e5dd7070Spatrick // actual work to combine these into an ordered choice is deferred to matcher
399e5dd7070Spatrick // registration.
400*12c85518Srobert template <>
401*12c85518Srobert RewriteRuleWith<void>
applyFirst(ArrayRef<RewriteRuleWith<void>> Rules)402*12c85518Srobert transformer::applyFirst(ArrayRef<RewriteRuleWith<void>> Rules) {
403e5dd7070Spatrick   RewriteRule R;
404e5dd7070Spatrick   for (auto &Rule : Rules)
405e5dd7070Spatrick     R.Cases.append(Rule.Cases.begin(), Rule.Cases.end());
406e5dd7070Spatrick   return R;
407e5dd7070Spatrick }
408e5dd7070Spatrick 
409e5dd7070Spatrick std::vector<DynTypedMatcher>
buildMatchers(const RewriteRuleBase & Rule)410*12c85518Srobert transformer::detail::buildMatchers(const RewriteRuleBase &Rule) {
411e5dd7070Spatrick   // Map the cases into buckets of matchers -- one for each "root" AST kind,
412e5dd7070Spatrick   // which guarantees that they can be combined in a single anyOf matcher. Each
413e5dd7070Spatrick   // case is paired with an identifying number that is converted to a string id
414e5dd7070Spatrick   // in `taggedMatchers`.
415*12c85518Srobert   std::map<ASTNodeKind,
416*12c85518Srobert            SmallVector<std::pair<size_t, RewriteRuleBase::Case>, 1>>
417e5dd7070Spatrick       Buckets;
418e5dd7070Spatrick   const SmallVectorImpl<RewriteRule::Case> &Cases = Rule.Cases;
419e5dd7070Spatrick   for (int I = 0, N = Cases.size(); I < N; ++I) {
420e5dd7070Spatrick     assert(hasValidKind(Cases[I].Matcher) &&
421e5dd7070Spatrick            "Matcher must be non-(Qual)Type node matcher");
422e5dd7070Spatrick     Buckets[Cases[I].Matcher.getSupportedKind()].emplace_back(I, Cases[I]);
423e5dd7070Spatrick   }
424e5dd7070Spatrick 
425ec727ea7Spatrick   // Each anyOf explicitly controls the traversal kind. The anyOf itself is set
426ec727ea7Spatrick   // to `TK_AsIs` to ensure no nodes are skipped, thereby deferring to the kind
427ec727ea7Spatrick   // of the branches. Then, each branch is either left as is, if the kind is
428a9ac8606Spatrick   // already set, or explicitly set to `TK_AsIs`. We choose this setting because
429a9ac8606Spatrick   // it is the default interpretation of matchers.
430e5dd7070Spatrick   std::vector<DynTypedMatcher> Matchers;
431e5dd7070Spatrick   for (const auto &Bucket : Buckets) {
432e5dd7070Spatrick     DynTypedMatcher M = DynTypedMatcher::constructVariadic(
433e5dd7070Spatrick         DynTypedMatcher::VO_AnyOf, Bucket.first,
434a9ac8606Spatrick         taggedMatchers("Tag", Bucket.second, TK_AsIs));
435e5dd7070Spatrick     M.setAllowBind(true);
436e5dd7070Spatrick     // `tryBind` is guaranteed to succeed, because `AllowBind` was set to true.
437a9ac8606Spatrick     Matchers.push_back(M.tryBind(RootID)->withTraversalKind(TK_AsIs));
438e5dd7070Spatrick   }
439e5dd7070Spatrick   return Matchers;
440e5dd7070Spatrick }
441e5dd7070Spatrick 
buildMatcher(const RewriteRuleBase & Rule)442*12c85518Srobert DynTypedMatcher transformer::detail::buildMatcher(const RewriteRuleBase &Rule) {
443e5dd7070Spatrick   std::vector<DynTypedMatcher> Ms = buildMatchers(Rule);
444e5dd7070Spatrick   assert(Ms.size() == 1 && "Cases must have compatible matchers.");
445e5dd7070Spatrick   return Ms[0];
446e5dd7070Spatrick }
447e5dd7070Spatrick 
getRuleMatchLoc(const MatchResult & Result)448e5dd7070Spatrick SourceLocation transformer::detail::getRuleMatchLoc(const MatchResult &Result) {
449e5dd7070Spatrick   auto &NodesMap = Result.Nodes.getMap();
450a9ac8606Spatrick   auto Root = NodesMap.find(RootID);
451e5dd7070Spatrick   assert(Root != NodesMap.end() && "Transformation failed: missing root node.");
452*12c85518Srobert   std::optional<CharSourceRange> RootRange = tooling::getFileRangeForEdit(
453e5dd7070Spatrick       CharSourceRange::getTokenRange(Root->second.getSourceRange()),
454e5dd7070Spatrick       *Result.Context);
455e5dd7070Spatrick   if (RootRange)
456e5dd7070Spatrick     return RootRange->getBegin();
457e5dd7070Spatrick   // The match doesn't have a coherent range, so fall back to the expansion
458e5dd7070Spatrick   // location as the "beginning" of the match.
459e5dd7070Spatrick   return Result.SourceManager->getExpansionLoc(
460e5dd7070Spatrick       Root->second.getSourceRange().getBegin());
461e5dd7070Spatrick }
462e5dd7070Spatrick 
463e5dd7070Spatrick // Finds the case that was "selected" -- that is, whose matcher triggered the
464e5dd7070Spatrick // `MatchResult`.
findSelectedCase(const MatchResult & Result,const RewriteRuleBase & Rule)465*12c85518Srobert size_t transformer::detail::findSelectedCase(const MatchResult &Result,
466*12c85518Srobert                                              const RewriteRuleBase &Rule) {
467e5dd7070Spatrick   if (Rule.Cases.size() == 1)
468*12c85518Srobert     return 0;
469e5dd7070Spatrick 
470e5dd7070Spatrick   auto &NodesMap = Result.Nodes.getMap();
471e5dd7070Spatrick   for (size_t i = 0, N = Rule.Cases.size(); i < N; ++i) {
472e5dd7070Spatrick     std::string Tag = ("Tag" + Twine(i)).str();
473e5dd7070Spatrick     if (NodesMap.find(Tag) != NodesMap.end())
474*12c85518Srobert       return i;
475e5dd7070Spatrick   }
476e5dd7070Spatrick   llvm_unreachable("No tag found for this rule.");
477e5dd7070Spatrick }
478