public final class JavaCharStream
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
int |
bufpos |
static boolean |
staticFlag |
Constructor and Description |
---|
JavaCharStream(java.io.InputStream dstream) |
JavaCharStream(java.io.InputStream dstream,
int startline,
int startcolumn) |
JavaCharStream(java.io.InputStream dstream,
int startline,
int startcolumn,
int buffersize) |
JavaCharStream(java.io.Reader dstream) |
JavaCharStream(java.io.Reader dstream,
int startline,
int startcolumn) |
JavaCharStream(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) |
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) |
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 JavaCharStream(java.io.Reader dstream, int startline, int startcolumn, int buffersize)
public JavaCharStream(java.io.Reader dstream, int startline, int startcolumn)
public JavaCharStream(java.io.Reader dstream)
public JavaCharStream(java.io.InputStream dstream, int startline, int startcolumn, int buffersize)
public JavaCharStream(java.io.InputStream dstream, int startline, int startcolumn)
public JavaCharStream(java.io.InputStream dstream)
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.Reader dstream)
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 void ReInit(java.io.InputStream dstream)
public final java.lang.String GetImage()
public final char[] GetSuffix(int len)
public void Done()
public void adjustBeginLineColumn(int newLine, int newCol)
Copyright ? 2022. All Rights Reserved.