public final class ASCII_CharStream
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
int |
bufpos |
static boolean |
staticFlag |
Constructor and Description |
---|
ASCII_CharStream(java.io.InputStream dstream,
int startline,
int startcolumn) |
ASCII_CharStream(java.io.InputStream dstream,
int startline,
int startcolumn,
int buffersize) |
ASCII_CharStream(java.io.Reader dstream,
int startline,
int startcolumn) |
ASCII_CharStream(java.io.Reader dstream,
int startline,
int startcolumn,
int buffersize) |
Modifier and Type | Method and Description |
---|---|
void |
adjustBeginLineColumn(int newLine,
int newCol)
Method to adjust line and column numbers for the start of a token.
|
void |
backup(int amount) |
char |
BeginToken() |
void |
Done() |
int |
getBeginColumn() |
int |
getBeginLine() |
int |
getColumn()
Deprecated.
|
int |
getEndColumn() |
int |
getEndLine() |
java.lang.String |
GetImage() |
int |
getLine()
Deprecated.
|
char[] |
GetSuffix(int len) |
char |
readChar() |
void |
ReInit(java.io.InputStream dstream,
int startline,
int startcolumn) |
void |
ReInit(java.io.InputStream dstream,
int startline,
int startcolumn,
int buffersize) |
void |
ReInit(java.io.Reader dstream,
int startline,
int startcolumn) |
void |
ReInit(java.io.Reader dstream,
int startline,
int startcolumn,
int buffersize) |
public static final boolean staticFlag
public int bufpos
public ASCII_CharStream(java.io.Reader dstream, int startline, int startcolumn, int buffersize)
public ASCII_CharStream(java.io.Reader dstream, int startline, int startcolumn)
public ASCII_CharStream(java.io.InputStream dstream, int startline, int startcolumn, int buffersize)
public ASCII_CharStream(java.io.InputStream dstream, int startline, int startcolumn)
public final char BeginToken() throws java.io.IOException
java.io.IOException
public final char readChar() throws java.io.IOException
java.io.IOException
public final int getColumn()
getEndColumn()
public final int getLine()
getEndLine()
public final int getEndColumn()
public final int getEndLine()
public final int getBeginColumn()
public final int getBeginLine()
public final void backup(int amount)
public void ReInit(java.io.Reader dstream, int startline, int startcolumn, int buffersize)
public void ReInit(java.io.Reader dstream, int startline, int startcolumn)
public void ReInit(java.io.InputStream dstream, int startline, int startcolumn, int buffersize)
public void ReInit(java.io.InputStream dstream, int startline, int startcolumn)
public final java.lang.String GetImage()
public final char[] GetSuffix(int len)
public void Done()
public void adjustBeginLineColumn(int newLine, int newCol)