Class DocumentChange

    • Constructor Summary

      Constructors 
      Constructor Description
      DocumentChange​(org.eclipse.text.edits.TextEdit edit)
      Creates a new document change with the given text edit and CREATE_UNDO|UPDATE_REGIONS style.
    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      ISnapshot getBase()
      Returns the snapshot on which this change's edit tree is based, or null if the snapshot is unknown.
      org.eclipse.text.edits.TextEdit getEdit()
      Returns the edit tree associated with this change.
      int getStyle()
      Returns the style flags associated with this change.
      void setBase​(ISnapshot base)
      Sets the snapshot on which this change is based.
      void setStyle​(int style)
      Sets the style flags for this change.
      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • Constructor Detail

      • DocumentChange

        public DocumentChange​(org.eclipse.text.edits.TextEdit edit)
        Creates a new document change with the given text edit and CREATE_UNDO|UPDATE_REGIONS style.
        Parameters:
        edit - a text edit - must not be null