edu.rice.cs.cunit.instrumentors
Interfaces 
IInstrumentationStrategy
Classes 
AssignThreadIDStrategy
CompoundCompactRecordStrategy
CompoundCompactSystemStrategy
CompoundYieldStrategy
MarkerInlineStrategy
SynchronizedMethodToBlockStrategy
Exceptions 
CouldNotDeleteAndRenameException
CouldNotDoubleRenameException
CouldNotRenameException
InstrumentorException
RetryIOException
Annotation Types 
DoNotInstrument