| Modifier and Type | Field and Description |
|---|---|
| private List | documentSelector
A document selector to identify the scope of the registration. |
| Access | Constructor and Description |
|---|---|
| public | |
| public |
| Modifier and Type | Method and Description |
|---|---|
| public boolean | equals(final Object obj)
Overrides java. Indicates whether some other object is "equal to" this one. |
| public List | |
| public int | |
| public void | setDocumentSelector(final List<DocumentFilter> documentSelector)
A document selector to identify the scope of the registration. |
| public String |
| documentSelector | back to summary |
|---|---|
| private List<DocumentFilter> documentSelector 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. | |
| TextDocumentRegistrationOptions | back to summary |
|---|---|
| public TextDocumentRegistrationOptions() | |
| TextDocumentRegistrationOptions | back to summary |
|---|---|
| public TextDocumentRegistrationOptions(final List<DocumentFilter> documentSelector) | |
| equals | back to summary |
|---|---|
| public boolean equals(final Object obj) Overrides java. Doc from java. Indicates whether some other object is "equal to" this one.
The
An equivalence relation partitions the elements it operates on into equivalence classes; all the members of an equivalence class are equal to each other. Members of an equivalence class are substitutable for each other, at least for some purposes.
| |
| getDocumentSelector | back to summary |
|---|---|
| public List 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. | |
| hashCode | back to summary |
|---|---|
| public int hashCode() Overrides java. Doc from java. Returns a hash code value for this object. This method is
supported for the benefit of hash tables such as those provided by
The general contract of
| |
| setDocumentSelector | back to summary |
|---|---|
| public void setDocumentSelector(final List<DocumentFilter> documentSelector) 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. | |
| toString | back to summary |
|---|---|
| public String toString() Overrides java. Doc from java. Returns a string representation of the object.
Satisfying this method's contract implies a non-
| |