org.python.antlr

Class NoCloseReaderStream

java.lang.Object

org.antlr.runtime.ANTLRStringStream

org.python.antlr.NoCloseReaderStream

All Implemented Interfaces:

org.antlr.runtime.CharStream, org.antlr.runtime.IntStream

public class NoCloseReaderStream
extends org.antlr.runtime.ANTLRStringStream

Field Summary

Fields

Modifier and Type	Field and Description
static int	INITIAL_BUFFER_SIZE
static int	READ_BUFFER_SIZE

Fields inherited from class org.antlr.runtime.ANTLRStringStream

name

Fields inherited from interface org.antlr.runtime.CharStream

EOF

Constructor Summary

Constructors

Constructor and Description
NoCloseReaderStream(java.io.Reader r)
NoCloseReaderStream(java.io.Reader r, int size)
NoCloseReaderStream(java.io.Reader r, int size, int readChunkSize)

Method Summary

Modifier and Type	Method and Description
void	load(java.io.Reader r, int size, int readChunkSize)

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

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

READ_BUFFER_SIZE

public static final int READ_BUFFER_SIZE

See Also:

Constant Field Values

INITIAL_BUFFER_SIZE

public static final int INITIAL_BUFFER_SIZE

See Also:

Constant Field Values

Constructor Detail

NoCloseReaderStream

public NoCloseReaderStream(java.io.Reader r)
                    throws java.io.IOException

Throws:

java.io.IOException

NoCloseReaderStream

public NoCloseReaderStream(java.io.Reader r,
                           int size)
                    throws java.io.IOException

Throws:

java.io.IOException

NoCloseReaderStream

public NoCloseReaderStream(java.io.Reader r,
                           int size,
                           int readChunkSize)
                    throws java.io.IOException

Throws:

java.io.IOException

Method Detail

load

public void load(java.io.Reader r,
                 int size,
                 int readChunkSize)
          throws java.io.IOException

Throws:

java.io.IOException