Interface RangeProcessor


  • @API(type=EXTENDABLE,
         src=PUBLIC)
    public interface RangeProcessor
    Used to receive call backs when processing a range from the document.
    Since:
    12.2
    • Method Detail

      • processRange

        void processRange​(AuthorDocumentFragment fragment)
                   throws AuthorOperationException,
                          javax.swing.text.BadLocationException
        Called from the AuthorDocumentController to process a fragment which was created from a specific range.
        Parameters:
        fragment - The fragment which was created from a specific range. It will be merged back in the document.
        Throws:
        AuthorOperationException
        javax.swing.text.BadLocationException