cage
Class FoldnetThread

java.lang.Object
  java.lang.Thread
      cage.FoldnetThread

All Implemented Interfaces:

java.lang.Runnable

public class FoldnetThread
extends java.lang.Thread

Nested Class Summary

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

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

Field Summary

Fields inherited from class java.lang.Thread

MAX_PRIORITY, MIN_PRIORITY, NORM_PRIORITY

Constructor Summary

FoldnetThread()

Method Summary

void	abortCurrent()
void	addPropertyChangeListener(java.beans.PropertyChangeListener listener)
void	exit()
protected void	firePropertyChange(java.beans.PropertyChangeEvent e)
void	fireTasksChanged()
void	last()
void	makeFoldnet(CaGeResult result, int maxFacesize, java.lang.String filename)
void	removePropertyChangeListener(java.beans.PropertyChangeListener listener)
void	run()
void	setPath(java.lang.String path)
void	setRunDir(java.lang.String runDir)
int	tasksCompleted()
int	tasksFailed()
int	tasksGiven()
int	tasksLeft()
int	tasksSucceeded()

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

Constructor Detail

FoldnetThread

public FoldnetThread()

Method Detail

setRunDir

public void setRunDir(java.lang.String runDir)

setPath

public void setPath(java.lang.String path)

run

public void run()

Specified by:

run in interface java.lang.Runnable

Overrides:

run in class java.lang.Thread

makeFoldnet

public void makeFoldnet(CaGeResult result,
                        int maxFacesize,
                        java.lang.String filename)

last

public void last()

abortCurrent

public void abortCurrent()

exit

public void exit()

tasksGiven

public int tasksGiven()

tasksCompleted

public int tasksCompleted()

tasksLeft

public int tasksLeft()

tasksFailed

public int tasksFailed()

tasksSucceeded

public int tasksSucceeded()

fireTasksChanged

public void fireTasksChanged()

addPropertyChangeListener

public void addPropertyChangeListener(java.beans.PropertyChangeListener listener)

removePropertyChangeListener

public void removePropertyChangeListener(java.beans.PropertyChangeListener listener)

firePropertyChange

protected void firePropertyChange(java.beans.PropertyChangeEvent e)