State Maintainer: TrackThreads

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: RThreadreturns boolean {
      //! don't know how to do this
      return false;
  }
}

About this file

Naccio Home Page
David Evans
University of Virginia, Computer Science