public class SimpleCharStream extends java.lang.Object implements CharStream
| Modifier and Type | Field and Description |
|---|---|
protected int[] |
bufcolumn |
protected char[] |
buffer |
protected int[] |
bufline |
int |
bufpos
Position in buffer.
|
protected int |
column |
protected int |
inBuf |
protected java.io.Reader |
inputStream |
protected int |
line |
protected int |
maxNextCharInd |
protected boolean |
prevCharIsCR |
protected boolean |
prevCharIsLF |
protected int |
tabSize |
protected boolean |
trackLineColumn |
| Constructor and Description |
|---|
SimpleCharStream(java.io.InputStream dstream)
Constructor.
|
SimpleCharStream(java.io.InputStream dstream,
int startline,
int startcolumn)
Constructor.
|
SimpleCharStream(java.io.InputStream dstream,
int startline,
int startcolumn,
int buffersize)
Constructor.
|
SimpleCharStream(java.io.InputStream dstream,
java.lang.String encoding)
Constructor.
|
SimpleCharStream(java.io.InputStream dstream,
java.lang.String encoding,
int startline,
int startcolumn)
Constructor.
|
SimpleCharStream(java.io.InputStream dstream,
java.lang.String encoding,
int startline,
int startcolumn,
int buffersize)
Constructor.
|
SimpleCharStream(java.io.Reader dstream)
Constructor.
|
SimpleCharStream(java.io.Reader dstream,
int startline,
int startcolumn)
Constructor.
|
SimpleCharStream(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.
|
void |
backup(int amount)
Backup a number of characters.
|
char |
BeginToken()
Start.
|
void |
Done()
Reset buffer when finished.
|
protected void |
ExpandBuff(boolean wrapAround) |
protected void |
FillBuff() |
int |
getBeginColumn()
Get token beginning column number.
|
int |
getBeginLine()
Get token beginning line number.
|
int |
getColumn()
Deprecated.
|
int |
getEndColumn()
Get token end column number.
|
int |
getEndLine()
Get token end line number.
|
java.lang.String |
GetImage()
Get token literal value.
|
int |
getLine()
Deprecated.
|
char[] |
GetSuffix(int len)
Get the suffix.
|
int |
getTabSize() |
boolean |
getTrackLineColumn() |
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) |
void |
setTrackLineColumn(boolean tlc) |
protected void |
UpdateLineColumn(char c) |
public int bufpos
protected int[] bufline
protected int[] bufcolumn
protected int column
protected int line
protected boolean prevCharIsCR
protected boolean prevCharIsLF
protected java.io.Reader inputStream
protected char[] buffer
protected int maxNextCharInd
protected int inBuf
protected int tabSize
protected boolean trackLineColumn
public SimpleCharStream(java.io.Reader dstream,
int startline,
int startcolumn,
int buffersize)
public SimpleCharStream(java.io.Reader dstream,
int startline,
int startcolumn)
public SimpleCharStream(java.io.Reader dstream)
public SimpleCharStream(java.io.InputStream dstream,
java.lang.String encoding,
int startline,
int startcolumn,
int buffersize)
throws java.io.UnsupportedEncodingException
java.io.UnsupportedEncodingExceptionpublic SimpleCharStream(java.io.InputStream dstream,
int startline,
int startcolumn,
int buffersize)
public SimpleCharStream(java.io.InputStream dstream,
java.lang.String encoding,
int startline,
int startcolumn)
throws java.io.UnsupportedEncodingException
java.io.UnsupportedEncodingExceptionpublic SimpleCharStream(java.io.InputStream dstream,
int startline,
int startcolumn)
public SimpleCharStream(java.io.InputStream dstream,
java.lang.String encoding)
throws java.io.UnsupportedEncodingException
java.io.UnsupportedEncodingExceptionpublic SimpleCharStream(java.io.InputStream dstream)
public void setTabSize(int i)
setTabSize in interface CharStreampublic int getTabSize()
getTabSize in interface CharStreamprotected void ExpandBuff(boolean wrapAround)
protected void FillBuff()
throws java.io.IOException
java.io.IOExceptionpublic char BeginToken()
throws java.io.IOException
BeginToken in interface CharStreamjava.io.IOExceptionprotected void UpdateLineColumn(char c)
public char readChar()
throws java.io.IOException
readChar in interface CharStreamjava.io.IOException@Deprecated public int getColumn()
getColumn in interface CharStream@Deprecated public int getLine()
getLine in interface CharStreampublic int getEndColumn()
getEndColumn in interface CharStreampublic int getEndLine()
getEndLine in interface CharStreampublic int getBeginColumn()
getBeginColumn in interface CharStreampublic int getBeginLine()
getBeginLine in interface CharStreampublic void backup(int amount)
backup in interface CharStreampublic 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,
java.lang.String encoding,
int startline,
int startcolumn,
int buffersize)
throws java.io.UnsupportedEncodingException
java.io.UnsupportedEncodingExceptionpublic 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.UnsupportedEncodingExceptionpublic void ReInit(java.io.InputStream dstream)
public void ReInit(java.io.InputStream dstream,
java.lang.String encoding,
int startline,
int startcolumn)
throws java.io.UnsupportedEncodingException
java.io.UnsupportedEncodingExceptionpublic void ReInit(java.io.InputStream dstream,
int startline,
int startcolumn)
public java.lang.String GetImage()
GetImage in interface CharStreampublic char[] GetSuffix(int len)
GetSuffix in interface CharStreampublic void Done()
Done in interface CharStreampublic void adjustBeginLineColumn(int newLine,
int newCol)
public boolean getTrackLineColumn()
getTrackLineColumn in interface CharStreampublic void setTrackLineColumn(boolean tlc)
setTrackLineColumn in interface CharStream