public class JavaCharStream extends Object
| 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 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 |
| Constructor and Description |
|---|
JavaCharStream(InputStream dstream,
String encoding,
int startline,
int startcolumn)
Constructor.
|
JavaCharStream(Reader dstream,
int startline,
int startcolumn)
Constructor.
|
| Modifier and Type | Method and Description |
|---|---|
void |
backup(int amount)
Retreat.
|
char |
BeginToken() |
int |
getBeginColumn() |
int |
getBeginLine() |
int |
getEndColumn()
Get end column.
|
int |
getEndLine()
Get end line.
|
String |
GetImage() |
char |
readChar()
Read a character.
|
void |
ReInit(InputStream dstream,
String encoding,
int startline,
int startcolumn)
Reinitialise.
|
void |
ReInit(Reader dstream,
int startline,
int startcolumn)
Reinitialise.
|
public static final boolean staticFlag
public int bufpos
protected int[] bufline
protected int[] bufcolumn
protected int column
protected int line
protected boolean prevCharIsCR
protected boolean prevCharIsLF
protected Reader inputStream
protected char[] nextCharBuf
protected char[] buffer
protected int maxNextCharInd
protected int nextCharInd
protected int inBuf
protected int tabSize
public JavaCharStream(Reader dstream, int startline, int startcolumn)
public JavaCharStream(InputStream dstream, String encoding, int startline, int startcolumn) throws UnsupportedEncodingException
UnsupportedEncodingExceptionpublic char BeginToken()
throws IOException
IOExceptionpublic char readChar()
throws IOException
IOExceptionpublic int getEndColumn()
public int getEndLine()
public int getBeginColumn()
public int getBeginLine()
public void backup(int amount)
public void ReInit(Reader dstream, int startline, int startcolumn)
public void ReInit(InputStream dstream, String encoding, int startline, int startcolumn) throws UnsupportedEncodingException
UnsupportedEncodingExceptionpublic String GetImage()
Copyright © 2012 The University of Manchester. All Rights Reserved.