123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271 |
- //===- unittests/AST/NamedDeclPrinterTest.cpp --- NamedDecl printer tests -===//
- //
- // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
- // See https://llvm.org/LICENSE.txt for license information.
- // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
- //
- //===----------------------------------------------------------------------===//
- //
- // This file contains tests for NamedDecl::printQualifiedName().
- //
- // These tests have a coding convention:
- // * declaration to be printed is named 'A' unless it should have some special
- // name (e.g., 'operator+');
- // * additional helper declarations are 'Z', 'Y', 'X' and so on.
- //
- //===----------------------------------------------------------------------===//
- #include "clang/AST/ASTContext.h"
- #include "clang/AST/Decl.h"
- #include "clang/AST/PrettyPrinter.h"
- #include "clang/ASTMatchers/ASTMatchFinder.h"
- #include "clang/Tooling/Tooling.h"
- #include "llvm/ADT/SmallString.h"
- #include "llvm/Support/raw_ostream.h"
- #include "gtest/gtest.h"
- using namespace clang;
- using namespace ast_matchers;
- using namespace tooling;
- namespace {
- class PrintMatch : public MatchFinder::MatchCallback {
- SmallString<1024> Printed;
- unsigned NumFoundDecls;
- std::function<void(llvm::raw_ostream &OS, const NamedDecl *)> Printer;
- public:
- explicit PrintMatch(
- std::function<void(llvm::raw_ostream &OS, const NamedDecl *)> Printer)
- : NumFoundDecls(0), Printer(std::move(Printer)) {}
- void run(const MatchFinder::MatchResult &Result) override {
- const NamedDecl *ND = Result.Nodes.getNodeAs<NamedDecl>("id");
- if (!ND)
- return;
- NumFoundDecls++;
- if (NumFoundDecls > 1)
- return;
- llvm::raw_svector_ostream Out(Printed);
- Printer(Out, ND);
- }
- StringRef getPrinted() const {
- return Printed;
- }
- unsigned getNumFoundDecls() const {
- return NumFoundDecls;
- }
- };
- ::testing::AssertionResult PrintedDeclMatches(
- StringRef Code, const std::vector<std::string> &Args,
- const DeclarationMatcher &NodeMatch, StringRef ExpectedPrinted,
- StringRef FileName,
- std::function<void(llvm::raw_ostream &, const NamedDecl *)> Print) {
- PrintMatch Printer(std::move(Print));
- MatchFinder Finder;
- Finder.addMatcher(NodeMatch, &Printer);
- std::unique_ptr<FrontendActionFactory> Factory =
- newFrontendActionFactory(&Finder);
- if (!runToolOnCodeWithArgs(Factory->create(), Code, Args, FileName))
- return testing::AssertionFailure()
- << "Parsing error in \"" << Code.str() << "\"";
- if (Printer.getNumFoundDecls() == 0)
- return testing::AssertionFailure()
- << "Matcher didn't find any named declarations";
- if (Printer.getNumFoundDecls() > 1)
- return testing::AssertionFailure()
- << "Matcher should match only one named declaration "
- "(found " << Printer.getNumFoundDecls() << ")";
- if (Printer.getPrinted() != ExpectedPrinted)
- return ::testing::AssertionFailure()
- << "Expected \"" << ExpectedPrinted.str() << "\", "
- "got \"" << Printer.getPrinted().str() << "\"";
- return ::testing::AssertionSuccess();
- }
- ::testing::AssertionResult
- PrintedNamedDeclMatches(StringRef Code, const std::vector<std::string> &Args,
- bool SuppressUnwrittenScope,
- const DeclarationMatcher &NodeMatch,
- StringRef ExpectedPrinted, StringRef FileName) {
- return PrintedDeclMatches(Code, Args, NodeMatch, ExpectedPrinted, FileName,
- [=](llvm::raw_ostream &Out, const NamedDecl *ND) {
- auto Policy =
- ND->getASTContext().getPrintingPolicy();
- Policy.SuppressUnwrittenScope =
- SuppressUnwrittenScope;
- ND->printQualifiedName(Out, Policy);
- });
- }
- ::testing::AssertionResult
- PrintedNamedDeclCXX98Matches(StringRef Code, StringRef DeclName,
- StringRef ExpectedPrinted) {
- std::vector<std::string> Args(1, "-std=c++98");
- return PrintedNamedDeclMatches(Code,
- Args,
- /*SuppressUnwrittenScope*/ false,
- namedDecl(hasName(DeclName)).bind("id"),
- ExpectedPrinted,
- "input.cc");
- }
- ::testing::AssertionResult
- PrintedWrittenNamedDeclCXX11Matches(StringRef Code, StringRef DeclName,
- StringRef ExpectedPrinted) {
- std::vector<std::string> Args(1, "-std=c++11");
- return PrintedNamedDeclMatches(Code,
- Args,
- /*SuppressUnwrittenScope*/ true,
- namedDecl(hasName(DeclName)).bind("id"),
- ExpectedPrinted,
- "input.cc");
- }
- ::testing::AssertionResult
- PrintedWrittenPropertyDeclObjCMatches(StringRef Code, StringRef DeclName,
- StringRef ExpectedPrinted) {
- std::vector<std::string> Args{"-std=c++11", "-xobjective-c++"};
- return PrintedNamedDeclMatches(Code,
- Args,
- /*SuppressUnwrittenScope*/ true,
- objcPropertyDecl(hasName(DeclName)).bind("id"),
- ExpectedPrinted,
- "input.m");
- }
- ::testing::AssertionResult
- PrintedNestedNameSpecifierMatches(StringRef Code, StringRef DeclName,
- StringRef ExpectedPrinted) {
- std::vector<std::string> Args{"-std=c++11"};
- return PrintedDeclMatches(Code, Args, namedDecl(hasName(DeclName)).bind("id"),
- ExpectedPrinted, "input.cc",
- [](llvm::raw_ostream &Out, const NamedDecl *D) {
- D->printNestedNameSpecifier(Out);
- });
- }
- } // unnamed namespace
- TEST(NamedDeclPrinter, TestNamespace1) {
- ASSERT_TRUE(PrintedNamedDeclCXX98Matches(
- "namespace { int A; }",
- "A",
- "(anonymous namespace)::A"));
- }
- TEST(NamedDeclPrinter, TestNamespace2) {
- ASSERT_TRUE(PrintedWrittenNamedDeclCXX11Matches(
- "inline namespace Z { namespace { int A; } }",
- "A",
- "A"));
- }
- TEST(NamedDeclPrinter, TestUnscopedUnnamedEnum) {
- ASSERT_TRUE(PrintedWrittenNamedDeclCXX11Matches(
- "enum { A };",
- "A",
- "A"));
- }
- TEST(NamedDeclPrinter, TestNamedEnum) {
- ASSERT_TRUE(PrintedWrittenNamedDeclCXX11Matches(
- "enum X { A };",
- "A",
- "A"));
- }
- TEST(NamedDeclPrinter, TestScopedNamedEnum) {
- ASSERT_TRUE(PrintedWrittenNamedDeclCXX11Matches(
- "enum class X { A };",
- "A",
- "X::A"));
- }
- TEST(NamedDeclPrinter, TestClassWithUnscopedUnnamedEnum) {
- ASSERT_TRUE(PrintedWrittenNamedDeclCXX11Matches(
- "class X { enum { A }; };",
- "A",
- "X::A"));
- }
- TEST(NamedDeclPrinter, TestClassWithUnscopedNamedEnum) {
- ASSERT_TRUE(PrintedWrittenNamedDeclCXX11Matches(
- "class X { enum Y { A }; };",
- "A",
- "X::A"));
- }
- TEST(NamedDeclPrinter, TestClassWithScopedNamedEnum) {
- ASSERT_TRUE(PrintedWrittenNamedDeclCXX11Matches(
- "class X { enum class Y { A }; };",
- "A",
- "X::Y::A"));
- }
- TEST(NamedDeclPrinter, TestLinkageInNamespace) {
- ASSERT_TRUE(PrintedWrittenNamedDeclCXX11Matches(
- "namespace X { extern \"C\" { int A; } }",
- "A",
- "X::A"));
- }
- TEST(NamedDeclPrinter, TestObjCClassExtension) {
- const char *Code =
- R"(
- @interface Obj
- @end
- @interface Obj ()
- @property(nonatomic) int property;
- @end
- )";
- ASSERT_TRUE(PrintedWrittenPropertyDeclObjCMatches(
- Code,
- "property",
- "Obj::property"));
- }
- TEST(NamedDeclPrinter, TestObjCClassExtensionWithGetter) {
- const char *Code =
- R"(
- @interface Obj
- @end
- @interface Obj ()
- @property(nonatomic, getter=myPropertyGetter) int property;
- @end
- )";
- ASSERT_TRUE(PrintedWrittenPropertyDeclObjCMatches(
- Code,
- "property",
- "Obj::property"));
- }
- TEST(NamedDeclPrinter, NestedNameSpecifierSimple) {
- const char *Code =
- R"(
- namespace foo { namespace bar { void func(); } }
- )";
- ASSERT_TRUE(PrintedNestedNameSpecifierMatches(Code, "func", "foo::bar::"));
- }
- TEST(NamedDeclPrinter, NestedNameSpecifierTemplateArgs) {
- const char *Code =
- R"(
- template <class T> struct vector;
- template <> struct vector<int> { int method(); };
- )";
- ASSERT_TRUE(
- PrintedNestedNameSpecifierMatches(Code, "method", "vector<int>::"));
- }
|