code.loop
Class Batcher

java.lang.Object
  java.lang.Thread
      code.loop.Batcher

All Implemented Interfaces:

Client, java.lang.Runnable

public class Batcher
extends java.lang.Thread
implements Client

This class loads a module and executes some of its methods. There are two options controlled by invocation flags. Either the symbol called "main" is evaluated, or all the symbols starting with the characters "test" are evaluated in some unspecified order.

Since:

September 2004

Author:

Sergio Antoy

Nested Class Summary

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

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

Field Summary

private java.lang.String	moduleName
private java.io.BufferedWriter	out
private IOQueue	outputQueue
private int	solutionLimit

Fields inherited from class java.lang.Thread

MAX_PRIORITY, MIN_PRIORITY, NORM_PRIORITY

Constructor Summary

Batcher(java.lang.String moduleName)

Method Summary

void	doneChild(Computation computation)
private void	execute(java.lang.String string)
java.lang.String	getIdString()
void	run()

Methods inherited from class java.lang.Thread

activeCount, checkAccess, 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

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

Field Detail

outputQueue

private IOQueue outputQueue

out

private java.io.BufferedWriter out

moduleName

private java.lang.String moduleName

solutionLimit

private int solutionLimit

Constructor Detail

Batcher

public Batcher(java.lang.String moduleName)

Method Detail

getIdString

public java.lang.String getIdString()

Specified by:

getIdString in interface Client

doneChild

public void doneChild(Computation computation)

Specified by:

doneChild in interface Client

run

public void run()

Specified by:

run in interface java.lang.Runnable

Overrides:

run in class java.lang.Thread

execute

private void execute(java.lang.String string)
              throws java.io.IOException

Throws:

java.io.IOException