|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||
java.lang.Objectorg.jscience.ml.sbml.jep.JavaCharStream
public final class JavaCharStream
An implementation of interface CharStream, where the stream is assumed to contain only ASCII characters (with java-like unicode escape processing).
| Field Summary | |
|---|---|
int |
bufpos
DOCUMENT ME! |
static boolean |
staticFlag
DOCUMENT ME! |
| Constructor Summary | |
|---|---|
JavaCharStream(java.io.InputStream dstream)
Creates a new JavaCharStream object. |
|
JavaCharStream(java.io.InputStream dstream,
int startline,
int startcolumn)
Creates a new JavaCharStream object. |
|
JavaCharStream(java.io.InputStream dstream,
int startline,
int startcolumn,
int buffersize)
Creates a new JavaCharStream object. |
|
JavaCharStream(java.io.Reader dstream)
Creates a new JavaCharStream object. |
|
JavaCharStream(java.io.Reader dstream,
int startline,
int startcolumn)
Creates a new JavaCharStream object. |
|
JavaCharStream(java.io.Reader dstream,
int startline,
int startcolumn,
int buffersize)
Creates a new JavaCharStream object. |
|
| Method Summary | |
|---|---|
void |
adjustBeginLineColumn(int newLine,
int newCol)
Method to adjust line and column numbers for the start of a token. |
void |
backup(int amount)
DOCUMENT ME! |
char |
BeginToken()
DOCUMENT ME! |
void |
Done()
DOCUMENT ME! |
int |
getBeginColumn()
DOCUMENT ME! |
int |
getBeginLine()
DOCUMENT ME! |
int |
getColumn()
Deprecated. |
int |
getEndColumn()
DOCUMENT ME! |
int |
getEndLine()
DOCUMENT ME! |
java.lang.String |
GetImage()
DOCUMENT ME! |
int |
getLine()
Deprecated. |
char[] |
GetSuffix(int len)
DOCUMENT ME! |
char |
readChar()
DOCUMENT ME! |
void |
ReInit(java.io.InputStream dstream)
DOCUMENT ME! |
void |
ReInit(java.io.InputStream dstream,
int startline,
int startcolumn)
DOCUMENT ME! |
void |
ReInit(java.io.InputStream dstream,
int startline,
int startcolumn,
int buffersize)
DOCUMENT ME! |
void |
ReInit(java.io.Reader dstream)
DOCUMENT ME! |
void |
ReInit(java.io.Reader dstream,
int startline,
int startcolumn)
DOCUMENT ME! |
void |
ReInit(java.io.Reader dstream,
int startline,
int startcolumn,
int buffersize)
DOCUMENT ME! |
| Methods inherited from class java.lang.Object |
|---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Field Detail |
|---|
public static final boolean staticFlag
public int bufpos
| Constructor Detail |
|---|
public JavaCharStream(java.io.Reader dstream,
int startline,
int startcolumn,
int buffersize)
dstream - DOCUMENT ME!startline - DOCUMENT ME!startcolumn - DOCUMENT ME!buffersize - DOCUMENT ME!
public JavaCharStream(java.io.Reader dstream,
int startline,
int startcolumn)
dstream - DOCUMENT ME!startline - DOCUMENT ME!startcolumn - DOCUMENT ME!public JavaCharStream(java.io.Reader dstream)
dstream - DOCUMENT ME!
public JavaCharStream(java.io.InputStream dstream,
int startline,
int startcolumn,
int buffersize)
dstream - DOCUMENT ME!startline - DOCUMENT ME!startcolumn - DOCUMENT ME!buffersize - DOCUMENT ME!
public JavaCharStream(java.io.InputStream dstream,
int startline,
int startcolumn)
dstream - DOCUMENT ME!startline - DOCUMENT ME!startcolumn - DOCUMENT ME!public JavaCharStream(java.io.InputStream dstream)
dstream - DOCUMENT ME!| Method Detail |
|---|
public final char BeginToken()
throws java.io.IOException
java.io.IOExceptionpublic final java.lang.String GetImage()
public final char[] GetSuffix(int len)
len - DOCUMENT ME!
public final void backup(int amount)
amount - DOCUMENT ME!public final int getBeginColumn()
public final int getBeginLine()
public final int getColumn()
getEndColumn()public final int getEndColumn()
public final int getEndLine()
public final int getLine()
getEndLine()
public final char readChar()
throws java.io.IOException
java.lang.Error - DOCUMENT ME!
java.io.IOExceptionpublic void Done()
public void ReInit(java.io.Reader dstream,
int startline,
int startcolumn,
int buffersize)
dstream - DOCUMENT ME!startline - DOCUMENT ME!startcolumn - DOCUMENT ME!buffersize - DOCUMENT ME!
public void ReInit(java.io.Reader dstream,
int startline,
int startcolumn)
dstream - DOCUMENT ME!startline - DOCUMENT ME!startcolumn - DOCUMENT ME!public void ReInit(java.io.Reader dstream)
dstream - DOCUMENT ME!
public void ReInit(java.io.InputStream dstream,
int startline,
int startcolumn,
int buffersize)
dstream - DOCUMENT ME!startline - DOCUMENT ME!startcolumn - DOCUMENT ME!buffersize - DOCUMENT ME!
public void ReInit(java.io.InputStream dstream,
int startline,
int startcolumn)
dstream - DOCUMENT ME!startline - DOCUMENT ME!startcolumn - DOCUMENT ME!public void ReInit(java.io.InputStream dstream)
dstream - DOCUMENT ME!
public void adjustBeginLineColumn(int newLine,
int newCol)
newLine - DOCUMENT ME!newCol - DOCUMENT ME!
|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||