public class ReplaceRegion
extends java.lang.Object
Constructor and Description |
---|
ReplaceRegion(int offset,
int length,
java.lang.String text) |
ReplaceRegion(ITextRegion region,
java.lang.String text) |
Modifier and Type | Method and Description |
---|---|
void |
applyTo(java.lang.StringBuilder builder) |
int |
getEndOffset() |
int |
getLength() |
int |
getOffset() |
java.lang.String |
getText() |
ReplaceRegion |
shiftBy(int offset) |
java.lang.String |
toString() |
public ReplaceRegion(ITextRegion region, java.lang.String text)
public ReplaceRegion(int offset, int length, java.lang.String text)
public int getOffset()
public int getLength()
public int getEndOffset()
public java.lang.String getText()
public ReplaceRegion shiftBy(int offset)
public void applyTo(java.lang.StringBuilder builder)
public java.lang.String toString()
toString
in class java.lang.Object