Package org.eclipse.jface.text
Interface IRepairableDocumentExtension
- All Known Implementing Classes:
AbstractDocument
,ChildDocument
,Document
,ProjectionDocument
public interface IRepairableDocumentExtension
Extension interface for
IRepairableDocument
.
Adds the ability to query whether the repairable document would have to be repaired after replacing some text.
- Since:
- 3.4
- See Also:
-
Method Summary
Modifier and TypeMethodDescriptionboolean
isLineInformationRepairNeeded
(int offset, int length, String text) Tells whether the line information of the document implementing this interface needs to be repaired after replacing the given text.
-
Method Details
-
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 offsetlength
- the length of the specified rangetext
- 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:
-