public interface WorkspaceService
Modifier and Type | Method and Description |
---|---|
void |
didChangeConfiguration(DidChangeConfigurationParams params)
A notification sent from the client to the server to signal the change of
configuration settings.
|
void |
didChangeWatchedFiles(DidChangeWatchedFilesParams params)
The watched files notification is sent from the client to the server when
the client detects changes to file watched by the language client.
|
default void |
didChangeWorkspaceFolders(DidChangeWorkspaceFoldersParams params)
The workspace/didChangeWorkspaceFolders notification is sent from the client
to the server to inform the server about workspace folder configuration changes.
|
default java.util.concurrent.CompletableFuture<java.lang.Object> |
executeCommand(ExecuteCommandParams params)
The workspace/executeCommand request is sent from the client to the
server to trigger command execution on the server.
|
default java.util.concurrent.CompletableFuture<java.util.List<? extends SymbolInformation>> |
symbol(WorkspaceSymbolParams params)
The workspace symbol request is sent from the client to the server to
list project-wide symbols matching the query string.
|
default java.util.concurrent.CompletableFuture<java.lang.Object> executeCommand(ExecuteCommandParams params)
default java.util.concurrent.CompletableFuture<java.util.List<? extends SymbolInformation>> symbol(WorkspaceSymbolParams params)
void didChangeConfiguration(DidChangeConfigurationParams params)
void didChangeWatchedFiles(DidChangeWatchedFilesParams params)
default void didChangeWorkspaceFolders(DidChangeWorkspaceFoldersParams params)