| //===--- Protocol.cpp - Language Server Protocol Implementation -----------===// |
| // |
| // The LLVM Compiler Infrastructure |
| // |
| // This file is distributed under the University of Illinois Open Source |
| // License. See LICENSE.TXT for details. |
| // |
| //===----------------------------------------------------------------------===// |
| // |
| // This file contains the serialization code for the LSP structs. |
| // |
| //===----------------------------------------------------------------------===// |
| |
| #include "Protocol.h" |
| #include "Logger.h" |
| #include "URI.h" |
| #include "clang/Basic/LLVM.h" |
| #include "llvm/ADT/SmallString.h" |
| #include "llvm/Support/Format.h" |
| #include "llvm/Support/FormatVariadic.h" |
| #include "llvm/Support/Path.h" |
| #include "llvm/Support/raw_ostream.h" |
| |
| namespace clang { |
| namespace clangd { |
| using namespace llvm; |
| |
| URIForFile::URIForFile(std::string AbsPath) { |
| assert(llvm::sys::path::is_absolute(AbsPath) && "the path is relative"); |
| File = std::move(AbsPath); |
| } |
| |
| bool fromJSON(const json::Value &E, URIForFile &R) { |
| if (auto S = E.getAsString()) { |
| auto U = URI::parse(*S); |
| if (!U) { |
| elog("Failed to parse URI {0}: {1}", *S, U.takeError()); |
| return false; |
| } |
| if (U->scheme() != "file" && U->scheme() != "test") { |
| elog("Clangd only supports 'file' URI scheme for workspace files: {0}", |
| *S); |
| return false; |
| } |
| auto Path = URI::resolve(*U); |
| if (!Path) { |
| log("{0}", Path.takeError()); |
| return false; |
| } |
| R = URIForFile(*Path); |
| return true; |
| } |
| return false; |
| } |
| |
| json::Value toJSON(const URIForFile &U) { return U.uri(); } |
| |
| llvm::raw_ostream &operator<<(llvm::raw_ostream &OS, const URIForFile &U) { |
| return OS << U.uri(); |
| } |
| |
| json::Value toJSON(const TextDocumentIdentifier &R) { |
| return json::Object{{"uri", R.uri}}; |
| } |
| |
| bool fromJSON(const json::Value &Params, TextDocumentIdentifier &R) { |
| json::ObjectMapper O(Params); |
| return O && O.map("uri", R.uri); |
| } |
| |
| bool fromJSON(const json::Value &Params, Position &R) { |
| json::ObjectMapper O(Params); |
| return O && O.map("line", R.line) && O.map("character", R.character); |
| } |
| |
| json::Value toJSON(const Position &P) { |
| return json::Object{ |
| {"line", P.line}, |
| {"character", P.character}, |
| }; |
| } |
| |
| llvm::raw_ostream &operator<<(llvm::raw_ostream &OS, const Position &P) { |
| return OS << P.line << ':' << P.character; |
| } |
| |
| bool fromJSON(const json::Value &Params, Range &R) { |
| json::ObjectMapper O(Params); |
| return O && O.map("start", R.start) && O.map("end", R.end); |
| } |
| |
| json::Value toJSON(const Range &P) { |
| return json::Object{ |
| {"start", P.start}, |
| {"end", P.end}, |
| }; |
| } |
| |
| llvm::raw_ostream &operator<<(llvm::raw_ostream &OS, const Range &R) { |
| return OS << R.start << '-' << R.end; |
| } |
| |
| json::Value toJSON(const Location &P) { |
| return json::Object{ |
| {"uri", P.uri}, |
| {"range", P.range}, |
| }; |
| } |
| |
| llvm::raw_ostream &operator<<(llvm::raw_ostream &OS, const Location &L) { |
| return OS << L.range << '@' << L.uri; |
| } |
| |
| bool fromJSON(const json::Value &Params, TextDocumentItem &R) { |
| json::ObjectMapper O(Params); |
| return O && O.map("uri", R.uri) && O.map("languageId", R.languageId) && |
| O.map("version", R.version) && O.map("text", R.text); |
| } |
| |
| bool fromJSON(const json::Value &Params, Metadata &R) { |
| json::ObjectMapper O(Params); |
| if (!O) |
| return false; |
| O.map("extraFlags", R.extraFlags); |
| return true; |
| } |
| |
| bool fromJSON(const json::Value &Params, TextEdit &R) { |
| json::ObjectMapper O(Params); |
| return O && O.map("range", R.range) && O.map("newText", R.newText); |
| } |
| |
| json::Value toJSON(const TextEdit &P) { |
| return json::Object{ |
| {"range", P.range}, |
| {"newText", P.newText}, |
| }; |
| } |
| |
| llvm::raw_ostream &operator<<(llvm::raw_ostream &OS, const TextEdit &TE) { |
| OS << TE.range << " => \""; |
| printEscapedString(TE.newText, OS); |
| return OS << '"'; |
| } |
| |
| bool fromJSON(const json::Value &E, TraceLevel &Out) { |
| if (auto S = E.getAsString()) { |
| if (*S == "off") { |
| Out = TraceLevel::Off; |
| return true; |
| } else if (*S == "messages") { |
| Out = TraceLevel::Messages; |
| return true; |
| } else if (*S == "verbose") { |
| Out = TraceLevel::Verbose; |
| return true; |
| } |
| } |
| return false; |
| } |
| |
| bool fromJSON(const json::Value &Params, CompletionItemClientCapabilities &R) { |
| json::ObjectMapper O(Params); |
| if (!O) |
| return false; |
| O.map("snippetSupport", R.snippetSupport); |
| O.map("commitCharacterSupport", R.commitCharacterSupport); |
| return true; |
| } |
| |
| bool fromJSON(const json::Value &Params, CompletionClientCapabilities &R) { |
| json::ObjectMapper O(Params); |
| if (!O) |
| return false; |
| O.map("dynamicRegistration", R.dynamicRegistration); |
| O.map("completionItem", R.completionItem); |
| O.map("contextSupport", R.contextSupport); |
| return true; |
| } |
| |
| bool fromJSON(const json::Value &E, SymbolKind &Out) { |
| if (auto T = E.getAsInteger()) { |
| if (*T < static_cast<int>(SymbolKind::File) || |
| *T > static_cast<int>(SymbolKind::TypeParameter)) |
| return false; |
| Out = static_cast<SymbolKind>(*T); |
| return true; |
| } |
| return false; |
| } |
| |
| bool fromJSON(const json::Value &E, std::vector<SymbolKind> &Out) { |
| if (auto *A = E.getAsArray()) { |
| Out.clear(); |
| for (size_t I = 0; I < A->size(); ++I) { |
| SymbolKind KindOut; |
| if (fromJSON((*A)[I], KindOut)) |
| Out.push_back(KindOut); |
| } |
| return true; |
| } |
| return false; |
| } |
| |
| bool fromJSON(const json::Value &Params, SymbolKindCapabilities &R) { |
| json::ObjectMapper O(Params); |
| return O && O.map("valueSet", R.valueSet); |
| } |
| |
| SymbolKind adjustKindToCapability(SymbolKind Kind, |
| SymbolKindBitset &SupportedSymbolKinds) { |
| auto KindVal = static_cast<size_t>(Kind); |
| if (KindVal >= SymbolKindMin && KindVal <= SupportedSymbolKinds.size() && |
| SupportedSymbolKinds[KindVal]) |
| return Kind; |
| |
| switch (Kind) { |
| // Provide some fall backs for common kinds that are close enough. |
| case SymbolKind::Struct: |
| return SymbolKind::Class; |
| case SymbolKind::EnumMember: |
| return SymbolKind::Enum; |
| default: |
| return SymbolKind::String; |
| } |
| } |
| |
| bool fromJSON(const json::Value &Params, WorkspaceSymbolCapabilities &R) { |
| json::ObjectMapper O(Params); |
| return O && O.map("symbolKind", R.symbolKind); |
| } |
| |
| bool fromJSON(const json::Value &Params, WorkspaceClientCapabilities &R) { |
| json::ObjectMapper O(Params); |
| return O && O.map("symbol", R.symbol); |
| } |
| |
| bool fromJSON(const json::Value &Params, TextDocumentClientCapabilities &R) { |
| json::ObjectMapper O(Params); |
| if (!O) |
| return false; |
| O.map("completion", R.completion); |
| return true; |
| } |
| |
| bool fromJSON(const json::Value &Params, ClientCapabilities &R) { |
| json::ObjectMapper O(Params); |
| if (!O) |
| return false; |
| O.map("textDocument", R.textDocument); |
| O.map("workspace", R.workspace); |
| return true; |
| } |
| |
| bool fromJSON(const json::Value &Params, InitializeParams &R) { |
| json::ObjectMapper O(Params); |
| if (!O) |
| return false; |
| // We deliberately don't fail if we can't parse individual fields. |
| // Failing to handle a slightly malformed initialize would be a disaster. |
| O.map("processId", R.processId); |
| O.map("rootUri", R.rootUri); |
| O.map("rootPath", R.rootPath); |
| O.map("capabilities", R.capabilities); |
| O.map("trace", R.trace); |
| O.map("initializationOptions", R.initializationOptions); |
| return true; |
| } |
| |
| bool fromJSON(const json::Value &Params, DidOpenTextDocumentParams &R) { |
| json::ObjectMapper O(Params); |
| return O && O.map("textDocument", R.textDocument) && |
| O.map("metadata", R.metadata); |
| } |
| |
| bool fromJSON(const json::Value &Params, DidCloseTextDocumentParams &R) { |
| json::ObjectMapper O(Params); |
| return O && O.map("textDocument", R.textDocument); |
| } |
| |
| bool fromJSON(const json::Value &Params, DidChangeTextDocumentParams &R) { |
| json::ObjectMapper O(Params); |
| return O && O.map("textDocument", R.textDocument) && |
| O.map("contentChanges", R.contentChanges) && |
| O.map("wantDiagnostics", R.wantDiagnostics); |
| } |
| |
| bool fromJSON(const json::Value &E, FileChangeType &Out) { |
| if (auto T = E.getAsInteger()) { |
| if (*T < static_cast<int>(FileChangeType::Created) || |
| *T > static_cast<int>(FileChangeType::Deleted)) |
| return false; |
| Out = static_cast<FileChangeType>(*T); |
| return true; |
| } |
| return false; |
| } |
| |
| bool fromJSON(const json::Value &Params, FileEvent &R) { |
| json::ObjectMapper O(Params); |
| return O && O.map("uri", R.uri) && O.map("type", R.type); |
| } |
| |
| bool fromJSON(const json::Value &Params, DidChangeWatchedFilesParams &R) { |
| json::ObjectMapper O(Params); |
| return O && O.map("changes", R.changes); |
| } |
| |
| bool fromJSON(const json::Value &Params, TextDocumentContentChangeEvent &R) { |
| json::ObjectMapper O(Params); |
| return O && O.map("range", R.range) && O.map("rangeLength", R.rangeLength) && |
| O.map("text", R.text); |
| } |
| |
| bool fromJSON(const json::Value &Params, FormattingOptions &R) { |
| json::ObjectMapper O(Params); |
| return O && O.map("tabSize", R.tabSize) && |
| O.map("insertSpaces", R.insertSpaces); |
| } |
| |
| json::Value toJSON(const FormattingOptions &P) { |
| return json::Object{ |
| {"tabSize", P.tabSize}, |
| {"insertSpaces", P.insertSpaces}, |
| }; |
| } |
| |
| bool fromJSON(const json::Value &Params, DocumentRangeFormattingParams &R) { |
| json::ObjectMapper O(Params); |
| return O && O.map("textDocument", R.textDocument) && |
| O.map("range", R.range) && O.map("options", R.options); |
| } |
| |
| bool fromJSON(const json::Value &Params, DocumentOnTypeFormattingParams &R) { |
| json::ObjectMapper O(Params); |
| return O && O.map("textDocument", R.textDocument) && |
| O.map("position", R.position) && O.map("ch", R.ch) && |
| O.map("options", R.options); |
| } |
| |
| bool fromJSON(const json::Value &Params, DocumentFormattingParams &R) { |
| json::ObjectMapper O(Params); |
| return O && O.map("textDocument", R.textDocument) && |
| O.map("options", R.options); |
| } |
| |
| bool fromJSON(const json::Value &Params, DocumentSymbolParams &R) { |
| json::ObjectMapper O(Params); |
| return O && O.map("textDocument", R.textDocument); |
| } |
| |
| bool fromJSON(const json::Value &Params, Diagnostic &R) { |
| json::ObjectMapper O(Params); |
| if (!O || !O.map("range", R.range) || !O.map("message", R.message)) |
| return false; |
| O.map("severity", R.severity); |
| return true; |
| } |
| |
| bool fromJSON(const json::Value &Params, CodeActionContext &R) { |
| json::ObjectMapper O(Params); |
| return O && O.map("diagnostics", R.diagnostics); |
| } |
| |
| llvm::raw_ostream &operator<<(llvm::raw_ostream &OS, const Diagnostic &D) { |
| OS << D.range << " ["; |
| switch (D.severity) { |
| case 1: |
| OS << "error"; |
| break; |
| case 2: |
| OS << "warning"; |
| break; |
| case 3: |
| OS << "note"; |
| break; |
| case 4: |
| OS << "remark"; |
| break; |
| default: |
| OS << "diagnostic"; |
| break; |
| } |
| return OS << '(' << D.severity << "): " << D.message << "]"; |
| } |
| |
| bool fromJSON(const json::Value &Params, CodeActionParams &R) { |
| json::ObjectMapper O(Params); |
| return O && O.map("textDocument", R.textDocument) && |
| O.map("range", R.range) && O.map("context", R.context); |
| } |
| |
| bool fromJSON(const json::Value &Params, WorkspaceEdit &R) { |
| json::ObjectMapper O(Params); |
| return O && O.map("changes", R.changes); |
| } |
| |
| const llvm::StringLiteral ExecuteCommandParams::CLANGD_APPLY_FIX_COMMAND = |
| "clangd.applyFix"; |
| bool fromJSON(const json::Value &Params, ExecuteCommandParams &R) { |
| json::ObjectMapper O(Params); |
| if (!O || !O.map("command", R.command)) |
| return false; |
| |
| auto Args = Params.getAsObject()->getArray("arguments"); |
| if (R.command == ExecuteCommandParams::CLANGD_APPLY_FIX_COMMAND) { |
| return Args && Args->size() == 1 && |
| fromJSON(Args->front(), R.workspaceEdit); |
| } |
| return false; // Unrecognized command. |
| } |
| |
| json::Value toJSON(const SymbolInformation &P) { |
| return json::Object{ |
| {"name", P.name}, |
| {"kind", static_cast<int>(P.kind)}, |
| {"location", P.location}, |
| {"containerName", P.containerName}, |
| }; |
| } |
| |
| llvm::raw_ostream &operator<<(llvm::raw_ostream &O, |
| const SymbolInformation &SI) { |
| O << SI.containerName << "::" << SI.name << " - " << toJSON(SI); |
| return O; |
| } |
| |
| bool fromJSON(const json::Value &Params, WorkspaceSymbolParams &R) { |
| json::ObjectMapper O(Params); |
| return O && O.map("query", R.query); |
| } |
| |
| json::Value toJSON(const Command &C) { |
| auto Cmd = json::Object{{"title", C.title}, {"command", C.command}}; |
| if (C.workspaceEdit) |
| Cmd["arguments"] = {*C.workspaceEdit}; |
| return std::move(Cmd); |
| } |
| |
| json::Value toJSON(const WorkspaceEdit &WE) { |
| if (!WE.changes) |
| return json::Object{}; |
| json::Object FileChanges; |
| for (auto &Change : *WE.changes) |
| FileChanges[Change.first] = json::Array(Change.second); |
| return json::Object{{"changes", std::move(FileChanges)}}; |
| } |
| |
| json::Value toJSON(const ApplyWorkspaceEditParams &Params) { |
| return json::Object{{"edit", Params.edit}}; |
| } |
| |
| bool fromJSON(const json::Value &Params, TextDocumentPositionParams &R) { |
| json::ObjectMapper O(Params); |
| return O && O.map("textDocument", R.textDocument) && |
| O.map("position", R.position); |
| } |
| |
| static StringRef toTextKind(MarkupKind Kind) { |
| switch (Kind) { |
| case MarkupKind::PlainText: |
| return "plaintext"; |
| case MarkupKind::Markdown: |
| return "markdown"; |
| } |
| llvm_unreachable("Invalid MarkupKind"); |
| } |
| |
| json::Value toJSON(const MarkupContent &MC) { |
| if (MC.value.empty()) |
| return nullptr; |
| |
| return json::Object{ |
| {"kind", toTextKind(MC.kind)}, |
| {"value", MC.value}, |
| }; |
| } |
| |
| json::Value toJSON(const Hover &H) { |
| json::Object Result{{"contents", toJSON(H.contents)}}; |
| |
| if (H.range.hasValue()) |
| Result["range"] = toJSON(*H.range); |
| |
| return std::move(Result); |
| } |
| |
| json::Value toJSON(const CompletionItem &CI) { |
| assert(!CI.label.empty() && "completion item label is required"); |
| json::Object Result{{"label", CI.label}}; |
| if (CI.kind != CompletionItemKind::Missing) |
| Result["kind"] = static_cast<int>(CI.kind); |
| if (!CI.detail.empty()) |
| Result["detail"] = CI.detail; |
| if (!CI.documentation.empty()) |
| Result["documentation"] = CI.documentation; |
| if (!CI.sortText.empty()) |
| Result["sortText"] = CI.sortText; |
| if (!CI.filterText.empty()) |
| Result["filterText"] = CI.filterText; |
| if (!CI.insertText.empty()) |
| Result["insertText"] = CI.insertText; |
| if (CI.insertTextFormat != InsertTextFormat::Missing) |
| Result["insertTextFormat"] = static_cast<int>(CI.insertTextFormat); |
| if (CI.textEdit) |
| Result["textEdit"] = *CI.textEdit; |
| if (!CI.additionalTextEdits.empty()) |
| Result["additionalTextEdits"] = json::Array(CI.additionalTextEdits); |
| return std::move(Result); |
| } |
| |
| llvm::raw_ostream &operator<<(llvm::raw_ostream &O, const CompletionItem &I) { |
| O << I.label << " - " << toJSON(I); |
| return O; |
| } |
| |
| bool operator<(const CompletionItem &L, const CompletionItem &R) { |
| return (L.sortText.empty() ? L.label : L.sortText) < |
| (R.sortText.empty() ? R.label : R.sortText); |
| } |
| |
| json::Value toJSON(const CompletionList &L) { |
| return json::Object{ |
| {"isIncomplete", L.isIncomplete}, |
| {"items", json::Array(L.items)}, |
| }; |
| } |
| |
| json::Value toJSON(const ParameterInformation &PI) { |
| assert(!PI.label.empty() && "parameter information label is required"); |
| json::Object Result{{"label", PI.label}}; |
| if (!PI.documentation.empty()) |
| Result["documentation"] = PI.documentation; |
| return std::move(Result); |
| } |
| |
| json::Value toJSON(const SignatureInformation &SI) { |
| assert(!SI.label.empty() && "signature information label is required"); |
| json::Object Result{ |
| {"label", SI.label}, |
| {"parameters", json::Array(SI.parameters)}, |
| }; |
| if (!SI.documentation.empty()) |
| Result["documentation"] = SI.documentation; |
| return std::move(Result); |
| } |
| |
| llvm::raw_ostream &operator<<(llvm::raw_ostream &O, |
| const SignatureInformation &I) { |
| O << I.label << " - " << toJSON(I); |
| return O; |
| } |
| |
| json::Value toJSON(const SignatureHelp &SH) { |
| assert(SH.activeSignature >= 0 && |
| "Unexpected negative value for number of active signatures."); |
| assert(SH.activeParameter >= 0 && |
| "Unexpected negative value for active parameter index"); |
| return json::Object{ |
| {"activeSignature", SH.activeSignature}, |
| {"activeParameter", SH.activeParameter}, |
| {"signatures", json::Array(SH.signatures)}, |
| }; |
| } |
| |
| bool fromJSON(const json::Value &Params, RenameParams &R) { |
| json::ObjectMapper O(Params); |
| return O && O.map("textDocument", R.textDocument) && |
| O.map("position", R.position) && O.map("newName", R.newName); |
| } |
| |
| json::Value toJSON(const DocumentHighlight &DH) { |
| return json::Object{ |
| {"range", toJSON(DH.range)}, |
| {"kind", static_cast<int>(DH.kind)}, |
| }; |
| } |
| |
| llvm::raw_ostream &operator<<(llvm::raw_ostream &O, |
| const DocumentHighlight &V) { |
| O << V.range; |
| if (V.kind == DocumentHighlightKind::Read) |
| O << "(r)"; |
| if (V.kind == DocumentHighlightKind::Write) |
| O << "(w)"; |
| return O; |
| } |
| |
| bool fromJSON(const json::Value &Params, DidChangeConfigurationParams &CCP) { |
| json::ObjectMapper O(Params); |
| return O && O.map("settings", CCP.settings); |
| } |
| |
| bool fromJSON(const json::Value &Params, |
| ClangdConfigurationParamsChange &CCPC) { |
| json::ObjectMapper O(Params); |
| return O && O.map("compilationDatabasePath", CCPC.compilationDatabasePath); |
| } |
| |
| } // namespace clangd |
| } // namespace clang |