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(java.io.InputStream input)
ANTLRInputStream(java.io.InputStream input, int size)
ANTLRInputStream(java.io.InputStream input, int size, int readBufferSize, java.lang.String encoding)
ANTLRInputStream(java.io.InputStream input, int size, java.lang.String encoding)
ANTLRInputStream(java.io.InputStream input, java.lang.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(java.io.InputStream input) throws java.io.IOException
- Throws:
java.io.IOException
-
ANTLRInputStream
public ANTLRInputStream(java.io.InputStream input, int size) throws java.io.IOException
- Throws:
java.io.IOException
-
ANTLRInputStream
public ANTLRInputStream(java.io.InputStream input, java.lang.String encoding) throws java.io.IOException
- Throws:
java.io.IOException
-
ANTLRInputStream
public ANTLRInputStream(java.io.InputStream input, int size, java.lang.String encoding) throws java.io.IOException
- Throws:
java.io.IOException
-
ANTLRInputStream
public ANTLRInputStream(java.io.InputStream input, int size, int readBufferSize, java.lang.String encoding) throws java.io.IOException
- Throws:
java.io.IOException
-
-