polyglot.pth
Class Options

java.lang.Object
  extended by polyglot.pth.Options

public class Options
extends java.lang.Object


Field Summary
protected  java.lang.String classpath
           
protected  polyglot.pth.CommandLineOption[] commandLineOpts
           
protected  boolean deleteOutputFiles
           
protected  java.lang.String extraArgs
           
protected  java.util.List inputFilenames
           
protected  boolean showResultsOnly
           
protected  java.lang.String testFilter
           
protected  boolean testPreviouslyFailedOnly
           
protected  int verbosity
           
 
Constructor Summary
Options()
           
 
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
 

Field Detail

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
Constructor Detail

Options

public Options()
Method Detail

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)