public class CharacterStream
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
protected int |
characterNumber |
protected int |
currentCharacter |
protected int |
lineNumber |
protected java.io.Reader |
reader |
Constructor and Description |
---|
CharacterStream(java.io.Reader reader) |
Modifier and Type | Method and Description |
---|---|
int |
getCharacterNumber() |
int |
getLineNumber() |
int |
peek() |
protected int |
readNextCharacter() |
void |
skip() |
protected java.io.Reader reader
protected int currentCharacter
protected int lineNumber
protected int characterNumber
public int peek() throws ScriptException
ScriptException
public void skip()
public int getLineNumber()
public int getCharacterNumber()
protected int readNextCharacter() throws ScriptException
ScriptException