Package edu.rice.cs.cunit

Class Summary

ACUnitRun
FileInstrumentor
FileInstrumentor.Tool	Class to perform the command line utility tasks.
InstrumentingClassLoader	Class loader that instruments loaded classes by applying IInstrumentors to them.
SyncPointBuffer	Class that records synchronization points.
TCFileInstrumentor	Instruments files using the CompoundThreadCheckStrategy.
TCFileInstrumentor.TCTool	Class to perform the command line utility tasks.
TCRun	Execute a Java program by loading it with the InstrumentingClassLoader and running the Thread Checker.

Enum Summary

SyncPointBuffer.SP

Enumeration of sync point codes.

Exception Summary

InstrumentingClassLoader.RecurIntoClassesException

Private exception used to transport an exception out of the inner class.