public class JavaCharStream
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
(package private) int |
available |
protected int[] |
bufcolumn |
protected char[] |
buffer |
protected int[] |
bufline |
int |
bufpos
Position in buffer.
|
(package private) int |
bufsize |
protected int |
column |
protected int |
inBuf |
protected java.io.Reader |
inputStream |
protected int |
line |
protected int |
maxNextCharInd |
protected char[] |
nextCharBuf |
protected int |
nextCharInd |
protected boolean |
prevCharIsCR |
protected boolean |
prevCharIsLF |
static boolean |
staticFlag
Whether parser is static.
|
protected int |
tabSize |
(package private) int |
tokenBegin |
protected boolean |
trackLineColumn |
Constructor and Description |
---|
JavaCharStream(java.io.InputStream dstream)
Constructor.
|
JavaCharStream(java.io.InputStream dstream,
int startline,
int startcolumn)
Constructor.
|
JavaCharStream(java.io.InputStream dstream,
int startline,
int startcolumn,
int buffersize)
Constructor.
|
JavaCharStream(java.io.InputStream dstream,
java.lang.String encoding)
Constructor.
|
JavaCharStream(java.io.InputStream dstream,
java.lang.String encoding,
int startline,
int startcolumn)
Constructor.
|
JavaCharStream(java.io.InputStream dstream,
java.lang.String encoding,
int startline,
int startcolumn,
int buffersize)
Constructor.
|
JavaCharStream(java.io.Reader dstream)
Constructor.
|
JavaCharStream(java.io.Reader dstream,
int startline,
int startcolumn)
Constructor.
|
JavaCharStream(java.io.Reader dstream,
int startline,
int startcolumn,
int buffersize)
Constructor.
|
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.
|
protected void |
AdjustBuffSize() |
void |
backup(int amount)
Retreat.
|
char |
BeginToken() |
void |
Done()
Set buffers back to null when finished.
|
protected void |
ExpandBuff(boolean wrapAround) |
protected void |
FillBuff() |
int |
getBeginColumn() |
int |
getBeginLine() |
int |
getColumn()
Deprecated.
|
int |
getEndColumn()
Get end column.
|
int |
getEndLine()
Get end line.
|
java.lang.String |
GetImage() |
int |
getLine()
Deprecated.
|
char[] |
GetSuffix(int len) |
int |
getTabSize() |
(package private) boolean |
getTrackLineColumn() |
(package private) static int |
hexval(char c) |
protected char |
ReadByte() |
char |
readChar()
Read a character.
|
void |
ReInit(java.io.InputStream dstream)
Reinitialise.
|
void |
ReInit(java.io.InputStream dstream,
int startline,
int startcolumn)
Reinitialise.
|
void |
ReInit(java.io.InputStream dstream,
int startline,
int startcolumn,
int buffersize)
Reinitialise.
|
void |
ReInit(java.io.InputStream dstream,
java.lang.String encoding)
Reinitialise.
|
void |
ReInit(java.io.InputStream dstream,
java.lang.String encoding,
int startline,
int startcolumn)
Reinitialise.
|
void |
ReInit(java.io.InputStream dstream,
java.lang.String encoding,
int startline,
int startcolumn,
int buffersize)
Reinitialise.
|
void |
ReInit(java.io.Reader dstream)
Reinitialise.
|
void |
ReInit(java.io.Reader dstream,
int startline,
int startcolumn)
Reinitialise.
|
void |
ReInit(java.io.Reader dstream,
int startline,
int startcolumn,
int buffersize)
Reinitialise.
|
void |
setTabSize(int i) |
(package private) void |
setTrackLineColumn(boolean tlc) |
protected void |
UpdateLineColumn(char c) |
int available
protected int[] bufcolumn
protected char[] buffer
protected int[] bufline
public int bufpos
int bufsize
protected int column
protected int inBuf
protected java.io.Reader inputStream
protected int line
protected int maxNextCharInd
protected char[] nextCharBuf
protected int nextCharInd
protected boolean prevCharIsCR
protected boolean prevCharIsLF
public static final boolean staticFlag
protected int tabSize
int tokenBegin
protected boolean trackLineColumn
public JavaCharStream(java.io.InputStream dstream)
public JavaCharStream(java.io.InputStream dstream, int startline, int startcolumn)
public JavaCharStream(java.io.InputStream dstream, int startline, int startcolumn, int buffersize)
public JavaCharStream(java.io.InputStream dstream, java.lang.String encoding) throws java.io.UnsupportedEncodingException
java.io.UnsupportedEncodingException
public JavaCharStream(java.io.InputStream dstream, java.lang.String encoding, int startline, int startcolumn) throws java.io.UnsupportedEncodingException
java.io.UnsupportedEncodingException
public JavaCharStream(java.io.InputStream dstream, java.lang.String encoding, int startline, int startcolumn, int buffersize) throws java.io.UnsupportedEncodingException
java.io.UnsupportedEncodingException
public JavaCharStream(java.io.Reader dstream)
public JavaCharStream(java.io.Reader dstream, int startline, int startcolumn)
public JavaCharStream(java.io.Reader dstream, int startline, int startcolumn, int buffersize)
public void adjustBeginLineColumn(int newLine, int newCol)
protected void AdjustBuffSize()
public void backup(int amount)
public char BeginToken() throws java.io.IOException
java.io.IOException
public void Done()
protected void ExpandBuff(boolean wrapAround)
protected void FillBuff() throws java.io.IOException
java.io.IOException
public int getBeginColumn()
public int getBeginLine()
@Deprecated public int getColumn()
public int getEndColumn()
public int getEndLine()
public java.lang.String GetImage()
@Deprecated public int getLine()
public char[] GetSuffix(int len)
public int getTabSize()
boolean getTrackLineColumn()
static final int hexval(char c) throws java.io.IOException
java.io.IOException
protected char ReadByte() throws java.io.IOException
java.io.IOException
public char readChar() throws java.io.IOException
java.io.IOException
public void ReInit(java.io.InputStream dstream)
public void ReInit(java.io.InputStream 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, java.lang.String encoding) throws java.io.UnsupportedEncodingException
java.io.UnsupportedEncodingException
public void ReInit(java.io.InputStream dstream, java.lang.String encoding, int startline, int startcolumn) throws java.io.UnsupportedEncodingException
java.io.UnsupportedEncodingException
public void ReInit(java.io.InputStream dstream, java.lang.String encoding, int startline, int startcolumn, int buffersize) throws java.io.UnsupportedEncodingException
java.io.UnsupportedEncodingException
public void ReInit(java.io.Reader dstream)
public void ReInit(java.io.Reader dstream, int startline, int startcolumn)
public void ReInit(java.io.Reader dstream, int startline, int startcolumn, int buffersize)
public void setTabSize(int i)
void setTrackLineColumn(boolean tlc)
protected void UpdateLineColumn(char c)