VersionedTextDocumentIdentifier

java.lang.Object

org.graalvm.tools.lsp.server.types.JSONBase

org.graalvm.tools.lsp.server.types.TextDocumentIdentifier

org.graalvm.tools.lsp.server.types.VersionedTextDocumentIdentifier

public class VersionedTextDocumentIdentifier extends TextDocumentIdentifier

An identifier to denote a specific version of a text document.

Method Summary

Modifier and Type

Method

Description

static VersionedTextDocumentIdentifier

create(String uri, Integer version)

Creates a new VersionedTextDocumentIdentifier literal.

boolean

equals(Object obj)

Integer

getVersion()

The version number of this document.

int

hashCode()

VersionedTextDocumentIdentifier

setVersion(Integer version)

Methods inherited from class org.graalvm.tools.lsp.server.types.TextDocumentIdentifier
create, getUri, setUri

Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, toString, wait, wait, wait

Method Details
- getVersion
  
  public 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 unknown and the content on disk is the truth (as speced with document content ownership).
- setVersion
  
  public VersionedTextDocumentIdentifier setVersion(Integer version)
- equals
  
  public boolean equals(Object obj)
  
  Overrides:
  
  equals in class TextDocumentIdentifier
- hashCode
  
  public int hashCode()
  
  Overrides:
  
  hashCode in class TextDocumentIdentifier
- create
  
  public static VersionedTextDocumentIdentifier create(String uri, Integer version)
  
  Creates a new VersionedTextDocumentIdentifier literal.
  
  Parameters:
  
  uri - The document's uri.
  
  version - The document's version.