org.eclipse.xtext.util
Class ReplaceRegion
java.lang.Object
org.eclipse.xtext.util.ReplaceRegion
public class ReplaceRegion
- extends java.lang.Object
- Author:
- Jan Koehnlein - Initial contribution and API, Sebastian Zarnekow
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
ReplaceRegion
public ReplaceRegion(ITextRegion region,
java.lang.String text)
ReplaceRegion
public ReplaceRegion(int offset,
int length,
java.lang.String text)
getOffset
public int getOffset()
getLength
public int getLength()
getEndOffset
public int getEndOffset()
- Returns:
- the end offset of the replace region (exclusive).
getText
public java.lang.String getText()
shiftBy
public ReplaceRegion shiftBy(int offset)
applyTo
public void applyTo(java.lang.StringBuilder builder)
toString
public java.lang.String toString()
- Overrides:
toString
in class java.lang.Object