ymandel created this revision. ymandel added a reviewer: gribozavr. Herald added a project: clang. ymandel added a parent revision: D67632: [libTooling] Introduce new library of source-code builders..
This revision add the `access` and `ifBound` combinators to the Stencil library: - `access` -- constructs an idiomatic expression for accessing a member (a `MemberExpr`). - `ifBound` -- chooses between two `StencilParts` based on the whether an id is bound in the match (corresponds to the combinator of the same name in RangeSelector). Repository: rG LLVM Github Monorepo https://reviews.llvm.org/D67633 Files: clang/include/clang/Tooling/Refactoring/Stencil.h clang/lib/Tooling/Refactoring/Stencil.cpp clang/unittests/Tooling/StencilTest.cpp
Index: clang/unittests/Tooling/StencilTest.cpp =================================================================== --- clang/unittests/Tooling/StencilTest.cpp +++ clang/unittests/Tooling/StencilTest.cpp @@ -10,6 +10,8 @@ #include "clang/ASTMatchers/ASTMatchers.h" #include "clang/Tooling/FixIt.h" #include "clang/Tooling/Tooling.h" +#include "llvm/Support/Error.h" +#include "llvm/Testing/Support/Error.h" #include "gmock/gmock.h" #include "gtest/gtest.h" @@ -18,10 +20,13 @@ using namespace ast_matchers; namespace { +using ::llvm::HasValue; using ::testing::AllOf; using ::testing::Eq; using ::testing::HasSubstr; using MatchResult = MatchFinder::MatchResult; +using stencil::access; +using stencil::ifBound; using stencil::cat; using stencil::dPrint; using stencil::text; @@ -44,8 +49,10 @@ } // Create a valid translation-unit from a statement. -static std::string wrapSnippet(llvm::Twine StatementCode) { - return ("auto stencil_test_snippet = []{" + StatementCode + "};").str(); +static std::string wrapSnippet(StringRef StatementCode) { + return ("struct S { int field; }; auto stencil_test_snippet = []{" + + StatementCode + "};") + .str(); } static DeclarationMatcher wrapMatcher(const StatementMatcher &Matcher) { @@ -63,9 +70,10 @@ // Matches `Matcher` against the statement `StatementCode` and returns the // result. Handles putting the statement inside a function and modifying the -// matcher correspondingly. `Matcher` should match `StatementCode` exactly -- -// that is, produce exactly one match. -static llvm::Optional<TestMatch> matchStmt(llvm::Twine StatementCode, +// matcher correspondingly. `Matcher` should match one of the statements in +// `StatementCode` exactly -- that is, produce exactly one match. However, +// `StatementCode` may contain other statements not described by `Matcher`. +static llvm::Optional<TestMatch> matchStmt(StringRef StatementCode, StatementMatcher Matcher) { auto AstUnit = buildASTFromCode(wrapSnippet(StatementCode)); if (AstUnit == nullptr) { @@ -123,7 +131,7 @@ // Tests failures caused by references to unbound nodes. `unbound_id` is the // id that will cause the failure. - void testUnboundNodeError(const Stencil &Stencil, llvm::StringRef UnboundId) { + void testUnboundNodeError(const Stencil &Stencil, StringRef UnboundId) { testError(Stencil, AllOf(HasSubstr(UnboundId), HasSubstr("not bound"))); } }; @@ -188,8 +196,7 @@ StringRef Expected) { auto StmtMatch = matchStmt(Snippet, expr().bind(Id)); ASSERT_TRUE(StmtMatch); - EXPECT_THAT(toOptional(Stencil.eval(StmtMatch->Result)), - IsSomething(Expected)); + EXPECT_THAT_EXPECTED(Stencil.eval(StmtMatch->Result), HasValue(Expected)); } TEST_F(StencilTest, SelectionOp) { @@ -197,6 +204,102 @@ testExpr(Id, "3;", cat(node(Id)), "3"); } +TEST_F(StencilTest, IfBoundOpBound) { + StringRef Id = "id"; + testExpr(Id, "3;", cat(ifBound(Id, text("5"), text("7"))), "5"); +} + +TEST_F(StencilTest, IfBoundOpUnbound) { + StringRef Id = "id"; + testExpr(Id, "3;", cat(ifBound("other", text("5"), text("7"))), "7"); +} + +TEST_F(StencilTest, AccessOpValue) { + StringRef Snippet = R"cc( + S x; + x; + )cc"; + StringRef Id = "id"; + testExpr(Id, Snippet, cat(access(Id, "field")), "x.field"); +} + +TEST_F(StencilTest, AccessOpValueExplicitText) { + StringRef Snippet = R"cc( + S x; + x; + )cc"; + StringRef Id = "id"; + testExpr(Id, Snippet, cat(access(Id, text("field"))), "x.field"); +} + +TEST_F(StencilTest, AccessOpValueAddress) { + StringRef Snippet = R"cc( + S x; + &x; + )cc"; + StringRef Id = "id"; + testExpr(Id, Snippet, cat(access(Id, "field")), "x.field"); +} + +TEST_F(StencilTest, AccessOpPointer) { + StringRef Snippet = R"cc( + S *x; + x; + )cc"; + StringRef Id = "id"; + testExpr(Id, Snippet, cat(access(Id, "field")), "x->field"); +} + +TEST_F(StencilTest, AccessOpPointerDereference) { + StringRef Snippet = R"cc( + S *x; + *x; + )cc"; + StringRef Id = "id"; + testExpr(Id, Snippet, cat(access(Id, "field")), "x->field"); +} + +TEST_F(StencilTest, AccessOpExplicitThis) { + using clang::ast_matchers::hasObjectExpression; + using clang::ast_matchers::memberExpr; + + // Set up the code so we can bind to a use of this. + StringRef Snippet = R"cc( + class C { + public: + int x; + int foo() { return this->x; } + }; + )cc"; + auto StmtMatch = matchStmt( + Snippet, returnStmt(hasReturnValue(ignoringImplicit( + memberExpr(hasObjectExpression(expr().bind("obj"))))))); + ASSERT_TRUE(StmtMatch); + const Stencil Stencil = cat(access("obj", "field")); + EXPECT_THAT_EXPECTED(Stencil.eval(StmtMatch->Result), + HasValue("this->field")); +} + +TEST_F(StencilTest, AccessOpImplicitThis) { + using clang::ast_matchers::hasObjectExpression; + using clang::ast_matchers::memberExpr; + + // Set up the code so we can bind to a use of (implicit) this. + StringRef Snippet = R"cc( + class C { + public: + int x; + int foo() { return x; } + }; + )cc"; + auto StmtMatch = matchStmt( + Snippet, returnStmt(hasReturnValue(ignoringImplicit( + memberExpr(hasObjectExpression(expr().bind("obj"))))))); + ASSERT_TRUE(StmtMatch); + const Stencil Stencil = cat(access("obj", "field")); + EXPECT_THAT_EXPECTED(Stencil.eval(StmtMatch->Result), HasValue("field")); +} + TEST(StencilEqualityTest, Equality) { auto Lhs = cat("foo", dPrint("dprint_id")); auto Rhs = cat("foo", dPrint("dprint_id")); Index: clang/lib/Tooling/Refactoring/Stencil.cpp =================================================================== --- clang/lib/Tooling/Refactoring/Stencil.cpp +++ clang/lib/Tooling/Refactoring/Stencil.cpp @@ -14,6 +14,7 @@ #include "clang/ASTMatchers/ASTMatchers.h" #include "clang/Lex/Lexer.h" #include "clang/Tooling/Refactoring/SourceCode.h" +#include "clang/Tooling/Refactoring/SourceCodeBuilders.h" #include "llvm/Support/Errc.h" #include <atomic> #include <memory> @@ -23,7 +24,9 @@ using namespace tooling; using ast_matchers::MatchFinder; +using llvm::errc; using llvm::Error; +using llvm::StringError; // A down_cast function to safely down cast a StencilPartInterface to a subclass // D. Returns nullptr if P is not an instance of D. @@ -51,28 +54,57 @@ }; // A debugging operation to dump the AST for a particular (bound) AST node. -struct DebugPrintNodeOpData { - explicit DebugPrintNodeOpData(std::string S) : Id(std::move(S)) {} +struct DebugPrintNodeData { + explicit DebugPrintNodeData(std::string S) : Id(std::move(S)) {} std::string Id; }; // The fragment of code corresponding to the selected range. -struct SelectorOpData { - explicit SelectorOpData(RangeSelector S) : Selector(std::move(S)) {} +struct SelectorData { + explicit SelectorData(RangeSelector S) : Selector(std::move(S)) {} RangeSelector Selector; }; + +// A stencil operation that, given a reference to an expression e and a Part +// describing a member m, yields "e->m", when e is a pointer, "e2->m" when e = +// "*e2" and "e.m" otherwise. +struct AccessData { + AccessData(StringRef BaseId, StencilPart Member) + : BaseId(BaseId), Member(std::move(Member)) {} + std::string BaseId; + StencilPart Member; +}; + +struct IfBoundData { + IfBoundData(StringRef Id, StencilPart TruePart, StencilPart FalsePart) + : Id(Id), TruePart(std::move(TruePart)), FalsePart(std::move(FalsePart)) { + } + std::string Id; + StencilPart TruePart; + StencilPart FalsePart; +}; } // namespace bool isEqualData(const RawTextData &A, const RawTextData &B) { return A.Text == B.Text; } -bool isEqualData(const DebugPrintNodeOpData &A, const DebugPrintNodeOpData &B) { +bool isEqualData(const DebugPrintNodeData &A, const DebugPrintNodeData &B) { return A.Id == B.Id; } // Equality is not (yet) defined for \c RangeSelector. -bool isEqualData(const SelectorOpData &, const SelectorOpData &) { return false; } +bool isEqualData(const SelectorData &, const SelectorData &) { + return false; +} + +bool isEqualData(const AccessData &A, const AccessData &B) { + return A.BaseId == B.BaseId && A.Member == B.Member; +} + +bool isEqualData(const IfBoundData &A, const IfBoundData &B) { + return A.Id == B.Id && A.TruePart == B.TruePart && A.FalsePart == B.FalsePart; +} // The `evalData()` overloads evaluate the given stencil data to a string, given // the match result, and append it to `Result`. We define an overload for each @@ -84,7 +116,7 @@ return Error::success(); } -Error evalData(const DebugPrintNodeOpData &Data, +Error evalData(const DebugPrintNodeData &Data, const MatchFinder::MatchResult &Match, std::string *Result) { std::string Output; llvm::raw_string_ostream Os(Output); @@ -96,7 +128,7 @@ return Error::success(); } -Error evalData(const SelectorOpData &Data, const MatchFinder::MatchResult &Match, +Error evalData(const SelectorData &Data, const MatchFinder::MatchResult &Match, std::string *Result) { auto Range = Data.Selector(Match); if (!Range) @@ -105,6 +137,27 @@ return Error::success(); } +Error evalData(const AccessData &Data, const MatchFinder::MatchResult &Match, + std::string *Result) { + const auto *E = Match.Nodes.getNodeAs<Expr>(Data.BaseId); + if (E == nullptr) { + return llvm::make_error<StringError>(errc::invalid_argument, + "Id not bound: " + Data.BaseId); + } + if (!E->isImplicitCXXThis()) { + *Result += E->getType()->isAnyPointerType() ? buildArrow(*Match.Context, *E) + : buildDot(*Match.Context, *E); + } + return Data.Member.eval(Match, Result); +} + +Error evalData(const IfBoundData &Data, const MatchFinder::MatchResult &Match, + std::string *Result) { + auto &M = Match.Nodes.getMap(); + return (M.find(Data.Id) != M.end() ? Data.TruePart : Data.FalsePart) + .eval(Match, Result); +} + template <typename T> class StencilPartImpl : public StencilPartInterface { T Data; @@ -136,8 +189,10 @@ namespace { using RawText = StencilPartImpl<RawTextData>; -using DebugPrintNodeOp = StencilPartImpl<DebugPrintNodeOpData>; -using SelectorOp = StencilPartImpl<SelectorOpData>; +using DebugPrintNodeOp = StencilPartImpl<DebugPrintNodeData>; +using SelectorOp = StencilPartImpl<SelectorData>; +using AccessOp = StencilPartImpl<AccessData>; +using IfBoundOp = StencilPartImpl<IfBoundData>; } // namespace StencilPart Stencil::wrap(StringRef Text) { @@ -173,3 +228,13 @@ StencilPart stencil::dPrint(StringRef Id) { return StencilPart(std::make_shared<DebugPrintNodeOp>(Id)); } + +StencilPart stencil::access(StringRef BaseId, StencilPart Member) { + return StencilPart(std::make_shared<AccessOp>(BaseId, std::move(Member))); +} + +StencilPart stencil::ifBound(StringRef Id, StencilPart TruePart, + StencilPart FalsePart) { + return StencilPart(std::make_shared<IfBoundOp>(Id, std::move(TruePart), + std::move(FalsePart))); +} Index: clang/include/clang/Tooling/Refactoring/Stencil.h =================================================================== --- clang/include/clang/Tooling/Refactoring/Stencil.h +++ clang/include/clang/Tooling/Refactoring/Stencil.h @@ -163,6 +163,24 @@ return selection(tooling::statement(Id)); } +/// Constructs a `MemberExpr` that accesses the named member (\p Member) of the +/// object bound to \p BaseId. The access is constructed idiomatically: if \p +/// BaseId is bound to `e` and \p Member identifies member `m`, then returns +/// `e->m`, when e is a pointer, `e2->m` when e = `*e2` and `e.m` otherwise. +/// Additionally, `e` is wrapped in parentheses, if needed. +StencilPart access(llvm::StringRef BaseId, StencilPart Member); +inline StencilPart access(llvm::StringRef BaseId, llvm::StringRef Member) { + return access(BaseId, text(Member)); +} + +StencilPart ifBound(llvm::StringRef Id, StencilPart TruePart, + StencilPart FalsePart); + +inline StencilPart ifBound(llvm::StringRef Id, llvm::StringRef TrueText, + llvm::StringRef FalseText) { + return ifBound(Id, text(TrueText), text(FalseText)); +} + /// For debug use only; semantics are not guaranteed. /// /// \returns the string resulting from calling the node's print() method.
_______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits