stateblock TrackThreadGroups augments RThread {
addstate RThread.tgroup: RThread;
precode RThread (t: java.lang.Thread) {
tgroup = new RThreadGroup (t.getThreadGroup ());
}
helper getThreadGroup () returns RThread {
return tgroup;
}
}
Naccio Home Page
University of Virginia, Computer Science