polyglot.pth
Class Options
java.lang.Object
polyglot.pth.Options
public class Options
- extends java.lang.Object
Method Summary |
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)
|
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
inputFilenames
protected java.util.List inputFilenames
verbosity
protected int verbosity
classpath
protected java.lang.String classpath
extraArgs
protected java.lang.String extraArgs
testFilter
protected java.lang.String testFilter
showResultsOnly
protected boolean showResultsOnly
testPreviouslyFailedOnly
protected boolean testPreviouslyFailedOnly
deleteOutputFiles
protected boolean deleteOutputFiles
commandLineOpts
protected polyglot.pth.CommandLineOption[] commandLineOpts
Options
public Options()
usage
protected void usage(java.io.PrintStream out)
usageForSwitch
protected void usageForSwitch(java.io.PrintStream out,
polyglot.pth.CommandLineOption arg)
printSpaces
protected static void printSpaces(java.io.PrintStream out,
int n)
parseCommandLine
protected void parseCommandLine(java.lang.String[] args)