scala3-language-server/dotty.tools.languageserver/DottyClient

DottyClient

trait DottyClient extends WorksheetClient

A LanguageClient that regroups all language server features

A LanguageClient that regroups all language server features

trait LanguageClient
class Object
trait Matchable
class Any

Value members

Inherited methods

@JsonRequest(value = "workspace/applyEdit")
def applyEdit(`x$0`: ApplyWorkspaceEditParams): CompletableFuture[ApplyWorkspaceEditResponse]
Inherited from
LanguageClient
@JsonRequest(value = "workspace/configuration")
def configuration(`x$0`: ConfigurationParams): CompletableFuture[List[`<FromJavaObject>`]]
Inherited from
LanguageClient
@JsonNotification(value = "window/logMessage")
def logMessage(`x$0`: MessageParams): Unit
Inherited from
LanguageClient
@JsonNotification(value = "textDocument/publishDiagnostics")
def publishDiagnostics(`x$0`: PublishDiagnosticsParams): Unit
Inherited from
LanguageClient
@JsonNotification("worksheet/publishOutput")
def publishOutput(output: WorksheetRunOutput): Unit

A notification that tells the client that a line of a worksheet produced the specified output.

A notification that tells the client that a line of a worksheet produced the specified output.

Inherited from
WorksheetClient
@JsonRequest(value = "client/registerCapability")
def registerCapability(`x$0`: RegistrationParams): CompletableFuture[Void]
Inherited from
LanguageClient
@JsonNotification(value = "textDocument/semanticHighlighting") @Beta
def semanticHighlighting(`x$0`: SemanticHighlightingParams): Unit
Inherited from
LanguageClient
@JsonNotification(value = "window/showMessage")
def showMessage(`x$0`: MessageParams): Unit
Inherited from
LanguageClient
@JsonRequest(value = "window/showMessageRequest")
def showMessageRequest(`x$0`: ShowMessageRequestParams): CompletableFuture[MessageActionItem]
Inherited from
LanguageClient
@JsonNotification(value = "telemetry/event")
def telemetryEvent(`x$0`: `<FromJavaObject>`): Unit
Inherited from
LanguageClient
@JsonRequest(value = "client/unregisterCapability")
def unregisterCapability(`x$0`: UnregistrationParams): CompletableFuture[Void]
Inherited from
LanguageClient
@JsonRequest(value = "workspace/workspaceFolders")
def workspaceFolders(): CompletableFuture[List[WorkspaceFolder]]
Inherited from
LanguageClient