boolean |
Context.lineFeed() |
Move cursor to the beginning of the next line, EVEN if we aren't at an EOL
|
boolean |
Context.matchAndMove(java.lang.String s) |
Test if the string at the caret position starts with the given string, and in case of success
moves the caret past this string ; return false otherwise.
|
boolean |
Context.moveCaretBy(int increment) |
Move cursor position forward by the given increment, possibly proceeding to linefeeds.
|
boolean |
Context.moveCaretTo(int newPos) |
Move cursor position forward to the given position, possibly proceeding to linefeeds.
|
boolean |
Context.pushBack() |
After a read(), pushes back the char that has been read
|
java.lang.Character |
Context.read() |
read a character, and increment the caret position by one, if this is possible.
|
java.lang.String |
Context.read(int n) |
read the given number of character, wrapped in a String, and move the caret past the String
being returned.
|
java.lang.String |
Context.readTo(int pos) |
Return the remaining substring up to the given position
if (pos < caret) return "".
|
java.lang.String |
Context.readToEOL() |
Returns the remaining substring up to the end of the current line, EOL NOT INCLUDED !
Doesn't proceed to any linefeed, i.e.
|