eu.bandm.tools.d2d2.infra

Class MemString.Reader

java.lang.Object

java.io.Reader

eu.bandm.tools.d2d2.infra.MemString.Reader

All Implemented Interfaces:

Closeable, AutoCloseable, Readable

Enclosing class:

MemString

public class MemString.Reader
extends Reader

used for aMemString.new Reader() to use the memString as sequential character data source, e.g. for an Xantlr lexer.

Field Summary

Fields inherited from class java.io.Reader

lock

Constructor Summary

Constructors

Constructor and Description
Reader()

Method Summary

Modifier and Type	Method and Description
void	close()
int	read(char[] buf, int pos, int len)

Methods inherited from class java.io.Reader

mark, markSupported, read, read, read, ready, reset, skip

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

Reader

public Reader()

Method Detail

close

public void close()

Specified by:

close in interface Closeable

Specified by:

close in interface AutoCloseable

Specified by:

close in class Reader

read

public int read(char[] buf,
                int pos,
                int len)

Specified by:

read in class Reader