Since 3.15.0
| Modifier and Type | Field and Description |
|---|---|
| private Either | partialResultToken
An optional token that a server can use to report partial results (e.g. streaming) to the client. |
| Access | Constructor and Description |
|---|---|
| public | |
| public | TextDocumentPositionAndWorkDoneProgressAndPartialResultParams(final TextDocumentIdentifier textDocument, final Position position)
|
| Modifier and Type | Method and Description |
|---|---|
| public boolean | equals(final Object obj)
Overrides org. Indicates whether some other object is "equal to" this one. |
| public Either | getPartialResultToken()
Implements org. An optional token that a server can use to report partial results (e.g. streaming) to the client. |
| public int | hashCode()
Overrides org. Returns a hash code value for this object. |
| public void | setPartialResultToken(final Either<String, Integer> partialResultToken)
Implements org. An optional token that a server can use to report partial results (e.g. streaming) to the client. |
| public void | |
| public void | |
| public String | toString()
Overrides org. Returns a string representation of the object. |
| partialResultToken | back to summary |
|---|---|
| private Either<String, Integer> partialResultToken An optional token that a server can use to report partial results (e.g. streaming) to the client. | |
| TextDocumentPositionAndWorkDoneProgressAndPartialResultParams | back to summary |
|---|---|
| public TextDocumentPositionAndWorkDoneProgressAndPartialResultParams() | |
| TextDocumentPositionAndWorkDoneProgressAndPartialResultParams | back to summary |
|---|---|
| public TextDocumentPositionAndWorkDoneProgressAndPartialResultParams(final TextDocumentIdentifier textDocument, final Position position) | |
| equals | back to summary |
|---|---|
| public boolean equals(final Object obj) Overrides org. 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.
| |
| getPartialResultToken | back to summary |
|---|---|
| public Either Implements org. An optional token that a server can use to report partial results (e.g. streaming) to the client.
| |
| hashCode | back to summary |
|---|---|
| public int hashCode() Overrides org. 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
| |
| setPartialResultToken | back to summary |
|---|---|
| public void setPartialResultToken(final Either<String, Integer> partialResultToken) Implements org. An optional token that a server can use to report partial results (e.g. streaming) to the client. | |
| setPartialResultToken | back to summary |
|---|---|
| public void setPartialResultToken(final String partialResultToken) | |
| setPartialResultToken | back to summary |
|---|---|
| public void setPartialResultToken(final Integer partialResultToken) | |
| toString | back to summary |
|---|---|
| public String toString() Overrides org. Doc from java. Returns a string representation of the object.
Satisfying this method's contract implies a non-
| |