ccls/src/query.h

189 lines
5.6 KiB
C
Raw Normal View History

2018-08-21 05:27:52 +00:00
// Copyright 2017-2018 ccls Authors
// SPDX-License-Identifier: Apache-2.0
2017-02-23 09:23:23 +00:00
#pragma once
2017-02-26 08:11:47 +00:00
#include "indexer.h"
#include "serializer.h"
2017-02-26 08:11:47 +00:00
#include <llvm/ADT/DenseMap.h>
#include <llvm/ADT/SmallVector.h>
#include <llvm/ADT/StringMap.h>
2017-04-17 20:40:50 +00:00
namespace llvm {
template <> struct DenseMapInfo<SymbolRef> {
static inline SymbolRef getEmptyKey() { return {}; }
static inline SymbolRef getTombstoneKey() {
SymbolRef ret{};
ret.usr = -1;
return ret;
}
static unsigned getHashValue(SymbolRef sym) {
return std::hash<SymbolRef>()(sym);
}
static bool isEqual(SymbolRef l, SymbolRef r) { return l == r; }
};
}
struct QueryFile {
struct Def {
std::string path;
2018-02-15 06:41:07 +00:00
std::vector<std::string> args;
2018-05-05 03:40:52 +00:00
LanguageId language;
2017-05-21 03:46:15 +00:00
// Includes in the file.
std::vector<IndexInclude> includes;
// Parts of the file which are disabled.
std::vector<Range> skipped_ranges;
2018-03-31 03:16:33 +00:00
// Used by |$ccls/freshenIndex|.
std::vector<std::string> dependencies;
};
2017-02-27 07:23:43 +00:00
using DefUpdate = std::pair<Def, std::string>;
2017-02-27 07:23:43 +00:00
int id = -1;
2018-03-31 03:16:33 +00:00
std::optional<Def> def;
llvm::DenseMap<SymbolRef, int> symbol2refcnt;
llvm::DenseMap<SymbolRef, int> outline2refcnt;
2017-02-26 08:11:47 +00:00
};
2017-03-14 08:33:39 +00:00
2018-08-09 17:08:14 +00:00
template <typename Q, typename QDef> struct QueryEntity {
using Def = QDef;
2018-08-09 17:08:14 +00:00
Def *AnyDef() {
Def *ret = nullptr;
for (auto &i : static_cast<Q *>(this)->def) {
2018-02-22 06:34:34 +00:00
ret = &i;
if (i.spell)
break;
}
return ret;
}
2018-08-09 17:08:14 +00:00
const Def *AnyDef() const {
return const_cast<QueryEntity *>(this)->AnyDef();
}
2018-02-22 06:34:34 +00:00
};
using DeclRefUpdate =
std::unordered_map<Usr,
std::pair<std::vector<DeclRef>, std::vector<DeclRef>>>;
2018-05-04 04:20:10 +00:00
using UseUpdate =
std::unordered_map<Usr, std::pair<std::vector<Use>, std::vector<Use>>>;
using UsrUpdate =
std::unordered_map<Usr, std::pair<std::vector<Usr>, std::vector<Usr>>>;
2017-02-27 02:03:14 +00:00
struct QueryFunc : QueryEntity<QueryFunc, FuncDef> {
2018-01-13 08:10:39 +00:00
Usr usr;
llvm::SmallVector<Def, 1> def;
std::vector<DeclRef> declarations;
std::vector<Use> uses;
std::vector<Usr> derived;
2017-02-26 08:11:47 +00:00
};
2017-03-14 08:33:39 +00:00
struct QueryType : QueryEntity<QueryType, TypeDef> {
2018-01-13 08:10:39 +00:00
Usr usr;
llvm::SmallVector<Def, 1> def;
std::vector<DeclRef> declarations;
std::vector<Use> uses;
std::vector<Usr> derived;
std::vector<Usr> instances;
2017-02-26 08:11:47 +00:00
};
2017-03-14 08:33:39 +00:00
struct QueryVar : QueryEntity<QueryVar, VarDef> {
Usr usr;
llvm::SmallVector<Def, 1> def;
std::vector<DeclRef> declarations;
std::vector<Use> uses;
2017-02-26 08:11:47 +00:00
};
2017-03-14 08:33:39 +00:00
2017-02-27 07:23:43 +00:00
struct IndexUpdate {
// Creates a new IndexUpdate based on the delta from previous to current. If
// no delta computation should be done just pass null for previous.
2018-08-09 17:08:14 +00:00
static IndexUpdate CreateDelta(IndexFile *previous, IndexFile *current);
2018-05-08 15:56:20 +00:00
int file_id;
// Dummy one to refresh all semantic highlight.
bool refresh = false;
decltype(IndexFile::lid2path) prev_lid2path;
decltype(IndexFile::lid2path) lid2path;
2017-02-27 07:23:43 +00:00
// File updates.
std::optional<std::string> files_removed;
std::optional<QueryFile::DefUpdate> files_def_update;
// Function updates.
int funcs_hint;
std::vector<std::pair<Usr, QueryFunc::Def>> funcs_removed;
2018-05-04 04:20:10 +00:00
std::vector<std::pair<Usr, QueryFunc::Def>> funcs_def_update;
DeclRefUpdate funcs_declarations;
2018-05-04 04:20:10 +00:00
UseUpdate funcs_uses;
UsrUpdate funcs_derived;
2017-02-27 07:23:43 +00:00
// Type updates.
int types_hint;
std::vector<std::pair<Usr, QueryType::Def>> types_removed;
2018-05-04 04:20:10 +00:00
std::vector<std::pair<Usr, QueryType::Def>> types_def_update;
DeclRefUpdate types_declarations;
2018-05-04 04:20:10 +00:00
UseUpdate types_uses;
UsrUpdate types_derived;
UsrUpdate types_instances;
2017-02-27 07:23:43 +00:00
// Variable updates.
int vars_hint;
std::vector<std::pair<Usr, QueryVar::Def>> vars_removed;
2018-05-04 04:20:10 +00:00
std::vector<std::pair<Usr, QueryVar::Def>> vars_def_update;
DeclRefUpdate vars_declarations;
2018-05-04 04:20:10 +00:00
UseUpdate vars_uses;
2017-02-27 07:23:43 +00:00
};
struct WrappedUsr {
Usr usr;
};
2018-08-09 17:08:14 +00:00
template <> struct llvm::DenseMapInfo<WrappedUsr> {
static inline WrappedUsr getEmptyKey() { return {0}; }
static inline WrappedUsr getTombstoneKey() { return {~0ULL}; }
static unsigned getHashValue(WrappedUsr w) { return w.usr; }
static bool isEqual(WrappedUsr l, WrappedUsr r) { return l.usr == r.usr; }
};
using Lid2file_id = std::unordered_map<int, int>;
2017-02-27 07:23:43 +00:00
// The query database is heavily optimized for fast queries. It is stored
// in-memory.
struct DB {
std::vector<QueryFile> files;
llvm::StringMap<int> name2file_id;
llvm::DenseMap<WrappedUsr, int> func_usr, type_usr, var_usr;
std::vector<QueryFunc> funcs;
std::vector<QueryType> types;
std::vector<QueryVar> vars;
2017-02-27 07:23:43 +00:00
template <typename Def>
2018-08-09 17:08:14 +00:00
void RemoveUsrs(SymbolKind kind, int file_id,
const std::vector<std::pair<Usr, Def>> &to_remove);
2017-02-27 07:23:43 +00:00
// Insert the contents of |update| into |db|.
2018-08-09 17:08:14 +00:00
void ApplyIndexUpdate(IndexUpdate *update);
int GetFileId(const std::string &path);
int Update(QueryFile::DefUpdate &&u);
void Update(const Lid2file_id &, int file_id,
std::vector<std::pair<Usr, QueryType::Def>> &&us);
void Update(const Lid2file_id &, int file_id,
std::vector<std::pair<Usr, QueryFunc::Def>> &&us);
void Update(const Lid2file_id &, int file_id,
std::vector<std::pair<Usr, QueryVar::Def>> &&us);
std::string_view GetSymbolName(SymbolIdx sym, bool qualified);
2017-04-07 08:01:58 +00:00
bool HasFunc(Usr usr) const { return func_usr.count({usr}); }
bool HasType(Usr usr) const { return type_usr.count({usr}); }
bool HasVar(Usr usr) const { return var_usr.count({usr}); }
2017-04-08 07:52:57 +00:00
2018-08-09 17:08:14 +00:00
QueryFunc &Func(Usr usr) { return funcs[func_usr[{usr}]]; }
QueryType &Type(Usr usr) { return types[type_usr[{usr}]]; }
QueryVar &Var(Usr usr) { return vars[var_usr[{usr}]]; }
2018-08-09 17:08:14 +00:00
QueryFile &GetFile(SymbolIdx ref) { return files[ref.usr]; }
QueryFunc &GetFunc(SymbolIdx ref) { return Func(ref.usr); }
QueryType &GetType(SymbolIdx ref) { return Type(ref.usr); }
QueryVar &GetVar(SymbolIdx ref) { return Var(ref.usr); }
2017-04-07 08:01:58 +00:00
};