|
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 CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectjavafe.Options
javafe.SrcToolOptions
This class holds the command-line options specific to the SrcTool class.
Field Summary | |
static boolean |
allowAvoidSpec
Do we allow the -avoidSpec option? |
static boolean |
allowDepend
Do we allow the -depend option? |
boolean |
avoidSpec
Should we avoid specs for all types loaded after the initial set of source files? |
boolean |
processRecursively
Should we process files recursively? |
Fields inherited from class javafe.Options |
assertionsEnabled, assertIsKeyword, currentdir, eol, fileOrigin, inputEntries, issueUsage, NEVER_BINARY, NEVER_SOURCE, noCautions, PREFER_BINARY, PREFER_RECENT, PREFER_SOURCE, privateOptionData, publicOptionData, quiet, showErrorLocation, sysPath, testMode, userPath, userSourcePath, v |
Constructor Summary | |
SrcToolOptions()
|
Method Summary | |
int |
processOption(java.lang.String option,
java.lang.String[] args,
int offset)
The list of filenames on the command line; this Vector is
aliased with a variable in SrcTool . |
java.lang.String |
showNonOptions()
Print non-option usage info to System.err . |
java.lang.String |
showOptions(boolean all)
Print option information to System.err . |
Methods inherited from class javafe.Options |
checkMoreArguments, format, processFileOfArgs, processOptions, processOptionsLoop, showOptionArray, usage |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
public static boolean allowAvoidSpec
-avoidSpec
option? Defaults to
yes.
public static boolean allowDepend
public boolean avoidSpec
Defaults to false. Set by using the -avoidSpec option.
Note: if processRecursively
is set, then we
always avoid specs.
public boolean processRecursively
Warning: this needs to be set before option processing is finished!
Constructor Detail |
public SrcToolOptions()
Method Detail |
public int processOption(java.lang.String option, java.lang.String[] args, int offset) throws UsageError
Vector
is
aliased with a variable in SrcTool
.
processOption
in class Options
option
- the option currently being handled. An option
always starts with a '-' character, and the remaining
command-line arguments (not counting option
)
(args[offset]
,...,args[args.length-1]
).args
- the command-line arguments that are being processed.offset
- the offset into the args array that
indicates which option is currently being dealt with.
- Returns:
- The offset to any remaining command-line arguments
should be returned. (This allows the option to consume some or
all of the following arguments.)
- Throws:
UsageError
- If the option is erroneous, throw an
UsageError
exception with a string describing the
problem.
public java.lang.String showNonOptions()
System.err
. Output
must include at least one newline.
showNonOptions
in class Options
public java.lang.String showOptions(boolean all)
System.err
. Each
printed line should be preceeded by two blank spaces.
Each overriding method should first call
super.showOptions()
.
showOptions
in class Options
all
- if true, then all options are printed, including
experimental options; otherwise, just the options expected to
be used by standard users are printed.
|
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 CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |