blob: f5fcb0e8d04ed424742f112b2dd87f3b9b31d0ab [file] [log] [blame]
//===-- QualityTests.cpp ----------------------------------------*- C++ -*-===//
//
// 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
//
//===----------------------------------------------------------------------===//
//
// Evaluating scoring functions isn't a great fit for assert-based tests.
// For interesting cases, both exact scores and "X beats Y" are too brittle to
// make good hard assertions.
//
// Here we test the signal extraction and sanity-check that signals point in
// the right direction. This should be supplemented by quality metrics which
// we can compute from a corpus of queries and preferred rankings.
//
//===----------------------------------------------------------------------===//
#include "FileDistance.h"
#include "Quality.h"
#include "TestFS.h"
#include "TestTU.h"
#include "clang/AST/Decl.h"
#include "clang/AST/DeclCXX.h"
#include "clang/AST/Type.h"
#include "clang/Sema/CodeCompleteConsumer.h"
#include "llvm/Support/Casting.h"
#include "gmock/gmock.h"
#include "gtest/gtest.h"
#include <vector>
namespace clang {
namespace clangd {
// Force the unittest URI scheme to be linked,
static int LLVM_ATTRIBUTE_UNUSED UnittestSchemeAnchorDest =
UnittestSchemeAnchorSource;
namespace {
TEST(QualityTests, SymbolQualitySignalExtraction) {
auto Header = TestTU::withHeaderCode(R"cpp(
int _X;
[[deprecated]]
int _f() { return _X; }
#define DECL_NAME(x, y) x##_##y##_Decl
#define DECL(x, y) class DECL_NAME(x, y) {};
DECL(X, Y); // X_Y_Decl
)cpp");
auto Symbols = Header.headerSymbols();
auto AST = Header.build();
SymbolQualitySignals Quality;
Quality.merge(findSymbol(Symbols, "_X"));
EXPECT_FALSE(Quality.Deprecated);
EXPECT_FALSE(Quality.ImplementationDetail);
EXPECT_TRUE(Quality.ReservedName);
EXPECT_EQ(Quality.References, SymbolQualitySignals().References);
EXPECT_EQ(Quality.Category, SymbolQualitySignals::Variable);
Quality.merge(findSymbol(Symbols, "X_Y_Decl"));
EXPECT_TRUE(Quality.ImplementationDetail);
Symbol F = findSymbol(Symbols, "_f");
F.References = 24; // TestTU doesn't count references, so fake it.
Quality = {};
Quality.merge(F);
EXPECT_TRUE(Quality.Deprecated);
EXPECT_FALSE(Quality.ReservedName);
EXPECT_EQ(Quality.References, 24u);
EXPECT_EQ(Quality.Category, SymbolQualitySignals::Function);
Quality = {};
Quality.merge(CodeCompletionResult(&findDecl(AST, "_f"), /*Priority=*/42));
EXPECT_TRUE(Quality.Deprecated);
EXPECT_FALSE(Quality.ReservedName);
EXPECT_EQ(Quality.References, SymbolQualitySignals().References);
EXPECT_EQ(Quality.Category, SymbolQualitySignals::Function);
Quality = {};
Quality.merge(CodeCompletionResult("if"));
EXPECT_EQ(Quality.Category, SymbolQualitySignals::Keyword);
}
TEST(QualityTests, SymbolRelevanceSignalExtraction) {
TestTU Test;
Test.HeaderCode = R"cpp(
int header();
int header_main();
namespace hdr { class Bar {}; } // namespace hdr
#define DEFINE_FLAG(X) \
namespace flags { \
int FLAGS_##X; \
} \
DEFINE_FLAG(FOO)
)cpp";
Test.Code = R"cpp(
using hdr::Bar;
using flags::FLAGS_FOO;
int ::header_main() {}
int main();
[[deprecated]]
int deprecated() { return 0; }
namespace { struct X { void y() { int z; } }; }
struct S{};
)cpp";
auto AST = Test.build();
SymbolRelevanceSignals Relevance;
Relevance.merge(CodeCompletionResult(&findDecl(AST, "deprecated"),
/*Priority=*/42, nullptr, false,
/*Accessible=*/false));
EXPECT_EQ(Relevance.NameMatch, SymbolRelevanceSignals().NameMatch);
EXPECT_TRUE(Relevance.Forbidden);
EXPECT_EQ(Relevance.Scope, SymbolRelevanceSignals::GlobalScope);
Relevance = {};
Relevance.merge(CodeCompletionResult(&findDecl(AST, "main"), 42));
EXPECT_FLOAT_EQ(Relevance.SemaFileProximityScore, 1.0f)
<< "Decl in current file";
Relevance = {};
Relevance.merge(CodeCompletionResult(&findDecl(AST, "header"), 42));
EXPECT_FLOAT_EQ(Relevance.SemaFileProximityScore, 0.6f) << "Decl from header";
Relevance = {};
Relevance.merge(CodeCompletionResult(&findDecl(AST, "header_main"), 42));
EXPECT_FLOAT_EQ(Relevance.SemaFileProximityScore, 1.0f)
<< "Current file and header";
auto constructShadowDeclCompletionResult = [&](const std::string DeclName) {
auto *Shadow =
*dyn_cast<UsingDecl>(&findDecl(AST, [&](const NamedDecl &ND) {
if (const UsingDecl *Using = dyn_cast<UsingDecl>(&ND))
if (Using->shadow_size() &&
Using->getQualifiedNameAsString() == DeclName)
return true;
return false;
}))->shadow_begin();
CodeCompletionResult Result(Shadow->getTargetDecl(), 42);
Result.ShadowDecl = Shadow;
return Result;
};
Relevance = {};
Relevance.merge(constructShadowDeclCompletionResult("Bar"));
EXPECT_FLOAT_EQ(Relevance.SemaFileProximityScore, 1.0f)
<< "Using declaration in main file";
Relevance.merge(constructShadowDeclCompletionResult("FLAGS_FOO"));
EXPECT_FLOAT_EQ(Relevance.SemaFileProximityScore, 1.0f)
<< "Using declaration in main file";
Relevance = {};
Relevance.merge(CodeCompletionResult(&findUnqualifiedDecl(AST, "X"), 42));
EXPECT_EQ(Relevance.Scope, SymbolRelevanceSignals::FileScope);
Relevance = {};
Relevance.merge(CodeCompletionResult(&findUnqualifiedDecl(AST, "y"), 42));
EXPECT_EQ(Relevance.Scope, SymbolRelevanceSignals::ClassScope);
Relevance = {};
Relevance.merge(CodeCompletionResult(&findUnqualifiedDecl(AST, "z"), 42));
EXPECT_EQ(Relevance.Scope, SymbolRelevanceSignals::FunctionScope);
// The injected class name is treated as the outer class name.
Relevance = {};
Relevance.merge(CodeCompletionResult(&findDecl(AST, "S::S"), 42));
EXPECT_EQ(Relevance.Scope, SymbolRelevanceSignals::GlobalScope);
Relevance = {};
EXPECT_FALSE(Relevance.InBaseClass);
auto BaseMember = CodeCompletionResult(&findUnqualifiedDecl(AST, "y"), 42);
BaseMember.InBaseClass = true;
Relevance.merge(BaseMember);
EXPECT_TRUE(Relevance.InBaseClass);
auto Index = Test.index();
FuzzyFindRequest Req;
Req.Query = "X";
Req.AnyScope = true;
bool Matched = false;
Index->fuzzyFind(Req, [&](const Symbol &S) {
Matched = true;
Relevance = {};
Relevance.merge(S);
EXPECT_EQ(Relevance.Scope, SymbolRelevanceSignals::FileScope);
});
EXPECT_TRUE(Matched);
}
// Do the signals move the scores in the direction we expect?
TEST(QualityTests, SymbolQualitySignalsSanity) {
SymbolQualitySignals Default;
EXPECT_EQ(Default.evaluateHeuristics(), 1);
SymbolQualitySignals Deprecated;
Deprecated.Deprecated = true;
EXPECT_LT(Deprecated.evaluateHeuristics(), Default.evaluateHeuristics());
SymbolQualitySignals ReservedName;
ReservedName.ReservedName = true;
EXPECT_LT(ReservedName.evaluateHeuristics(), Default.evaluateHeuristics());
SymbolQualitySignals ImplementationDetail;
ImplementationDetail.ImplementationDetail = true;
EXPECT_LT(ImplementationDetail.evaluateHeuristics(),
Default.evaluateHeuristics());
SymbolQualitySignals WithReferences, ManyReferences;
WithReferences.References = 20;
ManyReferences.References = 1000;
EXPECT_GT(WithReferences.evaluateHeuristics(), Default.evaluateHeuristics());
EXPECT_GT(ManyReferences.evaluateHeuristics(),
WithReferences.evaluateHeuristics());
SymbolQualitySignals Keyword, Variable, Macro, Constructor, Function,
Destructor, Operator;
Keyword.Category = SymbolQualitySignals::Keyword;
Variable.Category = SymbolQualitySignals::Variable;
Macro.Category = SymbolQualitySignals::Macro;
Constructor.Category = SymbolQualitySignals::Constructor;
Destructor.Category = SymbolQualitySignals::Destructor;
Destructor.Category = SymbolQualitySignals::Destructor;
Operator.Category = SymbolQualitySignals::Operator;
Function.Category = SymbolQualitySignals::Function;
EXPECT_GT(Variable.evaluateHeuristics(), Default.evaluateHeuristics());
EXPECT_GT(Keyword.evaluateHeuristics(), Variable.evaluateHeuristics());
EXPECT_LT(Macro.evaluateHeuristics(), Default.evaluateHeuristics());
EXPECT_LT(Operator.evaluateHeuristics(), Default.evaluateHeuristics());
EXPECT_LT(Constructor.evaluateHeuristics(), Function.evaluateHeuristics());
EXPECT_LT(Destructor.evaluateHeuristics(), Constructor.evaluateHeuristics());
}
TEST(QualityTests, SymbolRelevanceSignalsSanity) {
SymbolRelevanceSignals Default;
EXPECT_EQ(Default.evaluateHeuristics(), 1);
SymbolRelevanceSignals Forbidden;
Forbidden.Forbidden = true;
EXPECT_LT(Forbidden.evaluateHeuristics(), Default.evaluateHeuristics());
SymbolRelevanceSignals PoorNameMatch;
PoorNameMatch.NameMatch = 0.2f;
EXPECT_LT(PoorNameMatch.evaluateHeuristics(), Default.evaluateHeuristics());
SymbolRelevanceSignals WithSemaFileProximity;
WithSemaFileProximity.SemaFileProximityScore = 0.2f;
EXPECT_GT(WithSemaFileProximity.evaluateHeuristics(),
Default.evaluateHeuristics());
ScopeDistance ScopeProximity({"x::y::"});
SymbolRelevanceSignals WithSemaScopeProximity;
WithSemaScopeProximity.ScopeProximityMatch = &ScopeProximity;
WithSemaScopeProximity.SemaSaysInScope = true;
EXPECT_GT(WithSemaScopeProximity.evaluateHeuristics(),
Default.evaluateHeuristics());
SymbolRelevanceSignals WithIndexScopeProximity;
WithIndexScopeProximity.ScopeProximityMatch = &ScopeProximity;
WithIndexScopeProximity.SymbolScope = "x::";
EXPECT_GT(WithSemaScopeProximity.evaluateHeuristics(),
Default.evaluateHeuristics());
SymbolRelevanceSignals IndexProximate;
IndexProximate.SymbolURI = "unittest:/foo/bar.h";
llvm::StringMap<SourceParams> ProxSources;
ProxSources.try_emplace(testPath("foo/baz.h"));
URIDistance Distance(ProxSources);
IndexProximate.FileProximityMatch = &Distance;
EXPECT_GT(IndexProximate.evaluateHeuristics(), Default.evaluateHeuristics());
SymbolRelevanceSignals IndexDistant = IndexProximate;
IndexDistant.SymbolURI = "unittest:/elsewhere/path.h";
EXPECT_GT(IndexProximate.evaluateHeuristics(),
IndexDistant.evaluateHeuristics())
<< IndexProximate << IndexDistant;
EXPECT_GT(IndexDistant.evaluateHeuristics(), Default.evaluateHeuristics());
SymbolRelevanceSignals Scoped;
Scoped.Scope = SymbolRelevanceSignals::FileScope;
EXPECT_LT(Scoped.evaluateHeuristics(), Default.evaluateHeuristics());
Scoped.Query = SymbolRelevanceSignals::CodeComplete;
EXPECT_GT(Scoped.evaluateHeuristics(), Default.evaluateHeuristics());
SymbolRelevanceSignals Instance;
Instance.IsInstanceMember = false;
EXPECT_EQ(Instance.evaluateHeuristics(), Default.evaluateHeuristics());
Instance.Context = CodeCompletionContext::CCC_DotMemberAccess;
EXPECT_LT(Instance.evaluateHeuristics(), Default.evaluateHeuristics());
Instance.IsInstanceMember = true;
EXPECT_EQ(Instance.evaluateHeuristics(), Default.evaluateHeuristics());
SymbolRelevanceSignals InBaseClass;
InBaseClass.InBaseClass = true;
EXPECT_LT(InBaseClass.evaluateHeuristics(), Default.evaluateHeuristics());
llvm::StringSet<> Words = {"one", "two", "three"};
SymbolRelevanceSignals WithoutMatchingWord;
WithoutMatchingWord.ContextWords = &Words;
WithoutMatchingWord.Name = "four";
EXPECT_EQ(WithoutMatchingWord.evaluateHeuristics(),
Default.evaluateHeuristics());
SymbolRelevanceSignals WithMatchingWord;
WithMatchingWord.ContextWords = &Words;
WithMatchingWord.Name = "TheTwoTowers";
EXPECT_GT(WithMatchingWord.evaluateHeuristics(),
Default.evaluateHeuristics());
}
TEST(QualityTests, ScopeProximity) {
SymbolRelevanceSignals Relevance;
ScopeDistance ScopeProximity({"x::y::z::", "x::", "llvm::", ""});
Relevance.ScopeProximityMatch = &ScopeProximity;
Relevance.SymbolScope = "other::";
float NotMatched = Relevance.evaluateHeuristics();
Relevance.SymbolScope = "";
float Global = Relevance.evaluateHeuristics();
EXPECT_GT(Global, NotMatched);
Relevance.SymbolScope = "llvm::";
float NonParent = Relevance.evaluateHeuristics();
EXPECT_GT(NonParent, Global);
Relevance.SymbolScope = "x::";
float GrandParent = Relevance.evaluateHeuristics();
EXPECT_GT(GrandParent, Global);
Relevance.SymbolScope = "x::y::";
float Parent = Relevance.evaluateHeuristics();
EXPECT_GT(Parent, GrandParent);
Relevance.SymbolScope = "x::y::z::";
float Enclosing = Relevance.evaluateHeuristics();
EXPECT_GT(Enclosing, Parent);
}
TEST(QualityTests, SortText) {
EXPECT_LT(sortText(std::numeric_limits<float>::infinity()),
sortText(1000.2f));
EXPECT_LT(sortText(1000.2f), sortText(1));
EXPECT_LT(sortText(1), sortText(0.3f));
EXPECT_LT(sortText(0.3f), sortText(0));
EXPECT_LT(sortText(0), sortText(-10));
EXPECT_LT(sortText(-10), sortText(-std::numeric_limits<float>::infinity()));
EXPECT_LT(sortText(1, "z"), sortText(0, "a"));
EXPECT_LT(sortText(0, "a"), sortText(0, "z"));
}
TEST(QualityTests, NoBoostForClassConstructor) {
auto Header = TestTU::withHeaderCode(R"cpp(
class Foo {
public:
Foo(int);
};
)cpp");
auto Symbols = Header.headerSymbols();
auto AST = Header.build();
const NamedDecl *Foo = &findDecl(AST, "Foo");
SymbolRelevanceSignals Cls;
Cls.merge(CodeCompletionResult(Foo, /*Priority=*/0));
const NamedDecl *CtorDecl = &findDecl(AST, [](const NamedDecl &ND) {
return (ND.getQualifiedNameAsString() == "Foo::Foo") &&
isa<CXXConstructorDecl>(&ND);
});
SymbolRelevanceSignals Ctor;
Ctor.merge(CodeCompletionResult(CtorDecl, /*Priority=*/0));
EXPECT_EQ(Cls.Scope, SymbolRelevanceSignals::GlobalScope);
EXPECT_EQ(Ctor.Scope, SymbolRelevanceSignals::GlobalScope);
}
TEST(QualityTests, IsInstanceMember) {
auto Header = TestTU::withHeaderCode(R"cpp(
class Foo {
public:
static void foo() {}
template <typename T> void tpl(T *t) {}
void bar() {}
};
)cpp");
auto Symbols = Header.headerSymbols();
SymbolRelevanceSignals Rel;
const Symbol &FooSym = findSymbol(Symbols, "Foo::foo");
Rel.merge(FooSym);
EXPECT_FALSE(Rel.IsInstanceMember);
const Symbol &BarSym = findSymbol(Symbols, "Foo::bar");
Rel.merge(BarSym);
EXPECT_TRUE(Rel.IsInstanceMember);
Rel.IsInstanceMember = false;
const Symbol &TplSym = findSymbol(Symbols, "Foo::tpl");
Rel.merge(TplSym);
EXPECT_TRUE(Rel.IsInstanceMember);
auto AST = Header.build();
const NamedDecl *Foo = &findDecl(AST, "Foo::foo");
const NamedDecl *Bar = &findDecl(AST, "Foo::bar");
const NamedDecl *Tpl = &findDecl(AST, "Foo::tpl");
Rel.IsInstanceMember = false;
Rel.merge(CodeCompletionResult(Foo, /*Priority=*/0));
EXPECT_FALSE(Rel.IsInstanceMember);
Rel.merge(CodeCompletionResult(Bar, /*Priority=*/0));
EXPECT_TRUE(Rel.IsInstanceMember);
Rel.IsInstanceMember = false;
Rel.merge(CodeCompletionResult(Tpl, /*Priority=*/0));
EXPECT_TRUE(Rel.IsInstanceMember);
}
TEST(QualityTests, ConstructorDestructor) {
auto Header = TestTU::withHeaderCode(R"cpp(
class Foo {
public:
Foo(int);
~Foo();
};
)cpp");
auto Symbols = Header.headerSymbols();
auto AST = Header.build();
const NamedDecl *CtorDecl = &findDecl(AST, [](const NamedDecl &ND) {
return (ND.getQualifiedNameAsString() == "Foo::Foo") &&
isa<CXXConstructorDecl>(&ND);
});
const NamedDecl *DtorDecl = &findDecl(AST, [](const NamedDecl &ND) {
return (ND.getQualifiedNameAsString() == "Foo::~Foo") &&
isa<CXXDestructorDecl>(&ND);
});
SymbolQualitySignals CtorQ;
CtorQ.merge(CodeCompletionResult(CtorDecl, /*Priority=*/0));
EXPECT_EQ(CtorQ.Category, SymbolQualitySignals::Constructor);
CtorQ.Category = SymbolQualitySignals::Unknown;
const Symbol &CtorSym = findSymbol(Symbols, "Foo::Foo");
CtorQ.merge(CtorSym);
EXPECT_EQ(CtorQ.Category, SymbolQualitySignals::Constructor);
SymbolQualitySignals DtorQ;
DtorQ.merge(CodeCompletionResult(DtorDecl, /*Priority=*/0));
EXPECT_EQ(DtorQ.Category, SymbolQualitySignals::Destructor);
}
TEST(QualityTests, Operator) {
auto Header = TestTU::withHeaderCode(R"cpp(
class Foo {
public:
bool operator<(const Foo& f1);
};
)cpp");
auto AST = Header.build();
const NamedDecl *Operator = &findDecl(AST, [](const NamedDecl &ND) {
if (const auto *OD = dyn_cast<FunctionDecl>(&ND))
if (OD->isOverloadedOperator())
return true;
return false;
});
SymbolQualitySignals Q;
Q.merge(CodeCompletionResult(Operator, /*Priority=*/0));
EXPECT_EQ(Q.Category, SymbolQualitySignals::Operator);
}
TEST(QualityTests, ItemWithFixItsRankedDown) {
CodeCompleteOptions Opts;
Opts.IncludeFixIts = true;
auto Header = TestTU::withHeaderCode(R"cpp(
int x;
)cpp");
auto AST = Header.build();
SymbolRelevanceSignals RelevanceWithFixIt;
RelevanceWithFixIt.merge(CodeCompletionResult(&findDecl(AST, "x"), 0, nullptr,
false, true, {FixItHint{}}));
EXPECT_TRUE(RelevanceWithFixIt.NeedsFixIts);
SymbolRelevanceSignals RelevanceWithoutFixIt;
RelevanceWithoutFixIt.merge(
CodeCompletionResult(&findDecl(AST, "x"), 0, nullptr, false, true, {}));
EXPECT_FALSE(RelevanceWithoutFixIt.NeedsFixIts);
EXPECT_LT(RelevanceWithFixIt.evaluateHeuristics(),
RelevanceWithoutFixIt.evaluateHeuristics());
}
} // namespace
} // namespace clangd
} // namespace clang