State Maintainer: StoreThreadGroup

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;
  }
}

About this file

Naccio Home Page
David Evans
University of Virginia, Computer Science