| Modifier and Type | Class and Description |
|---|---|
protected static class |
Document.DelimiterInfo |
| Modifier and Type | Field and Description |
|---|---|
static java.lang.String[] |
DELIMITERS |
| 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 int getNumberOfLines()
getNumberOfLines in interface IDocumentpublic IRegion getLineInformation(int line) throws BadLocationException
getLineInformation in interface IDocumentBadLocationExceptionpublic java.lang.String get(int offset,
int length)
throws BadLocationException
get in interface IDocumentBadLocationExceptionpublic java.lang.String getLineDelimiter(int line)
throws BadLocationException
getLineDelimiter in interface IDocumentBadLocationExceptionpublic void replace(int offset,
int length,
java.lang.String text)
throws BadLocationException
replace in interface IDocumentBadLocationExceptionpublic void setText(java.lang.String text)