Class FragmentedDocBuilder


  • public final class FragmentedDocBuilder
    extends Object
    • Constructor Detail

      • FragmentedDocBuilder

        public FragmentedDocBuilder​(TextDocument original)
    • Method Detail

      • toLocation

        public FileLocation toLocation​(int indexInInput)
      • recordDelta

        public void recordDelta​(int startInInput,
                                int endInInput,
                                Chars translation)
        Add a new fragment.
        Parameters:
        startInInput - Start (inclusive) of the overwritten text in the source
        endInInput - End (exclusive) ...
        translation - Characters with which the range startInInput..endInInput are overwritten. This may be empty.