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
javafe.Options

Packages that use Options
escjava   
escjava.gui   
javafe   
 

Uses of Options in escjava
 

Subclasses of Options in escjava
 class Options
          This class parses the options on the command-line and is a structure for holding the values of options.
 

Methods in escjava that return Options
 Options Main.makeOptions()
           
 

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.
 

Methods in escjava.gui that return Options
 Options GUI.makeOptions()
           
 

Uses of Options in javafe
 

Subclasses of Options in javafe
(package private)  class CopyLoadedOptions
           
 class SrcToolOptions
          This class holds the command-line options specific to the SrcTool class.
 class TestTool.Options
           
 

Fields in javafe declared as Options
static Options Tool.options
          A statically held Options object.
 

Methods in javafe that return Options
 Options TestTool.makeOptions()
           
 Options SrcTool.makeOptions()
          * Main processing code: * *
 Options FrontEndTool.makeOptions()
          Called to create a new Options object.
 Options CopyLoaded.makeOptions()
           
 


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