public class JavaCharStream
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
(package private) static int |
available |
protected static int[] |
bufcolumn |
protected static char[] |
buffer |
protected static int[] |
bufline |
static int |
bufpos |
(package private) static int |
bufsize |
protected static int |
column |
protected static int |
inBuf |
protected static java.io.Reader |
inputStream |
protected static int |
line |
protected static int |
maxNextCharInd |
protected static char[] |
nextCharBuf |
protected static int |
nextCharInd |
protected static boolean |
prevCharIsCR |
protected static boolean |
prevCharIsLF |
static boolean |
staticFlag |
protected static int |
tabSize |
(package private) static int |
tokenBegin |
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.InputStream dstream,
java.lang.String encoding) |
JavaCharStream(java.io.InputStream dstream,
java.lang.String encoding,
int startline,
int startcolumn) |
JavaCharStream(java.io.InputStream dstream,
java.lang.String encoding,
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 |
---|---|
static void |
adjustBeginLineColumn(int newLine,
int newCol)
Method to adjust line and column numbers for the start of a token.
|
protected static void |
AdjustBuffSize() |
static void |
backup(int amount) |
static char |
BeginToken() |
static void |
Done() |
protected static void |
ExpandBuff(boolean wrapAround) |
protected static void |
FillBuff() |
static int |
getBeginColumn() |
static int |
getBeginLine() |
static int |
getColumn()
Deprecated.
|
static int |
getEndColumn() |
static int |
getEndLine() |
static java.lang.String |
GetImage() |
static int |
getLine()
Deprecated.
|
static char[] |
GetSuffix(int len) |
protected static int |
getTabSize(int i) |
(package private) static int |
hexval(char c) |
protected static char |
ReadByte() |
static 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.InputStream dstream,
java.lang.String encoding) |
void |
ReInit(java.io.InputStream dstream,
java.lang.String encoding,
int startline,
int startcolumn) |
void |
ReInit(java.io.InputStream dstream,
java.lang.String encoding,
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) |
protected static void |
setTabSize(int i) |
protected static void |
UpdateLineColumn(char c) |
public static final boolean staticFlag
public static int bufpos
static int bufsize
static int available
static int tokenBegin
protected static int[] bufline
protected static int[] bufcolumn
protected static int column
protected static int line
protected static boolean prevCharIsCR
protected static boolean prevCharIsLF
protected static java.io.Reader inputStream
protected static char[] nextCharBuf
protected static char[] buffer
protected static int maxNextCharInd
protected static int nextCharInd
protected static int inBuf
protected static int tabSize
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, java.lang.String encoding, int startline, int startcolumn, int buffersize) throws java.io.UnsupportedEncodingException
java.io.UnsupportedEncodingException
public JavaCharStream(java.io.InputStream dstream, int startline, int startcolumn, int buffersize)
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, int startline, int startcolumn)
public JavaCharStream(java.io.InputStream dstream, java.lang.String encoding) throws java.io.UnsupportedEncodingException
java.io.UnsupportedEncodingException
public JavaCharStream(java.io.InputStream dstream)
static final int hexval(char c) throws java.io.IOException
java.io.IOException
protected static void setTabSize(int i)
protected static int getTabSize(int i)
protected static void ExpandBuff(boolean wrapAround)
protected static void FillBuff() throws java.io.IOException
java.io.IOException
protected static char ReadByte() throws java.io.IOException
java.io.IOException
public static char BeginToken() throws java.io.IOException
java.io.IOException
protected static void AdjustBuffSize()
protected static void UpdateLineColumn(char c)
public static char readChar() throws java.io.IOException
java.io.IOException
public static int getColumn()
getEndColumn()
public static int getLine()
getEndLine()
public static int getEndColumn()
public static int getEndLine()
public static int getBeginColumn()
public static int getBeginLine()
public static 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, java.lang.String encoding, int startline, int startcolumn, int buffersize) throws java.io.UnsupportedEncodingException
java.io.UnsupportedEncodingException
public void ReInit(java.io.InputStream dstream, int startline, int startcolumn, int buffersize)
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, int startline, int startcolumn)
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)
public static java.lang.String GetImage()
public static char[] GetSuffix(int len)
public static void Done()
public static void adjustBeginLineColumn(int newLine, int newCol)