#include "clang_complete.h" #include "code_complete_cache.h" #include "include_complete.h" #include "message_handler.h" #include "queue_manager.h" #include "working_files.h" #include "lex_utils.h" #include namespace { // How a completion was triggered enum class lsCompletionTriggerKind { // Completion was triggered by typing an identifier (24x7 code // complete), manual invocation (e.g Ctrl+Space) or via API. Invoked = 1, // Completion was triggered by a trigger character specified by // the `triggerCharacters` properties of the `CompletionRegistrationOptions`. TriggerCharacter = 2 }; MAKE_REFLECT_TYPE_PROXY(lsCompletionTriggerKind, std::underlying_type::type); // Contains additional information about the context in which a completion // request is triggered. struct lsCompletionContext { // How the completion was triggered. lsCompletionTriggerKind triggerKind; // The trigger character (a single character) that has trigger code complete. // Is undefined if `triggerKind !== CompletionTriggerKind.TriggerCharacter` optional triggerCharacter; }; MAKE_REFLECT_STRUCT(lsCompletionContext, triggerKind, triggerCharacter); struct lsCompletionParams : lsTextDocumentPositionParams { // The completion context. This is only available it the client specifies to // send this using // `ClientCapabilities.textDocument.completion.contextSupport === true` optional context; }; MAKE_REFLECT_STRUCT(lsCompletionParams, textDocument, position, context); struct Ipc_TextDocumentComplete : public IpcMessage { const static IpcId kIpcId = IpcId::TextDocumentCompletion; lsRequestId id; lsCompletionParams params; }; MAKE_REFLECT_STRUCT(Ipc_TextDocumentComplete, id, params); REGISTER_IPC_MESSAGE(Ipc_TextDocumentComplete); struct lsTextDocumentCompleteResult { // This list it not complete. Further typing should result in recomputing // this list. bool isIncomplete = false; // The completion items. std::vector items; }; MAKE_REFLECT_STRUCT(lsTextDocumentCompleteResult, isIncomplete, items); struct Out_TextDocumentComplete : public lsOutMessage { lsRequestId id; lsTextDocumentCompleteResult result; }; MAKE_REFLECT_STRUCT(Out_TextDocumentComplete, jsonrpc, id, result); bool CompareLsCompletionItem(const lsCompletionItem& item1, const lsCompletionItem& item2) { if (item1.pos_ != item2.pos_) return item1.pos_ < item2.pos_; if (item1.priority_ != item2.priority_) return item1.priority_ < item2.priority_; if (item1.label.length() != item2.label.length()) return item1.label.length() < item2.label.length(); return item1.label < item2.label; } template char* tofixedbase64(T input, char* out) { const char* digits = "./0123456789" "ABCDEFGHIJKLMNOPQRSTUVWXYZ" "abcdefghijklmnopqrstuvwxyz"; int len = (sizeof(T) * 8 - 1) / 6 + 1; for (int i = len - 1; i >= 0; i--) { out[i] = digits[input % 64]; input /= 64; } out[len] = '\0'; return out; } // Pre-filters completion responses before sending to vscode. This results in a // significantly snappier completion experience as vscode is easily overloaded // when given 1000+ completion items. void SortAndFilterCompletionResponse( Out_TextDocumentComplete* complete_response, const std::string& complete_text) { // Used to inject more completions. #if false const size_t kNumIterations = 250; size_t size = complete_response->result.items.size(); complete_response->result.items.reserve(size * (kNumIterations + 1)); for (size_t iteration = 0; iteration < kNumIterations; ++iteration) { for (size_t i = 0; i < size; ++i) { auto item = complete_response->result.items[i]; item.label += "#" + std::to_string(iteration); complete_response->result.items.push_back(item); } } #endif auto& items = complete_response->result.items; // Find the appearance of |complete_text| in all candidates. bool found = false; for (auto& item : items) { item.pos_ = item.label.find(complete_text); if (item.pos_ == 0 && item.label.length() == complete_text.length()) found = true; } // If found, remove all candidates that do not start with it. if (!complete_text.empty() && found) { auto filter = [](const lsCompletionItem& item) { return item.pos_ != 0; }; items.erase(std::remove_if(items.begin(), items.end(), filter), items.end()); } // If the text doesn't start with underscore, // remove all candidates that start with underscore. if (!complete_text.empty() && complete_text[0] != '_') { auto filter = [](const lsCompletionItem& item) { return item.label[0] == '_'; }; items.erase(std::remove_if(items.begin(), items.end(), filter), items.end()); } // Order all items and set |sortText|. std::sort(items.begin(), items.end(), CompareLsCompletionItem); char buf[16]; for (size_t i = 0; i < items.size(); ++i) items[i].sortText = tofixedbase64(i, buf); // If there are too many results... const size_t kMaxResultSize = 100u; if (items.size() > kMaxResultSize) { if (complete_text.empty()) { items.resize(kMaxResultSize); } else { std::vector filtered_result; filtered_result.reserve(kMaxResultSize); std::unordered_set inserted; inserted.reserve(kMaxResultSize); // Find literal matches first. for (const auto& item : items) { if (item.pos_ != std::string::npos) { // Don't insert the same completion entry. if (!inserted.insert(item.InsertedContent()).second) continue; filtered_result.push_back(item); if (filtered_result.size() >= kMaxResultSize) break; } } // Find fuzzy matches if we haven't found all of the literal matches. if (filtered_result.size() < kMaxResultSize) { for (const auto& item : items) { if (SubstringMatch(complete_text, item.label)) { // Don't insert the same completion entry. if (!inserted.insert(item.InsertedContent()).second) continue; filtered_result.push_back(item); if (filtered_result.size() >= kMaxResultSize) break; } } } items = filtered_result; } // Assuming the client does not support out-of-order completion (ie, ao // matches against oa), our filtering is guaranteed to contain any // potential matches, so the completion is only incomplete if we have the // max number of emitted matches. if (items.size() >= kMaxResultSize) { LOG_S(INFO) << "Marking completion results as incomplete"; complete_response->result.isIncomplete = true; } } } struct TextDocumentCompletionHandler : MessageHandler { IpcId GetId() const override { return IpcId::TextDocumentCompletion; } void Run(std::unique_ptr message) override { auto request = std::shared_ptr( static_cast(message.release())); auto write_empty_result = [request]() { Out_TextDocumentComplete out; out.id = request->id; QueueManager::WriteStdout(IpcId::TextDocumentCompletion, out); }; std::string path = request->params.textDocument.uri.GetPath(); WorkingFile* file = working_files->GetFileByFilename(path); if (!file) { write_empty_result(); return; } // It shouldn't be possible, but sometimes vscode will send queries out // of order, ie, we get completion request before buffer content update. std::string buffer_line; if (request->params.position.line >= 0 && request->params.position.line < file->raw_buffer_lines.size()) { buffer_line = file->raw_buffer_lines[request->params.position.line]; } // Check for - and : before completing -> or ::, since vscode does not // support multi-character trigger characters. if (request->params.context && request->params.context->triggerKind == lsCompletionTriggerKind::TriggerCharacter && request->params.context->triggerCharacter) { bool did_fail_check = false; std::string character = *request->params.context->triggerCharacter; char preceding_index = request->params.position.character - 2; // If the character is > or : and we are at the start of the line, do not // show completion results. if ((character == ">" || character == ":") && preceding_index < 0) { did_fail_check = true; } // If the character is > but - does not preced it, or if it is : and : // does not preced it, do not show completion results. else if (preceding_index < buffer_line.size()) { char preceding = buffer_line[preceding_index]; did_fail_check = (preceding != '-' && character == ">") || (preceding != ':' && character == ":"); } if (did_fail_check) { write_empty_result(); return; } } if (ShouldRunIncludeCompletion(buffer_line)) { Out_TextDocumentComplete out; out.id = request->id; { std::unique_lock lock( include_complete->completion_items_mutex, std::defer_lock); if (include_complete->is_scanning) lock.lock(); out.result.items.assign(include_complete->completion_items.begin(), include_complete->completion_items.end()); if (lock) lock.unlock(); // Update textEdit params. for (lsCompletionItem& item : out.result.items) { item.textEdit->range.start.line = request->params.position.line; item.textEdit->range.start.character = 0; item.textEdit->range.end.line = request->params.position.line; item.textEdit->range.end.character = (int)buffer_line.size(); } } SortAndFilterCompletionResponse(&out, buffer_line); QueueManager::WriteStdout(IpcId::TextDocumentCompletion, out); } else { bool is_global_completion = false; std::string existing_completion; if (file) { request->params.position = file->FindStableCompletionSource( request->params.position, &is_global_completion, &existing_completion); } ClangCompleteManager::OnComplete callback = std::bind( [this, is_global_completion, existing_completion, request]( const std::vector& results, bool is_cached_result) { Out_TextDocumentComplete out; out.id = request->id; out.result.items = results; // Emit completion results. if (existing_completion.empty() && is_global_completion) { LOG_S(INFO) << "Existing completion is empty, no completion results will be returned"; Out_TextDocumentComplete out; out.id = request->id; QueueManager::WriteStdout(IpcId::TextDocumentCompletion, out); return; } SortAndFilterCompletionResponse(&out, existing_completion); QueueManager::WriteStdout(IpcId::TextDocumentCompletion, out); // Cache completion results. if (!is_cached_result) { std::string path = request->params.textDocument.uri.GetPath(); if (is_global_completion) { global_code_complete_cache->WithLock([&]() { global_code_complete_cache->cached_path_ = path; global_code_complete_cache->cached_results_ = results; }); } else { non_global_code_complete_cache->WithLock([&]() { non_global_code_complete_cache->cached_path_ = path; non_global_code_complete_cache->cached_completion_position_ = request->params.position; non_global_code_complete_cache->cached_results_ = results; }); } } }, std::placeholders::_1, std::placeholders::_2); bool is_cache_match = false; global_code_complete_cache->WithLock([&]() { is_cache_match = is_global_completion && global_code_complete_cache->cached_path_ == path && !global_code_complete_cache->cached_results_.empty(); }); if (is_cache_match) { ClangCompleteManager::OnComplete freshen_global = [this](std::vector results, bool is_cached_result) { assert(!is_cached_result); // note: path is updated in the normal completion handler. global_code_complete_cache->WithLock([&]() { global_code_complete_cache->cached_results_ = results; }); }; global_code_complete_cache->WithLock([&]() { callback(global_code_complete_cache->cached_results_, true /*is_cached_result*/); }); clang_complete->CodeComplete(request->params, freshen_global); } else if (non_global_code_complete_cache->IsCacheValid( request->params)) { non_global_code_complete_cache->WithLock([&]() { callback(non_global_code_complete_cache->cached_results_, true /*is_cached_result*/); }); } else { clang_complete->CodeComplete(request->params, callback); } } } }; REGISTER_MESSAGE_HANDLER(TextDocumentCompletionHandler); } // namespace