monq.stuff

Class DfaRunFeeder

java.lang.Object

monq.stuff.AbstractPipe

monq.stuff.DfaRunFeeder

All Implemented Interfaces:

java.lang.Runnable, Service, Drainer, Feeder

public class DfaRunFeeder
extends AbstractPipe

implements a Feeder that feeds data filtered by a Dfa to the output specified by setOut().

Objects of this class can be reused within a single thread.

Author:

© 2005 Harald Kirsch

Constructor Summary

Constructors

Constructor and Description
DfaRunFeeder(DfaRun r, java.lang.String csname) creates the Feeder to filter source with the given dfa and then feed it to an OutputStream while encoding characters with the character set given by csname.

Method Summary

Modifier and Type	Method and Description
void	setOut(java.io.OutputStream out, boolean closeOnExit) specifies the OutputStream where to deliver the data in the run() method.
void	setSource(DfaRun r) specifies the source java.lang.Reader from which to fetch the data to feed.

Methods inherited from class monq.stuff.AbstractPipe

getException, run, setIn

Methods inherited from class java.lang.Object

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

Constructor Detail

DfaRunFeeder

public DfaRunFeeder(DfaRun r,
                    java.lang.String csname)
             throws java.nio.charset.UnsupportedCharsetException

creates the Feeder to filter source with the given dfa and then feed it to an OutputStream while encoding characters with the character set given by csname.

Parameters:

r - is the DfaRun from which to read input data. May be null, but then it must be set with setSource() before using this object.

csname - specifies the character set used to encode characters when feeding them to the output stream.

Throws:

java.nio.charset.UnsupportedCharsetException

Method Detail

setSource

public void setSource(DfaRun r)

specifies the source java.lang.Reader from which to fetch the data to feed.

Hint: Do not use the inherited method setIn(). If you need a Feeder with an InputStream as the source, use Pipe.

setOut

public void setOut(java.io.OutputStream out,
                   boolean closeOnExit)

Description copied from interface: Feeder

specifies the OutputStream where to deliver the data in the run() method.

Specified by:

setOut in interface Feeder

Overrides:

setOut in class AbstractPipe

closeOnExit - if true, instructs the Feeder to close out before exiting run().