Since 3.17.0
| Modifier and Type | Field and Description |
|---|---|
| private String | id
The id used to register the request. |
| private String | identifier
An optional identifier under which the diagnostics are managed by the client. |
| private boolean | interFileDependencies
Whether the language has inter file dependencies meaning that editing code in one file can result in a different diagnostic set in another file. |
| private boolean | workspaceDiagnostics
The server provides support for workspace diagnostics as well. |
| Access | Constructor and Description |
|---|---|
| public | |
| public | |
| public | DiagnosticRegistrationOptions(final boolean interFileDependencies, final boolean workspaceDiagnostics)
|
| 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 String | |
| public String | |
| public int | hashCode()
Overrides org. Returns a hash code value for this object. |
| public boolean | isInterFileDependencies()
Whether the language has inter file dependencies meaning that editing code in one file can result in a different diagnostic set in another file. |
| public boolean | |
| public void | |
| public void | setIdentifier(final String identifier)
An optional identifier under which the diagnostics are managed by the client. |
| public void | setInterFileDependencies(final boolean interFileDependencies)
Whether the language has inter file dependencies meaning that editing code in one file can result in a different diagnostic set in another file. |
| public void | setWorkspaceDiagnostics(final boolean workspaceDiagnostics)
The server provides support for workspace diagnostics as well. |
| public String | toString()
Overrides org. Returns a string representation of the object. |
| id | back to summary |
|---|---|
| private String id The id used to register the request. The id can be used to deregister
the request again. See also | |
| identifier | back to summary |
|---|---|
| private String identifier An optional identifier under which the diagnostics are managed by the client. | |
| interFileDependencies | back to summary |
|---|---|
| private boolean interFileDependencies Whether the language has inter file dependencies meaning that editing code in one file can result in a different diagnostic set in another file. Inter file dependencies are common for most programming languages and typically uncommon for linters. | |
| workspaceDiagnostics | back to summary |
|---|---|
| private boolean workspaceDiagnostics The server provides support for workspace diagnostics as well. | |
| DiagnosticRegistrationOptions | back to summary |
|---|---|
| public DiagnosticRegistrationOptions() | |
| DiagnosticRegistrationOptions | back to summary |
|---|---|
| public DiagnosticRegistrationOptions(final String id) | |
| DiagnosticRegistrationOptions | back to summary |
|---|---|
| public DiagnosticRegistrationOptions(final boolean interFileDependencies, final boolean workspaceDiagnostics) | |
| 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.
| |
| getId | back to summary |
|---|---|
| public String getId() The id used to register the request. The id can be used to deregister
the request again. See also | |
| getIdentifier | back to summary |
|---|---|
| public String getIdentifier() An optional identifier under which the diagnostics are managed by 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
| |
| isInterFileDependencies | back to summary |
|---|---|
| public boolean isInterFileDependencies() Whether the language has inter file dependencies meaning that editing code in one file can result in a different diagnostic set in another file. Inter file dependencies are common for most programming languages and typically uncommon for linters. | |
| isWorkspaceDiagnostics | back to summary |
|---|---|
| public boolean isWorkspaceDiagnostics() The server provides support for workspace diagnostics as well. | |
| setId | back to summary |
|---|---|
| public void setId(final String id) The id used to register the request. The id can be used to deregister
the request again. See also | |
| setIdentifier | back to summary |
|---|---|
| public void setIdentifier(final String identifier) An optional identifier under which the diagnostics are managed by the client. | |
| setInterFileDependencies | back to summary |
|---|---|
| public void setInterFileDependencies(final boolean interFileDependencies) Whether the language has inter file dependencies meaning that editing code in one file can result in a different diagnostic set in another file. Inter file dependencies are common for most programming languages and typically uncommon for linters. | |
| setWorkspaceDiagnostics | back to summary |
|---|---|
| public void setWorkspaceDiagnostics(final boolean workspaceDiagnostics) The server provides support for workspace diagnostics as well. | |
| 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-
| |