net.sf.tweety.lp.asp.reasoner

Class AspInterface.StreamFlusher

java.lang.Object

java.lang.Thread

net.sf.tweety.lp.asp.reasoner.AspInterface.StreamFlusher

All Implemented Interfaces:

java.lang.Runnable

Enclosing class:

AspInterface

class AspInterface.StreamFlusher
extends java.lang.Thread

Auxiliary class for reading output streams concurrently. Modified to return a List instead of a String.

Nested Class Summary

Nested classes/interfaces inherited from class java.lang.Thread

java.lang.Thread.State, java.lang.Thread.UncaughtExceptionHandler

Field Summary

Fields

Modifier and Type	Field and Description
private java.io.InputStream	is
private java.util.List<java.lang.String>	output

Fields inherited from class java.lang.Thread

MAX_PRIORITY, MIN_PRIORITY, NORM_PRIORITY

Constructor Summary

Constructors

Constructor and Description
StreamFlusher(java.io.InputStream is)

Method Summary

Modifier and Type	Method and Description
java.util.List<java.lang.String>	getOutput()
void	run()

Methods inherited from class java.lang.Thread

activeCount, checkAccess, clone, countStackFrames, currentThread, destroy, dumpStack, enumerate, getAllStackTraces, getContextClassLoader, getDefaultUncaughtExceptionHandler, getId, getName, getPriority, getStackTrace, getState, getThreadGroup, getUncaughtExceptionHandler, holdsLock, interrupt, interrupted, isAlive, isDaemon, isInterrupted, join, join, join, resume, setContextClassLoader, setDaemon, setDefaultUncaughtExceptionHandler, setName, setPriority, setUncaughtExceptionHandler, sleep, sleep, start, stop, stop, suspend, toString, yield

Methods inherited from class java.lang.Object

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

Field Detail

is

private java.io.InputStream is

output

private java.util.List<java.lang.String> output

Constructor Detail

StreamFlusher

StreamFlusher(java.io.InputStream is)

Method Detail

run

public void run()

Specified by:

run in interface java.lang.Runnable

Overrides:

run in class java.lang.Thread

getOutput

public java.util.List<java.lang.String> getOutput()