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) |
boolean |
equals(java.lang.Object object) |
int |
getEndOffset() |
int |
getLength() |
int |
getOffset() |
java.lang.String |
getText() |
int |
hashCode() |
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 boolean equals(java.lang.Object object)
equals in class java.lang.Objectpublic int hashCode()
hashCode in class java.lang.Objectpublic java.lang.String toString()
toString in class java.lang.Object