public interface PartialResultParams
| Modifier and Type | Method and Description |
|---|---|
org.eclipse.lsp4j.jsonrpc.messages.Either<java.lang.String,java.lang.Integer> |
getPartialResultToken()
An optional token that a server can use to report partial results (e.g.
|
void |
setPartialResultToken(org.eclipse.lsp4j.jsonrpc.messages.Either<java.lang.String,java.lang.Integer> token)
An optional token that a server can use to report partial results (e.g.
|
org.eclipse.lsp4j.jsonrpc.messages.Either<java.lang.String,java.lang.Integer> getPartialResultToken()
void setPartialResultToken(org.eclipse.lsp4j.jsonrpc.messages.Either<java.lang.String,java.lang.Integer> token)