stateblock TrackThreads augments RThread {
// Java-specific
addstate RThread.thread: java.lang.Thread;
precode RThread (t: java.lang.Thread) {
thread = t;
}
helper getThread () returns java.lang.Thread {
return thread;
}
helper toString () returns String {
return thread.toString ();
}
helper inThreadGroup (g: RThread) returns boolean {
//! don't know how to do this
return false;
}
}
Naccio Home Page
University of Virginia, Computer Science