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

Packages that use jInstrument

edu.ucsb.ccs.jcontractor

This is the main package of the jContractor system.

Uses of jInstrument in edu.ucsb.ccs.jcontractor

Methods in edu.ucsb.ccs.jcontractor with parameters of type jInstrument

static void

jContractor.runInstrumented(java.lang.String classname, java.lang.String[] args, jInstrument instrumentor) Run a class with contracts enabled, using the specified instance of jInstrument.

Constructors in edu.ucsb.ccs.jcontractor with parameters of type jInstrument

jContractorClassLoader(jInstrument instrumentor)
Create a class loader using the specified jInstrument to instrument classes.