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.