FoldingRangeRegistrationOptions

java.lang.Object

org.graalvm.tools.lsp.server.types.JSONBase

org.graalvm.tools.lsp.server.types.WorkDoneProgressOptions

org.graalvm.tools.lsp.server.types.FoldingRangeOptions

org.graalvm.tools.lsp.server.types.FoldingRangeRegistrationOptions

public class FoldingRangeRegistrationOptions extends FoldingRangeOptions

Method Summary

Modifier and Type

Method

Description

static FoldingRangeRegistrationOptions

create(List<Object> documentSelector)

boolean

equals(Object obj)

List<Object>

getDocumentSelector()

A document selector to identify the scope of the registration.

String

getId()

The id used to register the request.

int

hashCode()

FoldingRangeRegistrationOptions

setDocumentSelector(List<Object> documentSelector)

FoldingRangeRegistrationOptions

setId(String id)

Methods inherited from class org.graalvm.tools.lsp.server.types.FoldingRangeOptions
create

Methods inherited from class org.graalvm.tools.lsp.server.types.WorkDoneProgressOptions
getWorkDoneProgress, setWorkDoneProgress

Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, toString, wait, wait, wait

Method Details
- getDocumentSelector
  
  public List<Object> 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
  
  public FoldingRangeRegistrationOptions setDocumentSelector(List<Object> documentSelector)
- getId
  
  public String getId()
  
  The id used to register the request. The id can be used to deregister the request again. See also Registration#id.
- setId
  
  public FoldingRangeRegistrationOptions setId(String id)
- equals
  
  public boolean equals(Object obj)
  
  Overrides:
  
  equals in class FoldingRangeOptions
- hashCode
  
  public int hashCode()
  
  Overrides:
  
  hashCode in class FoldingRangeOptions
- create
  
  public static FoldingRangeRegistrationOptions create(List<Object> documentSelector)