edu.rice.cs.cunit
Class TCRun

java.lang.Object
  edu.rice.cs.cunit.ACUnitRun
      edu.rice.cs.cunit.TCRun

public class TCRun
extends ACUnitRun

Execute a Java program by loading it with the InstrumentingClassLoader and running the Thread Checker.

Author:

Mathias Ricken

Field Summary

protected static java.lang.String

OPTIONS_FORMAT_TCRUN String with syntax description for TCRun.

Fields inherited from class edu.rice.cs.cunit.ACUnitRun

_className, _instrumentorClassName, _makeBackups, _noSaveInstrumented, _parameters, _progArgs, OPTIONS_FORMAT

Constructor Summary

TCRun()

Method Summary

java.lang.String	getDefaultInstrumentorName() Abstract method deciding what instrumentor to run by default.
protected static void	help(java.io.PrintStream out) Print a help message to the specified stream.
static void	main(java.lang.String[] args) Static main method.
protected void	readArgs(java.lang.String[] args) Read the command line arguments or ask for them in a dialog.

Methods inherited from class edu.rice.cs.cunit.ACUnitRun

run

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

OPTIONS_FORMAT_TCRUN

protected static final java.lang.String OPTIONS_FORMAT_TCRUN

String with syntax description for TCRun.

See Also:

Constant Field Values

Constructor Detail

TCRun

public TCRun()

Method Detail

main

public static void main(java.lang.String[] args)

Static main method.

Parameters:

args - command line arguments

help

protected static void help(java.io.PrintStream out)

Print a help message to the specified stream.

Parameters:

out - output stream

readArgs

protected void readArgs(java.lang.String[] args)

Read the command line arguments or ask for them in a dialog.

Overrides:

readArgs in class ACUnitRun

Parameters:

args - command line arguments

getDefaultInstrumentorName

public java.lang.String getDefaultInstrumentorName()

Description copied from class: ACUnitRun

Abstract method deciding what instrumentor to run by default.

Specified by:

getDefaultInstrumentorName in class ACUnitRun

Returns:

the default name of the instrumentor.