Class DidCloseTextDocumentParams


  • public class DidCloseTextDocumentParams
    extends java.lang.Object
    The document close notification is sent from the client to the server when the document got closed in the client. The document's truth now exists where the document's uri points to (e.g. if the document's uri is a file uri the truth now exists on disk).
    • Constructor Detail

      • DidCloseTextDocumentParams

        public DidCloseTextDocumentParams()
    • Method Detail

      • setTextDocument

        public void setTextDocument​(TextDocumentIdentifier textDocument)
        The document that was closed.
      • 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