Uses of Package
edu.ucsb.ccs.jcontractor.transformation

Packages that use edu.ucsb.ccs.jcontractor.transformation

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.transformation used by edu.ucsb.ccs.jcontractor.transformation

AbortTransformationException
An exception that will be thrown by a Transformation when an error occurs that requires that the ClassTransformer abort all subsequent transformations.

ClassTransformer
A ClassTransformer executes a complex transformation on a JavaClass object.

ContractCheckTransformation
A transformation to insert a call to the contract method into a non-contract method.

ContractMethodTransformation
Superclass for transformations that modify contract methods.

ContractTransformation
Abstract super class for contract transformations.

MethodSet
A simple container to hold MethodGen objects.

Transformation
Abstract description of a transformation that can be applied to a class.