public interface IRepairableDocumentExtension
IRepairableDocument
.
Adds the ability to query whether the repairable document would have to be repaired after replacing some text.
IRepairableDocument
Modifier and Type | Method and Description |
---|---|
boolean |
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.
|
boolean isLineInformationRepairNeeded(int offset, int length, String text) throws BadLocationException
offset
- the document offsetlength
- the length of the specified rangetext
- the substitution text to checktrue
if the line information must be repaired after replacingBadLocationException
- if the offset is invalid in this documentIRepairableDocument.repairLineInformation()
Copyright (c) 2000, 2014 Eclipse Contributors and others. All rights reserved.Guidelines for using Eclipse APIs.