类 ANTLRInputStream
- java.lang.Object
-
- org.antlr.runtime.ANTLRStringStream
-
- org.antlr.runtime.ANTLRReaderStream
-
- org.antlr.runtime.ANTLRInputStream
-
- 所有已实现的接口:
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...
-
-
字段概要
-
从类继承的字段 org.antlr.runtime.ANTLRReaderStream
INITIAL_BUFFER_SIZE, READ_BUFFER_SIZE
-
从类继承的字段 org.antlr.runtime.ANTLRStringStream
charPositionInLine, data, lastMarker, line, markDepth, markers, n, name, p
-
从接口继承的字段 org.antlr.runtime.CharStream
EOF
-
-
构造器概要
构造器 构造器 说明 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)
-
方法概要
-
从类继承的方法 org.antlr.runtime.ANTLRReaderStream
load
-
从类继承的方法 org.antlr.runtime.ANTLRStringStream
consume, getCharPositionInLine, getLine, getSourceName, index, LA, LT, mark, release, reset, rewind, rewind, seek, setCharPositionInLine, setLine, size, substring, toString
-
-
-
-
构造器详细资料
-
ANTLRInputStream
public ANTLRInputStream()
-
ANTLRInputStream
public ANTLRInputStream(java.io.InputStream input) throws java.io.IOException
- 抛出:
java.io.IOException
-
ANTLRInputStream
public ANTLRInputStream(java.io.InputStream input, int size) throws java.io.IOException
- 抛出:
java.io.IOException
-
ANTLRInputStream
public ANTLRInputStream(java.io.InputStream input, java.lang.String encoding) throws java.io.IOException
- 抛出:
java.io.IOException
-
ANTLRInputStream
public ANTLRInputStream(java.io.InputStream input, int size, java.lang.String encoding) throws java.io.IOException
- 抛出:
java.io.IOException
-
ANTLRInputStream
public ANTLRInputStream(java.io.InputStream input, int size, int readBufferSize, java.lang.String encoding) throws java.io.IOException
- 抛出:
java.io.IOException
-
-