Uses of Package
edu.ucsb.ccs.jcontractor

Packages that use edu.ucsb.ccs.jcontractor

edu.ucsb.ccs.jcontractor	This is the main package of the jContractor system.
edu.ucsb.ccs.jcontractor.extras	This package provides a few extra programs and classes that go along with jContractor.
edu.ucsb.ccs.jcontractor.transformation	This package defines a fairly generic framework for transforming Java bytecode, and specific transformations for jContractor.

Classes in edu.ucsb.ccs.jcontractor used by edu.ucsb.ccs.jcontractor

CompositeInstrumentationFilter
An instrumentation filter that combines other instrumentation filters.

InstrumentationException
An exception that is thrown by jInstrument if it is unable to instrument a class.

InstrumentationFilter
Interface for instrumentation filters, which control the level to which classes are instrumented.

jInstrument
Utility to read in class files and instrument class methods to enforce jContractor contracts.

Classes in edu.ucsb.ccs.jcontractor used by edu.ucsb.ccs.jcontractor.extras

PackageLevelInstrumentationFilter
An instrumentation filter that assigns instrumentation level by package (or class, if desired).

Classes in edu.ucsb.ccs.jcontractor used by edu.ucsb.ccs.jcontractor.transformation

InstrumentationFilter
Interface for instrumentation filters, which control the level to which classes are instrumented.