Modifier and Type | Class and Description |
---|---|
protected static class |
Document.DelimiterInfo |
Modifier and Type | Field and Description |
---|---|
static java.lang.String[] |
DELIMITERS |
private LineTracker |
lineTracker |
private ITextStore |
textStore |
Constructor and Description |
---|
Document(java.lang.String text) |
Modifier and Type | Method and Description |
---|---|
java.lang.String |
get() |
java.lang.String |
get(int offset,
int length) |
char |
getChar(int pos) |
int |
getLength() |
java.lang.String |
getLineDelimiter(int line) |
IRegion |
getLineInformation(int line) |
int |
getNumberOfLines() |
void |
replace(int offset,
int length,
java.lang.String text) |
void |
setText(java.lang.String text) |
public static final java.lang.String[] DELIMITERS
private LineTracker lineTracker
private ITextStore textStore
public int getNumberOfLines()
getNumberOfLines
in interface IDocument
public IRegion getLineInformation(int line) throws BadLocationException
getLineInformation
in interface IDocument
BadLocationException
public java.lang.String get(int offset, int length) throws BadLocationException
get
in interface IDocument
BadLocationException
public java.lang.String getLineDelimiter(int line) throws BadLocationException
getLineDelimiter
in interface IDocument
BadLocationException
public void replace(int offset, int length, java.lang.String text) throws BadLocationException
replace
in interface IDocument
BadLocationException
public void setText(java.lang.String text)