State Maintainer: TrackWindows

stateblock TrackWindows augments RWindow {
  addstate RWindow.window: java.awt.Window;

  precode RWindow (w: java.awt.Window) {
    window = w;
  }

  helper getWindow () returns java.awt.Window {
    return window;
  }
  
  helper toString () returns String {
    return "<window " + window.toString () + ">"; 
  }
}

About this file

Naccio Home Page
David Evans
University of Virginia, Computer Science