public interface ITextReplacement extends ITextSegment
EMPTY_REGION
java.lang.String
getReplacementText()
getEndOffset, getLineCount, getLineRegions, getText, getTextRegionAccess, isMultiline, merge, replaceWith
compareTo
contains, contains, getLength, getOffset
java.lang.String getReplacementText()