public class DfaRunService extends java.lang.Object implements Service
convenience class which makes a DfaRun
into a
service that can be returned by a ServiceFactory
.
Constructor and Description |
---|
DfaRunService(DfaRun r,
java.io.PrintStream out)
creates a
Runnable which will run r as
a filter which sends its output to out . |
Modifier and Type | Method and Description |
---|---|
java.lang.Exception |
getException()
objects implementing this interface should return any exception
worth reporting that happened during
run() . |
void |
run() |
public DfaRunService(DfaRun r, java.io.PrintStream out)
creates a Runnable
which will run r
as
a filter which sends its output to out
.
public java.lang.Exception getException()
Service
objects implementing this interface should return any exception
worth reporting that happened during run()
.
getException
in interface Service
public void run()
run
in interface java.lang.Runnable