jist.runtime
Class Controller.JistThread

java.lang.Object
  java.lang.Thread
      jist.runtime.Controller.JistThread

All Implemented Interfaces:

java.lang.Runnable

Enclosing class:

Controller

static final class Controller.JistThread
extends java.lang.Thread

Provides a Thread with a slot to store the Controller instance. This thread runs the Controller, and enables the executing simulation to obtain its invoking Controller instance.

Since:

JIST1.0

Author:

Rimon Barr <barr+jist@cs.cornell.edu>

Nested Class Summary

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

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

Field Summary

Controller

controller Slot to store Controller instance.

Fields inherited from class java.lang.Thread

MAX_PRIORITY, MIN_PRIORITY, NORM_PRIORITY

Constructor Summary

Controller.JistThread(Controller controller, java.lang.String name)
Create a thread group with given name.

Method Summary

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, run, 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

controller

public final Controller controller

Slot to store Controller instance.

Constructor Detail

Controller.JistThread

public Controller.JistThread(Controller controller,
                             java.lang.String name)

Create a thread group with given name.

Parameters:

controller - controller object

name - name for thread group