SamtWorkspaceService

class SamtWorkspaceService(workspace: SamtWorkspace) : WorkspaceService, LanguageClientAware

Constructors

constructor(workspace: SamtWorkspace)

open override fun connect(client: LanguageClient)

open fun diagnostic(p0: WorkspaceDiagnosticParams): CompletableFuture<WorkspaceDiagnosticReport>

open override fun didChangeConfiguration(params: DidChangeConfigurationParams?)

open override fun didChangeWatchedFiles(params: DidChangeWatchedFilesParams)

open override fun didChangeWorkspaceFolders(params: DidChangeWorkspaceFoldersParams)

open override fun didCreateFiles(params: CreateFilesParams)

open override fun didDeleteFiles(params: DeleteFilesParams)

open override fun didRenameFiles(params: RenameFilesParams)

open fun executeCommand(p0: ExecuteCommandParams): CompletableFuture<Any>

open fun resolveWorkspaceSymbol(p0: WorkspaceSymbol): CompletableFuture<WorkspaceSymbol>

open fun symbol(p0: WorkspaceSymbolParams): CompletableFuture<Either<MutableList<out SymbolInformation>, MutableList<out WorkspaceSymbol>>>

open fun willCreateFiles(p0: CreateFilesParams): CompletableFuture<WorkspaceEdit>

open fun willDeleteFiles(p0: DeleteFilesParams): CompletableFuture<WorkspaceEdit>

open fun willRenameFiles(p0: RenameFilesParams): CompletableFuture<WorkspaceEdit>