org.eclipse.lsp4j

Class VersionedTextDocumentIdentifier

java.lang.Object

org.eclipse.lsp4j.TextDocumentIdentifier

org.eclipse.lsp4j.VersionedTextDocumentIdentifier

public class VersionedTextDocumentIdentifier
extends TextDocumentIdentifier

An identifier to denote a specific version of a text document. This information usually flows from the client to the server.

Constructor Summary

Constructors

Constructor and Description
VersionedTextDocumentIdentifier()
VersionedTextDocumentIdentifier(java.lang.Integer version) Deprecated.
VersionedTextDocumentIdentifier(java.lang.String uri, java.lang.Integer version)

Method Summary

Modifier and Type	Method and Description
boolean	equals(java.lang.Object obj)
java.lang.Integer	getVersion() The version number of this document.
int	hashCode()
void	setVersion(java.lang.Integer version) The version number of this document.
java.lang.String	toString()

Methods inherited from class org.eclipse.lsp4j.TextDocumentIdentifier

getUri, setUri

Methods inherited from class java.lang.Object

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

Constructor Detail

VersionedTextDocumentIdentifier

public VersionedTextDocumentIdentifier()

VersionedTextDocumentIdentifier

public VersionedTextDocumentIdentifier(java.lang.String uri,
                                       java.lang.Integer version)

VersionedTextDocumentIdentifier

@Deprecated
public VersionedTextDocumentIdentifier(java.lang.Integer version)

Deprecated.

Method Detail

getVersion

@Pure
public java.lang.Integer getVersion()

The version number of this document. If a versioned text document identifier is sent from the server to the client and the file is not open in the editor (the server has not received an open notification before) the server can send `null` to indicate that the version is known and the content on disk is the truth (as specified with document content ownership).

setVersion

public void setVersion(java.lang.Integer version)

The version number of this document. If a versioned text document identifier is sent from the server to the client and the file is not open in the editor (the server has not received an open notification before) the server can send `null` to indicate that the version is known and the content on disk is the truth (as specified with document content ownership).

toString

@Pure
public java.lang.String toString()

Overrides:

toString in class TextDocumentIdentifier

equals

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

Overrides:

equals in class TextDocumentIdentifier

hashCode

@Pure
public int hashCode()

Overrides:

hashCode in class TextDocumentIdentifier