public class JavaCharStream extends BOMSafeJavaCharStream
available, bufcolumn, buffer, bufline, bufpos, bufsize, column, inBuf, inputStream, line, maxNextCharInd, nextCharBuf, nextCharInd, prevCharIsCR, prevCharIsLF, staticFlag, tabSize, tokenBegin| 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)
dstream - streamstartline - start linestartcolumn - start columnpublic JavaCharStream(InputStream dstream, String encoding, int startline, int startcolumn) throws UnsupportedEncodingException
dstream - streamencoding - encodingstartline - start linestartcolumn - start columnUnsupportedEncodingException - for unsupported encodingCopyright © 2014 The University of Manchester. All Rights Reserved.