102 lines · cpp
1//===-- MemberwiseConstructorTests.cpp ------------------------------------===//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-exception6//7//===----------------------------------------------------------------------===//8 9#include "TweakTesting.h"10#include "gmock/gmock-matchers.h"11#include "gmock/gmock.h"12#include "gtest/gtest.h"13 14namespace clang {15namespace clangd {16namespace {17using testing::AllOf;18using testing::Eq;19using testing::HasSubstr;20using testing::Not;21 22TWEAK_TEST(MemberwiseConstructor);23 24TEST_F(MemberwiseConstructorTest, Availability) {25 EXPECT_AVAILABLE("^struct ^S ^{ int x, y; };");26 // Verify no crashes on incomplete member fields.27 EXPECT_UNAVAILABLE("/*error-ok*/class Forward; class ^A { Forward f;}");28 EXPECT_UNAVAILABLE("struct S { ^int ^x, y; }; struct ^S;");29 EXPECT_UNAVAILABLE("struct ^S {};");30 EXPECT_UNAVAILABLE("union ^S { int x; };");31 EXPECT_UNAVAILABLE("struct ^S { int x = 0; };");32 EXPECT_UNAVAILABLE("struct ^S { struct { int x; }; };");33 EXPECT_UNAVAILABLE("struct ^{ int x; } e;");34}35 36TEST_F(MemberwiseConstructorTest, Edits) {37 Header = R"cpp(38 struct Move {39 Move(Move&&) = default;40 Move(const Move&) = delete;41 };42 struct Copy {43 Copy(Copy&&) = delete;44 Copy(const Copy&);45 };46 )cpp";47 EXPECT_EQ(apply("struct ^S{Move M; Copy C; int I; int J=4;};"),48 "struct S{"49 "S(Move M, const Copy &C, int I) : M(std::move(M)), C(C), I(I) {}\n"50 "Move M; Copy C; int I; int J=4;};");51}52 53TEST_F(MemberwiseConstructorTest, FieldTreatment) {54 Header = R"cpp(55 struct MoveOnly {56 MoveOnly(MoveOnly&&) = default;57 MoveOnly(const MoveOnly&) = delete;58 };59 struct CopyOnly {60 CopyOnly(CopyOnly&&) = delete;61 CopyOnly(const CopyOnly&);62 };63 struct CopyTrivial {64 CopyTrivial(CopyTrivial&&) = default;65 CopyTrivial(const CopyTrivial&) = default;66 };67 struct Immovable {68 Immovable(Immovable&&) = delete;69 Immovable(const Immovable&) = delete;70 };71 template <typename T>72 struct Traits { using Type = typename T::Type; };73 using IntAlias = int;74 )cpp";75 76 auto Fail = Eq("unavailable");77 auto Move = HasSubstr(": Member(std::move(Member))");78 auto CopyRef = AllOf(HasSubstr("S(const "), HasSubstr(": Member(Member)"));79 auto Copy = AllOf(Not(HasSubstr("S(const ")), HasSubstr(": Member(Member)"));80 auto With = [](llvm::StringRef Type) {81 return ("struct ^S { " + Type + " Member; };").str();82 };83 84 EXPECT_THAT(apply(With("Immovable")), Fail);85 EXPECT_THAT(apply(With("MoveOnly")), Move);86 EXPECT_THAT(apply(With("CopyOnly")), CopyRef);87 EXPECT_THAT(apply(With("CopyTrivial")), Copy);88 EXPECT_THAT(apply(With("int")), Copy);89 EXPECT_THAT(apply(With("IntAlias")), Copy);90 EXPECT_THAT(apply(With("Immovable*")), Copy);91 EXPECT_THAT(apply(With("Immovable&")), Copy);92 93 EXPECT_THAT(apply("template <typename T>" + With("T")), Move);94 EXPECT_THAT(apply("template <typename T>" + With("typename Traits<T>::Type")),95 Move);96 EXPECT_THAT(apply("template <typename T>" + With("T*")), Copy);97}98 99} // namespace100} // namespace clangd101} // namespace clang102