Class 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 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

        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).