ccls/src/clang_indexer.cc

2359 lines
83 KiB
C++
Raw Normal View History

2017-02-22 08:52:00 +00:00
#include "indexer.h"
2017-02-17 09:57:44 +00:00
#include "clang_cursor.h"
#include "clang_utils.h"
2017-04-08 22:54:36 +00:00
#include "platform.h"
#include "serializer.h"
#include "timer.h"
#include "type_printer.h"
2017-07-30 04:24:02 +00:00
#include <loguru.hpp>
2018-03-31 20:59:27 +00:00
#include <limits.h>
2017-04-22 07:39:55 +00:00
#include <algorithm>
#include <cassert>
2017-04-22 07:39:55 +00:00
#include <chrono>
2018-01-10 08:21:55 +00:00
#include <iostream>
2017-04-22 07:39:55 +00:00
2017-09-22 01:14:57 +00:00
// TODO: See if we can use clang_indexLoc_getFileLocation to get a type ref on
// |Foobar| in DISALLOW_COPY(Foobar)
#if CINDEX_VERSION >= 47
#define CINDEX_HAVE_PRETTY 1
#endif
#if CINDEX_VERSION >= 48
#define CINDEX_HAVE_ROLE 1
#endif
namespace {
2017-12-19 07:05:12 +00:00
// For typedef/using spanning less than or equal to (this number) of lines,
// display their declarations on hover.
constexpr int kMaxLinesDisplayTypeAliasDeclarations = 3;
2017-04-12 07:57:12 +00:00
// TODO How to check if a reference to type is a declaration?
// This currently also includes constructors/destructors.
// It seems declarations in functions are not indexed.
bool IsDeclContext(CXIdxEntityKind kind) {
switch (kind) {
case CXIdxEntity_CXXClass:
case CXIdxEntity_CXXNamespace:
case CXIdxEntity_ObjCCategory:
case CXIdxEntity_ObjCClass:
case CXIdxEntity_ObjCProtocol:
case CXIdxEntity_Struct:
return true;
default:
return false;
}
}
Role GetRole(const CXIdxEntityRefInfo* ref_info, Role role) {
#if CINDEX_HAVE_ROLE
return static_cast<Role>(static_cast<int>(ref_info->role));
#else
return role;
#endif
}
SymbolKind GetSymbolKind(CXCursorKind kind) {
switch (kind) {
2018-03-02 18:18:01 +00:00
case CXCursor_TranslationUnit:
return SymbolKind::File;
2018-02-22 07:34:32 +00:00
case CXCursor_FunctionDecl:
case CXCursor_CXXMethod:
case CXCursor_Constructor:
case CXCursor_Destructor:
case CXCursor_ConversionFunction:
case CXCursor_FunctionTemplate:
case CXCursor_OverloadedDeclRef:
case CXCursor_LambdaExpr:
case CXCursor_ObjCInstanceMethodDecl:
case CXCursor_ObjCClassMethodDecl:
2018-02-22 07:34:32 +00:00
return SymbolKind::Func;
case CXCursor_StructDecl:
case CXCursor_UnionDecl:
2018-02-22 07:34:32 +00:00
case CXCursor_ClassDecl:
case CXCursor_EnumDecl:
case CXCursor_ObjCInterfaceDecl:
case CXCursor_ObjCCategoryDecl:
case CXCursor_ObjCImplementationDecl:
case CXCursor_Namespace:
2018-02-22 07:34:32 +00:00
return SymbolKind::Type;
default:
return SymbolKind::Invalid;
}
}
// Inverse of libclang/CXIndexDataConsumer.cpp getEntityKindFromSymbolKind
lsSymbolKind GetSymbolKind(CXIdxEntityKind kind) {
2018-01-07 09:07:39 +00:00
switch (kind) {
case CXIdxEntity_Unexposed:
return lsSymbolKind::Unknown;
case CXIdxEntity_Typedef:
return lsSymbolKind::TypeAlias;
case CXIdxEntity_Function:
return lsSymbolKind::Function;
case CXIdxEntity_Variable:
// Can also be Parameter
return lsSymbolKind::Variable;
case CXIdxEntity_Field:
return lsSymbolKind::Field;
case CXIdxEntity_EnumConstant:
return lsSymbolKind::EnumMember;
case CXIdxEntity_ObjCClass:
return lsSymbolKind::Class;
case CXIdxEntity_ObjCProtocol:
return lsSymbolKind::Interface;
case CXIdxEntity_ObjCCategory:
return lsSymbolKind::Interface;
case CXIdxEntity_ObjCInstanceMethod:
return lsSymbolKind::Method;
case CXIdxEntity_ObjCClassMethod:
return lsSymbolKind::StaticMethod;
case CXIdxEntity_ObjCProperty:
return lsSymbolKind::Property;
case CXIdxEntity_ObjCIvar:
return lsSymbolKind::Field;
case CXIdxEntity_Enum:
return lsSymbolKind::Enum;
case CXIdxEntity_Struct:
case CXIdxEntity_Union:
return lsSymbolKind::Struct;
case CXIdxEntity_CXXClass:
return lsSymbolKind::Class;
case CXIdxEntity_CXXNamespace:
return lsSymbolKind::Namespace;
case CXIdxEntity_CXXNamespaceAlias:
return lsSymbolKind::Namespace;
case CXIdxEntity_CXXStaticVariable:
return lsSymbolKind::Field;
case CXIdxEntity_CXXStaticMethod:
return lsSymbolKind::StaticMethod;
case CXIdxEntity_CXXInstanceMethod:
return lsSymbolKind::Method;
case CXIdxEntity_CXXConstructor:
return lsSymbolKind::Constructor;
case CXIdxEntity_CXXDestructor:
return lsSymbolKind::Method;
case CXIdxEntity_CXXConversionFunction:
return lsSymbolKind::Constructor;
case CXIdxEntity_CXXTypeAlias:
return lsSymbolKind::TypeAlias;
case CXIdxEntity_CXXInterface:
return lsSymbolKind::Struct;
2018-01-07 09:07:39 +00:00
}
return lsSymbolKind::Unknown;
2018-01-07 09:07:39 +00:00
}
StorageClass GetStorageClass(CX_StorageClass storage) {
switch (storage) {
case CX_SC_Invalid:
case CX_SC_OpenCLWorkGroupLocal:
return StorageClass::Invalid;
case CX_SC_None:
return StorageClass::None;
case CX_SC_Extern:
return StorageClass::Extern;
case CX_SC_Static:
return StorageClass::Static;
case CX_SC_PrivateExtern:
return StorageClass::PrivateExtern;
case CX_SC_Auto:
return StorageClass::Auto;
case CX_SC_Register:
return StorageClass::Register;
}
return StorageClass::None;
}
// Caches all instances of constructors, regardless if they are indexed or not.
// The constructor may have a make_unique call associated with it that we need
// to export. If we do not capture the parameter type description for the
// constructor we will not be able to attribute the constructor call correctly.
struct ConstructorCache {
struct Constructor {
2018-01-13 08:10:39 +00:00
Usr usr;
std::vector<std::string> param_type_desc;
};
2018-01-13 08:10:39 +00:00
std::unordered_map<Usr, std::vector<Constructor>> constructors_;
// This should be called whenever there is a constructor declaration.
void NotifyConstructor(ClangCursor ctor_cursor) {
auto build_type_desc = [](ClangCursor cursor) {
std::vector<std::string> type_desc;
for (ClangCursor arg : cursor.get_arguments()) {
if (arg.get_kind() == CXCursor_ParmDecl)
type_desc.push_back(arg.get_type_description());
}
return type_desc;
};
Constructor ctor{ctor_cursor.get_usr_hash(), build_type_desc(ctor_cursor)};
// Insert into |constructors_|.
auto type_usr_hash = ctor_cursor.get_semantic_parent().get_usr_hash();
auto existing_ctors = constructors_.find(type_usr_hash);
if (existing_ctors != constructors_.end()) {
existing_ctors->second.push_back(ctor);
} else {
constructors_[type_usr_hash] = {ctor};
}
}
// Tries to lookup a constructor in |type_usr| that takes arguments most
// closely aligned to |param_type_desc|.
2018-03-31 03:16:33 +00:00
std::optional<Usr> TryFindConstructorUsr(
2018-01-13 08:10:39 +00:00
Usr type_usr,
const std::vector<std::string>& param_type_desc) {
auto count_matching_prefix_length = [](const char* a, const char* b) {
int matched = 0;
while (*a && *b) {
if (*a != *b)
break;
++a;
++b;
++matched;
}
// Additional score if the strings were the same length, which makes
// "a"/"a" match higher than "a"/"a&"
if (*a == *b)
matched += 1;
return matched;
};
// Try to find constructors for the type. If there are no constructors
// available, return an empty result.
auto ctors_it = constructors_.find(type_usr);
if (ctors_it == constructors_.end())
2018-03-31 03:16:33 +00:00
return std::nullopt;
const std::vector<Constructor>& ctors = ctors_it->second;
if (ctors.empty())
2018-03-31 03:16:33 +00:00
return std::nullopt;
2018-01-15 16:57:47 +00:00
Usr best_usr = ctors[0].usr;
int best_score = INT_MIN;
// Scan constructors for the best possible match.
for (const Constructor& ctor : ctors) {
// If |param_type_desc| is empty and the constructor is as well, we don't
// need to bother searching, as this is the match.
if (param_type_desc.empty() && ctor.param_type_desc.empty()) {
best_usr = ctor.usr;
break;
}
// Weight matching parameter length heavily, as it is more accurate than
// the fuzzy type matching approach.
int score = 0;
if (param_type_desc.size() == ctor.param_type_desc.size())
score += param_type_desc.size() * 1000;
// Do prefix-based match on parameter type description. This works well in
// practice because clang appends qualifiers to the end of the type, ie,
// |foo *&&|
for (size_t i = 0;
i < std::min(param_type_desc.size(), ctor.param_type_desc.size());
++i) {
score += count_matching_prefix_length(param_type_desc[i].c_str(),
ctor.param_type_desc[i].c_str());
}
if (score > best_score) {
best_usr = ctor.usr;
best_score = score;
}
}
return best_usr;
}
};
struct IndexParam {
2018-02-01 05:48:39 +00:00
Config* config = nullptr;
2017-07-30 04:24:02 +00:00
std::unordered_set<CXFile> seen_cx_files;
std::vector<std::string> seen_files;
FileContentsMap file_contents;
2017-07-30 04:24:02 +00:00
std::unordered_map<std::string, int64_t> file_modification_times;
// Only use this when strictly needed (ie, primary translation unit is
// needed). Most logic should get the IndexFile instance via
// |file_consumer|.
//
// This can be null if we're not generating an index for the primary
// translation unit.
IndexFile* primary_file = nullptr;
ClangTranslationUnit* tu = nullptr;
FileConsumer* file_consumer = nullptr;
NamespaceHelper ns;
ConstructorCache ctors;
2018-02-22 07:34:32 +00:00
IndexParam(Config* config,
ClangTranslationUnit* tu,
FileConsumer* file_consumer)
2018-02-01 05:48:39 +00:00
: config(config), tu(tu), file_consumer(file_consumer) {}
#if CINDEX_HAVE_PRETTY
CXPrintingPolicy print_policy = nullptr;
CXPrintingPolicy print_policy_more = nullptr;
~IndexParam() {
clang_PrintingPolicy_dispose(print_policy);
clang_PrintingPolicy_dispose(print_policy_more);
}
std::string PrettyPrintCursor(CXCursor cursor, bool initializer = true) {
if (!print_policy) {
print_policy = clang_getCursorPrintingPolicy(cursor);
clang_PrintingPolicy_setProperty(print_policy,
CXPrintingPolicy_TerseOutput, 1);
clang_PrintingPolicy_setProperty(print_policy,
CXPrintingPolicy_FullyQualifiedName, 1);
2018-02-22 07:34:32 +00:00
clang_PrintingPolicy_setProperty(
print_policy, CXPrintingPolicy_SuppressInitializers, 1);
print_policy_more = clang_getCursorPrintingPolicy(cursor);
clang_PrintingPolicy_setProperty(print_policy_more,
CXPrintingPolicy_FullyQualifiedName, 1);
clang_PrintingPolicy_setProperty(print_policy_more,
CXPrintingPolicy_TerseOutput, 1);
}
return ToString(clang_getCursorPrettyPrinted(
cursor, initializer ? print_policy_more : print_policy));
}
#endif
};
IndexFile* ConsumeFile(IndexParam* param, CXFile file) {
bool is_first_ownership = false;
IndexFile* db = param->file_consumer->TryConsumeFile(
file, &is_first_ownership, &param->file_contents);
2017-07-30 04:24:02 +00:00
// If this is the first time we have seen the file (ignoring if we are
// generating an index for it):
if (param->seen_cx_files.insert(file).second) {
std::string file_name = FileName(file);
// file_name may be empty when it contains .. and is outside of WorkingDir.
2018-02-22 07:34:32 +00:00
// https://reviews.llvm.org/D42893
// https://github.com/cquery-project/cquery/issues/413
2017-08-16 03:28:52 +00:00
if (!file_name.empty()) {
// Add to all files we have seen so we can generate proper dependency
// graph.
param->seen_files.push_back(file_name);
// Set modification time.
2018-03-31 03:16:33 +00:00
std::optional<int64_t> modification_time = GetLastModificationTime(file_name);
2017-09-22 01:14:57 +00:00
LOG_IF_S(ERROR, !modification_time)
<< "Failed fetching modification time for " << file_name;
if (modification_time)
param->file_modification_times[file_name] = *modification_time;
2017-07-30 04:24:02 +00:00
}
}
if (is_first_ownership) {
// Report skipped source range list.
CXSourceRangeList* skipped = clang_getSkippedRanges(param->tu->cx_tu, file);
for (unsigned i = 0; i < skipped->count; ++i) {
Range range = ResolveCXSourceRange(skipped->ranges[i]);
#if CINDEX_VERSION < 45 // Before clang 6.0.0
// clang_getSkippedRanges reports start one token after the '#', move it
// back so it starts at the '#'
range.start.column -= 1;
#endif
db->skipped_by_preprocessor.push_back(range);
}
clang_disposeSourceRangeList(skipped);
}
return db;
}
2017-05-23 06:47:27 +00:00
// Returns true if the given entity kind can be called implicitly, ie, without
// actually being written in the source code.
bool CanBeCalledImplicitly(CXIdxEntityKind kind) {
switch (kind) {
2017-09-22 01:14:57 +00:00
case CXIdxEntity_CXXConstructor:
case CXIdxEntity_CXXConversionFunction:
case CXIdxEntity_CXXDestructor:
return true;
default:
return false;
2017-05-23 06:47:27 +00:00
}
}
// Returns true if the cursor spelling contains the given string. This is
// useful to check for implicit function calls.
2017-09-22 01:14:57 +00:00
bool CursorSpellingContainsString(CXCursor cursor,
CXTranslationUnit cx_tu,
std::string_view needle) {
2017-05-23 06:47:27 +00:00
CXSourceRange range = clang_Cursor_getSpellingNameRange(cursor, 0, 0);
CXToken* tokens;
unsigned num_tokens;
2017-05-23 06:47:27 +00:00
clang_tokenize(cx_tu, range, &tokens, &num_tokens);
bool result = false;
for (unsigned i = 0; i < num_tokens; ++i) {
2017-05-23 06:47:27 +00:00
CXString name = clang_getTokenSpelling(cx_tu, tokens[i]);
if (needle == clang_getCString(name)) {
2017-05-23 06:47:27 +00:00
result = true;
break;
}
clang_disposeString(name);
}
clang_disposeTokens(cx_tu, tokens, num_tokens);
return result;
}
// Returns the document content for the given range. May not work perfectly
// when there are tabs instead of spaces.
2017-09-22 01:14:57 +00:00
std::string GetDocumentContentInRange(CXTranslationUnit cx_tu,
CXSourceRange range) {
std::string result;
CXToken* tokens;
unsigned num_tokens;
clang_tokenize(cx_tu, range, &tokens, &num_tokens);
2018-03-31 03:16:33 +00:00
std::optional<Range> previous_token_range;
for (unsigned i = 0; i < num_tokens; ++i) {
// Add whitespace between the previous token and this one.
2018-01-11 02:43:01 +00:00
Range token_range =
ResolveCXSourceRange(clang_getTokenExtent(cx_tu, tokens[i]));
if (previous_token_range) {
// Insert newlines.
2017-09-22 01:14:57 +00:00
int16_t line_delta =
token_range.start.line - previous_token_range->end.line;
assert(line_delta >= 0);
if (line_delta > 0) {
result.append((size_t)line_delta, '\n');
// Reset column so we insert starting padding.
previous_token_range->end.column = 0;
}
// Insert spaces.
2017-09-22 01:14:57 +00:00
int16_t column_delta =
token_range.start.column - previous_token_range->end.column;
assert(column_delta >= 0);
result.append((size_t)column_delta, ' ');
}
previous_token_range = token_range;
// Add token content.
CXString spelling = clang_getTokenSpelling(cx_tu, tokens[i]);
result += clang_getCString(spelling);
clang_disposeString(spelling);
}
clang_disposeTokens(cx_tu, tokens, num_tokens);
return result;
}
void SetUsePreflight(IndexFile* db, ClangCursor parent) {
switch (GetSymbolKind(parent.get_kind())) {
2018-02-22 07:34:32 +00:00
case SymbolKind::Func:
(void)db->ToFuncId(parent.cx_cursor);
break;
case SymbolKind::Type:
(void)db->ToTypeId(parent.cx_cursor);
break;
case SymbolKind::Var:
(void)db->ToVarId(parent.cx_cursor);
break;
default:
break;
}
}
// |parent| should be resolved before using |SetUsePreflight| so that |def| will
// not be invalidated by |To{Func,Type,Var}Id|.
2018-02-18 18:07:13 +00:00
Use SetUse(IndexFile* db, Range range, ClangCursor parent, Role role) {
switch (GetSymbolKind(parent.get_kind())) {
case SymbolKind::Func:
return Use(range, db->ToFuncId(parent.cx_cursor), SymbolKind::Func, role,
{});
case SymbolKind::Type:
return Use(range, db->ToTypeId(parent.cx_cursor), SymbolKind::Type, role,
{});
case SymbolKind::Var:
return Use(range, db->ToVarId(parent.cx_cursor), SymbolKind::Var, role,
{});
2018-02-18 18:07:13 +00:00
default:
return Use(range, Id<void>(), SymbolKind::File, role, {});
}
}
const char* GetAnonName(CXCursorKind kind) {
switch (kind) {
2018-03-20 02:51:42 +00:00
case CXCursor_ClassDecl:
return "(anon class)";
case CXCursor_EnumDecl:
return "(anon enum)";
case CXCursor_StructDecl:
return "(anon struct)";
case CXCursor_UnionDecl:
return "(anon union)";
default:
return "(anon)";
}
}
void SetTypeName(IndexType* type,
2018-01-26 06:20:28 +00:00
const ClangCursor& cursor,
const CXIdxContainerInfo* container,
const char* name,
IndexParam* param) {
2018-01-26 06:20:28 +00:00
CXIdxContainerInfo parent;
// |name| can be null in an anonymous struct (see
// tests/types/anonymous_struct.cc).
if (!name)
name = GetAnonName(cursor.get_kind());
2018-01-26 06:20:28 +00:00
if (!container)
parent.cursor = cursor.get_semantic_parent().cx_cursor;
2018-02-22 07:34:32 +00:00
// Investigate why clang_getCursorPrettyPrinted gives `struct A {}` `namespace
// ns {}` which are not qualified.
// type->def.detailed_name = param->PrettyPrintCursor(cursor.cx_cursor);
2018-03-31 16:25:58 +00:00
std::tie(type->def.detailed_name, type->def.short_name_offset) =
2018-02-22 07:34:32 +00:00
param->ns.QualifiedName(container ? container : &parent, name);
type->def.short_name_size = strlen(name);
}
// Finds the cursor associated with the declaration type of |cursor|. This
// strips
// qualifies from |cursor| (ie, Foo* => Foo) and removes template arguments
// (ie, Foo<A,B> => Foo<*,*>).
2018-03-31 03:16:33 +00:00
std::optional<IndexTypeId> ResolveToDeclarationType(IndexFile* db,
2018-01-26 06:20:28 +00:00
ClangCursor cursor,
IndexParam* param) {
ClangType type = cursor.get_type();
// auto x = new Foo() will not be deduced to |Foo| if we do not use the
// canonical type. However, a canonical type will look past typedefs so we
// will not accurately report variables on typedefs if we always do this.
if (type.cx_type.kind == CXType_Auto)
type = type.get_canonical();
type = type.strip_qualifiers();
if (type.is_builtin()) {
// For builtin types, use type kinds as USR hash.
return db->ToTypeId(type.cx_type.kind);
}
ClangCursor declaration =
2018-01-21 06:55:29 +00:00
type.get_declaration().template_specialization_to_template_definition();
CXString cx_usr = clang_getCursorUSR(declaration.cx_cursor);
const char* str_usr = clang_getCString(cx_usr);
if (!str_usr || str_usr[0] == '\0') {
clang_disposeString(cx_usr);
2018-03-31 03:16:33 +00:00
return std::nullopt;
}
Usr usr = HashUsr(str_usr);
clang_disposeString(cx_usr);
IndexTypeId type_id = db->ToTypeId(usr);
IndexType* typ = db->Resolve(type_id);
if (typ->def.detailed_name.empty()) {
2018-02-18 18:07:13 +00:00
std::string name = declaration.get_spell_name();
SetTypeName(typ, declaration, nullptr, name.c_str(), param);
}
return type_id;
}
void SetVarDetail(IndexVar* var,
std::string_view short_name,
const ClangCursor& cursor,
const CXIdxContainerInfo* semanticContainer,
bool is_first_seen,
IndexFile* db,
IndexParam* param) {
IndexVar::Def& def = var->def;
const CXType cx_type = clang_getCursorType(cursor.cx_cursor);
std::string type_name = ToString(clang_getTypeSpelling(cx_type));
// clang may report "(lambda at foo.cc)" which end up being a very long
// string. Shorten it to just "lambda".
if (type_name.find("(lambda at") != std::string::npos)
type_name = "lambda";
if (param->config->index.comments)
def.comments = cursor.get_comments();
def.storage = GetStorageClass(clang_Cursor_getStorageClass(cursor.cx_cursor));
// TODO how to make PrettyPrint'ed variable name qualified?
std::string qualified_name =
#if 0 && CINDEX_HAVE_PRETTY
cursor.get_kind() != CXCursor_EnumConstantDecl
? param->PrettyPrintCursor(cursor.cx_cursor)
:
#endif
2018-03-31 16:25:58 +00:00
param->ns.QualifiedName(semanticContainer, short_name).first;
2018-01-17 03:09:29 +00:00
2018-01-18 10:59:51 +00:00
if (cursor.get_kind() == CXCursor_EnumConstantDecl && semanticContainer) {
CXType enum_type = clang_getCanonicalType(
clang_getEnumDeclIntegerType(semanticContainer->cursor));
2018-01-17 04:01:47 +00:00
std::string hover = qualified_name + " = ";
if (enum_type.kind == CXType_UInt || enum_type.kind == CXType_ULong ||
enum_type.kind == CXType_ULongLong)
2018-01-17 04:01:47 +00:00
hover += std::to_string(
clang_getEnumConstantDeclUnsignedValue(cursor.cx_cursor));
else
hover += std::to_string(clang_getEnumConstantDeclValue(cursor.cx_cursor));
def.detailed_name = std::move(qualified_name);
2018-01-17 04:30:45 +00:00
def.hover = hover;
2018-01-17 04:01:47 +00:00
} else {
#if 0 && CINDEX_HAVE_PRETTY
//def.detailed_name = param->PrettyPrintCursor(cursor.cx_cursor, false);
#else
ConcatTypeAndName(type_name, qualified_name);
def.detailed_name = type_name;
// Append the textual initializer, bit field, constructor to |hover|.
// Omit |hover| for these types:
// int (*a)(); int (&a)(); int (&&a)(); int a[1]; auto x = ...
// We can take these into consideration after we have better support for
// inside-out syntax.
2018-01-17 08:28:32 +00:00
CXType deref = cx_type;
while (deref.kind == CXType_Pointer || deref.kind == CXType_MemberPointer ||
deref.kind == CXType_LValueReference ||
deref.kind == CXType_RValueReference)
2018-01-17 08:28:32 +00:00
deref = clang_getPointeeType(deref);
if (deref.kind != CXType_Unexposed && deref.kind != CXType_Auto &&
2018-01-17 08:28:32 +00:00
clang_getResultType(deref).kind == CXType_Invalid &&
clang_getElementType(deref).kind == CXType_Invalid) {
const FileContents& fc = param->file_contents[db->path];
2018-03-31 03:16:33 +00:00
std::optional<int> spell_end = fc.ToOffset(cursor.get_spell().end);
std::optional<int> extent_end = fc.ToOffset(cursor.get_extent().end);
if (extent_end && *spell_end < *extent_end)
def.hover = std::string(def.detailed_name.c_str()) +
2018-01-30 00:27:43 +00:00
fc.content.substr(*spell_end, *extent_end - *spell_end);
}
#endif
}
// FIXME QualifiedName should return index
auto idx = def.detailed_name.rfind(short_name.begin(), std::string::npos,
short_name.size());
assert(idx != std::string::npos);
def.short_name_offset = idx;
def.short_name_size = short_name.size();
if (is_first_seen) {
2018-03-31 03:16:33 +00:00
std::optional<IndexTypeId> var_type =
ResolveToDeclarationType(db, cursor, param);
if (var_type) {
// Don't treat enum definition variables as instantiations.
bool is_enum_member = semanticContainer &&
semanticContainer->cursor.kind == CXCursor_EnumDecl;
if (!is_enum_member)
db->Resolve(var_type.value())->instances.push_back(var->id);
def.type = *var_type;
}
}
}
void OnIndexReference_Function(IndexFile* db,
Range loc,
ClangCursor parent_cursor,
2017-12-24 18:43:32 +00:00
IndexFuncId called_id,
Role role) {
switch (GetSymbolKind(parent_cursor.get_kind())) {
case SymbolKind::Func: {
IndexFunc* parent = db->Resolve(db->ToFuncId(parent_cursor.cx_cursor));
IndexFunc* called = db->Resolve(called_id);
parent->def.callees.push_back(
SymbolRef(loc, called->id, SymbolKind::Func, role));
2018-03-02 18:18:01 +00:00
called->uses.push_back(Use(loc, parent->id, SymbolKind::Func, role, {}));
break;
}
case SymbolKind::Type: {
IndexType* parent = db->Resolve(db->ToTypeId(parent_cursor.cx_cursor));
IndexFunc* called = db->Resolve(called_id);
called = db->Resolve(called_id);
2018-03-02 18:18:01 +00:00
called->uses.push_back(Use(loc, parent->id, SymbolKind::Type, role, {}));
break;
}
default: {
IndexFunc* called = db->Resolve(called_id);
2018-03-02 18:18:01 +00:00
called->uses.push_back(Use(loc, Id<void>(), SymbolKind::File, role, {}));
break;
}
}
}
} // namespace
2017-06-15 03:12:52 +00:00
// static
const int IndexFile::kMajorVersion = 15;
const int IndexFile::kMinorVersion = 0;
IndexFile::IndexFile(const std::string& path, const std::string& contents)
: id_cache(path), path(path), file_contents(contents) {}
2017-02-19 02:34:51 +00:00
2018-01-13 08:10:39 +00:00
IndexTypeId IndexFile::ToTypeId(Usr usr) {
2017-02-28 06:41:42 +00:00
auto it = id_cache.usr_to_type_id.find(usr);
if (it != id_cache.usr_to_type_id.end())
2017-02-17 09:57:44 +00:00
return it->second;
IndexTypeId id(types.size());
types.push_back(IndexType(id, usr));
2017-02-28 06:41:42 +00:00
id_cache.usr_to_type_id[usr] = id;
id_cache.type_id_to_usr[id] = usr;
2017-02-17 09:57:44 +00:00
return id;
2017-02-16 09:35:30 +00:00
}
2018-01-13 08:10:39 +00:00
IndexFuncId IndexFile::ToFuncId(Usr usr) {
2017-02-28 06:41:42 +00:00
auto it = id_cache.usr_to_func_id.find(usr);
if (it != id_cache.usr_to_func_id.end())
2017-02-17 09:57:44 +00:00
return it->second;
2017-02-16 09:35:30 +00:00
IndexFuncId id(funcs.size());
funcs.push_back(IndexFunc(id, usr));
2017-02-28 06:41:42 +00:00
id_cache.usr_to_func_id[usr] = id;
id_cache.func_id_to_usr[id] = usr;
2017-02-17 09:57:44 +00:00
return id;
}
2018-01-13 08:10:39 +00:00
IndexVarId IndexFile::ToVarId(Usr usr) {
2017-02-28 06:41:42 +00:00
auto it = id_cache.usr_to_var_id.find(usr);
if (it != id_cache.usr_to_var_id.end())
2017-02-17 09:57:44 +00:00
return it->second;
2017-02-16 09:35:30 +00:00
IndexVarId id(vars.size());
vars.push_back(IndexVar(id, usr));
2017-02-28 06:41:42 +00:00
id_cache.usr_to_var_id[usr] = id;
id_cache.var_id_to_usr[id] = usr;
2017-02-17 09:57:44 +00:00
return id;
}
IndexTypeId IndexFile::ToTypeId(const CXCursor& cursor) {
return ToTypeId(ClangCursor(cursor).get_usr_hash());
2017-02-20 00:56:56 +00:00
}
IndexFuncId IndexFile::ToFuncId(const CXCursor& cursor) {
return ToFuncId(ClangCursor(cursor).get_usr_hash());
2017-02-20 00:56:56 +00:00
}
IndexVarId IndexFile::ToVarId(const CXCursor& cursor) {
return ToVarId(ClangCursor(cursor).get_usr_hash());
2017-02-20 00:56:56 +00:00
}
IndexType* IndexFile::Resolve(IndexTypeId id) {
2017-02-25 23:59:09 +00:00
return &types[id.id];
2017-02-17 09:57:44 +00:00
}
IndexFunc* IndexFile::Resolve(IndexFuncId id) {
2017-02-25 23:59:09 +00:00
return &funcs[id.id];
2017-02-17 09:57:44 +00:00
}
IndexVar* IndexFile::Resolve(IndexVarId id) {
2017-02-25 23:59:09 +00:00
return &vars[id.id];
2017-02-17 09:57:44 +00:00
}
std::string IndexFile::ToString() {
return Serialize(SerializeFormat::Json, *this);
2017-02-17 09:57:44 +00:00
}
2018-01-13 08:10:39 +00:00
IndexType::IndexType(IndexTypeId id, Usr usr) : usr(usr), id(id) {}
2017-02-24 08:39:25 +00:00
template <typename T>
void Uniquify(std::vector<Id<T>>& ids) {
std::unordered_set<Id<T>> seen;
size_t n = 0;
for (size_t i = 0; i < ids.size(); i++)
if (seen.insert(ids[i]).second)
ids[n++] = ids[i];
ids.resize(n);
}
void Uniquify(std::vector<Use>& uses) {
std::unordered_set<Range> seen;
size_t n = 0;
for (size_t i = 0; i < uses.size(); i++)
if (seen.insert(uses[i].range).second)
uses[n++] = uses[i];
uses.resize(n);
2017-02-24 08:39:25 +00:00
}
2017-02-20 06:40:55 +00:00
void AddUse(IndexFile* db,
std::vector<Use>& uses,
Range range,
ClangCursor parent,
Role role = Role::Reference) {
switch (GetSymbolKind(parent.get_kind())) {
case SymbolKind::Func:
2018-02-18 18:07:13 +00:00
uses.push_back(Use(range, db->ToFuncId(parent.cx_cursor),
SymbolKind::Func, role, {}));
break;
case SymbolKind::Type:
2018-02-18 18:07:13 +00:00
uses.push_back(Use(range, db->ToTypeId(parent.cx_cursor),
SymbolKind::Type, role, {}));
break;
default:
uses.push_back(Use(range, Id<void>(), SymbolKind::File, role, {}));
break;
}
}
CXCursor fromContainer(const CXIdxContainerInfo* parent) {
return parent ? parent->cursor : clang_getNullCursor();
}
2018-02-22 07:34:32 +00:00
void AddUseSpell(IndexFile* db, std::vector<Use>& uses, ClangCursor cursor) {
AddUse(db, uses, cursor.get_spell(), cursor.get_lexical_parent().cx_cursor);
}
2017-04-05 08:06:18 +00:00
IdCache::IdCache(const std::string& primary_file)
2017-09-22 01:14:57 +00:00
: primary_file(primary_file) {}
2017-02-27 07:32:10 +00:00
2017-12-01 17:57:03 +00:00
void OnIndexDiagnostic(CXClientData client_data,
CXDiagnosticSet diagnostics,
void* reserved) {
IndexParam* param = static_cast<IndexParam*>(client_data);
for (unsigned i = 0; i < clang_getNumDiagnosticsInSet(diagnostics); ++i) {
CXDiagnostic diagnostic = clang_getDiagnosticInSet(diagnostics, i);
CXSourceLocation diag_loc = clang_getDiagnosticLocation(diagnostic);
2018-01-06 17:28:55 +00:00
// Skip diagnostics in system headers.
// if (clang_Location_isInSystemHeader(diag_loc))
// continue;
// Get db so we can attribute diagnostic to the right indexed file.
CXFile file;
unsigned int line, column;
clang_getSpellingLocation(diag_loc, &file, &line, &column, nullptr);
2018-01-06 17:28:55 +00:00
// Skip empty diagnostic.
2018-01-11 02:43:01 +00:00
if (!line && !column)
continue;
IndexFile* db = ConsumeFile(param, file);
if (!db)
continue;
// Build diagnostic.
2018-03-31 03:16:33 +00:00
std::optional<lsDiagnostic> ls_diagnostic =
BuildAndDisposeDiagnostic(diagnostic, db->path);
if (ls_diagnostic)
db->diagnostics_.push_back(*ls_diagnostic);
}
2017-03-11 02:24:51 +00:00
}
2017-02-20 00:56:56 +00:00
2017-12-01 17:57:03 +00:00
CXIdxClientFile OnIndexIncludedFile(CXClientData client_data,
const CXIdxIncludedFileInfo* file) {
2017-05-21 03:46:15 +00:00
IndexParam* param = static_cast<IndexParam*>(client_data);
// file->hashLoc only has the position of the hash. We don't have the full
// range for the include.
CXSourceLocation hash_loc = clang_indexLoc_getCXSourceLocation(file->hashLoc);
CXFile cx_file;
unsigned int line;
clang_getSpellingLocation(hash_loc, &cx_file, &line, nullptr, nullptr);
line--;
2017-05-21 03:46:15 +00:00
IndexFile* db = ConsumeFile(param, cx_file);
if (!db)
return nullptr;
IndexInclude include;
include.line = line;
include.resolved_path = FileName(file->file);
2018-03-31 20:59:27 +00:00
if (include.resolved_path.size())
db->includes.push_back(include);
2017-05-21 03:46:15 +00:00
2017-02-20 00:56:56 +00:00
return nullptr;
}
ClangCursor::VisitResult DumpVisitor(ClangCursor cursor,
ClangCursor parent,
int* level) {
2017-02-20 06:40:55 +00:00
for (int i = 0; i < *level; ++i)
2017-03-05 19:48:05 +00:00
std::cerr << " ";
2018-02-18 18:07:13 +00:00
std::cerr << ToString(cursor.get_kind()) << " " << cursor.get_spell_name()
<< std::endl;
2017-02-20 06:40:55 +00:00
*level += 1;
cursor.VisitChildren(&DumpVisitor, level);
*level -= 1;
return ClangCursor::VisitResult::Continue;
2017-02-20 06:40:55 +00:00
}
void Dump(ClangCursor cursor) {
2017-02-20 06:40:55 +00:00
int level = 0;
cursor.VisitChildren(&DumpVisitor, &level);
}
2017-02-20 02:00:58 +00:00
struct FindChildOfKindParam {
CXCursorKind target_kind;
2018-03-31 03:16:33 +00:00
std::optional<ClangCursor> result;
2017-02-20 02:00:58 +00:00
FindChildOfKindParam(CXCursorKind target_kind) : target_kind(target_kind) {}
};
ClangCursor::VisitResult FindTypeVisitor(ClangCursor cursor,
ClangCursor parent,
2018-03-31 03:16:33 +00:00
std::optional<ClangCursor>* result) {
2017-02-20 19:08:27 +00:00
switch (cursor.get_kind()) {
2017-03-17 07:58:41 +00:00
case CXCursor_TypeRef:
case CXCursor_TemplateRef:
*result = cursor;
return ClangCursor::VisitResult::Break;
2017-05-21 23:48:21 +00:00
default:
break;
2017-02-20 19:08:27 +00:00
}
return ClangCursor::VisitResult::Recurse;
2017-02-20 19:08:27 +00:00
}
2018-03-31 03:16:33 +00:00
std::optional<ClangCursor> FindType(ClangCursor cursor) {
std::optional<ClangCursor> result;
2017-02-20 19:08:27 +00:00
cursor.VisitChildren(&FindTypeVisitor, &result);
return result;
}
2017-02-20 00:56:56 +00:00
bool IsTypeDefinition(const CXIdxContainerInfo* container) {
if (!container)
return false;
return GetSymbolKind(container->cursor.kind) == SymbolKind::Type;
2017-02-20 00:56:56 +00:00
}
struct VisitDeclForTypeUsageParam {
IndexFile* db;
2018-03-31 03:16:33 +00:00
std::optional<IndexTypeId> toplevel_type;
int has_processed_any = false;
2018-03-31 03:16:33 +00:00
std::optional<ClangCursor> previous_cursor;
std::optional<IndexTypeId> initial_type;
2018-03-31 03:16:33 +00:00
VisitDeclForTypeUsageParam(IndexFile* db, std::optional<IndexTypeId> toplevel_type)
: db(db), toplevel_type(toplevel_type) {}
};
void VisitDeclForTypeUsageVisitorHandler(ClangCursor cursor,
2017-03-17 07:58:41 +00:00
VisitDeclForTypeUsageParam* param) {
param->has_processed_any = true;
IndexFile* db = param->db;
// For |A<int> a| where there is a specialization for |A<int>|,
// the |referenced_usr| below resolves to the primary template and
// attributes the use to the primary template instead of the specialization.
2018-01-30 00:27:43 +00:00
// |toplevel_type| is retrieved |clang_getCursorType| which can be a
// specialization. If its name is the same as the primary template's, we
// assume the use should be attributed to the specialization. This heuristic
// fails when a member class bears the same name with its container.
//
// template<class T>
// struct C { struct C {}; };
// C<int>::C a;
//
// We will attribute |::C| to the parent class.
if (param->toplevel_type) {
IndexType* ref_type = db->Resolve(*param->toplevel_type);
2018-02-18 18:07:13 +00:00
std::string name = cursor.get_referenced().get_spell_name();
if (name == ref_type->def.ShortName()) {
AddUseSpell(db, ref_type->uses, cursor);
2018-03-31 03:16:33 +00:00
param->toplevel_type = std::nullopt;
return;
}
}
2017-03-17 07:58:41 +00:00
std::string referenced_usr =
2018-01-30 00:27:43 +00:00
cursor.get_referenced()
.template_specialization_to_template_definition()
.get_usr();
// TODO: things in STL cause this to be empty. Figure out why and document it.
if (referenced_usr == "")
return;
2018-01-14 21:18:12 +00:00
IndexTypeId ref_type_id = db->ToTypeId(HashUsr(referenced_usr));
2017-03-05 22:49:23 +00:00
if (!param->initial_type)
param->initial_type = ref_type_id;
IndexType* ref_type_def = db->Resolve(ref_type_id);
// TODO: Should we even be visiting this if the file is not from the main
// def? Try adding assert on |loc| later.
AddUseSpell(db, ref_type_def->uses, cursor);
2017-02-20 19:08:27 +00:00
}
ClangCursor::VisitResult VisitDeclForTypeUsageVisitor(
ClangCursor cursor,
ClangCursor parent,
2017-03-17 07:58:41 +00:00
VisitDeclForTypeUsageParam* param) {
switch (cursor.get_kind()) {
2017-03-17 07:58:41 +00:00
case CXCursor_TemplateRef:
case CXCursor_TypeRef:
if (param->previous_cursor) {
VisitDeclForTypeUsageVisitorHandler(param->previous_cursor.value(),
param);
}
2017-03-17 07:58:41 +00:00
param->previous_cursor = cursor;
return ClangCursor::VisitResult::Continue;
// We do not want to recurse for everything, since if we do that we will end
// up visiting method definition bodies/etc. Instead, we only recurse for
2017-03-17 07:58:41 +00:00
// things that can logically appear as part of an inline variable
// initializer,
// ie,
//
// class Foo {
// int x = (Foo)3;
// }
2017-03-17 07:58:41 +00:00
case CXCursor_CallExpr:
case CXCursor_CStyleCastExpr:
case CXCursor_CXXStaticCastExpr:
case CXCursor_CXXReinterpretCastExpr:
return ClangCursor::VisitResult::Recurse;
2017-05-21 23:48:21 +00:00
default:
return ClangCursor::VisitResult::Continue;
}
return ClangCursor::VisitResult::Continue;
}
2017-03-17 07:58:41 +00:00
// Add usages to any seen TypeRef or TemplateRef under the given |decl_cursor|.
2017-04-03 01:34:15 +00:00
// This returns the first seen TypeRef or TemplateRef value, which can be
// useful if trying to figure out ie, what a using statement refers to. If
// trying to generally resolve a cursor to a type, use
// ResolveToDeclarationType, which works in more scenarios.
// If |decl_cursor| is a variable of a template type, clang_getCursorType
// may return a specialized template which is preciser than the primary
// template.
// We use |toplevel_type| to attribute the use to the specialized template
// instead of the primary template.
2018-03-31 03:16:33 +00:00
std::optional<IndexTypeId> AddDeclTypeUsages(
IndexFile* db,
ClangCursor decl_cursor,
2018-03-31 03:16:33 +00:00
std::optional<IndexTypeId> toplevel_type,
2017-03-17 07:58:41 +00:00
const CXIdxContainerInfo* semantic_container,
const CXIdxContainerInfo* lexical_container) {
//
// The general AST format for definitions follows this pattern:
//
// template<typename A, typename B>
// struct Container;
//
// struct S1;
// struct S2;
//
// Container<Container<S1, S2>, S2> foo;
//
// =>
//
// VarDecl
// TemplateRef Container
// TemplateRef Container
// TypeRef struct S1
// TypeRef struct S2
// TypeRef struct S2
//
2017-03-05 22:49:23 +00:00
//
// Here is another example:
//
// enum A {};
// enum B {};
2017-03-14 04:31:53 +00:00
//
2017-03-05 22:49:23 +00:00
// template<typename T>
// struct Foo {
// struct Inner {};
// };
2017-03-14 04:31:53 +00:00
//
2017-03-05 22:49:23 +00:00
// Foo<A>::Inner a;
// Foo<B> b;
2017-03-14 04:31:53 +00:00
//
2017-03-05 22:49:23 +00:00
// =>
//
// EnumDecl A
// EnumDecl B
// ClassTemplate Foo
// TemplateTypeParameter T
// StructDecl Inner
// VarDecl a
// TemplateRef Foo
// TypeRef enum A
// TypeRef struct Foo<enum A>::Inner
// CallExpr Inner
// VarDecl b
// TemplateRef Foo
// TypeRef enum B
// CallExpr Foo
//
//
// Determining the actual type of the variable/declaration from just the
// children is tricky. Doing so would require looking up the template
// definition associated with a TemplateRef, figuring out how many children
// it has, and then skipping that many TypeRef values. This also has to work
// with the example below (skipping the last TypeRef). As a result, we
// determine variable types using |ResolveToDeclarationType|.
//
//
// We skip the last type reference for methods/variables which are defined
// out-of-line w.r.t. the parent type.
//
// S1* Foo::foo() {}
2017-02-22 01:06:43 +00:00
//
// The above example looks like this in the AST:
//
// CXXMethod foo
// TypeRef struct S1
// TypeRef class Foo
// CompoundStmt
// ...
//
// The second TypeRef is an uninteresting usage.
bool process_last_type_ref = true;
2017-03-17 07:58:41 +00:00
if (IsTypeDefinition(semantic_container) &&
!IsTypeDefinition(lexical_container)) {
//
2017-03-17 07:58:41 +00:00
// In some code, such as the following example, we receive a cursor which is
// not
// a definition and is not associated with a definition due to an error
// condition.
// In this case, it is the Foo::Foo constructor.
//
// struct Foo {};
//
// template<class T>
// Foo::Foo() {}
//
if (!decl_cursor.is_definition()) {
ClangCursor def = decl_cursor.get_definition();
if (def.get_kind() != CXCursor_FirstInvalid)
decl_cursor = def;
}
process_last_type_ref = false;
}
2017-02-20 19:08:27 +00:00
VisitDeclForTypeUsageParam param(db, toplevel_type);
decl_cursor.VisitChildren(&VisitDeclForTypeUsageVisitor, &param);
// VisitDeclForTypeUsageVisitor guarantees that if there are multiple TypeRef
// children, the first one will always be visited.
if (param.previous_cursor && process_last_type_ref) {
VisitDeclForTypeUsageVisitorHandler(param.previous_cursor.value(), &param);
2017-03-17 07:58:41 +00:00
} else {
// If we are not processing the last type ref, it *must* be a TypeRef or
// TemplateRef.
2017-03-05 22:49:23 +00:00
//
2017-03-17 07:58:41 +00:00
// We will not visit every child if the is_interseting is false, so
// previous_cursor
2017-03-05 22:49:23 +00:00
// may not point to the last TemplateRef.
assert(param.previous_cursor.has_value() == false ||
2017-03-17 07:58:41 +00:00
(param.previous_cursor.value().get_kind() == CXCursor_TypeRef ||
param.previous_cursor.value().get_kind() == CXCursor_TemplateRef));
}
2017-02-20 19:08:27 +00:00
if (param.initial_type)
return param.initial_type;
CXType cx_under = clang_getTypedefDeclUnderlyingType(decl_cursor.cx_cursor);
if (cx_under.kind == CXType_Invalid)
2018-03-31 03:16:33 +00:00
return std::nullopt;
return db->ToTypeId(ClangType(cx_under).strip_qualifiers().get_usr_hash());
}
2017-02-20 19:08:27 +00:00
2017-03-17 07:58:41 +00:00
// Various versions of LLVM (ie, 4.0) will not visit inline variable references
// for template arguments.
ClangCursor::VisitResult AddDeclInitializerUsagesVisitor(ClangCursor cursor,
ClangCursor parent,
IndexFile* db) {
2017-03-14 04:31:53 +00:00
/*
2017-03-17 07:58:41 +00:00
We need to index the |DeclRefExpr| below (ie, |var| inside of
Foo<int>::var).
2017-03-14 04:31:53 +00:00
template<typename T>
struct Foo {
static constexpr int var = 3;
};
int a = Foo<int>::var;
=>
VarDecl a
UnexposedExpr var
DeclRefExpr var
TemplateRef Foo
*/
switch (cursor.get_kind()) {
2017-05-21 23:48:21 +00:00
case CXCursor_DeclRefExpr: {
2017-03-17 07:58:41 +00:00
if (cursor.get_referenced().get_kind() != CXCursor_VarDecl)
break;
// TODO: when we resolve the template type to the definition, we get a
2018-01-13 08:10:39 +00:00
// different Usr.
2017-03-17 07:58:41 +00:00
// ClangCursor ref =
// cursor.get_referenced().template_specialization_to_template_definition().get_type().strip_qualifiers().get_usr_hash();
2017-03-17 07:58:41 +00:00
// std::string ref_usr =
// cursor.get_referenced().template_specialization_to_template_definition().get_type().strip_qualifiers().get_usr_hash();
auto ref_usr = cursor.get_referenced()
.template_specialization_to_template_definition()
.get_usr();
// std::string ref_usr = ref.get_usr_hash();
2017-03-17 07:58:41 +00:00
if (ref_usr == "")
break;
IndexVar* ref_var = db->Resolve(db->ToVarId(HashUsr(ref_usr)));
AddUseSpell(db, ref_var->uses, cursor);
2017-03-14 04:31:53 +00:00
break;
2017-05-21 23:48:21 +00:00
}
default:
break;
2017-03-14 04:31:53 +00:00
}
return ClangCursor::VisitResult::Recurse;
2017-03-14 04:31:53 +00:00
}
ClangCursor::VisitResult VisitMacroDefinitionAndExpansions(ClangCursor cursor,
ClangCursor parent,
IndexParam* param) {
switch (cursor.get_kind()) {
case CXCursor_MacroDefinition:
2017-05-21 23:48:21 +00:00
case CXCursor_MacroExpansion: {
// Resolve location, find IndexFile instance.
2017-09-22 01:14:57 +00:00
CXSourceRange cx_source_range =
clang_Cursor_getSpellingNameRange(cursor.cx_cursor, 0, 0);
CXFile file;
Range decl_loc_spelling = ResolveCXSourceRange(cx_source_range, &file);
IndexFile* db = ConsumeFile(param, file);
if (!db)
break;
// TODO: Considering checking clang_Cursor_isMacroFunctionLike, but the
// only real difference will be that we show 'callers' instead of 'refs'
// (especially since macros cannot have overrides)
2018-01-13 08:10:39 +00:00
Usr decl_usr;
if (cursor.get_kind() == CXCursor_MacroDefinition)
decl_usr = cursor.get_usr_hash();
else
decl_usr = cursor.get_referenced().get_usr_hash();
SetUsePreflight(db, parent);
IndexVar* var_def = db->Resolve(db->ToVarId(decl_usr));
if (cursor.get_kind() == CXCursor_MacroDefinition) {
CXSourceRange cx_extent = clang_getCursorExtent(cursor.cx_cursor);
var_def->def.detailed_name = cursor.get_display_name();
var_def->def.short_name_offset = 0;
var_def->def.short_name_size =
int16_t(strlen(var_def->def.detailed_name.c_str()));
var_def->def.hover =
"#define " + GetDocumentContentInRange(param->tu->cx_tu, cx_extent);
var_def->def.kind = lsSymbolKind::Macro;
if (param->config->index.comments)
var_def->def.comments = cursor.get_comments();
2018-02-18 18:07:13 +00:00
var_def->def.spell =
SetUse(db, decl_loc_spelling, parent, Role::Definition);
var_def->def.extent = SetUse(
db, ResolveCXSourceRange(cx_extent, nullptr), parent, Role::None);
} else
AddUse(db, var_def->uses, decl_loc_spelling, parent);
2017-05-21 23:48:21 +00:00
break;
}
default:
break;
}
return ClangCursor::VisitResult::Continue;
}
namespace {
// TODO Move to another file and use clang C++ API
struct TemplateVisitorData {
IndexFile* db;
IndexParam* param;
ClangCursor container;
};
ClangCursor::VisitResult TemplateVisitor(ClangCursor cursor,
ClangCursor parent,
TemplateVisitorData* data) {
IndexFile* db = data->db;
IndexParam* param = data->param;
switch (cursor.get_kind()) {
default:
2017-12-24 21:28:53 +00:00
break;
case CXCursor_DeclRefExpr: {
ClangCursor ref_cursor = clang_getCursorReferenced(cursor.cx_cursor);
if (ref_cursor.get_kind() == CXCursor_NonTypeTemplateParameter) {
IndexVarId ref_var_id = db->ToVarId(ref_cursor.get_usr_hash());
IndexVar* ref_var = db->Resolve(ref_var_id);
if (ref_var->def.detailed_name.empty()) {
2018-02-18 18:07:13 +00:00
ClangCursor sem_parent = ref_cursor.get_semantic_parent();
ClangCursor lex_parent = ref_cursor.get_lexical_parent();
SetUsePreflight(db, sem_parent);
SetUsePreflight(db, lex_parent);
ref_var = db->Resolve(ref_var_id);
2018-02-22 07:34:32 +00:00
ref_var->def.spell =
SetUse(db, ref_cursor.get_spell(), sem_parent, Role::Definition);
2018-02-18 18:07:13 +00:00
ref_var->def.extent =
SetUse(db, ref_cursor.get_extent(), lex_parent, Role::None);
ref_var = db->Resolve(ref_var_id);
ref_var->def.kind = lsSymbolKind::TypeParameter;
2018-02-18 18:07:13 +00:00
SetVarDetail(ref_var, ref_cursor.get_spell_name(), ref_cursor,
nullptr, true, db, param);
ClangType ref_type = clang_getCursorType(ref_cursor.cx_cursor);
// TODO optimize
2018-01-07 09:19:57 +00:00
if (ref_type.get_usr().size()) {
IndexType* ref_type_index =
db->Resolve(db->ToTypeId(ref_type.get_usr_hash()));
// The cursor extent includes `type name`, not just `name`. There
// seems no way to extract the spelling range of `type` and we do
// not want to do subtraction here.
2018-03-31 03:16:33 +00:00
// See https://github.com/cquery-project/cquery/issues/252
AddUse(db, ref_type_index->uses, ref_cursor.get_extent(),
ref_cursor.get_lexical_parent());
2018-01-07 09:19:57 +00:00
}
}
AddUseSpell(db, ref_var->uses, cursor);
}
break;
}
case CXCursor_OverloadedDeclRef: {
unsigned num_overloaded = clang_getNumOverloadedDecls(cursor.cx_cursor);
for (unsigned i = 0; i != num_overloaded; i++) {
ClangCursor overloaded = clang_getOverloadedDecl(cursor.cx_cursor, i);
switch (overloaded.get_kind()) {
default:
break;
case CXCursor_FunctionDecl:
case CXCursor_FunctionTemplate: {
IndexFuncId called_id = db->ToFuncId(overloaded.get_usr_hash());
2018-02-22 07:34:32 +00:00
OnIndexReference_Function(db, cursor.get_spell(), data->container,
called_id, Role::Call);
break;
}
}
}
2017-12-24 21:28:53 +00:00
break;
}
case CXCursor_TemplateRef: {
ClangCursor ref_cursor = clang_getCursorReferenced(cursor.cx_cursor);
if (ref_cursor.get_kind() == CXCursor_TemplateTemplateParameter) {
IndexTypeId ref_type_id = db->ToTypeId(ref_cursor.get_usr_hash());
IndexType* ref_type = db->Resolve(ref_type_id);
// TODO It seems difficult to get references to template template
// parameters.
// CXCursor_TemplateTemplateParameter can be visited by visiting
// CXCursor_TranslationUnit, but not (confirm this) by visiting
// {Class,Function}Template. Thus we need to initialize it here.
if (ref_type->def.detailed_name.empty()) {
2018-02-18 18:07:13 +00:00
ClangCursor sem_parent = ref_cursor.get_semantic_parent();
ClangCursor lex_parent = ref_cursor.get_lexical_parent();
SetUsePreflight(db, sem_parent);
SetUsePreflight(db, lex_parent);
ref_type = db->Resolve(ref_type_id);
2018-02-22 07:34:32 +00:00
ref_type->def.spell =
SetUse(db, ref_cursor.get_spell(), sem_parent, Role::Definition);
2018-02-18 18:07:13 +00:00
ref_type->def.extent =
SetUse(db, ref_cursor.get_extent(), lex_parent, Role::None);
2018-02-22 07:34:32 +00:00
#if 0 && CINDEX_HAVE_PRETTY
ref_type->def.detailed_name = param->PrettyPrintCursor(ref_cursor.cx_cursor);
#else
2018-02-18 18:07:13 +00:00
ref_type->def.detailed_name = ref_cursor.get_spell_name();
#endif
ref_type->def.short_name_offset = 0;
ref_type->def.short_name_size =
int16_t(strlen(ref_type->def.detailed_name.c_str()));
ref_type->def.kind = lsSymbolKind::TypeParameter;
}
AddUseSpell(db, ref_type->uses, cursor);
}
break;
}
case CXCursor_TypeRef: {
ClangCursor ref_cursor = clang_getCursorReferenced(cursor.cx_cursor);
if (ref_cursor.get_kind() == CXCursor_TemplateTypeParameter) {
IndexTypeId ref_type_id = db->ToTypeId(ref_cursor.get_usr_hash());
IndexType* ref_type = db->Resolve(ref_type_id);
2017-12-28 17:22:26 +00:00
// TODO It seems difficult to get a FunctionTemplate's template
// parameters.
// CXCursor_TemplateTypeParameter can be visited by visiting
// CXCursor_TranslationUnit, but not (confirm this) by visiting
// {Class,Function}Template. Thus we need to initialize it here.
if (ref_type->def.detailed_name.empty()) {
2018-02-18 18:07:13 +00:00
ClangCursor sem_parent = ref_cursor.get_semantic_parent();
ClangCursor lex_parent = ref_cursor.get_lexical_parent();
SetUsePreflight(db, sem_parent);
SetUsePreflight(db, lex_parent);
ref_type = db->Resolve(ref_type_id);
2018-02-22 07:34:32 +00:00
ref_type->def.spell =
SetUse(db, ref_cursor.get_spell(), sem_parent, Role::Definition);
2018-02-18 18:07:13 +00:00
ref_type->def.extent =
SetUse(db, ref_cursor.get_extent(), lex_parent, Role::None);
2018-02-22 07:34:32 +00:00
#if 0 && CINDEX_HAVE_PRETTY
2018-02-21 01:50:48 +00:00
// template<class T> void f(T t){} // weird, the name is empty
ref_type->def.detailed_name = param->PrettyPrintCursor(ref_cursor.cx_cursor);
#else
2018-02-18 18:07:13 +00:00
ref_type->def.detailed_name = ref_cursor.get_spell_name();
#endif
ref_type->def.short_name_offset = 0;
ref_type->def.short_name_size =
int16_t(strlen(ref_type->def.detailed_name.c_str()));
ref_type->def.kind = lsSymbolKind::TypeParameter;
}
AddUseSpell(db, ref_type->uses, cursor);
}
break;
}
}
return ClangCursor::VisitResult::Recurse;
}
} // namespace
2018-03-31 16:25:58 +00:00
std::pair<std::string, int> NamespaceHelper::QualifiedName(
const CXIdxContainerInfo* container,
std::string_view unqualified_name) {
if (!container)
2018-03-31 16:25:58 +00:00
return {std::string(unqualified_name), 0};
// Anonymous namespaces are not processed by indexDeclaration. We trace
// nested namespaces bottom-up through clang_getCursorSemanticParent until
// one that we know its qualified name. Then do another trace top-down and
// put their names into a map of USR -> qualified_name.
2018-01-26 06:20:28 +00:00
ClangCursor cursor(container->cursor);
std::vector<ClangCursor> namespaces;
std::string qualifier;
while (cursor.get_kind() != CXCursor_TranslationUnit &&
2018-03-02 18:18:01 +00:00
GetSymbolKind(cursor.get_kind()) == SymbolKind::Type) {
auto it = container_cursor_to_qualified_name.find(cursor);
if (it != container_cursor_to_qualified_name.end()) {
qualifier = it->second;
break;
}
namespaces.push_back(cursor);
cursor = clang_getCursorSemanticParent(cursor.cx_cursor);
}
for (size_t i = namespaces.size(); i > 0;) {
i--;
2018-02-18 18:07:13 +00:00
std::string name = namespaces[i].get_spell_name();
// Empty name indicates unnamed namespace, anonymous struct, anonymous
// union, ...
if (name.size())
qualifier += name;
else
qualifier += GetAnonName(namespaces[i].get_kind());
qualifier += "::";
container_cursor_to_qualified_name[namespaces[i]] = qualifier;
}
2018-03-31 16:25:58 +00:00
int pos = qualifier.size();
qualifier.append(unqualified_name);
return {qualifier, pos};
}
2017-12-01 17:57:03 +00:00
void OnIndexDeclaration(CXClientData client_data, const CXIdxDeclInfo* decl) {
IndexParam* param = static_cast<IndexParam*>(client_data);
// Track all constructor declarations, as we may need to use it to manually
// associate std::make_unique and the like as constructor invocations.
if (decl->entityInfo->kind == CXIdxEntity_CXXConstructor) {
param->ctors.NotifyConstructor(decl->cursor);
}
2017-04-08 22:54:36 +00:00
CXFile file;
2017-09-22 01:14:57 +00:00
clang_getSpellingLocation(clang_indexLoc_getCXSourceLocation(decl->loc),
&file, nullptr, nullptr, nullptr);
IndexFile* db = ConsumeFile(param, file);
2017-04-08 22:54:36 +00:00
if (!db)
return;
// The language of this declaration
LanguageId decl_lang = [&decl]() {
2017-12-01 17:50:39 +00:00
switch (clang_getCursorLanguage(decl->cursor)) {
case CXLanguage_C:
return LanguageId::C;
case CXLanguage_CPlusPlus:
return LanguageId::Cpp;
case CXLanguage_ObjC:
return LanguageId::ObjC;
default:
return LanguageId::Unknown;
2017-12-01 17:50:39 +00:00
};
}();
// Only update the file language if the new language is "greater" than the old
2017-11-30 22:09:29 +00:00
if (decl_lang > db->language) {
db->language = decl_lang;
}
ClangCursor sem_parent(fromContainer(decl->semanticContainer));
ClangCursor lex_parent(fromContainer(decl->lexicalContainer));
SetUsePreflight(db, sem_parent);
SetUsePreflight(db, lex_parent);
ClangCursor cursor = decl->cursor;
2017-02-20 00:56:56 +00:00
switch (decl->entityInfo->kind) {
case CXIdxEntity_Unexposed:
LOG_S(INFO) << "CXIdxEntity_Unexposed " << cursor.get_spell_name();
break;
2018-01-24 08:19:42 +00:00
case CXIdxEntity_CXXNamespace: {
Range spell = cursor.get_spell();
2018-01-24 08:19:42 +00:00
IndexTypeId ns_id = db->ToTypeId(HashUsr(decl->entityInfo->USR));
IndexType* ns = db->Resolve(ns_id);
ns->def.kind = GetSymbolKind(decl->entityInfo->kind);
if (ns->def.detailed_name.empty()) {
2018-02-22 07:34:32 +00:00
SetTypeName(ns, cursor, decl->semanticContainer, decl->entityInfo->name,
param);
2018-02-18 18:07:13 +00:00
ns->def.spell = SetUse(db, spell, sem_parent, Role::Definition);
ns->def.extent =
SetUse(db, cursor.get_extent(), lex_parent, Role::None);
2018-01-24 08:19:42 +00:00
if (decl->semanticContainer) {
IndexTypeId parent_id = db->ToTypeId(
ClangCursor(decl->semanticContainer->cursor).get_usr_hash());
db->Resolve(parent_id)->derived.push_back(ns_id);
// |ns| may be invalidated.
ns = db->Resolve(ns_id);
ns->def.bases.push_back(parent_id);
2018-01-24 08:19:42 +00:00
}
}
AddUse(db, ns->uses, spell, lex_parent);
break;
2018-01-24 08:19:42 +00:00
}
case CXIdxEntity_CXXNamespaceAlias:
assert(false && "CXXNamespaceAlias");
break;
2017-12-18 20:06:13 +00:00
case CXIdxEntity_ObjCProperty:
case CXIdxEntity_ObjCIvar:
2017-03-17 07:58:41 +00:00
case CXIdxEntity_EnumConstant:
case CXIdxEntity_Field:
case CXIdxEntity_Variable:
case CXIdxEntity_CXXStaticVariable: {
2018-02-18 18:07:13 +00:00
Range spell = cursor.get_spell();
2017-03-14 04:31:53 +00:00
2017-03-17 07:58:41 +00:00
// Do not index implicit template instantiations.
2018-02-18 18:07:13 +00:00
if (cursor != cursor.template_specialization_to_template_definition())
2017-03-17 07:58:41 +00:00
break;
2017-02-20 00:56:56 +00:00
2018-01-14 21:18:12 +00:00
IndexVarId var_id = db->ToVarId(HashUsr(decl->entityInfo->USR));
2017-05-27 17:03:49 +00:00
IndexVar* var = db->Resolve(var_id);
2017-02-20 00:56:56 +00:00
2017-03-17 07:58:41 +00:00
// TODO: Eventually run with this if. Right now I want to iron out bugs
// this may shadow.
// TODO: Verify this gets called multiple times
// if (!decl->isRedeclaration) {
SetVarDetail(var, std::string(decl->entityInfo->name), decl->cursor,
decl->semanticContainer, !decl->isRedeclaration, db, param);
var->def.kind = GetSymbolKind(decl->entityInfo->kind);
if (var->def.kind == lsSymbolKind::Variable &&
decl->cursor.kind == CXCursor_ParmDecl)
var->def.kind = lsSymbolKind::Parameter;
//}
2017-04-05 08:06:18 +00:00
if (decl->isDefinition) {
2018-02-18 18:07:13 +00:00
var->def.spell = SetUse(db, spell, sem_parent, Role::Definition);
var->def.extent =
SetUse(db, cursor.get_extent(), lex_parent, Role::None);
2017-09-22 01:14:57 +00:00
} else {
2018-02-18 18:07:13 +00:00
var->declarations.push_back(
SetUse(db, spell, lex_parent, Role::Declaration));
2017-04-05 08:06:18 +00:00
}
2017-03-17 07:58:41 +00:00
2018-02-18 18:07:13 +00:00
cursor.VisitChildren(&AddDeclInitializerUsagesVisitor, db);
2017-05-27 17:03:49 +00:00
var = db->Resolve(var_id);
2017-03-17 07:58:41 +00:00
// Declaring variable type information. Note that we do not insert an
// interesting reference for parameter declarations - that is handled when
// the function declaration is encountered since we won't receive ParmDecl
// declarations for unnamed parameters.
// TODO: See if we can remove this function call.
2018-02-22 07:34:32 +00:00
AddDeclTypeUsages(db, cursor, var->def.type, decl->semanticContainer,
decl->lexicalContainer);
2017-03-17 07:58:41 +00:00
2017-04-03 01:34:15 +00:00
// We don't need to assign declaring type multiple times if this variable
// has already been seen.
if (decl->isDefinition && decl->semanticContainer) {
switch (GetSymbolKind(decl->semanticContainer->cursor.kind)) {
case SymbolKind::Func: {
db->Resolve(db->ToFuncId(decl->semanticContainer->cursor))
->def.vars.push_back(var_id);
break;
}
case SymbolKind::Type:
if (decl->semanticContainer->cursor.kind != CXCursor_EnumDecl) {
db->Resolve(db->ToTypeId(decl->semanticContainer->cursor))
->def.vars.push_back(var_id);
}
break;
default:
break;
}
2017-02-21 05:16:45 +00:00
}
2017-03-17 07:58:41 +00:00
break;
}
2017-02-21 05:16:45 +00:00
2017-12-15 20:14:57 +00:00
case CXIdxEntity_ObjCInstanceMethod:
case CXIdxEntity_ObjCClassMethod:
2017-03-17 07:58:41 +00:00
case CXIdxEntity_Function:
case CXIdxEntity_CXXConstructor:
case CXIdxEntity_CXXDestructor:
case CXIdxEntity_CXXInstanceMethod:
case CXIdxEntity_CXXStaticMethod:
case CXIdxEntity_CXXConversionFunction: {
Range spell = cursor.get_spell();
Range extent = cursor.get_extent();
2017-04-03 01:34:15 +00:00
ClangCursor decl_cursor_resolved =
cursor.template_specialization_to_template_definition();
bool is_template_specialization = cursor != decl_cursor_resolved;
2017-03-17 07:58:41 +00:00
2017-05-27 19:56:39 +00:00
IndexFuncId func_id = db->ToFuncId(decl_cursor_resolved.cx_cursor);
2017-05-27 17:03:49 +00:00
IndexFunc* func = db->Resolve(func_id);
if (param->config->index.comments)
func->def.comments = cursor.get_comments();
2018-01-07 09:07:39 +00:00
func->def.kind = GetSymbolKind(decl->entityInfo->kind);
func->def.storage =
GetStorageClass(clang_Cursor_getStorageClass(decl->cursor));
2017-03-17 07:58:41 +00:00
// We don't actually need to know the return type, but we need to mark it
// as an interesting usage.
2018-03-31 03:16:33 +00:00
AddDeclTypeUsages(db, cursor, std::nullopt, decl->semanticContainer,
2017-09-22 01:14:57 +00:00
decl->lexicalContainer);
2017-03-17 07:58:41 +00:00
2017-05-27 19:56:39 +00:00
// Add definition or declaration. This is a bit tricky because we treat
// template specializations as declarations, even though they are
// technically definitions.
// TODO: Support multiple function definitions, which is common for
// template specializations.
if (decl->isDefinition && !is_template_specialization) {
// assert(!func->def.spell);
// assert(!func->def.extent);
2018-02-18 18:07:13 +00:00
func->def.spell = SetUse(db, spell, sem_parent, Role::Definition);
func->def.extent = SetUse(db, extent, lex_parent, Role::None);
2017-09-22 01:14:57 +00:00
} else {
IndexFunc::Declaration declaration;
2018-02-18 18:07:13 +00:00
declaration.spell = SetUse(db, spell, lex_parent, Role::Declaration);
// Add parameters.
for (ClangCursor arg : cursor.get_arguments()) {
switch (arg.get_kind()) {
case CXCursor_ParmDecl: {
2018-02-18 18:07:13 +00:00
Range param_spelling = arg.get_spell();
// If the name is empty (which is common for parameters), clang
// will report a range with length 1, which is not correct.
2017-09-22 01:14:57 +00:00
if (param_spelling.start.column ==
(param_spelling.end.column - 1) &&
arg.get_display_name().empty()) {
param_spelling.end.column -= 1;
}
declaration.param_spellings.push_back(param_spelling);
break;
}
default:
break;
}
}
func->declarations.push_back(declaration);
2017-04-05 08:06:18 +00:00
}
2017-03-17 07:58:41 +00:00
2017-05-27 19:56:39 +00:00
// Emit definition data for the function. We do this even if it isn't a
// definition because there can be, for example, interfaces, or a class
// declaration that doesn't have a definition yet. If we never end up
// indexing the definition, then there will not be any (ie) outline
// information.
if (!is_template_specialization) {
2018-02-22 07:34:32 +00:00
// Build detailed name. The type desc looks like void (void *). We
// insert the qualified name before the first '('.
// FIXME GetFunctionSignature should set index
#if CINDEX_HAVE_PRETTY
func->def.detailed_name = param->PrettyPrintCursor(decl->cursor);
#else
func->def.detailed_name = GetFunctionSignature(db, &param->ns, decl);
#endif
auto idx = func->def.detailed_name.find(decl->entityInfo->name);
assert(idx != std::string::npos);
func->def.short_name_offset = idx;
func->def.short_name_size = strlen(decl->entityInfo->name);
// CXCursor_OverloadedDeclRef in templates are not processed by
// OnIndexReference, thus we use TemplateVisitor to collect function
// references.
if (decl->entityInfo->templateKind == CXIdxEntity_Template) {
TemplateVisitorData data;
data.db = db;
2018-01-17 04:30:45 +00:00
data.param = param;
data.container = cursor;
cursor.VisitChildren(&TemplateVisitor, &data);
// TemplateVisitor calls ToFuncId which invalidates func
func = db->Resolve(func_id);
}
2017-03-17 07:58:41 +00:00
// Add function usage information. We only want to do it once per
// definition/declaration. Do it on definition since there should only
// ever be one of those in the entire program.
2017-03-17 07:58:41 +00:00
if (IsTypeDefinition(decl->semanticContainer)) {
IndexTypeId declaring_type_id =
2017-03-17 07:58:41 +00:00
db->ToTypeId(decl->semanticContainer->cursor);
IndexType* declaring_type_def = db->Resolve(declaring_type_id);
2017-05-27 17:03:49 +00:00
func->def.declaring_type = declaring_type_id;
2017-03-17 07:58:41 +00:00
// Mark a type reference at the ctor/dtor location.
if (decl->entityInfo->kind == CXIdxEntity_CXXConstructor)
AddUse(db, declaring_type_def->uses, spell,
fromContainer(decl->lexicalContainer));
2017-05-27 19:56:39 +00:00
// Add function to declaring type.
declaring_type_def->def.funcs.push_back(func_id);
2017-03-17 07:58:41 +00:00
}
2017-02-20 07:06:38 +00:00
// Process inheritance.
if (clang_CXXMethod_isVirtual(decl->cursor)) {
CXCursor* overridden;
unsigned int num_overridden;
clang_getOverriddenCursors(decl->cursor, &overridden,
2017-09-22 01:14:57 +00:00
&num_overridden);
for (unsigned i = 0; i < num_overridden; ++i) {
ClangCursor parent =
ClangCursor(overridden[i])
.template_specialization_to_template_definition();
IndexFuncId parent_id = db->ToFuncId(parent.get_usr_hash());
IndexFunc* parent_def = db->Resolve(parent_id);
2017-05-27 17:03:49 +00:00
func = db->Resolve(func_id); // ToFuncId invalidated func_def
func->def.bases.push_back(parent_id);
parent_def->derived.push_back(func_id);
}
2017-02-20 07:06:38 +00:00
clang_disposeOverriddenCursors(overridden);
}
2017-02-20 07:06:38 +00:00
}
2017-03-17 07:58:41 +00:00
break;
}
2017-02-20 02:35:56 +00:00
2017-03-17 07:58:41 +00:00
case CXIdxEntity_Typedef:
case CXIdxEntity_CXXTypeAlias: {
// Note we want to fetch the first TypeRef. Running
// ResolveCursorType(decl->cursor) would return
// the type of the typedef/using, not the type of the referenced type.
2018-03-31 03:16:33 +00:00
std::optional<IndexTypeId> alias_of = AddDeclTypeUsages(
db, cursor, std::nullopt, decl->semanticContainer, decl->lexicalContainer);
2017-02-20 02:35:56 +00:00
2018-01-14 21:18:12 +00:00
IndexTypeId type_id = db->ToTypeId(HashUsr(decl->entityInfo->USR));
2017-05-27 17:03:49 +00:00
IndexType* type = db->Resolve(type_id);
2017-02-20 00:56:56 +00:00
2017-03-17 07:58:41 +00:00
if (alias_of)
2017-05-27 17:03:49 +00:00
type->def.alias_of = alias_of.value();
ClangCursor decl_cursor = decl->cursor;
2018-02-18 18:07:13 +00:00
Range spell = decl_cursor.get_spell();
Range extent = decl_cursor.get_extent();
2018-02-18 18:07:13 +00:00
type->def.spell = SetUse(db, spell, sem_parent, Role::Definition);
type->def.extent = SetUse(db, extent, lex_parent, Role::None);
2018-01-26 06:20:28 +00:00
SetTypeName(type, decl_cursor, decl->semanticContainer,
decl->entityInfo->name, param);
type->def.kind = GetSymbolKind(decl->entityInfo->kind);
if (param->config->index.comments)
type->def.comments = decl_cursor.get_comments();
2017-12-23 16:01:43 +00:00
// For Typedef/CXXTypeAlias spanning a few lines, display the declaration
// line, with spelling name replaced with qualified name.
2017-12-19 07:05:12 +00:00
if (extent.end.line - extent.start.line <
kMaxLinesDisplayTypeAliasDeclarations) {
FileContents& fc = param->file_contents[db->path];
2018-03-31 03:16:33 +00:00
std::optional<int> extent_start = fc.ToOffset(extent.start),
2017-12-19 07:05:12 +00:00
spell_start = fc.ToOffset(spell.start),
spell_end = fc.ToOffset(spell.end),
extent_end = fc.ToOffset(extent.end);
if (extent_start && spell_start && spell_end && extent_end) {
type->def.hover =
fc.content.substr(*extent_start, *spell_start - *extent_start) +
type->def.detailed_name.c_str() +
fc.content.substr(*spell_end, *extent_end - *spell_end);
}
}
2017-03-17 07:58:41 +00:00
AddUse(db, type->uses, spell, fromContainer(decl->lexicalContainer));
2017-03-17 07:58:41 +00:00
break;
2017-02-21 06:11:47 +00:00
}
2017-12-15 20:14:57 +00:00
case CXIdxEntity_ObjCProtocol:
case CXIdxEntity_ObjCCategory:
case CXIdxEntity_ObjCClass:
2017-03-17 07:58:41 +00:00
case CXIdxEntity_Enum:
case CXIdxEntity_Union:
case CXIdxEntity_Struct:
case CXIdxEntity_CXXInterface:
2017-03-17 07:58:41 +00:00
case CXIdxEntity_CXXClass: {
2018-03-02 18:18:01 +00:00
Range spell = cursor.get_spell();
2017-04-03 01:34:15 +00:00
2018-01-14 21:18:12 +00:00
IndexTypeId type_id = db->ToTypeId(HashUsr(decl->entityInfo->USR));
2017-05-27 17:03:49 +00:00
IndexType* type = db->Resolve(type_id);
2017-03-17 07:58:41 +00:00
// TODO: Eventually run with this if. Right now I want to iron out bugs
// this may shadow.
// TODO: For type section, verify if this ever runs for non definitions?
// if (!decl->isRedeclaration) {
2018-03-20 02:51:42 +00:00
SetTypeName(type, cursor, decl->semanticContainer, decl->entityInfo->name,
param);
2018-01-07 09:07:39 +00:00
type->def.kind = GetSymbolKind(decl->entityInfo->kind);
if (param->config->index.comments)
2018-03-02 18:18:01 +00:00
type->def.comments = cursor.get_comments();
2017-03-17 07:58:41 +00:00
// }
if (decl->isDefinition) {
2018-02-18 18:07:13 +00:00
type->def.spell = SetUse(db, spell, sem_parent, Role::Definition);
2018-02-22 07:34:32 +00:00
type->def.extent =
2018-03-02 18:18:01 +00:00
SetUse(db, cursor.get_extent(), lex_parent, Role::None);
2018-03-02 18:18:01 +00:00
if (cursor.get_kind() == CXCursor_EnumDecl) {
ClangType enum_type = clang_getEnumDeclIntegerType(decl->cursor);
if (!enum_type.is_builtin()) {
IndexType* int_type =
2018-01-30 00:27:43 +00:00
db->Resolve(db->ToTypeId(enum_type.get_usr_hash()));
2018-02-22 07:34:32 +00:00
AddUse(db, int_type->uses, spell,
fromContainer(decl->lexicalContainer));
// type is invalidated.
type = db->Resolve(type_id);
}
}
2018-01-29 01:30:41 +00:00
} else
AddUse(db, type->declarations, spell,
fromContainer(decl->lexicalContainer), Role::Declaration);
2017-03-17 07:58:41 +00:00
2018-01-29 01:30:41 +00:00
switch (decl->entityInfo->templateKind) {
2018-01-30 00:27:43 +00:00
default:
break;
case CXIdxEntity_TemplateSpecialization:
case CXIdxEntity_TemplatePartialSpecialization: {
// TODO Use a different dimension
ClangCursor origin_cursor =
2018-03-02 18:18:01 +00:00
cursor.template_specialization_to_template_definition();
2018-01-30 00:27:43 +00:00
IndexTypeId origin_id = db->ToTypeId(origin_cursor.get_usr_hash());
IndexType* origin = db->Resolve(origin_id);
// |type| may be invalidated.
type = db->Resolve(type_id);
// template<class T> class function; // not visited by
// OnIndexDeclaration template<> class function<int> {}; // current
// cursor
if (origin->def.detailed_name.empty()) {
2018-01-30 00:27:43 +00:00
SetTypeName(origin, origin_cursor, nullptr,
&type->def.ShortName()[0], param);
2018-01-30 00:27:43 +00:00
origin->def.kind = type->def.kind;
}
// TODO The name may be assigned in |ResolveToDeclarationType| but
2018-03-31 03:16:33 +00:00
// |spell| is std::nullopt.
CXFile origin_file;
2018-02-18 18:07:13 +00:00
Range origin_spell = origin_cursor.get_spell(&origin_file);
if (!origin->def.spell && file == origin_file) {
2018-02-18 18:07:13 +00:00
ClangCursor origin_sem = origin_cursor.get_semantic_parent();
ClangCursor origin_lex = origin_cursor.get_lexical_parent();
SetUsePreflight(db, origin_sem);
SetUsePreflight(db, origin_lex);
origin = db->Resolve(origin_id);
type = db->Resolve(type_id);
2018-02-18 18:07:13 +00:00
origin->def.spell =
SetUse(db, origin_spell, origin_sem, Role::Definition);
origin->def.extent =
SetUse(db, origin_cursor.get_extent(), origin_lex, Role::None);
2018-01-30 00:27:43 +00:00
}
origin->derived.push_back(type_id);
type->def.bases.push_back(origin_id);
}
2018-01-30 00:27:43 +00:00
// fallthrough
case CXIdxEntity_Template: {
TemplateVisitorData data;
data.db = db;
2018-03-02 18:18:01 +00:00
data.container = cursor;
2018-01-30 00:27:43 +00:00
data.param = param;
2018-03-02 18:18:01 +00:00
cursor.VisitChildren(&TemplateVisitor, &data);
2018-01-30 00:27:43 +00:00
break;
2018-01-29 01:30:41 +00:00
}
}
2017-03-17 07:58:41 +00:00
// type_def->alias_of
// type_def->funcs
// type_def->types
// type_def->uses
// type_def->vars
// Add type-level inheritance information.
CXIdxCXXClassDeclInfo const* class_info =
clang_index_getCXXClassDeclInfo(decl);
if (class_info) {
for (unsigned int i = 0; i < class_info->numBases; ++i) {
const CXIdxBaseClassInfo* base_class = class_info->bases[i];
2018-03-31 03:16:33 +00:00
AddDeclTypeUsages(db, base_class->cursor, std::nullopt,
decl->semanticContainer, decl->lexicalContainer);
2018-03-31 03:16:33 +00:00
std::optional<IndexTypeId> parent_type_id =
ResolveToDeclarationType(db, base_class->cursor, param);
2018-01-11 02:43:01 +00:00
// type_def ptr could be invalidated by ResolveToDeclarationType and
// TemplateVisitor.
2017-05-27 17:03:49 +00:00
type = db->Resolve(type_id);
2017-03-17 07:58:41 +00:00
if (parent_type_id) {
2017-09-22 01:14:57 +00:00
IndexType* parent_type_def = db->Resolve(parent_type_id.value());
2017-03-17 07:58:41 +00:00
parent_type_def->derived.push_back(type_id);
type->def.bases.push_back(*parent_type_id);
2017-03-17 07:58:41 +00:00
}
2017-02-21 05:32:40 +00:00
}
}
2017-03-17 07:58:41 +00:00
break;
2017-02-20 00:56:56 +00:00
}
}
}
// Type-dependent member access expressions do not have accurate spelling
// ranges.
//
// Not type dependent
// C<int> f; f.x // .x produces a MemberRefExpr which has a spelling range
// of `x`.
//
// Type dependent
// C<T> e; e.x // .x produces a MemberRefExpr which has a spelling range
// of `e` (weird) and an empty spelling name.
//
// To attribute the use of `x` in `e.x`, we use cursor extent `e.x`
// minus cursor spelling `e` minus the period.
void CheckTypeDependentMemberRefExpr(Range* spell,
const ClangCursor& cursor,
IndexParam* param,
const IndexFile* db) {
if (cursor.get_kind() == CXCursor_MemberRefExpr &&
2018-02-18 18:07:13 +00:00
cursor.get_spell_name().empty()) {
*spell = cursor.get_extent().RemovePrefix(spell->end);
const FileContents& fc = param->file_contents[db->path];
2018-03-31 03:16:33 +00:00
std::optional<int> maybe_period = fc.ToOffset(spell->start);
if (maybe_period) {
int i = *maybe_period;
if (fc.content[i] == '.')
spell->start.column++;
// -> is likely unexposed.
}
}
}
2017-12-01 17:57:03 +00:00
void OnIndexReference(CXClientData client_data, const CXIdxEntityRefInfo* ref) {
2017-04-08 22:54:36 +00:00
// TODO: Use clang_getFileUniqueID
CXFile file;
2017-09-22 01:14:57 +00:00
clang_getSpellingLocation(clang_indexLoc_getCXSourceLocation(ref->loc), &file,
nullptr, nullptr, nullptr);
2017-04-08 18:36:32 +00:00
IndexParam* param = static_cast<IndexParam*>(client_data);
IndexFile* db = ConsumeFile(param, file);
2017-04-08 22:54:36 +00:00
if (!db)
return;
2017-04-08 18:36:32 +00:00
ClangCursor cursor(ref->cursor);
ClangCursor lex_parent(fromContainer(ref->container));
ClangCursor referenced;
if (ref->referencedEntity)
referenced = ref->referencedEntity->cursor;
SetUsePreflight(db, lex_parent);
2017-02-20 00:56:56 +00:00
switch (ref->referencedEntity->kind) {
case CXIdxEntity_Unexposed:
LOG_S(INFO) << "CXIdxEntity_Unexposed " << cursor.get_spell_name();
break;
2017-03-17 07:58:41 +00:00
case CXIdxEntity_CXXNamespace: {
2018-01-24 08:19:42 +00:00
IndexType* ns = db->Resolve(db->ToTypeId(referenced.get_usr_hash()));
2018-02-18 18:07:13 +00:00
AddUse(db, ns->uses, cursor.get_spell(), fromContainer(ref->container));
2017-03-17 07:58:41 +00:00
break;
2017-02-20 00:56:56 +00:00
}
2017-03-17 07:58:41 +00:00
case CXIdxEntity_CXXNamespaceAlias: {
IndexType* ns = db->Resolve(db->ToTypeId(referenced.get_usr_hash()));
AddUse(db, ns->uses, cursor.get_spell(), fromContainer(ref->container));
if (!ns->def.spell) {
ClangCursor sem_parent = referenced.get_semantic_parent();
ClangCursor lex_parent = referenced.get_lexical_parent();
SetUsePreflight(db, sem_parent);
SetUsePreflight(db, lex_parent);
2018-02-22 07:34:32 +00:00
ns->def.spell =
SetUse(db, referenced.get_spell(), sem_parent, Role::Definition);
ns->def.extent =
SetUse(db, referenced.get_extent(), lex_parent, Role::None);
std::string name = referenced.get_spell_name();
SetTypeName(ns, referenced, nullptr, name.c_str(), param);
}
break;
}
2017-12-15 20:14:57 +00:00
case CXIdxEntity_ObjCProperty:
case CXIdxEntity_ObjCIvar:
2017-03-17 07:58:41 +00:00
case CXIdxEntity_EnumConstant:
case CXIdxEntity_CXXStaticVariable:
case CXIdxEntity_Variable:
case CXIdxEntity_Field: {
2018-03-06 04:46:45 +00:00
Range loc = cursor.get_spell();
CheckTypeDependentMemberRefExpr(&loc, cursor, param, db);
2017-04-03 01:34:15 +00:00
2017-03-17 07:58:41 +00:00
referenced = referenced.template_specialization_to_template_definition();
IndexVarId var_id = db->ToVarId(referenced.get_usr_hash());
2017-05-27 17:03:49 +00:00
IndexVar* var = db->Resolve(var_id);
// Lambda paramaters are not processed by OnIndexDeclaration and
// may not have a short_name yet. Note that we only process the lambda
// parameter as a definition if it is in the same file as the reference,
// as lambdas cannot be split across files.
if (var->def.detailed_name.empty()) {
CXFile referenced_file;
2018-02-18 18:07:13 +00:00
Range spell = referenced.get_spell(&referenced_file);
if (file == referenced_file) {
2018-02-18 18:07:13 +00:00
var->def.spell = SetUse(db, spell, lex_parent, Role::Definition);
2018-02-22 07:34:32 +00:00
var->def.extent =
SetUse(db, referenced.get_extent(), lex_parent, Role::None);
2017-12-23 16:01:43 +00:00
// TODO Some of the logic here duplicates CXIdxEntity_Variable branch
// of OnIndexDeclaration. But there `decl` is of type CXIdxDeclInfo
// and has more information, thus not easy to reuse the code.
2018-02-18 18:07:13 +00:00
SetVarDetail(var, referenced.get_spell_name(), referenced, nullptr,
true, db, param);
var->def.kind = lsSymbolKind::Parameter;
}
}
AddUse(db, var->uses, loc, fromContainer(ref->container),
GetRole(ref, Role::Reference));
2017-03-17 07:58:41 +00:00
break;
2017-02-20 00:56:56 +00:00
}
2017-03-17 07:58:41 +00:00
case CXIdxEntity_CXXConversionFunction:
case CXIdxEntity_CXXStaticMethod:
case CXIdxEntity_CXXInstanceMethod:
2017-12-15 20:14:57 +00:00
case CXIdxEntity_ObjCInstanceMethod:
case CXIdxEntity_ObjCClassMethod:
2017-03-17 07:58:41 +00:00
case CXIdxEntity_Function:
case CXIdxEntity_CXXConstructor:
case CXIdxEntity_CXXDestructor: {
// TODO: Redirect container to constructor for the following example, ie,
// we should be inserting an outgoing function call from the Foo
// ctor.
//
// int Gen() { return 5; }
// class Foo {
// int x = Gen();
// }
// TODO: search full history?
2018-03-06 04:46:45 +00:00
Range loc = cursor.get_spell();
2017-04-03 01:34:15 +00:00
2018-01-14 21:18:12 +00:00
IndexFuncId called_id = db->ToFuncId(HashUsr(ref->referencedEntity->USR));
2017-05-27 17:03:49 +00:00
IndexFunc* called = db->Resolve(called_id);
2017-05-23 06:47:27 +00:00
std::string_view short_name = called->def.ShortName();
2017-05-23 06:47:27 +00:00
// libclang doesn't provide a nice api to check if the given function
// call is implicit. ref->kind should probably work (it's either direct
// or implicit), but libclang only supports implicit for objective-c.
2017-09-22 01:14:57 +00:00
bool is_implicit =
CanBeCalledImplicitly(ref->referencedEntity->kind) &&
// Treats empty short_name as an implicit call like implicit move
// constructor in `vector<int> a = f();`
(short_name.empty() ||
// For explicit destructor call, ref->cursor may be "~" while
// called->def.short_name is "~A"
// "~A" is not a substring of ref->cursor, but we should take this
// case as not `is_implicit`.
(short_name[0] != '~' &&
!CursorSpellingContainsString(ref->cursor, param->tu->cx_tu,
short_name)));
2017-05-23 06:47:27 +00:00
2018-01-11 02:43:01 +00:00
// Extents have larger ranges and thus less specific, and will be
// overriden by other functions if exist.
//
// Type-dependent member access expressions do not have useful spelling
2018-01-11 02:43:01 +00:00
// ranges. See the comment above for the CXIdxEntity_Field case.
if (is_implicit)
2018-03-06 04:46:45 +00:00
loc = cursor.get_extent();
else
2018-03-06 04:46:45 +00:00
CheckTypeDependentMemberRefExpr(&loc, cursor, param, db);
OnIndexReference_Function(
db, loc, ref->container->cursor, called_id,
GetRole(ref, Role::Call) |
(is_implicit ? Role::Implicit : Role::None));
2017-03-17 07:58:41 +00:00
// Checks if |str| starts with |start|. Ignores case.
auto str_begin = [](const char* start, const char* str) {
while (*start && *str) {
char a = tolower(*start);
char b = tolower(*str);
if (a != b)
return false;
++start;
++str;
}
return !*start;
};
bool is_template = ref->referencedEntity->templateKind !=
CXIdxEntityCXXTemplateKind::CXIdxEntity_NonTemplate;
2018-02-01 05:48:39 +00:00
if (param->config->index.attributeMakeCallsToCtor && is_template &&
str_begin("make", ref->referencedEntity->name)) {
// Try to find the return type of called function. That type will have
// the constructor function we add a usage to.
2018-03-31 03:16:33 +00:00
std::optional<ClangCursor> opt_found_type = FindType(ref->cursor);
if (opt_found_type) {
2018-01-13 08:10:39 +00:00
Usr ctor_type_usr = opt_found_type->get_referenced().get_usr_hash();
ClangCursor call_cursor = ref->cursor;
// Build a type description from the parameters of the call, so we
// can try to find a constructor with the same type description.
std::vector<std::string> call_type_desc;
for (ClangType type : call_cursor.get_type().get_arguments()) {
2018-02-18 18:07:13 +00:00
std::string type_desc = type.get_spell_name();
if (!type_desc.empty())
call_type_desc.push_back(type_desc);
}
// Try to find the constructor and add a reference.
2018-03-31 03:16:33 +00:00
std::optional<Usr> ctor_usr =
param->ctors.TryFindConstructorUsr(ctor_type_usr, call_type_desc);
if (ctor_usr) {
IndexFunc* ctor = db->Resolve(db->ToFuncId(*ctor_usr));
2018-03-02 18:18:01 +00:00
ctor->uses.push_back(Use(loc, Id<void>(), SymbolKind::File,
Role::Call | Role::Implicit, {}));
}
}
}
2017-03-17 07:58:41 +00:00
break;
}
2017-02-17 09:57:44 +00:00
2017-12-15 20:14:57 +00:00
case CXIdxEntity_ObjCCategory:
case CXIdxEntity_ObjCProtocol:
case CXIdxEntity_ObjCClass:
2017-03-17 07:58:41 +00:00
case CXIdxEntity_Typedef:
2018-02-22 07:34:32 +00:00
case CXIdxEntity_CXXInterface: // MSVC __interface
2017-03-17 07:58:41 +00:00
case CXIdxEntity_CXXTypeAlias:
case CXIdxEntity_Enum:
case CXIdxEntity_Union:
case CXIdxEntity_Struct:
case CXIdxEntity_CXXClass: {
2018-03-06 04:46:45 +00:00
referenced = referenced.template_specialization_to_template_definition();
2018-01-30 00:27:43 +00:00
IndexType* ref_type =
2018-03-06 04:46:45 +00:00
db->Resolve(db->ToTypeId(referenced.get_usr_hash()));
if (!ref->parentEntity || IsDeclContext(ref->parentEntity->kind))
AddUseSpell(db, ref_type->declarations, ref->cursor);
else
AddUseSpell(db, ref_type->uses, ref->cursor);
2017-03-17 07:58:41 +00:00
break;
2017-02-26 01:08:05 +00:00
}
2017-02-20 00:56:56 +00:00
}
}
2017-02-17 09:57:44 +00:00
2018-03-31 03:16:33 +00:00
std::optional<std::vector<std::unique_ptr<IndexFile>>> Parse(
2017-09-22 01:14:57 +00:00
Config* config,
2017-12-29 16:29:47 +00:00
FileConsumerSharedState* file_consumer_shared,
std::string file,
2017-09-27 06:03:43 +00:00
const std::vector<std::string>& args,
const std::vector<FileContents>& file_contents,
PerformanceImportFile* perf,
ClangIndex* index,
2017-04-20 07:25:38 +00:00
bool dump_ast) {
if (!config->index.enabled)
2018-03-31 03:16:33 +00:00
return std::nullopt;
2017-04-19 00:05:14 +00:00
file = NormalizePath(file);
2017-03-11 02:24:51 +00:00
Timer timer;
2017-04-14 22:58:07 +00:00
std::vector<CXUnsavedFile> unsaved_files;
2017-07-30 04:24:02 +00:00
for (const FileContents& contents : file_contents) {
CXUnsavedFile unsaved;
2017-07-30 04:24:02 +00:00
unsaved.Filename = contents.path.c_str();
unsaved.Contents = contents.content.c_str();
unsaved.Length = (unsigned long)contents.content.size();
unsaved_files.push_back(unsaved);
}
2017-07-30 04:24:02 +00:00
std::unique_ptr<ClangTranslationUnit> tu = ClangTranslationUnit::Create(
index, file, args, unsaved_files,
2017-10-31 19:49:19 +00:00
CXTranslationUnit_KeepGoing |
CXTranslationUnit_DetailedPreprocessingRecord);
if (!tu)
2018-03-31 03:16:33 +00:00
return std::nullopt;
2017-02-16 09:35:30 +00:00
perf->index_parse = timer.ElapsedMicrosecondsAndReset();
2017-02-27 07:28:33 +00:00
if (dump_ast)
Dump(clang_getTranslationUnitCursor(tu->cx_tu));
2017-02-20 00:56:56 +00:00
2018-02-01 05:48:39 +00:00
return ParseWithTu(config, file_consumer_shared, perf, tu.get(), index, file,
args, unsaved_files);
2017-09-27 06:03:43 +00:00
}
2018-03-31 03:16:33 +00:00
std::optional<std::vector<std::unique_ptr<IndexFile>>> ParseWithTu(
2018-02-01 05:48:39 +00:00
Config* config,
2017-12-29 16:29:47 +00:00
FileConsumerSharedState* file_consumer_shared,
2017-09-27 06:03:43 +00:00
PerformanceImportFile* perf,
ClangTranslationUnit* tu,
ClangIndex* index,
2017-09-27 06:03:43 +00:00
const std::string& file,
const std::vector<std::string>& args,
const std::vector<CXUnsavedFile>& file_contents) {
Timer timer;
2017-12-01 17:57:03 +00:00
IndexerCallbacks callback = {0};
// Available callbacks:
// - abortQuery
// - enteredMainFile
// - ppIncludedFile
// - importedASTFile
// - startedTranslationUnit
callback.diagnostic = &OnIndexDiagnostic;
callback.ppIncludedFile = &OnIndexIncludedFile;
callback.indexDeclaration = &OnIndexDeclaration;
callback.indexEntityReference = &OnIndexReference;
2017-02-20 00:56:56 +00:00
FileConsumer file_consumer(file_consumer_shared, file);
2018-02-01 05:48:39 +00:00
IndexParam param(config, tu, &file_consumer);
2017-09-27 06:03:43 +00:00
for (const CXUnsavedFile& contents : file_contents) {
param.file_contents[contents.Filename] = FileContents(
2017-12-19 07:05:12 +00:00
contents.Filename, std::string(contents.Contents, contents.Length));
}
2017-03-06 06:47:37 +00:00
2017-09-27 06:03:43 +00:00
CXFile cx_file = clang_getFile(tu->cx_tu, file.c_str());
param.primary_file = ConsumeFile(&param, cx_file);
CXIndexAction index_action = clang_IndexAction_create(index->cx_index);
2017-12-01 17:57:03 +00:00
// |index_result| is a CXErrorCode instance.
int index_result = clang_indexTranslationUnit(
index_action, &param, &callback, sizeof(IndexerCallbacks),
CXIndexOpt_IndexFunctionLocalSymbols |
CXIndexOpt_SkipParsedBodiesInSession |
CXIndexOpt_IndexImplicitTemplateInstantiations,
tu->cx_tu);
if (index_result != CXError_Success) {
2018-01-20 07:56:49 +00:00
LOG_S(ERROR) << "Indexing " << file
<< " failed with errno=" << index_result;
2018-03-31 03:16:33 +00:00
return std::nullopt;
2017-12-01 17:57:03 +00:00
}
2017-07-30 04:24:02 +00:00
2017-02-20 00:56:56 +00:00
clang_IndexAction_dispose(index_action);
ClangCursor(clang_getTranslationUnitCursor(tu->cx_tu))
.VisitChildren(&VisitMacroDefinitionAndExpansions, &param);
perf->index_build = timer.ElapsedMicrosecondsAndReset();
2017-02-20 00:56:56 +00:00
2018-01-06 17:28:55 +00:00
std::unordered_map<std::string, int> inc_to_line;
// TODO
if (param.primary_file)
2018-01-11 02:43:01 +00:00
for (auto& inc : param.primary_file->includes)
inc_to_line[inc.resolved_path] = inc.line;
2018-01-06 17:28:55 +00:00
2017-04-08 22:54:36 +00:00
auto result = param.file_consumer->TakeLocalState();
2017-07-30 04:24:02 +00:00
for (std::unique_ptr<IndexFile>& entry : result) {
entry->import_file = file;
entry->args = args;
2018-03-07 23:08:50 +00:00
for (IndexFunc& func : entry->funcs) {
// e.g. declaration + out-of-line definition
Uniquify(func.derived);
Uniquify(func.uses);
2018-03-07 23:08:50 +00:00
}
for (IndexType& type : entry->types) {
2018-03-07 23:08:50 +00:00
Uniquify(type.derived);
Uniquify(type.uses);
// e.g. declaration + out-of-line definition
Uniquify(type.def.funcs);
}
for (IndexVar& var : entry->vars)
Uniquify(var.uses);
2018-01-06 17:28:55 +00:00
if (param.primary_file) {
// If there are errors, show at least one at the include position.
auto it = inc_to_line.find(entry->path);
if (it != inc_to_line.end()) {
int line = it->second;
for (auto ls_diagnostic : entry->diagnostics_) {
if (ls_diagnostic.severity != lsDiagnosticSeverity::Error)
continue;
ls_diagnostic.range =
lsRange(lsPosition(line, 10), lsPosition(line, 10));
param.primary_file->diagnostics_.push_back(ls_diagnostic);
break;
}
2018-01-06 17:28:55 +00:00
}
}
2017-07-30 04:24:02 +00:00
// Update file contents and modification time.
entry->last_modification_time = param.file_modification_times[entry->path];
// Update dependencies for the file. Do not include the file in its own
// dependency set.
entry->dependencies = param.seen_files;
2017-12-11 02:59:32 +00:00
entry->dependencies.erase(
std::remove(entry->dependencies.begin(), entry->dependencies.end(),
entry->path),
entry->dependencies.end());
2017-04-08 22:54:36 +00:00
}
2017-04-19 00:05:14 +00:00
return std::move(result);
2017-03-22 17:16:09 +00:00
}
void ConcatTypeAndName(std::string& type, const std::string& name) {
if (type.size() &&
(type.back() != ' ' && type.back() != '*' && type.back() != '&'))
type.push_back(' ');
type.append(name);
}
void IndexInit() {
clang_enableStackTraces();
if (!getenv("LIBCLANG_DISABLE_CRASH_RECOVERY"))
clang_toggleCrashRecovery(1);
2017-04-18 23:49:55 +00:00
}
std::string GetClangVersion() {
return ToString(clang_getClangVersion());
}
2018-02-05 01:35:16 +00:00
// |SymbolRef| is serialized this way.
// |Use| also uses this though it has an extra field |file|,
// which is not used by Index* so it does not need to be serialized.
void Reflect(Reader& visitor, Reference& value) {
if (visitor.Format() == SerializeFormat::Json) {
std::string t = visitor.GetString();
char* s = const_cast<char*>(t.c_str());
value.range = Range(s);
s = strchr(s, '|');
value.id.id = RawId(strtol(s + 1, &s, 10));
value.kind = static_cast<SymbolKind>(strtol(s + 1, &s, 10));
value.role = static_cast<Role>(strtol(s + 1, &s, 10));
} else {
Reflect(visitor, value.range);
2018-02-09 17:42:10 +00:00
Reflect(visitor, value.id);
Reflect(visitor, value.kind);
Reflect(visitor, value.role);
}
}
void Reflect(Writer& visitor, Reference& value) {
if (visitor.Format() == SerializeFormat::Json) {
std::string s = value.range.ToString();
// RawId(-1) -> "-1"
2018-02-22 07:34:32 +00:00
s += '|' + std::to_string(
static_cast<std::make_signed<RawId>::type>(value.id.id));
s += '|' + std::to_string(int(value.kind));
s += '|' + std::to_string(int(value.role));
Reflect(visitor, s);
} else {
Reflect(visitor, value.range);
2018-02-09 17:42:10 +00:00
Reflect(visitor, value.id);
Reflect(visitor, value.kind);
Reflect(visitor, value.role);
}
}