|
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 |
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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 |
||||||||||
PREV NEXT | FRAMES NO FRAMES |