Class DidSaveTextDocumentParams


  • public class DidSaveTextDocumentParams
    extends java.lang.Object
    The document save notification is sent from the client to the server when the document was saved in the client.
    • Constructor Detail

      • DidSaveTextDocumentParams

        public DidSaveTextDocumentParams()
      • DidSaveTextDocumentParams

        public DidSaveTextDocumentParams​(TextDocumentIdentifier textDocument,
                                         java.lang.String text)
    • Method Detail

      • setTextDocument

        public void setTextDocument​(TextDocumentIdentifier textDocument)
        The document that was closed.
      • getText

        public java.lang.String getText()
        Optional the content when saved. Depends on the includeText value when the save notification was requested.
      • setText

        public void setText​(java.lang.String text)
        Optional the content when saved. Depends on the includeText value when the save notification was requested.
      • 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