Client

---

Object Hierarchy:

Description:

Content:

Properties:

• public Cancellable cancellable { get; }
  Cancels work associated with the message currently being handled.

Methods:

• public async ApplyWorkspaceEditResult apply_edit_async (WorkspaceEdit edit, string? label = null) throws Error
  The workspace/applyEdit request is sent from the server to the client to apply a workspace edit.
• public async MessageActionItem? ask_message_async (MessageType type, string message, MessageActionItem[]? actions = null) throws Error
  The show message request allows to pass actions and to wait for an answer from the client.
• public async void log_message_async (MessageType type, string message) throws Error
  The log message notification is sent from the server to the client to ask the client to log a particular message.
• public async void log_trace_async (string message, string? verbose = null) throws Error
  A notification to log the trace of the server’s execution. The amount and content of these notifications depends on the current `trace` configuration. If `trace` is 'off', the server should not send any logTrace notification. If `trace` is 'messages', the server should not add the 'verbose' field in the `LogTraceParams`. `$/logTrace` should be used for systematic trace reporting. For single debugging messages, the server should send `window/logMessage` notifications.
• public async void publish_diagnostics_async (Uri uri, (unowned Diagnostic)[]? diagnostics, int64? version = null) throws Error
  Diagnostics notifications are sent from the server to the client to signal results of validation runs.
• public async bool show_document_async (Uri uri, bool external = false, bool take_focus = false, Range? selection = null) throws Error
  The show document request is sent from a server to a client to ask the client to display a particular document in the user interface.
• public async void show_message_async (MessageType type, string message) throws Error
  The show message notification is sent from a server to a client to ask the client to display a particular message in the user interface.

Inherited Members: