public class JavaCharStream extends JavaCharStream
bufcolumn, buffer, bufline, bufpos, column, inBuf, inputStream, line, maxNextCharInd, nextCharBuf, nextCharInd, prevCharIsCR, prevCharIsLF, staticFlag, tabSize| Constructor and Description |
|---|
JavaCharStream(InputStream dstream,
String encoding,
int startline,
int startcolumn)
Constructor.
|
JavaCharStream(Reader dstream,
int startline,
int startcolumn)
Constructor.
|
backup, BeginToken, getBeginColumn, getBeginLine, getEndColumn, getEndLine, GetImage, readChar, ReInit, ReInitpublic JavaCharStream(Reader dstream, int startline, int startcolumn)
public JavaCharStream(InputStream dstream, String encoding, int startline, int startcolumn) throws UnsupportedEncodingException
UnsupportedEncodingExceptionCopyright © 2013 The University of Manchester. All Rights Reserved.