public class JavaCharStream
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
protected static int[] |
bufcolumn |
protected static char[] |
buffer |
protected static int[] |
bufline |
static int |
bufpos |
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 |
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.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 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.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 |
UpdateLineColumn(char c) |
public static final boolean staticFlag
public static int bufpos
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
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, int startline, int startcolumn, int buffersize)
public JavaCharStream(java.io.InputStream dstream, int startline, int startcolumn)
public JavaCharStream(java.io.InputStream dstream)
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, int startline, int startcolumn, int buffersize)
public void ReInit(java.io.InputStream dstream, int startline, int startcolumn)
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)
Copyright ? 2013 Regents of the University of California