Class DidChangeNotebookDocumentParams


  • public class DidChangeNotebookDocumentParams
    extends java.lang.Object
    The params sent in a change notebook document notification.

    Since 3.17.0

    • Method Detail

      • getNotebookDocument

        public VersionedNotebookDocumentIdentifier getNotebookDocument()
        The notebook document that did change. The version number points to the version after all provided changes have been applied.
      • setNotebookDocument

        public void setNotebookDocument​(VersionedNotebookDocumentIdentifier notebookDocument)
        The notebook document that did change. The version number points to the version after all provided changes have been applied.
      • getChange

        public NotebookDocumentChangeEvent getChange()
        The actual changes to the notebook document.

        The change describes single state change to the notebook document. So it moves a notebook document, its cells and its cell text document contents from state S to S'.

        To mirror the content of a notebook using change events use the following approach:

        • start with the same initial content
        • apply the 'notebookDocument/didChange' notifications in the order you receive them.
      • setChange

        public void setChange​(NotebookDocumentChangeEvent change)
        The actual changes to the notebook document.

        The change describes single state change to the notebook document. So it moves a notebook document, its cells and its cell text document contents from state S to S'.

        To mirror the content of a notebook using change events use the following approach:

        • start with the same initial content
        • apply the 'notebookDocument/didChange' notifications in the order you receive them.
      • 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