public class Options
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
protected java.lang.String |
classpath |
protected polyglot.pth.CommandLineOption[] |
commandLineOpts |
protected boolean |
deleteOutputFiles |
protected java.lang.String |
extraArgs |
protected java.util.List<java.lang.String> |
inputFilenames |
protected boolean |
showResultsOnly |
protected java.lang.String |
testFilter |
protected java.lang.String |
testpath |
protected boolean |
testPreviouslyFailedOnly |
protected int |
verbosity |
Constructor and Description |
---|
Options() |
Modifier and Type | Method and Description |
---|---|
protected void |
parseCommandLine(java.lang.String[] args) |
protected static void |
printSpaces(java.io.PrintStream out,
int n) |
protected void |
usage(java.io.PrintStream out) |
protected void |
usageForSwitch(java.io.PrintStream out,
polyglot.pth.CommandLineOption arg) |
protected java.util.List<java.lang.String> inputFilenames
protected int verbosity
protected java.lang.String classpath
protected java.lang.String testpath
protected java.lang.String extraArgs
protected java.lang.String testFilter
protected boolean showResultsOnly
protected boolean testPreviouslyFailedOnly
protected boolean deleteOutputFiles
protected polyglot.pth.CommandLineOption[] commandLineOpts
protected void usage(java.io.PrintStream out)
protected void usageForSwitch(java.io.PrintStream out, polyglot.pth.CommandLineOption arg)
protected static void printSpaces(java.io.PrintStream out, int n)
protected void parseCommandLine(java.lang.String[] args)