// TODO: cleanup includes #include "cache.h" #include "code_completion.h" #include "file_consumer.h" #include "fuzzy.h" #include "indexer.h" #include "query.h" #include "language_server_api.h" #include "options.h" #include "project.h" #include "platform.h" #include "test.h" #include "timer.h" #include "threaded_queue.h" #include "typed_bidi_message_queue.h" #include "working_files.h" #include #include #include #include #include #include #include #include #include // TODO: provide a feature like 'https://github.com/goldsborough/clang-expand', // ie, a fully linear view of a function with inline function calls expanded. // We can probably use vscode decorators to achieve it. namespace { const int kNumIndexers = 8 - 1; const int kMaxWorkspaceSearchResults = 1000; const bool kUseMultipleProcesses = false; // TODO: initialization options not passed properly when set to true. struct IpcManager { // TODO: Rename TypedBidiMessageQueue to IpcTransport? using IpcMessageQueue = TypedBidiMessageQueue; static constexpr const char* kIpcLanguageClientName = "language_client"; static constexpr const int kQueueSizeBytes = 1024 * 8; static IpcManager* instance_; static IpcManager* instance() { return instance_; } static void CreateInstance() { instance_ = new IpcManager(); } std::unique_ptr>> threaded_queue_for_client_; std::unique_ptr>> threaded_queue_for_server_; std::unique_ptr ipc_queue_; enum class Destination { Client, Server }; MessageQueue* GetMessageQueue(Destination destination) { assert(kUseMultipleProcesses); return destination == Destination::Client ? &ipc_queue_->for_client : &ipc_queue_->for_server; } ThreadedQueue>* GetThreadedQueue(Destination destination) { assert(!kUseMultipleProcesses); return destination == Destination::Client ? threaded_queue_for_client_.get() : threaded_queue_for_server_.get(); } void SendOutMessageToClient(lsBaseOutMessage& response) { std::ostringstream sstream; response.Write(sstream); if (kUseMultipleProcesses) { Ipc_Cout out; out.content = sstream.str(); ipc_queue_->SendMessage(&ipc_queue_->for_client, Ipc_Cout::kIpcId, out); } else { auto out = MakeUnique(); out->content = sstream.str(); GetThreadedQueue(Destination::Client)->Enqueue(std::move(out)); } } void SendMessage(Destination destination, std::unique_ptr message) { if (kUseMultipleProcesses) ipc_queue_->SendMessage(GetMessageQueue(destination), message->method_id, *message); else GetThreadedQueue(destination)->Enqueue(std::move(message)); } std::vector> GetMessages(Destination destination) { if (kUseMultipleProcesses) return ipc_queue_->GetMessages(GetMessageQueue(destination)); else return GetThreadedQueue(destination)->DequeueAll(); } private: IpcManager() { if (kUseMultipleProcesses) { ipc_queue_ = BuildIpcMessageQueue(kIpcLanguageClientName, kQueueSizeBytes); } else { threaded_queue_for_client_ = MakeUnique>>(); threaded_queue_for_server_ = MakeUnique>>(); } } template void RegisterId(IpcMessageQueue* t) { t->RegisterId(T::kIpcId, [](Writer& visitor, BaseIpcMessage& message) { T& m = static_cast(message); Reflect(visitor, m); }, [](Reader& visitor) { auto m = MakeUnique(); Reflect(visitor, *m); return m; }); } std::unique_ptr BuildIpcMessageQueue(const std::string& name, size_t buffer_size) { auto ipc = MakeUnique(name, buffer_size); RegisterId(ipc.get()); RegisterId(ipc.get()); RegisterId(ipc.get()); RegisterId(ipc.get()); RegisterId(ipc.get()); RegisterId(ipc.get()); RegisterId(ipc.get()); RegisterId(ipc.get()); RegisterId(ipc.get()); RegisterId(ipc.get()); RegisterId(ipc.get()); RegisterId(ipc.get()); RegisterId(ipc.get()); RegisterId(ipc.get()); RegisterId(ipc.get()); RegisterId(ipc.get()); RegisterId(ipc.get()); RegisterId(ipc.get()); RegisterId(ipc.get()); RegisterId(ipc.get()); RegisterId(ipc.get()); return ipc; } }; IpcManager* IpcManager::instance_ = nullptr; void PushBack(NonElidedVector* result, optional location) { if (location) result->push_back(*location); } QueryFile* FindFile(QueryDatabase* db, const std::string& filename, QueryFileId* file_id) { auto it = db->usr_to_symbol.find(filename); if (it != db->usr_to_symbol.end()) { *file_id = QueryFileId(it->second.idx); return &db->files[it->second.idx]; } std::cerr << "Unable to find file " << filename << std::endl; *file_id = QueryFileId(-1); return nullptr; } QueryFile* FindFile(QueryDatabase* db, const std::string& filename) { // TODO: consider calling NormalizePath here. It might add too much latency though. auto it = db->usr_to_symbol.find(filename); if (it != db->usr_to_symbol.end()) return &db->files[it->second.idx]; std::cerr << "Unable to find file " << filename << std::endl; return nullptr; } QueryFile* GetQuery(QueryDatabase* db, const QueryFileId& id) { return &db->files[id.id]; } QueryType* GetQuery(QueryDatabase* db, const QueryTypeId& id) { return &db->types[id.id]; } QueryFunc* GetQuery(QueryDatabase* db, const QueryFuncId& id) { return &db->funcs[id.id]; } QueryVar* GetQuery(QueryDatabase* db, const QueryVarId& id) { return &db->vars[id.id]; } optional GetDefinitionSpellingOfSymbol(QueryDatabase* db, const QueryTypeId& id) { return GetQuery(db, id)->def.definition_spelling; } optional GetDefinitionSpellingOfSymbol(QueryDatabase* db, const QueryFuncId& id) { return GetQuery(db, id)->def.definition_spelling; } optional GetDefinitionSpellingOfSymbol(QueryDatabase* db, const QueryVarId& id) { return GetQuery(db, id)->def.definition_spelling; } optional GetDefinitionSpellingOfSymbol(QueryDatabase* db, const SymbolIdx& symbol) { switch (symbol.kind) { case SymbolKind::Type: return db->types[symbol.idx].def.definition_spelling; case SymbolKind::Func: return db->funcs[symbol.idx].def.definition_spelling; case SymbolKind::Var: return db->vars[symbol.idx].def.definition_spelling; case SymbolKind::File: case SymbolKind::Invalid: { assert(false && "unexpected"); break; } } return nullopt; } std::string GetHoverForSymbol(QueryDatabase* db, const SymbolIdx& symbol) { switch (symbol.kind) { case SymbolKind::Type: return db->types[symbol.idx].def.detailed_name; case SymbolKind::Func: return db->funcs[symbol.idx].def.detailed_name; case SymbolKind::Var: return db->vars[symbol.idx].def.detailed_name; case SymbolKind::File: case SymbolKind::Invalid: { assert(false && "unexpected"); break; } } return ""; } std::vector ToQueryLocation(QueryDatabase* db, const std::vector& refs) { std::vector locs; locs.reserve(refs.size()); for (const QueryFuncRef& ref : refs) locs.push_back(ref.loc); return locs; } std::vector ToQueryLocation(QueryDatabase* db, const std::vector& ids) { std::vector locs; locs.reserve(ids.size()); for (const QueryTypeId& id : ids) { optional loc = GetDefinitionSpellingOfSymbol(db, id); if (loc) locs.push_back(loc.value()); } return locs; } std::vector ToQueryLocation(QueryDatabase* db, const std::vector& ids) { std::vector locs; locs.reserve(ids.size()); for (const QueryFuncId& id : ids) { optional loc = GetDefinitionSpellingOfSymbol(db, id); if (loc) locs.push_back(loc.value()); } return locs; } std::vector ToQueryLocation(QueryDatabase* db, const std::vector& ids) { std::vector locs; locs.reserve(ids.size()); for (const QueryVarId& id : ids) { optional loc = GetDefinitionSpellingOfSymbol(db, id); if (loc) locs.push_back(loc.value()); } return locs; } std::vector GetUsesOfSymbol(QueryDatabase* db, const SymbolIdx& symbol) { switch (symbol.kind) { case SymbolKind::Type: return db->types[symbol.idx].uses; case SymbolKind::Func: { // TODO: the vector allocation could be avoided. const QueryFunc& func = db->funcs[symbol.idx]; std::vector result = ToQueryLocation(db, func.callers); AddRange(&result, func.declarations); if (func.def.definition_spelling) result.push_back(*func.def.definition_spelling); return result; } case SymbolKind::Var: return db->vars[symbol.idx].uses; case SymbolKind::File: case SymbolKind::Invalid: { assert(false && "unexpected"); break; } } return {}; } optional GetDefinitionExtentOfSymbol(QueryDatabase* db, const QueryTypeId& id) { return GetQuery(db, id)->def.definition_extent; } optional GetDefinitionExtentOfSymbol(QueryDatabase* db, const QueryFuncId& id) { return GetQuery(db, id)->def.definition_extent; } optional GetDefinitionExtentOfSymbol(QueryDatabase* db, const QueryVarId& id) { return GetQuery(db, id)->def.definition_extent; } optional GetDefinitionExtentOfSymbol(QueryDatabase* db, const SymbolIdx& symbol) { switch (symbol.kind) { case SymbolKind::File: // TODO: If line 1 is deleted the file won't show up in, ie, workspace symbol search results. return QueryLocation(QueryFileId(symbol.idx), Range(false /*is_interesting*/, Position(1, 1), Position(1, 1))); case SymbolKind::Type: return db->types[symbol.idx].def.definition_extent; case SymbolKind::Func: return db->funcs[symbol.idx].def.definition_extent; case SymbolKind::Var: return db->vars[symbol.idx].def.definition_extent; case SymbolKind::Invalid: { assert(false && "unexpected"); break; } } return nullopt; } std::vector GetDeclarationsOfSymbolForGotoDefinition(QueryDatabase* db, const SymbolIdx& symbol) { switch (symbol.kind) { case SymbolKind::Type: { // Returning the definition spelling of a type is a hack (and is why the // function has the postfix `ForGotoDefintion`, but it lets the user // jump to the start of a type if clicking goto-definition on the same // type from within the type definition. optional declaration = db->types[symbol.idx].def.definition_spelling; if (declaration) return { *declaration }; break; } case SymbolKind::Func: return db->funcs[symbol.idx].declarations; case SymbolKind::Var: { optional declaration = db->vars[symbol.idx].def.declaration; if (declaration) return { *declaration }; break; } } return {}; } optional GetBaseDefinitionOrDeclarationSpelling(QueryDatabase* db, QueryFunc& func) { if (!func.def.base) return nullopt; QueryFunc& base = db->funcs[func.def.base->id]; auto def = base.def.definition_spelling; if (!def && !base.declarations.empty()) def = base.declarations[0]; return def; } std::vector GetCallersForAllBaseFunctions(QueryDatabase* db, QueryFunc& root) { std::vector callers; optional func_id = root.def.base; while (func_id) { QueryFunc& func = db->funcs[func_id->id]; AddRange(&callers, func.callers); func_id = func.def.base; } return callers; } std::vector GetCallersForAllDerivedFunctions(QueryDatabase* db, QueryFunc& root) { std::vector callers; std::queue queue; PushRange(&queue, root.derived); while (!queue.empty()) { QueryFunc& func = db->funcs[queue.front().id]; queue.pop(); PushRange(&queue, func.derived); AddRange(&callers, func.callers); } return callers; } optional GetLsRange(WorkingFile* working_file, const Range& location) { if (!working_file) { return lsRange( lsPosition(location.start.line - 1, location.start.column - 1), lsPosition(location.end.line - 1, location.end.column - 1)); } optional start = working_file->GetBufferLineFromDiskLine(location.start.line); optional end = working_file->GetBufferLineFromDiskLine(location.end.line); if (!start || !end) return nullopt; return lsRange( lsPosition(*start - 1, location.start.column - 1), lsPosition(*end - 1, location.end.column - 1)); } lsDocumentUri GetLsDocumentUri(QueryDatabase* db, QueryFileId file_id, std::string* path) { *path = db->files[file_id.id].def.path; return lsDocumentUri::FromPath(*path); } lsDocumentUri GetLsDocumentUri(QueryDatabase* db, QueryFileId file_id) { std::string path = db->files[file_id.id].def.path; return lsDocumentUri::FromPath(path); } optional GetLsLocation(QueryDatabase* db, WorkingFiles* working_files, const QueryLocation& location) { std::string path; lsDocumentUri uri = GetLsDocumentUri(db, location.path, &path); optional range = GetLsRange(working_files->GetFileByFilename(path), location.range); if (!range) return nullopt; return lsLocation(uri, *range); } // Returns a symbol. The symbol will have *NOT* have a location assigned. lsSymbolInformation GetSymbolInfo(QueryDatabase* db, WorkingFiles* working_files, SymbolIdx symbol) { lsSymbolInformation info; switch (symbol.kind) { case SymbolKind::File: { QueryFile* file = symbol.ResolveFile(db); info.name = file->def.path; info.kind = lsSymbolKind::File; break; } case SymbolKind::Type: { QueryType* type = symbol.ResolveType(db); info.name = type->def.detailed_name; info.kind = lsSymbolKind::Class; break; } case SymbolKind::Func: { QueryFunc* func = symbol.ResolveFunc(db); info.name = func->def.detailed_name; if (func->def.declaring_type.has_value()) { info.kind = lsSymbolKind::Method; info.containerName = db->types[func->def.declaring_type->id].def.detailed_name; } else { info.kind = lsSymbolKind::Function; } break; } case SymbolKind::Var: { QueryVar* var = symbol.ResolveVar(db); info.name += var->def.detailed_name; info.kind = lsSymbolKind::Variable; break; } case SymbolKind::Invalid: { assert(false && "unexpected"); break; } }; return info; } struct CommonCodeLensParams { std::vector* result; QueryDatabase* db; WorkingFiles* working_files; WorkingFile* working_file; }; void AddCodeLens( CommonCodeLensParams* common, QueryLocation loc, const std::vector& uses, const char* singular, const char* plural, bool exclude_loc = false, bool only_interesting = false) { TCodeLens code_lens; optional range = GetLsRange(common->working_file, loc.range); if (!range) return; code_lens.range = *range; code_lens.command = lsCommand(); code_lens.command->command = "superindex.showReferences"; code_lens.command->arguments.uri = GetLsDocumentUri(common->db, loc.path); code_lens.command->arguments.position = code_lens.range.start; // Add unique uses. std::unordered_set unique_uses; for (const QueryLocation& use : uses) { if (exclude_loc && use == loc) continue; if (only_interesting && !use.range.interesting) continue; optional location = GetLsLocation(common->db, common->working_files, use); if (!location) continue; unique_uses.insert(*location); } code_lens.command->arguments.locations.assign(unique_uses.begin(), unique_uses.end()); // User visible label size_t num_usages = unique_uses.size(); code_lens.command->title = std::to_string(num_usages) + " "; if (num_usages == 1) code_lens.command->title += singular; else code_lens.command->title += plural; if (exclude_loc || unique_uses.size() > 0) common->result->push_back(code_lens); } lsWorkspaceEdit BuildWorkspaceEdit(QueryDatabase* db, WorkingFiles* working_files, const std::vector& locations, const std::string& new_text) { std::unordered_map path_to_edit; for (auto& location : locations) { optional ls_location = GetLsLocation(db, working_files, location); if (!ls_location) continue; if (path_to_edit.find(location.path) == path_to_edit.end()) { path_to_edit[location.path] = lsTextDocumentEdit(); const std::string& path = db->files[location.path.id].def.path; path_to_edit[location.path].textDocument.uri = lsDocumentUri::FromPath(path); WorkingFile* working_file = working_files->GetFileByFilename(path); if (working_file) path_to_edit[location.path].textDocument.version = working_file->version; } lsTextEdit edit; edit.range = ls_location->range; edit.newText = new_text; path_to_edit[location.path].edits.push_back(edit); } lsWorkspaceEdit edit; for (const auto& changes : path_to_edit) edit.documentChanges.push_back(changes.second); return edit; } std::vector FindSymbolsAtLocation(QueryFile* file, lsPosition position) { std::vector symbols; symbols.reserve(1); int target_line = position.line + 1; int target_column = position.character + 1; for (const SymbolRef& ref : file->def.all_symbols) { if (ref.loc.range.Contains(target_line, target_column)) symbols.push_back(ref); } return symbols; } } // namespace struct Index_DoIndex { enum class Type { Import, Update }; std::string path; std::vector args; Type type; Index_DoIndex(Type type) : type(type) {} }; struct Index_DoIdMap { std::unique_ptr previous; std::unique_ptr current; explicit Index_DoIdMap(std::unique_ptr previous, std::unique_ptr current) : previous(std::move(previous)), current(std::move(current)) {} }; struct Index_OnIdMapped { std::unique_ptr previous_index; std::unique_ptr current_index; std::unique_ptr previous_id_map; std::unique_ptr current_id_map; }; struct Index_OnIndexed { IndexUpdate update; explicit Index_OnIndexed(IndexUpdate& update) : update(update) {} }; using Index_DoIndexQueue = ThreadedQueue; using Index_DoIdMapQueue = ThreadedQueue; using Index_OnIdMappedQueue = ThreadedQueue; using Index_OnIndexedQueue = ThreadedQueue; void RegisterMessageTypes() { MessageRegistry::instance()->Register(); MessageRegistry::instance()->Register(); MessageRegistry::instance()->Register(); MessageRegistry::instance()->Register(); MessageRegistry::instance()->Register(); MessageRegistry::instance()->Register(); MessageRegistry::instance()->Register(); MessageRegistry::instance()->Register(); MessageRegistry::instance()->Register(); MessageRegistry::instance()->Register(); MessageRegistry::instance()->Register(); MessageRegistry::instance()->Register(); MessageRegistry::instance()->Register(); MessageRegistry::instance()->Register(); MessageRegistry::instance()->Register(); MessageRegistry::instance()->Register(); MessageRegistry::instance()->Register(); } bool IndexMain_DoIndex(FileConsumer::SharedState* file_consumer_shared, Index_DoIndexQueue* queue_do_index, Index_DoIdMapQueue* queue_do_id_map) { optional index_request = queue_do_index->TryDequeue(); if (!index_request) return false; Timer time; // If the index update is an import, then we will load the previous index // into memory if we have a previous index. After that, we dispatch an // update request to get the latest version. if (index_request->type == Index_DoIndex::Type::Import) { index_request->type = Index_DoIndex::Type::Update; std::unique_ptr old_index = LoadCachedFile(index_request->path); time.ResetAndPrint("Reading cached index from disk " + index_request->path); // If import fails just do a standard update. if (old_index) { for (auto& dependency_path : old_index->dependencies) { std::cerr << "- Dispatching dependency import " << dependency_path << std::endl; Index_DoIndex dep_index_request(Index_DoIndex::Type::Import); dep_index_request.path = dependency_path; dep_index_request.args = index_request->args; queue_do_index->Enqueue(std::move(dep_index_request)); } Index_DoIdMap response(nullptr, std::move(old_index)); queue_do_id_map->Enqueue(std::move(response)); queue_do_index->Enqueue(std::move(*index_request)); return true; } } // Parse request and send a response. std::vector> indexes = Parse(file_consumer_shared, index_request->path, index_request->args); time.ResetAndPrint("Parsing/indexing " + index_request->path); for (auto& current_index : indexes) { std::cerr << "Got index for " << current_index->path << std::endl; std::unique_ptr old_index = LoadCachedFile(current_index->path); time.ResetAndPrint("Loading cached index"); // TODO: Cache to disk on a separate thread. Maybe we do the cache after we // have imported the index (so the import pipeline has five stages instead // of the current 4). // Cache file so we can diff it later. WriteToCache(current_index->path, *current_index); time.ResetAndPrint("Cache index update to disk"); // Send response to create id map. Index_DoIdMap response(std::move(old_index), std::move(current_index)); queue_do_id_map->Enqueue(std::move(response)); } return true; } bool IndexMain_DoCreateIndexUpdate( Index_OnIdMappedQueue* queue_on_id_mapped, Index_OnIndexedQueue* queue_on_indexed) { optional response = queue_on_id_mapped->TryDequeue(); if (!response) return false; Timer time; IndexUpdate update = IndexUpdate::CreateDelta(response->previous_id_map.get(), response->current_id_map.get(), response->previous_index.get(), response->current_index.get()); time.ResetAndPrint("Creating delta IndexUpdate"); Index_OnIndexed reply(update); queue_on_indexed->Enqueue(std::move(reply)); time.ResetAndPrint("Sending update to server"); return true; } void IndexJoinIndexUpdates(Index_OnIndexedQueue* queue_on_indexed) { optional root = queue_on_indexed->TryDequeue(); if (!root) return; while (true) { optional to_join = queue_on_indexed->TryDequeue(); if (!to_join) { queue_on_indexed->Enqueue(std::move(*root)); return; } Timer time; root->update.Merge(to_join->update); time.ResetAndPrint("Indexer joining two querydb updates"); } } void IndexMain( FileConsumer::SharedState* file_consumer_shared, Index_DoIndexQueue* queue_do_index, Index_DoIdMapQueue* queue_do_id_map, Index_OnIdMappedQueue* queue_on_id_mapped, Index_OnIndexedQueue* queue_on_indexed) { SetCurrentThreadName("indexer"); while (true) { // TODO: process all off IndexMain_DoIndex before calling IndexMain_DoCreateIndexUpdate for // better icache behavior. We need to have some threads spinning on both though // otherwise memory usage will get bad. int count = 0; if (!IndexMain_DoIndex(file_consumer_shared, queue_do_index, queue_do_id_map) && !IndexMain_DoCreateIndexUpdate(queue_on_id_mapped, queue_on_indexed)) { //if (count++ > 2) { // count = 0; IndexJoinIndexUpdates(queue_on_indexed); //} // TODO: use CV to wakeup? std::this_thread::sleep_for(std::chrono::milliseconds(25)); } } } void QueryDbMainLoop( QueryDatabase* db, Index_DoIndexQueue* queue_do_index, Index_DoIdMapQueue* queue_do_id_map, Index_OnIdMappedQueue* queue_on_id_mapped, Index_OnIndexedQueue* queue_on_indexed, Project* project, WorkingFiles* working_files, CompletionManager* completion_manager) { IpcManager* ipc = IpcManager::instance(); std::vector> messages = ipc->GetMessages(IpcManager::Destination::Server); for (auto& message : messages) { std::cerr << "[querydb] Processing message " << IpcIdToString(message->method_id) << std::endl; switch (message->method_id) { case IpcId::Quit: { std::cerr << "[querydb] Got quit message (exiting)" << std::endl; exit(0); break; } case IpcId::IsAlive: { std::cerr << "[querydb] Sending IsAlive response to client" << std::endl; ipc->SendMessage(IpcManager::Destination::Client, MakeUnique()); break; } case IpcId::OpenProject: { Ipc_OpenProject* msg = static_cast(message.get()); std::string path = msg->project_path; std::vector whitelist; std::cerr << "Using whitelist" << std::endl; for (const std::string& entry : msg->whitelist) { std::cerr << " - " << entry << std::endl; whitelist.push_back(Matcher(entry)); } std::vector blacklist; std::cerr << "Using blacklist" << std::endl; for (const std::string& entry : msg->blacklist) { std::cerr << " - " << entry << std::endl; blacklist.push_back(Matcher(entry)); } project->Load(path); std::cerr << "Loaded compilation entries (" << project->entries.size() << " files)" << std::endl; //for (int i = 0; i < 10; ++i) //std::cerr << project->entries[i].filename << std::endl; for (int i = 0; i < project->entries.size(); ++i) { const CompilationEntry& entry = project->entries[i]; std::string filepath = entry.filename; const Matcher* is_bad = nullptr; for (const Matcher& m : whitelist) { if (!m.IsMatch(filepath)) { is_bad = &m; break; } } if (is_bad) { std::cerr << "[" << i << "/" << (project->entries.size() - 1) << "] Failed whitelist check \"" << is_bad->regex_string << "\"; skipping " << filepath << std::endl; continue; } for (const Matcher& m : blacklist) { if (m.IsMatch(filepath)) { is_bad = &m; break; } } if (is_bad) { std::cerr << "[" << i << "/" << (project->entries.size() - 1) << "] Failed blacklist check \"" << is_bad->regex_string << "\"; skipping " << filepath << std::endl; continue; } std::cerr << "[" << i << "/" << (project->entries.size() - 1) << "] Dispatching index request for file " << filepath << std::endl; Index_DoIndex request(Index_DoIndex::Type::Import); request.path = filepath; request.args = entry.args; queue_do_index->Enqueue(std::move(request)); } break; } case IpcId::TextDocumentDidOpen: { auto msg = static_cast(message.get()); //std::cerr << "Opening " << msg->params.textDocument.uri.GetPath() << std::endl; working_files->OnOpen(msg->params); break; } case IpcId::TextDocumentDidChange: { auto msg = static_cast(message.get()); working_files->OnChange(msg->params); //std::cerr << "Changing " << msg->params.textDocument.uri.GetPath() << std::endl; break; } case IpcId::TextDocumentDidClose: { auto msg = static_cast(message.get()); //std::cerr << "Closing " << msg->params.textDocument.uri.GetPath() << std::endl; working_files->OnClose(msg->params); break; } case IpcId::TextDocumentDidSave: { auto msg = static_cast(message.get()); WorkingFile* working_file = working_files->GetFileByFilename(msg->params.textDocument.uri.GetPath()); if (working_file) { // TODO: Update working file indexed content when we actually get the // index update. working_file->SetIndexContent(working_file->buffer_content); } // Send an index update request. Index_DoIndex request(Index_DoIndex::Type::Update); optional entry = project->FindCompilationEntryForFile(msg->params.textDocument.uri.GetPath()); request.path = msg->params.textDocument.uri.GetPath(); if (entry) request.args = entry->args; queue_do_index->Enqueue(std::move(request)); break; } case IpcId::TextDocumentRename: { auto msg = static_cast(message.get()); QueryFileId file_id; QueryFile* file = FindFile(db, msg->params.textDocument.uri.GetPath(), &file_id); if (!file) { std::cerr << "Unable to find file " << msg->params.textDocument.uri.GetPath() << std::endl; break; } Out_TextDocumentRename response; response.id = msg->id; for (const SymbolRef& ref : FindSymbolsAtLocation(file, msg->params.position)) { // Found symbol. Return references to rename. std::vector uses = GetUsesOfSymbol(db, ref.idx); response.result = BuildWorkspaceEdit(db, working_files, uses, msg->params.newName); break; } response.Write(std::cerr); ipc->SendOutMessageToClient(response); break; } case IpcId::TextDocumentCompletion: { // TODO: better performance auto msg = static_cast(message.get()); Out_TextDocumentComplete response; response.id = msg->id; response.result.isIncomplete = false; response.result.items = completion_manager->CodeComplete(msg->params); Timer timer; ipc->SendOutMessageToClient(response); timer.ResetAndPrint("Writing completion results"); break; } case IpcId::TextDocumentDefinition: { auto msg = static_cast(message.get()); QueryFileId file_id; QueryFile* file = FindFile(db, msg->params.textDocument.uri.GetPath(), &file_id); if (!file) { std::cerr << "Unable to find file " << msg->params.textDocument.uri.GetPath() << std::endl; break; } Out_TextDocumentDefinition response; response.id = msg->id; int target_line = msg->params.position.line + 1; int target_column = msg->params.position.character + 1; for (const SymbolRef& ref : FindSymbolsAtLocation(file, msg->params.position)) { // Found symbol. Return definition. // Special cases which are handled: // - symbol has declaration but no definition (ie, pure virtual) // - start at spelling but end at extent for better mouse tooltip // - goto declaration while in definition of recursive type optional def_loc = GetDefinitionSpellingOfSymbol(db, ref.idx); // We use spelling start and extent end because this causes vscode to // highlight the entire definition when previewing / hoving with the // mouse. optional def_extent = GetDefinitionExtentOfSymbol(db, ref.idx); if (def_loc && def_extent) def_loc->range.end = def_extent->range.end; // If the cursor is currently at or in the definition we should goto // the declaration if possible. We also want to use declarations if // we're pointing to, ie, a pure virtual function which has no // definition. if (!def_loc || (def_loc->path == file_id && def_loc->range.Contains(target_line, target_column))) { // Goto declaration. std::vector declarations = GetDeclarationsOfSymbolForGotoDefinition(db, ref.idx); for (auto declaration : declarations) { optional ls_declaration = GetLsLocation(db, working_files, declaration); if (ls_declaration) response.result.push_back(*ls_declaration); } // We found some declarations. Break so we don't add the definition location. if (!response.result.empty()) break; } if (def_loc) PushBack(&response.result, GetLsLocation(db, working_files, *def_loc)); if (!response.result.empty()) break; } ipc->SendOutMessageToClient(response); break; } case IpcId::TextDocumentDocumentHighlight: { auto msg = static_cast(message.get()); QueryFileId file_id; QueryFile* file = FindFile(db, msg->params.textDocument.uri.GetPath(), &file_id); if (!file) { std::cerr << "Unable to find file " << msg->params.textDocument.uri.GetPath() << std::endl; break; } Out_TextDocumentDocumentHighlight response; response.id = msg->id; for (const SymbolRef& ref : FindSymbolsAtLocation(file, msg->params.position)) { // Found symbol. Return references to highlight. std::vector uses = GetUsesOfSymbol(db, ref.idx); response.result.reserve(uses.size()); for (const QueryLocation& use : uses) { if (use.path != file_id) continue; optional ls_location = GetLsLocation(db, working_files, use); if (!ls_location) continue; lsDocumentHighlight highlight; highlight.kind = lsDocumentHighlightKind::Text; highlight.range = ls_location->range; response.result.push_back(highlight); } break; } ipc->SendOutMessageToClient(response); break; } case IpcId::TextDocumentHover: { auto msg = static_cast(message.get()); QueryFile* file = FindFile(db, msg->params.textDocument.uri.GetPath()); if (!file) { std::cerr << "Unable to find file " << msg->params.textDocument.uri.GetPath() << std::endl; break; } Out_TextDocumentHover response; response.id = msg->id; for (const SymbolRef& ref : FindSymbolsAtLocation(file, msg->params.position)) { // Found symbol. Return hover. optional ls_range = GetLsRange(working_files->GetFileByFilename(file->def.path), ref.loc.range); if (!ls_range) continue; response.result.contents = GetHoverForSymbol(db, ref.idx); response.result.range = *ls_range; break; } ipc->SendOutMessageToClient(response); break; } case IpcId::TextDocumentReferences: { auto msg = static_cast(message.get()); QueryFile* file = FindFile(db, msg->params.textDocument.uri.GetPath()); if (!file) { std::cerr << "Unable to find file " << msg->params.textDocument.uri.GetPath() << std::endl; break; } Out_TextDocumentReferences response; response.id = msg->id; for (const SymbolRef& ref : FindSymbolsAtLocation(file, msg->params.position)) { optional excluded_declaration; if (!msg->params.context.includeDeclaration) { std::cerr << "Excluding declaration in references" << std::endl; excluded_declaration = GetDefinitionSpellingOfSymbol(db, ref.idx); } // Found symbol. Return references. std::vector uses = GetUsesOfSymbol(db, ref.idx); response.result.reserve(uses.size()); for (const QueryLocation& use : uses) { if (excluded_declaration.has_value() && use == *excluded_declaration) continue; optional ls_location = GetLsLocation(db, working_files, use); if (ls_location) response.result.push_back(*ls_location); } break; } ipc->SendOutMessageToClient(response); break; } case IpcId::TextDocumentDocumentSymbol: { auto msg = static_cast(message.get()); Out_TextDocumentDocumentSymbol response; response.id = msg->id; QueryFile* file = FindFile(db, msg->params.textDocument.uri.GetPath()); if (!file) { std::cerr << "Unable to find file " << msg->params.textDocument.uri.GetPath() << std::endl; break; } std::cerr << "File outline size is " << file->def.outline.size() << std::endl; for (SymbolRef ref : file->def.outline) { lsSymbolInformation info = GetSymbolInfo(db, working_files, ref.idx); optional location = GetLsLocation(db, working_files, ref.loc); if (!location) continue; info.location = *location; response.result.push_back(info); } ipc->SendOutMessageToClient(response); break; } case IpcId::TextDocumentCodeLens: { auto msg = static_cast(message.get()); Out_TextDocumentCodeLens response; response.id = msg->id; lsDocumentUri file_as_uri = msg->params.textDocument.uri; QueryFile* file = FindFile(db, file_as_uri.GetPath()); if (!file) { std::cerr << "Unable to find file " << msg->params.textDocument.uri.GetPath() << std::endl; break; } CommonCodeLensParams common; common.result = &response.result; common.db = db; common.working_files = working_files; common.working_file = working_files->GetFileByFilename(file->def.path); for (SymbolRef ref : file->def.outline) { // NOTE: We OffsetColumn so that the code lens always show up in a // predictable order. Otherwise, the client may randomize it. SymbolIdx symbol = ref.idx; switch (symbol.kind) { case SymbolKind::Type: { QueryType& type = db->types[symbol.idx]; AddCodeLens(&common, ref.loc.OffsetStartColumn(0), type.uses, "ref", "refs"); AddCodeLens(&common, ref.loc.OffsetStartColumn(1), type.uses, "iref", "irefs", false /*exclude_loc*/, true /*only_interesting*/); AddCodeLens(&common, ref.loc.OffsetStartColumn(2), ToQueryLocation(db, type.derived), "derived", "derived"); AddCodeLens(&common, ref.loc.OffsetStartColumn(3), ToQueryLocation(db, type.instantiations), "instantiation", "instantiations"); break; } case SymbolKind::Func: { QueryFunc& func = db->funcs[symbol.idx]; int offset = 0; std::vector base_callers = GetCallersForAllBaseFunctions(db, func); std::vector derived_callers = GetCallersForAllDerivedFunctions(db, func); if (base_callers.empty() && derived_callers.empty()) { // set exclude_loc to true to force the code lens to show up AddCodeLens(&common, ref.loc.OffsetStartColumn(offset++), ToQueryLocation(db, func.callers), "call", "calls", true /*exclude_loc*/); } else { AddCodeLens(&common, ref.loc.OffsetStartColumn(offset++), ToQueryLocation(db, func.callers), "direct call", "direct calls"); if (!base_callers.empty()) AddCodeLens(&common, ref.loc.OffsetStartColumn(offset++), ToQueryLocation(db, base_callers), "base call", "base calls"); if (!derived_callers.empty()) AddCodeLens(&common, ref.loc.OffsetStartColumn(offset++), ToQueryLocation(db, derived_callers), "derived call", "derived calls"); } AddCodeLens(&common, ref.loc.OffsetStartColumn(offset++), ToQueryLocation(db, func.derived), "derived", "derived"); // "Base" optional base_loc = GetBaseDefinitionOrDeclarationSpelling(db, func); if (base_loc) { optional ls_base = GetLsLocation(db, working_files, *base_loc); if (ls_base) { optional range = GetLsRange(common.working_file, ref.loc.range); if (range) { TCodeLens code_lens; code_lens.range = *range; code_lens.range.start.character += offset++; code_lens.command = lsCommand(); code_lens.command->title = "Base"; code_lens.command->command = "superindex.goto"; code_lens.command->arguments.uri = ls_base->uri; code_lens.command->arguments.position = ls_base->range.start; response.result.push_back(code_lens); } } } break; } case SymbolKind::Var: { QueryVar& var = db->vars[symbol.idx]; AddCodeLens(&common, ref.loc.OffsetStartColumn(0), var.uses, "ref", "refs", true /*exclude_loc*/, false /*only_interesting*/); break; } case SymbolKind::File: case SymbolKind::Invalid: { assert(false && "unexpected"); break; } }; } ipc->SendOutMessageToClient(response); break; } case IpcId::WorkspaceSymbol: { auto msg = static_cast(message.get()); Out_WorkspaceSymbol response; response.id = msg->id; std::cerr << "- Considering " << db->detailed_names.size() << " candidates for query " << msg->params.query << std::endl; std::string query = msg->params.query; for (int i = 0; i < db->detailed_names.size(); ++i) { if (response.result.size() > kMaxWorkspaceSearchResults) { std::cerr << "Query exceeded maximum number of responses (" << kMaxWorkspaceSearchResults << "), output may not contain all results" << std::endl; break; } if (db->detailed_names[i].find(query) != std::string::npos) { lsSymbolInformation info = GetSymbolInfo(db, working_files, db->symbols[i]); optional location = GetDefinitionExtentOfSymbol(db, db->symbols[i]); if (!location) { auto decls = GetDeclarationsOfSymbolForGotoDefinition(db, db->symbols[i]); if (decls.empty()) continue; location = decls[0]; } optional ls_location = GetLsLocation(db, working_files, *location); if (!ls_location) continue; info.location = *ls_location; response.result.push_back(info); } } std::cerr << "- Found " << response.result.size() << " results for query " << query << std::endl; ipc->SendOutMessageToClient(response); break; } default: { std::cerr << "[querydb] Unhandled IPC message " << IpcIdToString(message->method_id) << std::endl; exit(1); } } } // TODO: consider rate-limiting and checking for IPC messages so we don't block // requests / we can serve partial requests. while (true) { optional request = queue_do_id_map->TryDequeue(); if (!request) break; Index_OnIdMapped response; Timer time; if (request->previous) { response.previous_id_map = MakeUnique(db, request->previous->id_cache); response.previous_index = std::move(request->previous); } assert(request->current); response.current_id_map = MakeUnique(db, request->current->id_cache); time.ResetAndPrint("Create IdMap " + request->current->path); response.current_index = std::move(request->current); queue_on_id_mapped->Enqueue(std::move(response)); } while (true) { optional response = queue_on_indexed->TryDequeue(); if (!response) break; Timer time; db->ApplyIndexUpdate(&response->update); time.ResetAndPrint("Applying index update"); } } void QueryDbMain() { SetCurrentThreadName("querydb"); //std::cerr << "Running QueryDb" << std::endl; // Create queues. Index_DoIndexQueue queue_do_index; Index_DoIdMapQueue queue_do_id_map; Index_OnIdMappedQueue queue_on_id_mapped; Index_OnIndexedQueue queue_on_indexed; Project project; WorkingFiles working_files; CompletionManager completion_manager(&project, &working_files); FileConsumer::SharedState file_consumer_shared; // Start indexer threads. for (int i = 0; i < kNumIndexers; ++i) { new std::thread([&]() { IndexMain(&file_consumer_shared, &queue_do_index, &queue_do_id_map, &queue_on_id_mapped, &queue_on_indexed); }); } // Run query db main loop. QueryDatabase db; while (true) { QueryDbMainLoop(&db, &queue_do_index, &queue_do_id_map, &queue_on_id_mapped, &queue_on_indexed, &project, &working_files, &completion_manager); std::this_thread::sleep_for(std::chrono::milliseconds(10)); } } // TODO: global lock on stderr output. // Separate thread whose only job is to read from stdin and // dispatch read commands to the actual indexer program. This // cannot be done on the main thread because reading from std::cin // blocks. // // |ipc| is connected to a server. void LanguageServerStdinLoop() { SetCurrentThreadName("stdin"); IpcManager* ipc = IpcManager::instance(); while (true) { std::unique_ptr message = MessageRegistry::instance()->ReadMessageFromStdin(); // Message parsing can fail if we don't recognize the method. if (!message) continue; std::cerr << "[stdin] Got message \"" << IpcIdToString(message->method_id) << '"' << std::endl; switch (message->method_id) { // TODO: For simplicitly lets just proxy the initialize request like // all other requests so that stdin loop thread becomes super simple. case IpcId::Initialize: { auto request = static_cast(message.get()); if (request->params.rootUri) { std::string project_path = request->params.rootUri->GetPath(); std::cerr << "[stdin] Initialize in directory " << project_path << " with uri " << request->params.rootUri->raw_uri << std::endl; auto open_project = MakeUnique(); open_project->project_path = project_path; if (request->params.initializationOptions) { open_project->whitelist = request->params.initializationOptions->whitelist; open_project->blacklist = request->params.initializationOptions->blacklist; } ipc->SendMessage(IpcManager::Destination::Server, std::move(open_project)); } // TODO: query request->params.capabilities.textDocument and support only things // the client supports. auto response = Out_InitializeResponse(); response.id = request->id; //response.result.capabilities.textDocumentSync = lsTextDocumentSyncOptions(); //response.result.capabilities.textDocumentSync->openClose = true; //response.result.capabilities.textDocumentSync->change = lsTextDocumentSyncKind::Full; //response.result.capabilities.textDocumentSync->willSave = true; //response.result.capabilities.textDocumentSync->willSaveWaitUntil = true; response.result.capabilities.textDocumentSync = lsTextDocumentSyncKind::Incremental; response.result.capabilities.renameProvider = true; response.result.capabilities.completionProvider = lsCompletionOptions(); response.result.capabilities.completionProvider->resolveProvider = false; response.result.capabilities.completionProvider->triggerCharacters = { ".", "::", "->" }; response.result.capabilities.codeLensProvider = lsCodeLensOptions(); response.result.capabilities.codeLensProvider->resolveProvider = false; response.result.capabilities.definitionProvider = true; response.result.capabilities.documentHighlightProvider = true; response.result.capabilities.hoverProvider = true; response.result.capabilities.referencesProvider = true; response.result.capabilities.documentSymbolProvider = true; response.result.capabilities.workspaceSymbolProvider = true; //response.Write(std::cerr); response.Write(std::cout); break; } case IpcId::Initialized: { // TODO: don't send output until we get this notification break; } case IpcId::CancelRequest: { // TODO: support cancellation break; } case IpcId::TextDocumentDidOpen: case IpcId::TextDocumentDidChange: case IpcId::TextDocumentDidClose: case IpcId::TextDocumentDidSave: case IpcId::TextDocumentRename: case IpcId::TextDocumentCompletion: case IpcId::TextDocumentDefinition: case IpcId::TextDocumentDocumentHighlight: case IpcId::TextDocumentHover: case IpcId::TextDocumentReferences: case IpcId::TextDocumentDocumentSymbol: case IpcId::TextDocumentCodeLens: case IpcId::WorkspaceSymbol: { ipc->SendMessage(IpcManager::Destination::Server, std::move(message)); break; } default: { std::cerr << "[stdin] Unhandled IPC message " << IpcIdToString(message->method_id) << std::endl; exit(1); } } } } void LanguageServerMainLoop() { IpcManager* ipc = IpcManager::instance(); std::vector> messages = ipc->GetMessages(IpcManager::Destination::Client); for (auto& message : messages) { std::cerr << "[server] Processing message " << IpcIdToString(message->method_id) << std::endl; switch (message->method_id) { case IpcId::Quit: { std::cerr << "[server] Got quit message (exiting)" << std::endl; exit(0); break; } case IpcId::Cout: { auto msg = static_cast(message.get()); std::cout << msg->content; std::cout.flush(); break; } default: { std::cerr << "[server] Unhandled IPC message " << IpcIdToString(message->method_id) << std::endl; exit(1); } } } } bool IsQueryDbProcessRunning() { if (!kUseMultipleProcesses) return false; IpcManager* ipc = IpcManager::instance(); // Discard any left-over messages from previous runs. if (kUseMultipleProcesses) ipc->GetMessages(IpcManager::Destination::Client); // Emit an alive check. Sleep so the server has time to respond. std::cerr << "[setup] Sending IsAlive request to server" << std::endl; ipc->SendMessage(IpcManager::Destination::Server, MakeUnique()); // TODO: Tune this value or make it configurable. std::this_thread::sleep_for(std::chrono::milliseconds(100)); // Check if we got an IsAlive message back. std::vector> messages = ipc->GetMessages(IpcManager::Destination::Client); for (auto& message : messages) { if (IpcId::IsAlive == message->method_id) { return true; } else { std::cerr << "[setup] Unhandled IPC message " << IpcIdToString(message->method_id) << std::endl; exit(1); } } // No response back. Clear out server messages so server doesn't respond to stale request. ipc->GetMessages(IpcManager::Destination::Server); return false; } void LanguageServerMain() { SetCurrentThreadName("server"); bool has_server = IsQueryDbProcessRunning(); // No server is running. Start it in-process. If the user wants to run the // server out of process they have to start it themselves. if (!has_server) { new std::thread(&QueryDbMain); } // Run language client. new std::thread(&LanguageServerStdinLoop); while (true) { LanguageServerMainLoop(); std::this_thread::sleep_for(std::chrono::milliseconds(2)); } } int main(int argc, char** argv) { IpcManager::CreateInstance(); //bool loop = true; //while (loop) // std::this_thread::sleep_for(std::chrono::milliseconds(10)); //std::this_thread::sleep_for(std::chrono::seconds(3)); PlatformInit(); IndexInit(); RegisterMessageTypes(); // if (argc == 1) { // QueryDbMain(); // return 0; //} std::unordered_map options = ParseOptions(argc, argv); if (argc == 1 || HasOption(options, "--test")) { doctest::Context context; context.applyCommandLine(argc, argv); int res = context.run(); if (context.shouldExit()) return res; RunTests(); return 0; } else if (options.find("--help") != options.end()) { std::cout << R"help(clang-querydb help: clang-querydb is a low-latency C++ language server. General: --help Print this help information. --language-server Run as a language server. The language server will look for an existing querydb process, otherwise it will run querydb in-process. This implements the language server spec. --querydb Run the querydb. The querydb stores the program index and serves index request tasks. --test Run tests. Does nothing if test support is not compiled in. Configuration: When opening up a directory, clang-querydb will look for a compile_commands.json file emitted by your preferred build system. If not present, clang-querydb will use a recursive directory listing instead. Command line flags can be provided by adding a "clang_args" file in the top-level directory. Each line in that file is a separate argument. )help"; exit(0); } else if (HasOption(options, "--language-server")) { //std::cerr << "Running language server" << std::endl; LanguageServerMain(); return 0; } else if (HasOption(options, "--querydb")) { //std::cerr << "Running querydb" << std::endl; QueryDbMain(); return 0; } else { //std::cerr << "Running language server" << std::endl; LanguageServerMain(); return 0; } return 1; }