2017-02-23 09:23:23 +00:00
|
|
|
#include "query.h"
|
|
|
|
|
2017-03-25 20:32:44 +00:00
|
|
|
#include "indexer.h"
|
|
|
|
|
|
|
|
#include <optional.h>
|
|
|
|
|
2017-02-20 19:08:27 +00:00
|
|
|
#include <cstdint>
|
2017-02-25 23:59:09 +00:00
|
|
|
#include <functional>
|
|
|
|
#include <unordered_set>
|
2017-02-20 19:08:27 +00:00
|
|
|
#include <unordered_map>
|
2017-02-21 09:08:52 +00:00
|
|
|
#include <string>
|
|
|
|
#include <iostream>
|
|
|
|
|
2017-02-25 23:59:09 +00:00
|
|
|
// TODO: Make all copy constructors explicit.
|
|
|
|
|
2017-02-26 19:45:59 +00:00
|
|
|
|
2017-02-20 19:08:27 +00:00
|
|
|
|
2017-02-25 23:59:09 +00:00
|
|
|
|
|
|
|
|
2017-02-26 19:45:59 +00:00
|
|
|
template<typename In, typename Out>
|
|
|
|
std::vector<Out> Transform(const std::vector<In>& input, std::function<Out(In)> op) {
|
|
|
|
std::vector<Out> result;
|
|
|
|
result.reserve(input.size());
|
|
|
|
for (const In& in : input)
|
|
|
|
result.push_back(op(in));
|
|
|
|
return result;
|
|
|
|
}
|
2017-03-29 07:00:53 +00:00
|
|
|
|
|
|
|
// TODO: These functions are failing. Investigate why.
|
2017-02-28 06:41:42 +00:00
|
|
|
Usr MapIdToUsr(const IdCache& id_cache, const TypeId& id) {
|
2017-03-29 07:00:53 +00:00
|
|
|
assert(id_cache.type_id_to_usr.find(id) != id_cache.type_id_to_usr.end());
|
2017-02-28 06:41:42 +00:00
|
|
|
return id_cache.type_id_to_usr.find(id)->second;
|
2017-02-26 08:11:47 +00:00
|
|
|
}
|
2017-02-28 06:41:42 +00:00
|
|
|
Usr MapIdToUsr(const IdCache& id_cache, const FuncId& id) {
|
2017-03-29 07:00:53 +00:00
|
|
|
assert(id_cache.func_id_to_usr.find(id) != id_cache.func_id_to_usr.end());
|
2017-02-28 06:41:42 +00:00
|
|
|
return id_cache.func_id_to_usr.find(id)->second;
|
2017-02-26 19:45:59 +00:00
|
|
|
}
|
2017-02-28 06:41:42 +00:00
|
|
|
Usr MapIdToUsr(const IdCache& id_cache, const VarId& id) {
|
2017-03-29 07:00:53 +00:00
|
|
|
assert(id_cache.var_id_to_usr.find(id) != id_cache.var_id_to_usr.end());
|
2017-02-28 06:41:42 +00:00
|
|
|
return id_cache.var_id_to_usr.find(id)->second;
|
2017-02-26 19:45:59 +00:00
|
|
|
}
|
2017-04-07 06:20:30 +00:00
|
|
|
QueryableLocation MapIdToUsr(const IdCache& id_cache, const Range& range) {
|
|
|
|
return QueryableLocation(id_cache.primary_file, range);
|
2017-02-27 02:03:14 +00:00
|
|
|
}
|
2017-02-24 08:39:25 +00:00
|
|
|
|
2017-02-28 06:41:42 +00:00
|
|
|
std::vector<Usr> MapIdToUsr(const IdCache& id_cache, const std::vector<TypeId>& ids) {
|
2017-03-29 07:00:53 +00:00
|
|
|
return Transform<TypeId, Usr>(ids, [&](TypeId id) {
|
|
|
|
assert(id_cache.type_id_to_usr.find(id) != id_cache.type_id_to_usr.end());
|
|
|
|
return id_cache.type_id_to_usr.find(id)->second;
|
|
|
|
});
|
2017-02-26 19:45:59 +00:00
|
|
|
}
|
2017-02-28 06:41:42 +00:00
|
|
|
std::vector<Usr> MapIdToUsr(const IdCache& id_cache, const std::vector<FuncId>& ids) {
|
2017-03-29 07:00:53 +00:00
|
|
|
return Transform<FuncId, Usr>(ids, [&](FuncId id) {
|
|
|
|
assert(id_cache.func_id_to_usr.find(id) != id_cache.func_id_to_usr.end());
|
|
|
|
return id_cache.func_id_to_usr.find(id)->second;
|
|
|
|
});
|
2017-02-26 19:45:59 +00:00
|
|
|
}
|
2017-02-28 06:41:42 +00:00
|
|
|
std::vector<Usr> MapIdToUsr(const IdCache& id_cache, const std::vector<VarId>& ids) {
|
2017-03-29 07:00:53 +00:00
|
|
|
return Transform<VarId, Usr>(ids, [&](VarId id) {
|
|
|
|
assert(id_cache.var_id_to_usr.find(id) != id_cache.var_id_to_usr.end());
|
|
|
|
return id_cache.var_id_to_usr.find(id)->second;
|
|
|
|
});
|
2017-02-26 19:45:59 +00:00
|
|
|
}
|
2017-02-28 06:41:42 +00:00
|
|
|
std::vector<UsrRef> MapIdToUsr(const IdCache& id_cache, const std::vector<FuncRef>& ids) {
|
2017-02-26 19:45:59 +00:00
|
|
|
return Transform<FuncRef, UsrRef>(ids, [&](FuncRef ref) {
|
2017-03-29 07:00:53 +00:00
|
|
|
assert(id_cache.func_id_to_usr.find(ref.id) != id_cache.func_id_to_usr.end());
|
|
|
|
|
2017-02-26 19:45:59 +00:00
|
|
|
UsrRef result;
|
2017-02-27 02:03:14 +00:00
|
|
|
result.loc = MapIdToUsr(id_cache, ref.loc);
|
2017-02-28 06:41:42 +00:00
|
|
|
result.usr = id_cache.func_id_to_usr.find(ref.id)->second;
|
2017-02-26 19:45:59 +00:00
|
|
|
return result;
|
|
|
|
});
|
|
|
|
}
|
2017-04-07 06:20:30 +00:00
|
|
|
std::vector<QueryableLocation> MapIdToUsr(const IdCache& id_cache, const std::vector<Range>& ids) {
|
|
|
|
return Transform<Range, QueryableLocation>(ids, [&](Range range) {
|
|
|
|
return QueryableLocation(id_cache.primary_file, range);
|
2017-02-27 02:03:14 +00:00
|
|
|
});
|
|
|
|
}
|
2017-04-05 08:06:18 +00:00
|
|
|
QueryableTypeDef::DefUpdate MapIdToUsr(const IdCache& id_cache, const IndexedTypeDef::Def& def) {
|
2017-02-27 07:23:43 +00:00
|
|
|
QueryableTypeDef::DefUpdate result(def.usr);
|
2017-03-05 19:48:05 +00:00
|
|
|
result.short_name = def.short_name;
|
|
|
|
result.qualified_name = def.qualified_name;
|
2017-04-05 08:06:18 +00:00
|
|
|
if (def.definition_spelling)
|
|
|
|
result.definition_spelling = MapIdToUsr(id_cache, def.definition_spelling.value());
|
|
|
|
if (def.definition_extent)
|
|
|
|
result.definition_extent = MapIdToUsr(id_cache, def.definition_extent.value());
|
2017-03-05 19:48:05 +00:00
|
|
|
if (def.alias_of)
|
2017-02-26 19:45:59 +00:00
|
|
|
result.alias_of = MapIdToUsr(id_cache, def.alias_of.value());
|
|
|
|
result.parents = MapIdToUsr(id_cache, def.parents);
|
|
|
|
result.types = MapIdToUsr(id_cache, def.types);
|
|
|
|
result.funcs = MapIdToUsr(id_cache, def.funcs);
|
|
|
|
result.vars = MapIdToUsr(id_cache, def.vars);
|
|
|
|
return result;
|
|
|
|
}
|
2017-04-05 08:06:18 +00:00
|
|
|
QueryableFuncDef::DefUpdate MapIdToUsr(const IdCache& id_cache, const IndexedFuncDef::Def& def) {
|
2017-02-27 07:23:43 +00:00
|
|
|
QueryableFuncDef::DefUpdate result(def.usr);
|
2017-03-05 19:48:05 +00:00
|
|
|
result.short_name = def.short_name;
|
|
|
|
result.qualified_name = def.qualified_name;
|
2017-04-05 08:06:18 +00:00
|
|
|
if (def.definition_spelling)
|
|
|
|
result.definition_spelling = MapIdToUsr(id_cache, def.definition_spelling.value());
|
|
|
|
if (def.definition_extent)
|
|
|
|
result.definition_extent = MapIdToUsr(id_cache, def.definition_extent.value());
|
2017-03-05 19:48:05 +00:00
|
|
|
if (def.declaring_type)
|
2017-02-26 19:45:59 +00:00
|
|
|
result.declaring_type = MapIdToUsr(id_cache, def.declaring_type.value());
|
2017-03-05 19:48:05 +00:00
|
|
|
if (def.base)
|
2017-02-26 19:45:59 +00:00
|
|
|
result.base = MapIdToUsr(id_cache, def.base.value());
|
|
|
|
result.locals = MapIdToUsr(id_cache, def.locals);
|
|
|
|
result.callees = MapIdToUsr(id_cache, def.callees);
|
|
|
|
return result;
|
|
|
|
}
|
2017-04-05 08:06:18 +00:00
|
|
|
QueryableVarDef::DefUpdate MapIdToUsr(const IdCache& id_cache, const IndexedVarDef::Def& def) {
|
2017-02-27 07:23:43 +00:00
|
|
|
QueryableVarDef::DefUpdate result(def.usr);
|
2017-03-05 19:48:05 +00:00
|
|
|
result.short_name = def.short_name;
|
|
|
|
result.qualified_name = def.qualified_name;
|
|
|
|
if (def.declaration)
|
2017-02-26 19:45:59 +00:00
|
|
|
result.declaration = MapIdToUsr(id_cache, def.declaration.value());
|
2017-04-05 08:06:18 +00:00
|
|
|
if (def.definition_spelling)
|
|
|
|
result.definition_spelling = MapIdToUsr(id_cache, def.definition_spelling.value());
|
|
|
|
if (def.definition_extent)
|
|
|
|
result.definition_extent = MapIdToUsr(id_cache, def.definition_extent.value());
|
2017-03-05 19:48:05 +00:00
|
|
|
if (def.variable_type)
|
2017-02-26 19:45:59 +00:00
|
|
|
result.variable_type = MapIdToUsr(id_cache, def.variable_type.value());
|
2017-03-05 19:48:05 +00:00
|
|
|
if (def.declaring_type)
|
2017-02-26 19:45:59 +00:00
|
|
|
result.declaring_type = MapIdToUsr(id_cache, def.declaring_type.value());
|
|
|
|
return result;
|
2017-02-26 08:11:47 +00:00
|
|
|
}
|
2017-02-25 23:59:09 +00:00
|
|
|
|
2017-04-07 05:42:57 +00:00
|
|
|
QueryableFile::Def BuildFileDef(const IndexedFile& indexed) {
|
|
|
|
QueryableFile::Def def;
|
|
|
|
def.usr = indexed.path;
|
|
|
|
|
|
|
|
auto add_outline = [&def, &indexed](Usr usr, Range range) {
|
|
|
|
def.outline.push_back(UsrRef(usr, MapIdToUsr(indexed.id_cache, range)));
|
2017-02-27 07:23:43 +00:00
|
|
|
};
|
2017-04-07 05:42:57 +00:00
|
|
|
auto add_all_symbols = [&def, &indexed](Usr usr, Range range) {
|
|
|
|
def.all_symbols.push_back(UsrRef(usr, MapIdToUsr(indexed.id_cache, range)));
|
2017-04-03 02:21:21 +00:00
|
|
|
};
|
2017-02-27 07:23:43 +00:00
|
|
|
|
|
|
|
for (const IndexedTypeDef& def : indexed.types) {
|
2017-04-05 08:06:18 +00:00
|
|
|
if (def.def.definition_spelling.has_value())
|
|
|
|
add_all_symbols(def.def.usr, def.def.definition_spelling.value());
|
|
|
|
if (def.def.definition_extent.has_value())
|
|
|
|
add_outline(def.def.usr, def.def.definition_extent.value());
|
|
|
|
for (const Range& use : def.uses)
|
2017-04-03 02:21:21 +00:00
|
|
|
add_all_symbols(def.def.usr, use);
|
2017-02-27 07:23:43 +00:00
|
|
|
}
|
|
|
|
for (const IndexedFuncDef& def : indexed.funcs) {
|
2017-04-05 08:06:18 +00:00
|
|
|
if (def.def.definition_spelling.has_value())
|
|
|
|
add_all_symbols(def.def.usr, def.def.definition_spelling.value());
|
|
|
|
if (def.def.definition_extent.has_value())
|
|
|
|
add_outline(def.def.usr, def.def.definition_extent.value());
|
|
|
|
for (Range decl : def.declarations) {
|
2017-04-03 02:21:21 +00:00
|
|
|
add_outline(def.def.usr, decl);
|
|
|
|
add_all_symbols(def.def.usr, decl);
|
|
|
|
}
|
2017-04-05 08:06:18 +00:00
|
|
|
for (const Range& use : def.uses)
|
2017-04-03 02:21:21 +00:00
|
|
|
add_all_symbols(def.def.usr, use);
|
2017-02-27 07:23:43 +00:00
|
|
|
}
|
|
|
|
for (const IndexedVarDef& def : indexed.vars) {
|
2017-04-05 08:06:18 +00:00
|
|
|
if (def.def.definition_spelling.has_value())
|
|
|
|
add_all_symbols(def.def.usr, def.def.definition_spelling.value());
|
|
|
|
if (def.def.definition_extent.has_value())
|
|
|
|
add_outline(def.def.usr, def.def.definition_extent.value());
|
|
|
|
for (const Range& use : def.uses)
|
2017-04-03 02:21:21 +00:00
|
|
|
add_all_symbols(def.def.usr, use);
|
2017-02-27 07:23:43 +00:00
|
|
|
}
|
|
|
|
|
2017-04-07 05:42:57 +00:00
|
|
|
std::sort(def.outline.begin(), def.outline.end(), [](const UsrRef& a, const UsrRef& b) {
|
2017-04-07 06:20:30 +00:00
|
|
|
return a.loc.range.start < b.loc.range.start;
|
2017-02-27 07:23:43 +00:00
|
|
|
});
|
2017-04-07 05:42:57 +00:00
|
|
|
std::sort(def.all_symbols.begin(), def.all_symbols.end(), [](const UsrRef& a, const UsrRef& b) {
|
2017-04-07 06:20:30 +00:00
|
|
|
return a.loc.range.start < b.loc.range.start;
|
2017-04-03 02:21:21 +00:00
|
|
|
});
|
2017-04-07 05:42:57 +00:00
|
|
|
|
|
|
|
return def;
|
2017-02-27 07:23:43 +00:00
|
|
|
}
|
|
|
|
|
2017-04-07 05:42:57 +00:00
|
|
|
QueryableFile::QueryableFile(const IndexedFile& indexed)
|
|
|
|
: def(BuildFileDef(indexed)) {}
|
|
|
|
|
2017-02-27 07:23:43 +00:00
|
|
|
QueryableTypeDef::QueryableTypeDef(IdCache& id_cache, const IndexedTypeDef& indexed)
|
2017-02-26 19:45:59 +00:00
|
|
|
: def(MapIdToUsr(id_cache, indexed.def)) {
|
|
|
|
derived = MapIdToUsr(id_cache, indexed.derived);
|
2017-04-03 01:34:15 +00:00
|
|
|
instantiations = MapIdToUsr(id_cache, indexed.instantiations);
|
2017-02-26 19:45:59 +00:00
|
|
|
uses = MapIdToUsr(id_cache, indexed.uses);
|
|
|
|
}
|
|
|
|
|
2017-02-27 07:23:43 +00:00
|
|
|
QueryableFuncDef::QueryableFuncDef(IdCache& id_cache, const IndexedFuncDef& indexed)
|
2017-02-26 19:45:59 +00:00
|
|
|
: def(MapIdToUsr(id_cache, indexed.def)) {
|
|
|
|
declarations = MapIdToUsr(id_cache, indexed.declarations);
|
|
|
|
derived = MapIdToUsr(id_cache, indexed.derived);
|
|
|
|
callers = MapIdToUsr(id_cache, indexed.callers);
|
|
|
|
uses = MapIdToUsr(id_cache, indexed.uses);
|
|
|
|
}
|
|
|
|
|
2017-02-27 07:23:43 +00:00
|
|
|
QueryableVarDef::QueryableVarDef(IdCache& id_cache, const IndexedVarDef& indexed)
|
2017-02-26 19:45:59 +00:00
|
|
|
: def(MapIdToUsr(id_cache, indexed.def)) {
|
|
|
|
uses = MapIdToUsr(id_cache, indexed.uses);
|
2017-02-26 08:11:47 +00:00
|
|
|
}
|
2017-02-20 19:08:27 +00:00
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2017-02-21 09:08:52 +00:00
|
|
|
|
2017-02-25 23:59:09 +00:00
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2017-02-26 19:45:59 +00:00
|
|
|
// TODO: For space reasons, it may make sense to map Usr -> offset inside of global storage. But not for intermediate or disk-storage.
|
|
|
|
// We can probably eliminate most of that pain by coming up with our own UsrDb concept which interns the Usr strings. We can make
|
|
|
|
// the pain of a global UsrDb less by
|
|
|
|
// (parallel)clangindex -> (main)commit USRs to global -> (parallel)transfer IDs to global USRs -> (main)import
|
2017-02-25 23:59:09 +00:00
|
|
|
|
2017-02-23 08:18:54 +00:00
|
|
|
struct CachedIndexedFile {
|
|
|
|
// Path to the file indexed.
|
|
|
|
std::string path;
|
2017-02-25 23:59:09 +00:00
|
|
|
|
|
|
|
// TODO: Make sure that |previous_index| and |current_index| use the same id
|
|
|
|
// to USR mapping. This lets us greatly speed up difference computation.
|
2017-02-23 08:18:54 +00:00
|
|
|
|
2017-02-25 23:59:09 +00:00
|
|
|
// The previous index. This is used for index updates, so we only apply a
|
|
|
|
// an update diff when changing the global db.
|
|
|
|
optional<IndexedFile> previous_index;
|
|
|
|
IndexedFile current_index;
|
2017-02-23 08:18:54 +00:00
|
|
|
|
2017-02-26 19:45:59 +00:00
|
|
|
CachedIndexedFile(const IndexedFile& indexed) : current_index(indexed) {}
|
2017-02-23 08:18:54 +00:00
|
|
|
};
|
|
|
|
|
2017-02-26 08:11:47 +00:00
|
|
|
template<typename T>
|
|
|
|
void AddRange(std::vector<T>* dest, const std::vector<T>& to_add) {
|
|
|
|
for (const T& e : to_add)
|
|
|
|
dest->push_back(e);
|
|
|
|
}
|
|
|
|
|
|
|
|
template<typename T>
|
|
|
|
void RemoveRange(std::vector<T>* dest, const std::vector<T>& to_remove) {
|
|
|
|
auto it = std::remove_if(dest->begin(), dest->end(), [&](const T& t) {
|
|
|
|
// TODO: make to_remove a set?
|
|
|
|
return std::find(to_remove.begin(), to_remove.end(), t) != to_remove.end();
|
|
|
|
});
|
|
|
|
if (it != dest->end())
|
|
|
|
dest->erase(it);
|
|
|
|
}
|
2017-02-23 08:18:54 +00:00
|
|
|
|
2017-02-25 23:59:09 +00:00
|
|
|
|
2017-02-26 19:45:59 +00:00
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2017-02-25 23:59:09 +00:00
|
|
|
|
|
|
|
|
|
|
|
|
2017-02-26 08:11:47 +00:00
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2017-02-23 08:18:54 +00:00
|
|
|
|
2017-02-26 08:11:47 +00:00
|
|
|
|
2017-02-23 08:18:54 +00:00
|
|
|
|
|
|
|
|
2017-02-27 07:23:43 +00:00
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2017-02-23 08:18:54 +00:00
|
|
|
|
|
|
|
|
2017-02-25 23:59:09 +00:00
|
|
|
// Compares |previous| and |current|, adding all elements that are
|
|
|
|
// in |previous| but not |current| to |removed|, and all elements
|
|
|
|
// that are in |current| but not |previous| to |added|.
|
|
|
|
//
|
|
|
|
// Returns true iff |removed| or |added| are non-empty.
|
|
|
|
template<typename T>
|
|
|
|
bool ComputeDifferenceForUpdate(
|
|
|
|
std::vector<T>& previous, std::vector<T>& current,
|
|
|
|
std::vector<T>* removed, std::vector<T>* added) {
|
|
|
|
|
|
|
|
// We need to sort to use std::set_difference.
|
|
|
|
std::sort(previous.begin(), previous.end());
|
|
|
|
std::sort(current.begin(), current.end());
|
|
|
|
|
|
|
|
// Returns the elements in |previous| that are not in |current|.
|
|
|
|
std::set_difference(
|
|
|
|
previous.begin(), previous.end(),
|
|
|
|
current.begin(), current.end(),
|
|
|
|
std::back_inserter(*removed));
|
|
|
|
// Returns the elmeents in |current| that are not in |previous|.
|
|
|
|
std::set_difference(
|
|
|
|
current.begin(), current.end(),
|
|
|
|
previous.begin(), previous.end(),
|
|
|
|
std::back_inserter(*added));
|
|
|
|
|
|
|
|
return !removed->empty() || !added->empty();
|
2017-02-21 09:08:52 +00:00
|
|
|
}
|
|
|
|
|
2017-02-25 23:59:09 +00:00
|
|
|
template<typename T>
|
|
|
|
void CompareGroups(
|
|
|
|
std::vector<T>& previous_data, std::vector<T>& current_data,
|
|
|
|
std::function<void(T*)> on_removed, std::function<void(T*)> on_added, std::function<void(T*, T*)> on_found) {
|
|
|
|
|
|
|
|
std::sort(previous_data.begin(), previous_data.end());
|
|
|
|
std::sort(current_data.begin(), current_data.end());
|
|
|
|
|
|
|
|
auto prev_it = previous_data.begin();
|
|
|
|
auto curr_it = current_data.begin();
|
|
|
|
while (prev_it != previous_data.end() && curr_it != current_data.end()) {
|
|
|
|
// same id
|
2017-02-27 07:23:43 +00:00
|
|
|
if (prev_it->def.usr == curr_it->def.usr) {
|
2017-04-03 01:34:15 +00:00
|
|
|
//if (!prev_it->is_bad_def && !curr_it->is_bad_def)
|
2017-04-05 08:06:18 +00:00
|
|
|
on_found(&*prev_it, &*curr_it);
|
2017-04-03 01:34:15 +00:00
|
|
|
//else if (prev_it->is_bad_def)
|
|
|
|
// on_added(&*curr_it);
|
|
|
|
//else if (curr_it->is_bad_def)
|
|
|
|
// on_removed(&*curr_it);
|
2017-02-26 01:08:05 +00:00
|
|
|
|
2017-02-25 23:59:09 +00:00
|
|
|
++prev_it;
|
|
|
|
++curr_it;
|
|
|
|
}
|
2017-02-21 09:08:52 +00:00
|
|
|
|
2017-02-25 23:59:09 +00:00
|
|
|
// prev_id is smaller - prev_it has data curr_it does not have.
|
2017-02-27 07:23:43 +00:00
|
|
|
else if (prev_it->def.usr < curr_it->def.usr) {
|
2017-02-25 23:59:09 +00:00
|
|
|
on_removed(&*prev_it);
|
|
|
|
++prev_it;
|
2017-02-22 08:52:00 +00:00
|
|
|
}
|
2017-02-25 23:59:09 +00:00
|
|
|
|
|
|
|
// prev_id is bigger - curr_it has data prev_it does not have.
|
2017-02-22 08:52:00 +00:00
|
|
|
else {
|
2017-02-25 23:59:09 +00:00
|
|
|
on_added(&*curr_it);
|
|
|
|
++curr_it;
|
2017-02-22 08:52:00 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2017-02-25 23:59:09 +00:00
|
|
|
// if prev_it still has data, that means it is not in curr_it and was removed.
|
|
|
|
while (prev_it != previous_data.end()) {
|
|
|
|
on_removed(&*prev_it);
|
|
|
|
++prev_it;
|
|
|
|
}
|
2017-02-22 08:52:00 +00:00
|
|
|
|
2017-02-25 23:59:09 +00:00
|
|
|
// if curr_it still has data, that means it is not in prev_it and was added.
|
|
|
|
while (curr_it != current_data.end()) {
|
|
|
|
on_added(&*curr_it);
|
|
|
|
++curr_it;
|
|
|
|
}
|
2017-02-22 08:52:00 +00:00
|
|
|
}
|
|
|
|
|
2017-02-27 07:23:43 +00:00
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2017-04-07 05:42:57 +00:00
|
|
|
// static
|
|
|
|
IndexUpdate IndexUpdate::CreateImport(IndexedFile& file) {
|
|
|
|
// Return standard diff constructor but with an empty file so everything is
|
|
|
|
// added.
|
|
|
|
IndexedFile previous(file.path);
|
|
|
|
return IndexUpdate(previous, file);
|
|
|
|
}
|
|
|
|
|
|
|
|
// static
|
|
|
|
IndexUpdate IndexUpdate::CreateDelta(IndexedFile& current, IndexedFile& updated) {
|
|
|
|
return IndexUpdate(current, updated);
|
|
|
|
}
|
2017-02-27 07:23:43 +00:00
|
|
|
|
|
|
|
IndexUpdate::IndexUpdate(IndexedFile& previous_file, IndexedFile& current_file) {
|
2017-02-25 23:59:09 +00:00
|
|
|
// |query_name| is the name of the variable on the query type.
|
|
|
|
// |index_name| is the name of the variable on the index type.
|
|
|
|
// |type| is the type of the variable.
|
|
|
|
#define PROCESS_UPDATE_DIFF(query_name, index_name, type) \
|
|
|
|
{ \
|
|
|
|
/* Check for changes. */ \
|
|
|
|
std::vector<type> removed, added; \
|
2017-03-02 18:30:21 +00:00
|
|
|
auto previous = MapIdToUsr(previous_file.id_cache, previous_def->index_name); \
|
|
|
|
auto current = MapIdToUsr(current_file.id_cache, current_def->index_name); \
|
2017-02-27 07:23:43 +00:00
|
|
|
bool did_add = ComputeDifferenceForUpdate( \
|
2017-03-02 18:30:21 +00:00
|
|
|
previous, current, \
|
2017-02-27 07:23:43 +00:00
|
|
|
&removed, &added); \
|
2017-02-25 23:59:09 +00:00
|
|
|
if (did_add) {\
|
2017-03-05 19:48:05 +00:00
|
|
|
std::cerr << "Adding mergeable update on " << current_def->def.short_name << " (" << current_def->def.usr << ") for field " << #index_name << std::endl; \
|
2017-02-27 07:23:43 +00:00
|
|
|
query_name.push_back(MergeableUpdate<type>(current_def->def.usr, removed, added)); \
|
2017-02-25 23:59:09 +00:00
|
|
|
} \
|
2017-02-22 08:52:00 +00:00
|
|
|
}
|
|
|
|
|
2017-02-27 07:23:43 +00:00
|
|
|
// File
|
2017-04-07 05:42:57 +00:00
|
|
|
files_def_update.push_back(BuildFileDef(current_file));
|
2017-02-25 23:59:09 +00:00
|
|
|
|
|
|
|
// Types
|
2017-02-27 07:23:43 +00:00
|
|
|
CompareGroups<IndexedTypeDef>(previous_file.types, current_file.types,
|
|
|
|
/*onRemoved:*/[this](IndexedTypeDef* def) {
|
|
|
|
types_removed.push_back(def->def.usr);
|
2017-02-25 23:59:09 +00:00
|
|
|
},
|
2017-02-27 07:23:43 +00:00
|
|
|
/*onAdded:*/[this, ¤t_file](IndexedTypeDef* def) {
|
2017-04-07 05:42:57 +00:00
|
|
|
QueryableTypeDef query(current_file.id_cache, *def);
|
|
|
|
types_def_update.push_back(query.def);
|
|
|
|
types_derived.push_back(QueryableTypeDef::DerivedUpdate(query.def.usr, query.derived));
|
|
|
|
types_instantiations.push_back(QueryableTypeDef::InstantiationsUpdate(query.def.usr, query.instantiations));
|
|
|
|
types_uses.push_back(QueryableTypeDef::UsesUpdate(query.def.usr, query.uses));
|
2017-02-25 23:59:09 +00:00
|
|
|
},
|
2017-02-27 07:23:43 +00:00
|
|
|
/*onFound:*/[this, &previous_file, ¤t_file](IndexedTypeDef* previous_def, IndexedTypeDef* current_def) {
|
2017-02-28 06:41:42 +00:00
|
|
|
QueryableTypeDef::DefUpdate previous_remapped_def = MapIdToUsr(previous_file.id_cache, previous_def->def);
|
|
|
|
QueryableTypeDef::DefUpdate current_remapped_def = MapIdToUsr(current_file.id_cache, current_def->def);
|
2017-02-27 07:23:43 +00:00
|
|
|
if (previous_remapped_def != current_remapped_def)
|
2017-04-07 05:42:57 +00:00
|
|
|
types_def_update.push_back(current_remapped_def);
|
2017-02-27 07:23:43 +00:00
|
|
|
|
|
|
|
PROCESS_UPDATE_DIFF(types_derived, derived, Usr);
|
2017-04-07 05:42:57 +00:00
|
|
|
PROCESS_UPDATE_DIFF(types_instantiations, instantiations, Usr);
|
2017-04-07 06:20:30 +00:00
|
|
|
PROCESS_UPDATE_DIFF(types_uses, uses, QueryableLocation);
|
2017-02-25 23:59:09 +00:00
|
|
|
});
|
|
|
|
|
|
|
|
// Functions
|
2017-02-27 07:23:43 +00:00
|
|
|
CompareGroups<IndexedFuncDef>(previous_file.funcs, current_file.funcs,
|
|
|
|
/*onRemoved:*/[this](IndexedFuncDef* def) {
|
|
|
|
funcs_removed.push_back(def->def.usr);
|
2017-02-25 23:59:09 +00:00
|
|
|
},
|
2017-02-27 07:23:43 +00:00
|
|
|
/*onAdded:*/[this, ¤t_file](IndexedFuncDef* def) {
|
2017-04-07 05:42:57 +00:00
|
|
|
QueryableFuncDef query(current_file.id_cache, *def);
|
|
|
|
funcs_def_update.push_back(query.def);
|
|
|
|
funcs_declarations.push_back(QueryableFuncDef::DeclarationsUpdate(query.def.usr, query.declarations));
|
|
|
|
funcs_derived.push_back(QueryableFuncDef::DerivedUpdate(query.def.usr, query.derived));
|
|
|
|
funcs_callers.push_back(QueryableFuncDef::CallersUpdate(query.def.usr, query.callers));
|
|
|
|
funcs_uses.push_back(QueryableFuncDef::UsesUpdate(query.def.usr, query.uses));
|
2017-02-25 23:59:09 +00:00
|
|
|
},
|
2017-02-27 07:23:43 +00:00
|
|
|
/*onFound:*/[this, &previous_file, ¤t_file](IndexedFuncDef* previous_def, IndexedFuncDef* current_def) {
|
2017-02-28 06:41:42 +00:00
|
|
|
QueryableFuncDef::DefUpdate previous_remapped_def = MapIdToUsr(previous_file.id_cache, previous_def->def);
|
|
|
|
QueryableFuncDef::DefUpdate current_remapped_def = MapIdToUsr(current_file.id_cache, current_def->def);
|
2017-02-27 07:23:43 +00:00
|
|
|
if (previous_remapped_def != current_remapped_def)
|
2017-04-07 05:42:57 +00:00
|
|
|
funcs_def_update.push_back(current_remapped_def);
|
2017-02-27 07:23:43 +00:00
|
|
|
|
2017-04-07 06:20:30 +00:00
|
|
|
PROCESS_UPDATE_DIFF(funcs_declarations, declarations, QueryableLocation);
|
2017-02-27 07:23:43 +00:00
|
|
|
PROCESS_UPDATE_DIFF(funcs_derived, derived, Usr);
|
|
|
|
PROCESS_UPDATE_DIFF(funcs_callers, callers, UsrRef);
|
2017-04-07 06:20:30 +00:00
|
|
|
PROCESS_UPDATE_DIFF(funcs_uses, uses, QueryableLocation);
|
2017-02-25 23:59:09 +00:00
|
|
|
});
|
|
|
|
|
|
|
|
// Variables
|
2017-02-27 07:23:43 +00:00
|
|
|
CompareGroups<IndexedVarDef>(previous_file.vars, current_file.vars,
|
|
|
|
/*onRemoved:*/[this](IndexedVarDef* def) {
|
|
|
|
vars_removed.push_back(def->def.usr);
|
2017-02-25 23:59:09 +00:00
|
|
|
},
|
2017-02-27 07:23:43 +00:00
|
|
|
/*onAdded:*/[this, ¤t_file](IndexedVarDef* def) {
|
2017-04-07 05:42:57 +00:00
|
|
|
QueryableVarDef query(current_file.id_cache, *def);
|
|
|
|
vars_def_update.push_back(query.def);
|
|
|
|
vars_uses.push_back(QueryableVarDef::UsesUpdate(query.def.usr, query.uses));
|
2017-02-25 23:59:09 +00:00
|
|
|
},
|
2017-02-27 07:23:43 +00:00
|
|
|
/*onFound:*/[this, &previous_file, ¤t_file](IndexedVarDef* previous_def, IndexedVarDef* current_def) {
|
2017-02-28 06:41:42 +00:00
|
|
|
QueryableVarDef::DefUpdate previous_remapped_def = MapIdToUsr(previous_file.id_cache, previous_def->def);
|
|
|
|
QueryableVarDef::DefUpdate current_remapped_def = MapIdToUsr(current_file.id_cache, current_def->def);
|
2017-02-27 07:23:43 +00:00
|
|
|
if (previous_remapped_def != current_remapped_def)
|
2017-04-07 05:42:57 +00:00
|
|
|
vars_def_update.push_back(current_remapped_def);
|
2017-02-25 23:59:09 +00:00
|
|
|
|
2017-04-07 06:20:30 +00:00
|
|
|
PROCESS_UPDATE_DIFF(vars_uses, uses, QueryableLocation);
|
2017-02-27 07:23:43 +00:00
|
|
|
});
|
2017-02-25 23:59:09 +00:00
|
|
|
|
|
|
|
#undef PROCESS_UPDATE_DIFF
|
|
|
|
}
|
2017-02-21 09:08:52 +00:00
|
|
|
|
2017-02-27 07:23:43 +00:00
|
|
|
void IndexUpdate::Merge(const IndexUpdate& update) {
|
|
|
|
#define INDEX_UPDATE_MERGE(name) \
|
2017-03-02 18:30:21 +00:00
|
|
|
AddRange(&name, update.name);
|
2017-02-27 07:23:43 +00:00
|
|
|
|
|
|
|
INDEX_UPDATE_MERGE(files_removed);
|
2017-04-07 05:42:57 +00:00
|
|
|
INDEX_UPDATE_MERGE(files_def_update);
|
2017-02-27 07:23:43 +00:00
|
|
|
|
|
|
|
INDEX_UPDATE_MERGE(types_removed);
|
2017-04-07 05:42:57 +00:00
|
|
|
INDEX_UPDATE_MERGE(types_def_update);
|
2017-02-27 07:23:43 +00:00
|
|
|
INDEX_UPDATE_MERGE(types_derived);
|
2017-04-03 01:34:15 +00:00
|
|
|
INDEX_UPDATE_MERGE(types_instantiations);
|
2017-02-27 07:23:43 +00:00
|
|
|
INDEX_UPDATE_MERGE(types_uses);
|
|
|
|
|
|
|
|
INDEX_UPDATE_MERGE(funcs_removed);
|
2017-04-07 05:42:57 +00:00
|
|
|
INDEX_UPDATE_MERGE(funcs_def_update);
|
2017-02-27 07:23:43 +00:00
|
|
|
INDEX_UPDATE_MERGE(funcs_declarations);
|
|
|
|
INDEX_UPDATE_MERGE(funcs_derived);
|
|
|
|
INDEX_UPDATE_MERGE(funcs_callers);
|
|
|
|
INDEX_UPDATE_MERGE(funcs_uses);
|
|
|
|
|
|
|
|
INDEX_UPDATE_MERGE(vars_removed);
|
2017-04-07 05:42:57 +00:00
|
|
|
INDEX_UPDATE_MERGE(vars_def_update);
|
2017-02-27 07:23:43 +00:00
|
|
|
INDEX_UPDATE_MERGE(vars_uses);
|
2017-02-26 19:45:59 +00:00
|
|
|
|
2017-02-27 07:23:43 +00:00
|
|
|
#undef INDEX_UPDATE_MERGE
|
|
|
|
}
|
2017-02-26 19:45:59 +00:00
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2017-02-26 08:11:47 +00:00
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2017-02-26 19:45:59 +00:00
|
|
|
|
2017-02-26 08:11:47 +00:00
|
|
|
|
2017-02-26 19:45:59 +00:00
|
|
|
void QueryableDatabase::RemoveUsrs(const std::vector<Usr>& to_remove) {
|
|
|
|
// TODO: Removing usrs is tricky because it means we will have to rebuild idx locations. I'm thinking we just nullify
|
|
|
|
// the entry instead of actually removing the data. The index could be massive.
|
2017-02-27 07:23:43 +00:00
|
|
|
for (Usr usr : to_remove)
|
|
|
|
usr_to_symbol[usr].kind = SymbolKind::Invalid;
|
2017-03-06 08:48:51 +00:00
|
|
|
// TODO: also remove from qualified_names?
|
2017-02-27 07:23:43 +00:00
|
|
|
}
|
2017-02-26 19:45:59 +00:00
|
|
|
|
2017-04-07 05:42:57 +00:00
|
|
|
void QueryableDatabase::ImportOrUpdate(const std::vector<QueryableFile::DefUpdate>& updates) {
|
|
|
|
for (auto& def : updates) {
|
|
|
|
auto it = usr_to_symbol.find(def.usr);
|
2017-03-15 04:59:05 +00:00
|
|
|
if (it == usr_to_symbol.end()) {
|
2017-04-07 05:42:57 +00:00
|
|
|
qualified_names.push_back(def.usr);
|
2017-03-15 04:59:05 +00:00
|
|
|
symbols.push_back(SymbolIdx(SymbolKind::File, files.size()));
|
2017-04-07 05:42:57 +00:00
|
|
|
usr_to_symbol[def.usr] = SymbolIdx(SymbolKind::File, files.size());
|
2017-03-15 04:59:05 +00:00
|
|
|
|
2017-04-07 05:42:57 +00:00
|
|
|
QueryableFile query;
|
|
|
|
query.def = def;
|
|
|
|
files.push_back(query);
|
2017-03-15 04:59:05 +00:00
|
|
|
}
|
|
|
|
else {
|
|
|
|
QueryableFile& existing = files[it->second.idx];
|
2017-04-07 05:42:57 +00:00
|
|
|
existing.def = def;
|
2017-03-15 04:59:05 +00:00
|
|
|
}
|
2017-02-26 19:45:59 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2017-04-07 05:42:57 +00:00
|
|
|
void QueryableDatabase::ImportOrUpdate(const std::vector<QueryableTypeDef::DefUpdate>& updates) {
|
|
|
|
for (auto& def : updates) {
|
|
|
|
auto it = usr_to_symbol.find(def.usr);
|
2017-03-15 04:59:05 +00:00
|
|
|
if (it == usr_to_symbol.end()) {
|
2017-04-07 05:42:57 +00:00
|
|
|
qualified_names.push_back(def.qualified_name);
|
2017-03-15 04:59:05 +00:00
|
|
|
symbols.push_back(SymbolIdx(SymbolKind::Type, types.size()));
|
2017-04-07 05:42:57 +00:00
|
|
|
usr_to_symbol[def.usr] = SymbolIdx(SymbolKind::Type, types.size());
|
|
|
|
|
|
|
|
QueryableTypeDef query;
|
|
|
|
query.def = def;
|
|
|
|
types.push_back(query);
|
2017-03-15 04:59:05 +00:00
|
|
|
}
|
|
|
|
else {
|
|
|
|
QueryableTypeDef& existing = types[it->second.idx];
|
2017-04-07 05:42:57 +00:00
|
|
|
if (def.definition_extent)
|
|
|
|
existing.def = def;
|
2017-03-15 04:59:05 +00:00
|
|
|
}
|
2017-02-26 19:45:59 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2017-04-07 05:42:57 +00:00
|
|
|
void QueryableDatabase::ImportOrUpdate(const std::vector<QueryableFuncDef::DefUpdate>& updates) {
|
|
|
|
for (auto& def : updates) {
|
|
|
|
auto it = usr_to_symbol.find(def.usr);
|
2017-03-15 04:59:05 +00:00
|
|
|
if (it == usr_to_symbol.end()) {
|
2017-04-07 05:42:57 +00:00
|
|
|
qualified_names.push_back(def.qualified_name);
|
2017-03-15 04:59:05 +00:00
|
|
|
symbols.push_back(SymbolIdx(SymbolKind::Func, funcs.size()));
|
2017-04-07 05:42:57 +00:00
|
|
|
usr_to_symbol[def.usr] = SymbolIdx(SymbolKind::Func, funcs.size());
|
|
|
|
|
|
|
|
QueryableFuncDef query;
|
|
|
|
query.def = def;
|
|
|
|
funcs.push_back(query);
|
2017-03-15 04:59:05 +00:00
|
|
|
}
|
|
|
|
else {
|
|
|
|
QueryableFuncDef& existing = funcs[it->second.idx];
|
2017-04-07 05:42:57 +00:00
|
|
|
if (def.definition_extent)
|
|
|
|
existing.def = def;
|
2017-03-15 04:59:05 +00:00
|
|
|
}
|
2017-02-26 19:45:59 +00:00
|
|
|
}
|
|
|
|
}
|
2017-02-26 08:11:47 +00:00
|
|
|
|
2017-04-07 05:42:57 +00:00
|
|
|
void QueryableDatabase::ImportOrUpdate(const std::vector<QueryableVarDef::DefUpdate>& updates) {
|
|
|
|
for (auto& def : updates) {
|
|
|
|
auto it = usr_to_symbol.find(def.usr);
|
2017-03-15 04:59:05 +00:00
|
|
|
if (it == usr_to_symbol.end()) {
|
2017-04-07 05:42:57 +00:00
|
|
|
qualified_names.push_back(def.qualified_name);
|
2017-03-15 04:59:05 +00:00
|
|
|
symbols.push_back(SymbolIdx(SymbolKind::Var, vars.size()));
|
2017-04-07 05:42:57 +00:00
|
|
|
usr_to_symbol[def.usr] = SymbolIdx(SymbolKind::Var, vars.size());
|
|
|
|
|
|
|
|
QueryableVarDef query;
|
|
|
|
query.def = def;
|
|
|
|
vars.push_back(query);
|
2017-03-15 04:59:05 +00:00
|
|
|
}
|
|
|
|
else {
|
|
|
|
QueryableVarDef& existing = vars[it->second.idx];
|
2017-04-07 05:42:57 +00:00
|
|
|
if (def.definition_extent)
|
|
|
|
existing.def = def;
|
2017-03-15 04:59:05 +00:00
|
|
|
}
|
2017-02-26 08:11:47 +00:00
|
|
|
}
|
2017-02-26 19:45:59 +00:00
|
|
|
}
|
2017-02-26 08:11:47 +00:00
|
|
|
|
2017-04-07 05:42:57 +00:00
|
|
|
void QueryableDatabase::ApplyIndexUpdate(IndexUpdate* update) {
|
|
|
|
#define HANDLE_REPLACEMENT(update_var_name, def_var_name, storage_name) \
|
|
|
|
for (auto replacement_update : update->update_var_name) { \
|
|
|
|
SymbolIdx index = usr_to_symbol[replacement_update.usr]; \
|
|
|
|
auto* def = &storage_name[index.idx]; \
|
|
|
|
def->def_var_name = replacement_update.entries; \
|
2017-02-26 19:45:59 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
#define HANDLE_MERGEABLE(update_var_name, def_var_name, storage_name) \
|
2017-03-02 18:30:21 +00:00
|
|
|
for (auto merge_update : update->update_var_name) { \
|
2017-02-26 19:45:59 +00:00
|
|
|
SymbolIdx index = usr_to_symbol[merge_update.usr]; \
|
2017-03-02 18:30:21 +00:00
|
|
|
auto* def = &storage_name[index.idx]; \
|
|
|
|
AddRange(&def->def_var_name, merge_update.to_add); \
|
|
|
|
RemoveRange(&def->def_var_name, merge_update.to_remove); \
|
2017-02-26 08:11:47 +00:00
|
|
|
}
|
|
|
|
|
2017-02-27 07:23:43 +00:00
|
|
|
RemoveUsrs(update->files_removed);
|
2017-04-07 05:42:57 +00:00
|
|
|
ImportOrUpdate(update->files_def_update);
|
2017-02-27 07:23:43 +00:00
|
|
|
|
2017-02-26 19:45:59 +00:00
|
|
|
RemoveUsrs(update->types_removed);
|
2017-04-07 05:42:57 +00:00
|
|
|
ImportOrUpdate(update->types_def_update);
|
2017-02-26 19:45:59 +00:00
|
|
|
HANDLE_MERGEABLE(types_derived, derived, types);
|
|
|
|
HANDLE_MERGEABLE(types_uses, uses, types);
|
2017-02-26 08:11:47 +00:00
|
|
|
|
2017-02-26 19:45:59 +00:00
|
|
|
RemoveUsrs(update->funcs_removed);
|
2017-04-07 05:42:57 +00:00
|
|
|
ImportOrUpdate(update->funcs_def_update);
|
2017-02-26 19:45:59 +00:00
|
|
|
HANDLE_MERGEABLE(funcs_declarations, declarations, funcs);
|
|
|
|
HANDLE_MERGEABLE(funcs_derived, derived, funcs);
|
|
|
|
HANDLE_MERGEABLE(funcs_callers, callers, funcs);
|
|
|
|
HANDLE_MERGEABLE(funcs_uses, uses, funcs);
|
2017-02-21 09:08:52 +00:00
|
|
|
|
2017-02-26 19:45:59 +00:00
|
|
|
RemoveUsrs(update->vars_removed);
|
2017-04-07 05:42:57 +00:00
|
|
|
ImportOrUpdate(update->vars_def_update);
|
2017-02-26 19:45:59 +00:00
|
|
|
HANDLE_MERGEABLE(vars_uses, uses, vars);
|
2017-02-26 08:11:47 +00:00
|
|
|
|
|
|
|
#undef HANDLE_MERGEABLE
|
2017-02-25 23:59:09 +00:00
|
|
|
}
|
2017-02-21 09:08:52 +00:00
|
|
|
|
|
|
|
|
|
|
|
|
2017-02-26 08:11:47 +00:00
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2017-02-25 23:59:09 +00:00
|
|
|
// TODO: Idea: when indexing and joining to the main db, allow many dbs that
|
|
|
|
// are joined to. So that way even if the main db is busy we can
|
|
|
|
// still be joining. Joining the partially joined db to the main
|
|
|
|
// db should be faster since we will have larger data lanes to use.
|
|
|
|
// TODO: I think we can run libclang multiple times in one process. So we might
|
|
|
|
// only need two processes. Still, for perf reasons it would be good if
|
|
|
|
// we could stay in one process. We could probably just use shared
|
|
|
|
// memory. May want to run libclang in separate process to protect from
|
|
|
|
// crashes/issues there.
|
|
|
|
// TODO: allow user to store configuration as json? file in home dir; also
|
|
|
|
// allow local overrides (scan up dirs)
|
|
|
|
// TODO: add opt to dump config when starting (--dump-config)
|
|
|
|
// TODO: allow user to decide some indexer choices, ie, do we mark prototype parameters as usages?
|