Interface IRepairableDocumentExtension

    • Method Detail

      • isLineInformationRepairNeeded

        boolean isLineInformationRepairNeeded​(int offset,
                                              int length,
                                              String text)
                                       throws BadLocationException
        Tells whether the line information of the document implementing this interface needs to be repaired after replacing the given text.
        Parameters:
        offset - the document offset
        length - the length of the specified range
        text - the substitution text to check
        Returns:
        true if the line information must be repaired after replacing
        Throws:
        BadLocationException - if the offset is invalid in this document
        See Also:
        IRepairableDocument.repairLineInformation()