Uses of Class
edu.ucsb.ccs.jcontractor.InstrumentationException

Packages that use InstrumentationException

edu.ucsb.ccs.jcontractor

This is the main package of the jContractor system.

Uses of InstrumentationException in edu.ucsb.ccs.jcontractor

Methods in edu.ucsb.ccs.jcontractor that throw InstrumentationException

void	jInstrument.instrumentClassFile(java.lang.String classFilename) Instrument a class file to enforce jContractor contracts, and write the instrumented file to the directory specified by destination.
byte[]	jInstrument.instrumentClass(org.apache.bcel.classfile.JavaClass javaclass) Instrument a class to enforce jContractor contracts.
void	jInstrument.stripContracts(java.lang.String classFilename) Remove contract methods from a class file, to decrease the file size.