public interface PartialResultParams
Modifier and Type | Method and Description |
---|---|
org.eclipse.lsp4j.jsonrpc.messages.Either<java.lang.String,java.lang.Number> |
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.Number> 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.Number> getPartialResultToken()
void setPartialResultToken(org.eclipse.lsp4j.jsonrpc.messages.Either<java.lang.String,java.lang.Number> token)