Package 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<D>

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	Description
Reader()

Method Summary

Modifier and Type	Method	Description
void	close()	No operation.
int	read(char[] buf, int pos, int len)	Read the requested characters from the current MemString.start pointer and advance this accordingly.

Methods inherited from class java.io.Reader

mark, markSupported, nullReader, read, read, read, ready, reset, skip, transferTo

Methods inherited from class java.lang.Object

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

Constructor Details

Reader

public Reader()

Method Details

close

public void close()

No operation.

Specified by:

close in interface AutoCloseable

Specified by:

close in interface Closeable

Specified by:

close in class Reader

read

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

Read the requested characters from the current MemString.start pointer and advance this accordingly.

Specified by:

read in class Reader