public interface IDocument
Modifier and Type | Method and Description |
---|---|
java.lang.String |
get() |
java.lang.String |
get(int offset,
int length) |
char |
getChar(int offset) |
int |
getLength() |
java.lang.String |
getLineDelimiter(int line) |
IRegion |
getLineInformation(int lineNum) |
int |
getNumberOfLines() |
void |
replace(int offset,
int length,
java.lang.String data) |
int getNumberOfLines()
IRegion getLineInformation(int lineNum) throws BadLocationException
BadLocationException
java.lang.String get()
java.lang.String get(int offset, int length) throws BadLocationException
BadLocationException
java.lang.String getLineDelimiter(int line) throws BadLocationException
BadLocationException
int getLength()
void replace(int offset, int length, java.lang.String data) throws BadLocationException
BadLocationException
char getChar(int offset) throws BadLocationException
BadLocationException