Class SelectionRangeParams
java.lang.Object
org.graalvm.tools.lsp.server.types.JSONBase
org.graalvm.tools.lsp.server.types.WorkDoneProgressParams
org.graalvm.tools.lsp.server.types.SelectionRangeParams
A parameter literal used in selection range requests.
-
Method Summary
Modifier and TypeMethodDescriptionstatic SelectionRangeParamscreate(TextDocumentIdentifier textDocument, List<Position> positions) booleanAn optional token that a server can use to report partial results (e.g.The positions inside the text document.The text document.inthashCode()setPartialResultToken(Object partialResultToken) setPositions(List<Position> positions) setTextDocument(TextDocumentIdentifier textDocument) Methods inherited from class org.graalvm.tools.lsp.server.types.WorkDoneProgressParams
create, getWorkDoneToken, setWorkDoneToken
-
Method Details
-
getTextDocument
The text document. -
setTextDocument
-
getPositions
The positions inside the text document. -
setPositions
-
getPartialResultToken
An optional token that a server can use to report partial results (e.g. streaming) to the client. -
setPartialResultToken
-
equals
- Overrides:
equalsin classWorkDoneProgressParams
-
hashCode
public int hashCode()- Overrides:
hashCodein classWorkDoneProgressParams
-
create
public static SelectionRangeParams create(TextDocumentIdentifier textDocument, List<Position> positions)
-