public interface WorkDoneProgressParams
Since 3.15.0
| Modifier and Type | Method and Description |
|---|---|
org.eclipse.lsp4j.jsonrpc.messages.Either<java.lang.String,java.lang.Integer> |
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.Integer> 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.Integer> getWorkDoneToken()
void setWorkDoneToken(org.eclipse.lsp4j.jsonrpc.messages.Either<java.lang.String,java.lang.Integer> token)