jContractor

Packages

edu.ucsb.ccs.jaqual	This is the main package of the JaQuaL library.
edu.ucsb.ccs.jaqual.standard	This package defines several standard assertions to be used with the JaQuaL library.
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.