ESC/Java2
© 2003,2004,2005 David Cok and Joseph Kiniry
© 2005 UCD Dublin
© 2003,2004 Radboud University Nijmegen
© 1999,2000 Compaq Computer Corporation
© 1997,1998,1999 Digital Equipment Corporation
All Rights Reserved

Uses of Class
escjava.Options

Packages that use Options
escjava   
escjava.gui   
 

Uses of Options in escjava
 

Methods in escjava that return Options
static Options Main.options()
           
 

Uses of Options in escjava.gui
 

Subclasses of Options in escjava.gui
static class GUI.Options
          Extends escjava.Options just to set some defaults to more appropriate values for the GUI.
 

Fields in escjava.gui declared as Options
protected  Options EscOptions.doc
          A reference to the Options structure in the ESC tool, which serves as the document for this GUI.
 

Methods in escjava.gui with parameters of type Options
 void EscOptions.init(Options doc)
           
 void EscOptions.build(Options doc)
           
 

Constructors in escjava.gui with parameters of type Options
EscOptions(Options doc)
           
 


ESC/Java2
© 2003,2004,2005 David Cok and Joseph Kiniry
© 2005 UCD Dublin
© 2003,2004 Radboud University Nijmegen
© 1999,2000 Compaq Computer Corporation
© 1997,1998,1999 Digital Equipment Corporation
All Rights Reserved

The ESC/Java2 Project Homepage