Uses of Class
edu.rice.cs.cunit.FileInstrumentor

Packages that use FileInstrumentor

edu.rice.cs.cunit

Uses of FileInstrumentor in edu.rice.cs.cunit

Subclasses of FileInstrumentor in edu.rice.cs.cunit

class

TCFileInstrumentor Instruments files using the CompoundThreadCheckStrategy.

Methods in edu.rice.cs.cunit with parameters of type FileInstrumentor

private static boolean	FileInstrumentor.instrumentAndRename(java.lang.String classFileName, FileInstrumentor fi)
private static void	FileInstrumentor.instrumentAndRenameJar(java.lang.String jarFileName, FileInstrumentor fi)
private static void	FileInstrumentor.instrumentList(boolean createBackups, boolean recurse, FileInstrumentor fi, java.util.HashMap<java.lang.String,java.io.File> tempDirMap, ILambda.Binary<java.lang.Void,java.lang.String,java.io.IOException> exceptionAction, java.lang.String... names) Instrument a list of files.
private static void	FileInstrumentor.instrumentRTJar(java.lang.String sourceRtJarName, java.lang.String destRtJarName, java.lang.String cunitRtJarName, java.util.List<java.lang.String> cunitFilters, FileInstrumentor fi, FileInstrumentor fiSystem)