Class DidChangeTextDocumentParams


  • public class DidChangeTextDocumentParams
    extends java.lang.Object
    The document change notification is sent from the client to the server to signal changes to a text document.
    • Method Detail

      • getTextDocument

        public VersionedTextDocumentIdentifier getTextDocument()
        The document that did change. The version number points to the version after all provided content changes have been applied.
      • setTextDocument

        public void setTextDocument​(VersionedTextDocumentIdentifier textDocument)
        The document that did change. The version number points to the version after all provided content changes have been applied.
      • toString

        public java.lang.String toString()
        Overrides:
        toString in class java.lang.Object
      • equals

        public boolean equals​(java.lang.Object obj)
        Overrides:
        equals in class java.lang.Object
      • hashCode

        public int hashCode()
        Overrides:
        hashCode in class java.lang.Object