public interface WorkDoneProgressParams
Modifier and Type | Method and Description |
---|---|
org.eclipse.lsp4j.jsonrpc.messages.Either<java.lang.String,java.lang.Number> |
getWorkDoneToken()
An optional token that a server can use to report work done progress.
|
void |
setWorkDoneToken(org.eclipse.lsp4j.jsonrpc.messages.Either<java.lang.String,java.lang.Number> token)
An optional token that a server can use to report work done progress.
|
org.eclipse.lsp4j.jsonrpc.messages.Either<java.lang.String,java.lang.Number> getWorkDoneToken()
void setWorkDoneToken(org.eclipse.lsp4j.jsonrpc.messages.Either<java.lang.String,java.lang.Number> token)