Class SelectionRangeRegistrationOptions
java.lang.Object
org.graalvm.tools.lsp.server.types.JSONBase
org.graalvm.tools.lsp.server.types.WorkDoneProgressOptions
org.graalvm.tools.lsp.server.types.SelectionRangeOptions
org.graalvm.tools.lsp.server.types.SelectionRangeRegistrationOptions
-
Method Summary
Modifier and TypeMethodDescriptionbooleanA document selector to identify the scope of the registration.getId()The id used to register the request.inthashCode()setDocumentSelector(List<Object> documentSelector) Methods inherited from class org.graalvm.tools.lsp.server.types.SelectionRangeOptions
createMethods inherited from class org.graalvm.tools.lsp.server.types.WorkDoneProgressOptions
getWorkDoneProgress, setWorkDoneProgress
-
Method Details
-
getDocumentSelector
A document selector to identify the scope of the registration. If set to null the document selector provided on the client side will be used. -
setDocumentSelector
-
getId
The id used to register the request. The id can be used to deregister the request again. See also Registration#id. -
setId
-
equals
- Overrides:
equalsin classSelectionRangeOptions
-
hashCode
public int hashCode()- Overrides:
hashCodein classSelectionRangeOptions
-
create
-