Package org.antlr.runtime
Class ANTLRInputStream
- java.lang.Object
-
- org.antlr.runtime.ANTLRStringStream
-
- org.antlr.runtime.ANTLRReaderStream
-
- org.antlr.runtime.ANTLRInputStream
-
- All Implemented Interfaces:
CharStream
,IntStream
public class ANTLRInputStream extends ANTLRReaderStream
A kind of ReaderStream that pulls from an InputStream. Useful for reading from stdin and specifying file encodings etc...
-
-
Field Summary
-
Fields inherited from class org.antlr.runtime.ANTLRReaderStream
INITIAL_BUFFER_SIZE, READ_BUFFER_SIZE
-
Fields inherited from class org.antlr.runtime.ANTLRStringStream
charPositionInLine, data, lastMarker, line, markDepth, markers, n, name, p
-
Fields inherited from interface org.antlr.runtime.CharStream
EOF
-
-
Constructor Summary
Constructors Constructor Description ANTLRInputStream()
ANTLRInputStream(InputStream input)
ANTLRInputStream(InputStream input, int size)
ANTLRInputStream(InputStream input, int size, int readBufferSize, String encoding)
ANTLRInputStream(InputStream input, int size, String encoding)
ANTLRInputStream(InputStream input, String encoding)
-
Method Summary
-
Methods inherited from class org.antlr.runtime.ANTLRReaderStream
load
-
Methods inherited from class org.antlr.runtime.ANTLRStringStream
consume, getCharPositionInLine, getLine, getSourceName, index, LA, LT, mark, release, reset, rewind, rewind, seek, setCharPositionInLine, setLine, size, substring, toString
-
-
-
-
Constructor Detail
-
ANTLRInputStream
public ANTLRInputStream()
-
ANTLRInputStream
public ANTLRInputStream(InputStream input) throws IOException
- Throws:
IOException
-
ANTLRInputStream
public ANTLRInputStream(InputStream input, int size) throws IOException
- Throws:
IOException
-
ANTLRInputStream
public ANTLRInputStream(InputStream input, String encoding) throws IOException
- Throws:
IOException
-
ANTLRInputStream
public ANTLRInputStream(InputStream input, int size, String encoding) throws IOException
- Throws:
IOException
-
ANTLRInputStream
public ANTLRInputStream(InputStream input, int size, int readBufferSize, String encoding) throws IOException
- Throws:
IOException
-
-