SamtLanguageServer

class SamtLanguageServer : LanguageServer, LanguageClientAware, Closeable

Constructors

constructor()

open fun cancelProgress(p0: WorkDoneProgressCancelParams)

open override fun close()

open override fun connect(client: LanguageClient)

open override fun exit()

open fun getNotebookDocumentService(): NotebookDocumentService

open override fun getTextDocumentService(): TextDocumentService

open override fun getWorkspaceService(): WorkspaceService

open override fun initialize(params: InitializeParams): CompletableFuture<InitializeResult>

open fun ~~initialized~~()

open override fun initialized(params: InitializedParams)

open fun setTrace(p0: SetTraceParams)