//===--- Protocol.h - Language Server Protocol Implementation ---*- C++ -*-===// // // The LLVM Compiler Infrastructure // // This file is distributed under the University of Illinois Open Source // License. See LICENSE.TXT for details. // //===----------------------------------------------------------------------===// // // This file contains structs based on the LSP specification at // https://github.com/Microsoft/language-server-protocol/blob/master/protocol.md // // This is not meant to be a complete implementation, new interfaces are added // when they're needed. // // Each struct has a toJSON and fromJSON function, that converts between // the struct and a JSON representation. (See JSON.h) // // Some structs also have operator<< serialization. This is for debugging and // tests, and is not generally machine-readable. // //===----------------------------------------------------------------------===// #ifndef LLVM_CLANG_TOOLS_EXTRA_CLANGD_PROTOCOL_H #define LLVM_CLANG_TOOLS_EXTRA_CLANGD_PROTOCOL_H #include "URI.h" #include "llvm/ADT/Optional.h" #include "llvm/Support/JSON.h" #include #include #include namespace clang { namespace clangd { enum class ErrorCode { // Defined by JSON RPC. ParseError = -32700, InvalidRequest = -32600, MethodNotFound = -32601, InvalidParams = -32602, InternalError = -32603, ServerNotInitialized = -32002, UnknownErrorCode = -32001, // Defined by the protocol. RequestCancelled = -32800, }; struct URIForFile { URIForFile() = default; explicit URIForFile(std::string AbsPath); /// Retrieves absolute path to the file. llvm::StringRef file() const { return File; } explicit operator bool() const { return !File.empty(); } std::string uri() const { return URI::createFile(File).toString(); } friend bool operator==(const URIForFile &LHS, const URIForFile &RHS) { return LHS.File == RHS.File; } friend bool operator!=(const URIForFile &LHS, const URIForFile &RHS) { return !(LHS == RHS); } friend bool operator<(const URIForFile &LHS, const URIForFile &RHS) { return LHS.File < RHS.File; } private: std::string File; }; /// Serialize/deserialize \p URIForFile to/from a string URI. llvm::json::Value toJSON(const URIForFile &U); bool fromJSON(const llvm::json::Value &, URIForFile &); struct TextDocumentIdentifier { /// The text document's URI. URIForFile uri; }; llvm::json::Value toJSON(const TextDocumentIdentifier &); bool fromJSON(const llvm::json::Value &, TextDocumentIdentifier &); struct Position { /// Line position in a document (zero-based). int line = 0; /// Character offset on a line in a document (zero-based). /// WARNING: this is in UTF-16 codepoints, not bytes or characters! /// Use the functions in SourceCode.h to construct/interpret Positions. int character = 0; friend bool operator==(const Position &LHS, const Position &RHS) { return std::tie(LHS.line, LHS.character) == std::tie(RHS.line, RHS.character); } friend bool operator!=(const Position &LHS, const Position &RHS) { return !(LHS == RHS); } friend bool operator<(const Position &LHS, const Position &RHS) { return std::tie(LHS.line, LHS.character) < std::tie(RHS.line, RHS.character); } friend bool operator<=(const Position &LHS, const Position &RHS) { return std::tie(LHS.line, LHS.character) <= std::tie(RHS.line, RHS.character); } }; bool fromJSON(const llvm::json::Value &, Position &); llvm::json::Value toJSON(const Position &); llvm::raw_ostream &operator<<(llvm::raw_ostream &, const Position &); struct Range { /// The range's start position. Position start; /// The range's end position. Position end; friend bool operator==(const Range &LHS, const Range &RHS) { return std::tie(LHS.start, LHS.end) == std::tie(RHS.start, RHS.end); } friend bool operator!=(const Range &LHS, const Range &RHS) { return !(LHS == RHS); } friend bool operator<(const Range &LHS, const Range &RHS) { return std::tie(LHS.start, LHS.end) < std::tie(RHS.start, RHS.end); } bool contains(Position Pos) const { return start <= Pos && Pos < end; } }; bool fromJSON(const llvm::json::Value &, Range &); llvm::json::Value toJSON(const Range &); llvm::raw_ostream &operator<<(llvm::raw_ostream &, const Range &); struct Location { /// The text document's URI. URIForFile uri; Range range; friend bool operator==(const Location &LHS, const Location &RHS) { return LHS.uri == RHS.uri && LHS.range == RHS.range; } friend bool operator!=(const Location &LHS, const Location &RHS) { return !(LHS == RHS); } friend bool operator<(const Location &LHS, const Location &RHS) { return std::tie(LHS.uri, LHS.range) < std::tie(RHS.uri, RHS.range); } }; llvm::json::Value toJSON(const Location &); llvm::raw_ostream &operator<<(llvm::raw_ostream &, const Location &); struct Metadata { std::vector extraFlags; }; bool fromJSON(const llvm::json::Value &, Metadata &); struct TextEdit { /// The range of the text document to be manipulated. To insert /// text into a document create a range where start === end. Range range; /// The string to be inserted. For delete operations use an /// empty string. std::string newText; }; bool fromJSON(const llvm::json::Value &, TextEdit &); llvm::json::Value toJSON(const TextEdit &); llvm::raw_ostream &operator<<(llvm::raw_ostream &, const TextEdit &); struct TextDocumentItem { /// The text document's URI. URIForFile uri; /// The text document's language identifier. std::string languageId; /// The version number of this document (it will strictly increase after each int version = 0; /// The content of the opened text document. std::string text; }; bool fromJSON(const llvm::json::Value &, TextDocumentItem &); enum class TraceLevel { Off = 0, Messages = 1, Verbose = 2, }; bool fromJSON(const llvm::json::Value &E, TraceLevel &Out); struct NoParams {}; inline bool fromJSON(const llvm::json::Value &, NoParams &) { return true; } using ShutdownParams = NoParams; using ExitParams = NoParams; /// Defines how the host (editor) should sync document changes to the language /// server. enum class TextDocumentSyncKind { /// Documents should not be synced at all. None = 0, /// Documents are synced by always sending the full content of the document. Full = 1, /// Documents are synced by sending the full content on open. After that /// only incremental updates to the document are send. Incremental = 2, }; struct CompletionItemClientCapabilities { /// Client supports snippets as insert text. bool snippetSupport = false; /// Client supports commit characters on a completion item. bool commitCharacterSupport = false; // Client supports the follow content formats for the documentation property. // The order describes the preferred format of the client. // NOTE: not used by clangd at the moment. // std::vector documentationFormat; }; bool fromJSON(const llvm::json::Value &, CompletionItemClientCapabilities &); struct CompletionClientCapabilities { /// Whether completion supports dynamic registration. bool dynamicRegistration = false; /// The client supports the following `CompletionItem` specific capabilities. CompletionItemClientCapabilities completionItem; // NOTE: not used by clangd at the moment. // llvm::Optional completionItemKind; /// The client supports to send additional context information for a /// `textDocument/completion` request. bool contextSupport = false; }; bool fromJSON(const llvm::json::Value &, CompletionClientCapabilities &); /// A symbol kind. enum class SymbolKind { File = 1, Module = 2, Namespace = 3, Package = 4, Class = 5, Method = 6, Property = 7, Field = 8, Constructor = 9, Enum = 10, Interface = 11, Function = 12, Variable = 13, Constant = 14, String = 15, Number = 16, Boolean = 17, Array = 18, Object = 19, Key = 20, Null = 21, EnumMember = 22, Struct = 23, Event = 24, Operator = 25, TypeParameter = 26 }; constexpr auto SymbolKindMin = static_cast(SymbolKind::File); constexpr auto SymbolKindMax = static_cast(SymbolKind::TypeParameter); using SymbolKindBitset = std::bitset; bool fromJSON(const llvm::json::Value &, SymbolKind &); struct SymbolKindCapabilities { /// The SymbolKinds that the client supports. If not set, the client only /// supports <= SymbolKind::Array and will not fall back to a valid default /// value. llvm::Optional> valueSet; }; bool fromJSON(const llvm::json::Value &, std::vector &); bool fromJSON(const llvm::json::Value &, SymbolKindCapabilities &); SymbolKind adjustKindToCapability(SymbolKind Kind, SymbolKindBitset &supportedSymbolKinds); struct WorkspaceSymbolCapabilities { /// Capabilities SymbolKind. llvm::Optional symbolKind; }; bool fromJSON(const llvm::json::Value &, WorkspaceSymbolCapabilities &); // FIXME: most of the capabilities are missing from this struct. Only the ones // used by clangd are currently there. struct WorkspaceClientCapabilities { /// Capabilities specific to `workspace/symbol`. llvm::Optional symbol; }; bool fromJSON(const llvm::json::Value &, WorkspaceClientCapabilities &); // FIXME: most of the capabilities are missing from this struct. Only the ones // used by clangd are currently there. struct TextDocumentClientCapabilities { /// Capabilities specific to the `textDocument/completion` CompletionClientCapabilities completion; }; bool fromJSON(const llvm::json::Value &, TextDocumentClientCapabilities &); struct ClientCapabilities { // Workspace specific client capabilities. llvm::Optional workspace; // Text document specific client capabilities. TextDocumentClientCapabilities textDocument; }; bool fromJSON(const llvm::json::Value &, ClientCapabilities &); struct InitializeParams { /// The process Id of the parent process that started /// the server. Is null if the process has not been started by another /// process. If the parent process is not alive then the server should exit /// (see exit notification) its process. llvm::Optional processId; /// The rootPath of the workspace. Is null /// if no folder is open. /// /// @deprecated in favour of rootUri. llvm::Optional rootPath; /// The rootUri of the workspace. Is null if no /// folder is open. If both `rootPath` and `rootUri` are set /// `rootUri` wins. llvm::Optional rootUri; // User provided initialization options. // initializationOptions?: any; /// The capabilities provided by the client (editor or tool) ClientCapabilities capabilities; /// The initial trace setting. If omitted trace is disabled ('off'). llvm::Optional trace; }; bool fromJSON(const llvm::json::Value &, InitializeParams &); struct DidOpenTextDocumentParams { /// The document that was opened. TextDocumentItem textDocument; /// Extension storing per-file metadata, such as compilation flags. llvm::Optional metadata; }; bool fromJSON(const llvm::json::Value &, DidOpenTextDocumentParams &); struct DidCloseTextDocumentParams { /// The document that was closed. TextDocumentIdentifier textDocument; }; bool fromJSON(const llvm::json::Value &, DidCloseTextDocumentParams &); struct TextDocumentContentChangeEvent { /// The range of the document that changed. llvm::Optional range; /// The length of the range that got replaced. llvm::Optional rangeLength; /// The new text of the range/document. std::string text; }; bool fromJSON(const llvm::json::Value &, TextDocumentContentChangeEvent &); struct DidChangeTextDocumentParams { /// The document that did change. The version number points /// to the version after all provided content changes have /// been applied. TextDocumentIdentifier textDocument; /// The actual content changes. std::vector contentChanges; /// Forces diagnostics to be generated, or to not be generated, for this /// version of the file. If not set, diagnostics are eventually consistent: /// either they will be provided for this version or some subsequent one. /// This is a clangd extension. llvm::Optional wantDiagnostics; }; bool fromJSON(const llvm::json::Value &, DidChangeTextDocumentParams &); enum class FileChangeType { /// The file got created. Created = 1, /// The file got changed. Changed = 2, /// The file got deleted. Deleted = 3 }; bool fromJSON(const llvm::json::Value &E, FileChangeType &Out); struct FileEvent { /// The file's URI. URIForFile uri; /// The change type. FileChangeType type = FileChangeType::Created; }; bool fromJSON(const llvm::json::Value &, FileEvent &); struct DidChangeWatchedFilesParams { /// The actual file events. std::vector changes; }; bool fromJSON(const llvm::json::Value &, DidChangeWatchedFilesParams &); /// Clangd extension to manage a workspace/didChangeConfiguration notification /// since the data received is described as 'any' type in LSP. struct ClangdConfigurationParamsChange { llvm::Optional compilationDatabasePath; }; bool fromJSON(const llvm::json::Value &, ClangdConfigurationParamsChange &); struct DidChangeConfigurationParams { // We use this predefined struct because it is easier to use // than the protocol specified type of 'any'. ClangdConfigurationParamsChange settings; }; bool fromJSON(const llvm::json::Value &, DidChangeConfigurationParams &); struct FormattingOptions { /// Size of a tab in spaces. int tabSize = 0; /// Prefer spaces over tabs. bool insertSpaces = false; }; bool fromJSON(const llvm::json::Value &, FormattingOptions &); llvm::json::Value toJSON(const FormattingOptions &); struct DocumentRangeFormattingParams { /// The document to format. TextDocumentIdentifier textDocument; /// The range to format Range range; /// The format options FormattingOptions options; }; bool fromJSON(const llvm::json::Value &, DocumentRangeFormattingParams &); struct DocumentOnTypeFormattingParams { /// The document to format. TextDocumentIdentifier textDocument; /// The position at which this request was sent. Position position; /// The character that has been typed. std::string ch; /// The format options. FormattingOptions options; }; bool fromJSON(const llvm::json::Value &, DocumentOnTypeFormattingParams &); struct DocumentFormattingParams { /// The document to format. TextDocumentIdentifier textDocument; /// The format options FormattingOptions options; }; bool fromJSON(const llvm::json::Value &, DocumentFormattingParams &); struct DocumentSymbolParams { // The text document to find symbols in. TextDocumentIdentifier textDocument; }; bool fromJSON(const llvm::json::Value &, DocumentSymbolParams &); struct Diagnostic { /// The range at which the message applies. Range range; /// The diagnostic's severity. Can be omitted. If omitted it is up to the /// client to interpret diagnostics as error, warning, info or hint. int severity = 0; /// The diagnostic's code. Can be omitted. /// Note: Not currently used by clangd // std::string code; /// A human-readable string describing the source of this /// diagnostic, e.g. 'typescript' or 'super lint'. /// Note: Not currently used by clangd // std::string source; /// The diagnostic's message. std::string message; }; /// A LSP-specific comparator used to find diagnostic in a container like /// std:map. /// We only use the required fields of Diagnostic to do the comparsion to avoid /// any regression issues from LSP clients (e.g. VScode), see /// https://git.io/vbr29 struct LSPDiagnosticCompare { bool operator()(const Diagnostic &LHS, const Diagnostic &RHS) const { return std::tie(LHS.range, LHS.message) < std::tie(RHS.range, RHS.message); } }; bool fromJSON(const llvm::json::Value &, Diagnostic &); llvm::raw_ostream &operator<<(llvm::raw_ostream &, const Diagnostic &); struct CodeActionContext { /// An array of diagnostics. std::vector diagnostics; }; bool fromJSON(const llvm::json::Value &, CodeActionContext &); struct CodeActionParams { /// The document in which the command was invoked. TextDocumentIdentifier textDocument; /// The range for which the command was invoked. Range range; /// Context carrying additional information. CodeActionContext context; }; bool fromJSON(const llvm::json::Value &, CodeActionParams &); struct WorkspaceEdit { /// Holds changes to existing resources. llvm::Optional>> changes; /// Note: "documentChanges" is not currently used because currently there is /// no support for versioned edits. }; bool fromJSON(const llvm::json::Value &, WorkspaceEdit &); llvm::json::Value toJSON(const WorkspaceEdit &WE); /// Exact commands are not specified in the protocol so we define the /// ones supported by Clangd here. The protocol specifies the command arguments /// to be "any[]" but to make this safer and more manageable, each command we /// handle maps to a certain llvm::Optional of some struct to contain its /// arguments. Different commands could reuse the same llvm::Optional as /// arguments but a command that needs different arguments would simply add a /// new llvm::Optional and not use any other ones. In practice this means only /// one argument type will be parsed and set. struct ExecuteCommandParams { // Command to apply fix-its. Uses WorkspaceEdit as argument. const static llvm::StringLiteral CLANGD_APPLY_FIX_COMMAND; /// The command identifier, e.g. CLANGD_APPLY_FIX_COMMAND std::string command; // Arguments llvm::Optional workspaceEdit; }; bool fromJSON(const llvm::json::Value &, ExecuteCommandParams &); struct Command : public ExecuteCommandParams { std::string title; }; llvm::json::Value toJSON(const Command &C); /// Represents information about programming constructs like variables, classes, /// interfaces etc. struct SymbolInformation { /// The name of this symbol. std::string name; /// The kind of this symbol. SymbolKind kind; /// The location of this symbol. Location location; /// The name of the symbol containing this symbol. std::string containerName; }; llvm::json::Value toJSON(const SymbolInformation &); llvm::raw_ostream &operator<<(llvm::raw_ostream &, const SymbolInformation &); /// The parameters of a Workspace Symbol Request. struct WorkspaceSymbolParams { /// A non-empty query string std::string query; }; bool fromJSON(const llvm::json::Value &, WorkspaceSymbolParams &); struct ApplyWorkspaceEditParams { WorkspaceEdit edit; }; llvm::json::Value toJSON(const ApplyWorkspaceEditParams &); struct TextDocumentPositionParams { /// The text document. TextDocumentIdentifier textDocument; /// The position inside the text document. Position position; }; bool fromJSON(const llvm::json::Value &, TextDocumentPositionParams &); enum class MarkupKind { PlainText, Markdown, }; struct MarkupContent { MarkupKind kind = MarkupKind::PlainText; std::string value; }; llvm::json::Value toJSON(const MarkupContent &MC); struct Hover { /// The hover's content MarkupContent contents; /// An optional range is a range inside a text document /// that is used to visualize a hover, e.g. by changing the background color. llvm::Optional range; }; llvm::json::Value toJSON(const Hover &H); /// The kind of a completion entry. enum class CompletionItemKind { Missing = 0, Text = 1, Method = 2, Function = 3, Constructor = 4, Field = 5, Variable = 6, Class = 7, Interface = 8, Module = 9, Property = 10, Unit = 11, Value = 12, Enum = 13, Keyword = 14, Snippet = 15, Color = 16, File = 17, Reference = 18, }; /// Defines whether the insert text in a completion item should be interpreted /// as plain text or a snippet. enum class InsertTextFormat { Missing = 0, /// The primary text to be inserted is treated as a plain string. PlainText = 1, /// The primary text to be inserted is treated as a snippet. /// /// A snippet can define tab stops and placeholders with `$1`, `$2` /// and `${3:foo}`. `$0` defines the final tab stop, it defaults to the end /// of the snippet. Placeholders with equal identifiers are linked, that is /// typing in one will update others too. /// /// See also: /// https//github.com/Microsoft/vscode/blob/master/src/vs/editor/contrib/snippet/common/snippet.md Snippet = 2, }; struct CompletionItem { /// The label of this completion item. By default also the text that is /// inserted when selecting this completion. std::string label; /// The kind of this completion item. Based of the kind an icon is chosen by /// the editor. CompletionItemKind kind = CompletionItemKind::Missing; /// A human-readable string with additional information about this item, like /// type or symbol information. std::string detail; /// A human-readable string that represents a doc-comment. std::string documentation; /// A string that should be used when comparing this item with other items. /// When `falsy` the label is used. std::string sortText; /// A string that should be used when filtering a set of completion items. /// When `falsy` the label is used. std::string filterText; /// A string that should be inserted to a document when selecting this /// completion. When `falsy` the label is used. std::string insertText; /// The format of the insert text. The format applies to both the `insertText` /// property and the `newText` property of a provided `textEdit`. InsertTextFormat insertTextFormat = InsertTextFormat::Missing; /// An edit which is applied to a document when selecting this completion. /// When an edit is provided `insertText` is ignored. /// /// Note: The range of the edit must be a single line range and it must /// contain the position at which completion has been requested. llvm::Optional textEdit; /// An optional array of additional text edits that are applied when selecting /// this completion. Edits must not overlap with the main edit nor with /// themselves. std::vector additionalTextEdits; // TODO(krasimir): The following optional fields defined by the language // server protocol are unsupported: // // data?: any - A data entry field that is preserved on a completion item // between a completion and a completion resolve request. }; llvm::json::Value toJSON(const CompletionItem &); llvm::raw_ostream &operator<<(llvm::raw_ostream &, const CompletionItem &); bool operator<(const CompletionItem &, const CompletionItem &); /// Represents a collection of completion items to be presented in the editor. struct CompletionList { /// The list is not complete. Further typing should result in recomputing the /// list. bool isIncomplete = false; /// The completion items. std::vector items; }; llvm::json::Value toJSON(const CompletionList &); /// A single parameter of a particular signature. struct ParameterInformation { /// The label of this parameter. Mandatory. std::string label; /// The documentation of this parameter. Optional. std::string documentation; }; llvm::json::Value toJSON(const ParameterInformation &); /// Represents the signature of something callable. struct SignatureInformation { /// The label of this signature. Mandatory. std::string label; /// The documentation of this signature. Optional. std::string documentation; /// The parameters of this signature. std::vector parameters; }; llvm::json::Value toJSON(const SignatureInformation &); llvm::raw_ostream &operator<<(llvm::raw_ostream &, const SignatureInformation &); /// Represents the signature of a callable. struct SignatureHelp { /// The resulting signatures. std::vector signatures; /// The active signature. int activeSignature = 0; /// The active parameter of the active signature. int activeParameter = 0; }; llvm::json::Value toJSON(const SignatureHelp &); struct RenameParams { /// The document that was opened. TextDocumentIdentifier textDocument; /// The position at which this request was sent. Position position; /// The new name of the symbol. std::string newName; }; bool fromJSON(const llvm::json::Value &, RenameParams &); enum class DocumentHighlightKind { Text = 1, Read = 2, Write = 3 }; /// A document highlight is a range inside a text document which deserves /// special attention. Usually a document highlight is visualized by changing /// the background color of its range. struct DocumentHighlight { /// The range this highlight applies to. Range range; /// The highlight kind, default is DocumentHighlightKind.Text. DocumentHighlightKind kind = DocumentHighlightKind::Text; friend bool operator<(const DocumentHighlight &LHS, const DocumentHighlight &RHS) { int LHSKind = static_cast(LHS.kind); int RHSKind = static_cast(RHS.kind); return std::tie(LHS.range, LHSKind) < std::tie(RHS.range, RHSKind); } friend bool operator==(const DocumentHighlight &LHS, const DocumentHighlight &RHS) { return LHS.kind == RHS.kind && LHS.range == RHS.range; } }; llvm::json::Value toJSON(const DocumentHighlight &DH); llvm::raw_ostream &operator<<(llvm::raw_ostream &, const DocumentHighlight &); } // namespace clangd } // namespace clang namespace llvm { template <> struct format_provider { static void format(const clang::clangd::Position &Pos, raw_ostream &OS, StringRef Style) { assert(Style.empty() && "style modifiers for this type are not supported"); OS << Pos; } }; } // namespace llvm #endif