Resource: RWindow

resource RWindow 
   // This is a Java-specific resource for identifying windows.
   operations
      RWindow (w: java.awt.Window)
         "Construct an RWindow object corresponding to w."

About this file

Naccio Home Page
David Evans
University of Virginia, Computer Science