org.eclipse.lsp4j

Class WorkspaceDiagnosticParams

java.lang.Object

org.eclipse.lsp4j.WorkDoneProgressAndPartialResultParams

org.eclipse.lsp4j.WorkspaceDiagnosticParams

All Implemented Interfaces:

PartialResultParams, WorkDoneProgressParams

public class WorkspaceDiagnosticParams
extends WorkDoneProgressAndPartialResultParams

Parameters of the workspace diagnostic request.

Since 3.17.0

Constructor Summary

Constructors

Constructor and Description
WorkspaceDiagnosticParams()
WorkspaceDiagnosticParams(java.util.List<PreviousResultId> previousResultIds)

Method Summary

Modifier and Type	Method and Description
boolean	equals(java.lang.Object obj)
java.lang.String	getIdentifier() The additional identifier provided during registration.
java.util.List<PreviousResultId>	getPreviousResultIds() The currently known diagnostic reports with their previous result ids.
int	hashCode()
void	setIdentifier(java.lang.String identifier) The additional identifier provided during registration.
void	setPreviousResultIds(java.util.List<PreviousResultId> previousResultIds) The currently known diagnostic reports with their previous result ids.
java.lang.String	toString()

Methods inherited from class org.eclipse.lsp4j.WorkDoneProgressAndPartialResultParams

getPartialResultToken, getWorkDoneToken, setPartialResultToken, setPartialResultToken, setPartialResultToken, setWorkDoneToken, setWorkDoneToken, setWorkDoneToken

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

WorkspaceDiagnosticParams

public WorkspaceDiagnosticParams()

WorkspaceDiagnosticParams

public WorkspaceDiagnosticParams(java.util.List<PreviousResultId> previousResultIds)

Method Detail

getIdentifier

@Pure
public java.lang.String getIdentifier()

The additional identifier provided during registration.

setIdentifier

public void setIdentifier(java.lang.String identifier)

The additional identifier provided during registration.

getPreviousResultIds

@Pure
public java.util.List<PreviousResultId> getPreviousResultIds()

The currently known diagnostic reports with their previous result ids.

setPreviousResultIds

public void setPreviousResultIds(java.util.List<PreviousResultId> previousResultIds)

The currently known diagnostic reports with their previous result ids.

toString

@Pure
public java.lang.String toString()

Overrides:

toString in class WorkDoneProgressAndPartialResultParams

equals

@Pure
public boolean equals(java.lang.Object obj)

Overrides:

equals in class WorkDoneProgressAndPartialResultParams

hashCode

@Pure
public int hashCode()

Overrides:

hashCode in class WorkDoneProgressAndPartialResultParams