Class TextEditCopier


  • public final class TextEditCopier
    extends java.lang.Object
    Copies a tree of text edits. A text edit copier keeps a map between original and new text edits. It can be used to map a copy back to its original edit.
    Since:
    3.0
    • Constructor Summary

      Constructors 
      Constructor Description
      TextEditCopier​(TextEdit edit)
      Constructs a new TextEditCopier for the given edit.
    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      TextEdit getCopy​(TextEdit original)
      Returns the copy for the original text edit.
      TextEdit perform()
      Performs the actual copying.
      • Methods inherited from class java.lang.Object

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

      • TextEditCopier

        public TextEditCopier​(TextEdit edit)
        Constructs a new TextEditCopier for the given edit. The actual copy is done by calling perform.
        Parameters:
        edit - the edit to copy
        See Also:
        perform()
    • Method Detail

      • perform

        public TextEdit perform()
        Performs the actual copying.
        Returns:
        the copy
      • getCopy

        public TextEdit getCopy​(TextEdit original)
        Returns the copy for the original text edit.
        Parameters:
        original - the original for which the copy is requested
        Returns:
        the copy of the original edit or null if the original isn't managed by this copier