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)
Constructor.
|
JavaCharStream(InputStream dstream,
int startline,
int startcolumn)
Constructor.
|
JavaCharStream(InputStream dstream,
int startline,
int startcolumn,
int buffersize)
Constructor.
|
JavaCharStream(InputStream dstream,
String encoding)
Constructor.
|
JavaCharStream(InputStream dstream,
String encoding,
int startline,
int startcolumn)
Constructor.
|
JavaCharStream(InputStream dstream,
String encoding,
int startline,
int startcolumn,
int buffersize)
Constructor.
|
JavaCharStream(Reader dstream)
Constructor.
|
JavaCharStream(Reader dstream,
int startline,
int startcolumn)
Constructor.
|
JavaCharStream(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.
|
String |
GetImage() |
int |
getLine()
Deprecated.
|
char[] |
GetSuffix(int len) |
protected int |
getTabSize(int i) |
protected char |
ReadByte() |
char |
readChar()
Read a character.
|
void |
ReInit(InputStream dstream)
Reinitialise.
|
void |
ReInit(InputStream dstream,
int startline,
int startcolumn)
Reinitialise.
|
void |
ReInit(InputStream dstream,
int startline,
int startcolumn,
int buffersize)
Reinitialise.
|
void |
ReInit(InputStream dstream,
String encoding)
Reinitialise.
|
void |
ReInit(InputStream dstream,
String encoding,
int startline,
int startcolumn)
Reinitialise.
|
void |
ReInit(InputStream dstream,
String encoding,
int startline,
int startcolumn,
int buffersize)
Reinitialise.
|
void |
ReInit(Reader dstream)
Reinitialise.
|
void |
ReInit(Reader dstream,
int startline,
int startcolumn)
Reinitialise.
|
void |
ReInit(Reader dstream,
int startline,
int startcolumn,
int buffersize)
Reinitialise.
|
protected void |
setTabSize(int i) |
protected void |
UpdateLineColumn(char c) |
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, int buffersize)
public JavaCharStream(Reader dstream, int startline, int startcolumn)
public JavaCharStream(Reader dstream)
public JavaCharStream(InputStream dstream, String encoding, int startline, int startcolumn, int buffersize) throws UnsupportedEncodingException
UnsupportedEncodingException
public JavaCharStream(InputStream dstream, int startline, int startcolumn, int buffersize)
public JavaCharStream(InputStream dstream, String encoding, int startline, int startcolumn) throws UnsupportedEncodingException
UnsupportedEncodingException
public JavaCharStream(InputStream dstream, int startline, int startcolumn)
public JavaCharStream(InputStream dstream, String encoding) throws UnsupportedEncodingException
UnsupportedEncodingException
public JavaCharStream(InputStream dstream)
protected void setTabSize(int i)
protected int getTabSize(int i)
protected void ExpandBuff(boolean wrapAround)
protected void FillBuff() throws IOException
IOException
protected char ReadByte() throws IOException
IOException
public char BeginToken() throws IOException
IOException
protected void AdjustBuffSize()
protected void UpdateLineColumn(char c)
public char readChar() throws IOException
IOException
@Deprecated public int getColumn()
@Deprecated public int getLine()
public 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, int buffersize)
public void ReInit(Reader dstream, int startline, int startcolumn)
public void ReInit(Reader dstream)
public void ReInit(InputStream dstream, String encoding, int startline, int startcolumn, int buffersize) throws UnsupportedEncodingException
UnsupportedEncodingException
public void ReInit(InputStream dstream, int startline, int startcolumn, int buffersize)
public void ReInit(InputStream dstream, String encoding, int startline, int startcolumn) throws UnsupportedEncodingException
UnsupportedEncodingException
public void ReInit(InputStream dstream, int startline, int startcolumn)
public void ReInit(InputStream dstream, String encoding) throws UnsupportedEncodingException
UnsupportedEncodingException
public void ReInit(InputStream dstream)
public String GetImage()
public char[] GetSuffix(int len)
public void Done()
public void adjustBeginLineColumn(int newLine, int newCol)
Copyright © 2006–2019 SYSTAP, LLC DBA Blazegraph. All rights reserved.