Package ch.epfl.scala.bsp4j

Class PublishDiagnosticsParams

java.lang.Object

ch.epfl.scala.bsp4j.PublishDiagnosticsParams

public class PublishDiagnosticsParams
extends java.lang.Object

Constructor Summary

Constructors

Constructor	Description
PublishDiagnosticsParams(TextDocumentIdentifier textDocument, BuildTargetIdentifier buildTarget, java.util.List<Diagnostic> diagnostics, java.lang.Boolean reset)

Method Summary

Modifier and Type	Method	Description
boolean	equals(java.lang.Object obj)
BuildTargetIdentifier	getBuildTarget()
java.util.List<Diagnostic>	getDiagnostics()
java.lang.String	getOriginId()
java.lang.Boolean	getReset()
TextDocumentIdentifier	getTextDocument()
int	hashCode()
void	setBuildTarget(BuildTargetIdentifier buildTarget)
void	setDiagnostics(java.util.List<Diagnostic> diagnostics)
void	setOriginId(java.lang.String originId)
void	setReset(java.lang.Boolean reset)
void	setTextDocument(TextDocumentIdentifier textDocument)
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

PublishDiagnosticsParams

public PublishDiagnosticsParams(TextDocumentIdentifier textDocument,
                                BuildTargetIdentifier buildTarget,
                                java.util.List<Diagnostic> diagnostics,
                                java.lang.Boolean reset)

Method Detail

getTextDocument

@Pure
public TextDocumentIdentifier getTextDocument()

setTextDocument

public void setTextDocument(TextDocumentIdentifier textDocument)

getBuildTarget

@Pure
public BuildTargetIdentifier getBuildTarget()

setBuildTarget

public void setBuildTarget(BuildTargetIdentifier buildTarget)

getOriginId

@Pure
public java.lang.String getOriginId()

setOriginId

public void setOriginId(java.lang.String originId)

getDiagnostics

@Pure
public java.util.List<Diagnostic> getDiagnostics()

setDiagnostics

public void setDiagnostics(java.util.List<Diagnostic> diagnostics)

getReset

@Pure
public java.lang.Boolean getReset()

setReset

public void setReset(java.lang.Boolean reset)

toString

@Pure
public java.lang.String toString()

Overrides:

toString in class java.lang.Object

equals

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

Overrides:

equals in class java.lang.Object

hashCode

@Pure
public int hashCode()

Overrides:

hashCode in class java.lang.Object