stateblock StoreThreadGroup augments RThreadGroup {
// Java-specific
addstate RThread.tg: java.lang.ThreadGroup;
precode RThreadGroup (t: java.lang.ThreadGroup) {
tg = t;
}
helper getThreadGroup () returns java.lang.ThreadGroup {
return tg;
}
}
Naccio Home Page
University of Virginia, Computer Science