java.lang.String |
Document.get(int offset,
int length) |
java.lang.String |
IDocument.get(int offset,
int length) |
char |
IDocument.getChar(int offset) |
java.lang.String |
Document.getLineDelimiter(int line) |
java.lang.String |
IDocument.getLineDelimiter(int line) |
java.lang.String |
LineTracker.getLineDelimiter(int line) |
IRegion |
Document.getLineInformation(int line) |
IRegion |
IDocument.getLineInformation(int lineNum) |
IRegion |
LineTracker.getLineInformation(int line) |
IRegion |
LineTracker.getLineInformationOfOffset(int position) |
int |
LineTracker.getLineLength(int line) |
int |
LineTracker.getLineNumberOfOffset(int position) |
int |
LineTracker.getLineOffset(int line) |
int |
LineTracker.getNumberOfLines(int position,
int length) |
private int |
LineTracker.getNumberOfLines(int startLine,
int offset,
int length)
Returns the number of lines covered by the specified text range.
|
private char[] |
PropertiesLineReader.grabLine(boolean continued) |
void |
Document.replace(int offset,
int length,
java.lang.String text) |
void |
IDocument.replace(int offset,
int length,
java.lang.String data) |
void |
LineTracker.replace(int position,
int length,
java.lang.String text) |