Class DocumentHighlightParams
java.lang.Object
org.graalvm.tools.lsp.server.types.JSONBase
org.graalvm.tools.lsp.server.types.TextDocumentPositionParams
org.graalvm.tools.lsp.server.types.DocumentHighlightParams
Parameters for a [DocumentHighlightRequest](#DocumentHighlightRequest).
-
Method Summary
Modifier and TypeMethodDescriptionstatic DocumentHighlightParamscreate(TextDocumentIdentifier textDocument, Position position) booleanAn optional token that a server can use to report partial results (e.g.An optional token that a server can use to report work done progress.inthashCode()setPartialResultToken(Object partialResultToken) setWorkDoneToken(Object workDoneToken) Methods inherited from class org.graalvm.tools.lsp.server.types.TextDocumentPositionParams
getPosition, getTextDocument, setPosition, setTextDocument
-
Method Details
-
getWorkDoneToken
An optional token that a server can use to report work done progress. -
setWorkDoneToken
-
getPartialResultToken
An optional token that a server can use to report partial results (e.g. streaming) to the client. -
setPartialResultToken
-
equals
- Overrides:
equalsin classTextDocumentPositionParams
-
hashCode
public int hashCode()- Overrides:
hashCodein classTextDocumentPositionParams
-
create
public static DocumentHighlightParams create(TextDocumentIdentifier textDocument, Position position)
-