Uses of Class
edu.ucsb.ccs.jcontractor.transformation.ContractTransformation

Packages that use ContractTransformation

edu.ucsb.ccs.jcontractor.transformation

This package defines a fairly generic framework for transforming Java bytecode, and specific transformations for jContractor.

Uses of ContractTransformation in edu.ucsb.ccs.jcontractor.transformation

Subclasses of ContractTransformation in edu.ucsb.ccs.jcontractor.transformation

class	AppendReturnTransformation A transformation to append code to load the method's result from a local variable, and return.
class	ContractCheckTransformation A transformation to insert a call to the contract method into a non-contract method.
class	ContractMethodTransformation Superclass for transformations that modify contract methods.
class	InvariantCheckTransformation A transformation to insert code to check the invariant of each method by calling _Invariant.
class	InvariantMethodTransformation A transformation to prepare invariant methods.
class	LoadContractClassTransformation A transformation that loads the contract class for the transformed class into the Repository so that it will be available to subsequent transformations.
class	LockCloneTransformation Transformation to disable contract checking while in the clone() method.
class	PostconditionCheckTransformation A transformation to insert code to check the postcondition of each method by calling method_Postcondition.
class	PostconditionMethodTransformation A transformation to prepare postcondition methods.
class	PreconditionCheckTransformation A transformation to insert code to check the precondition of each method by calling method_Precondition.
class	PreconditionMethodTransformation A transformation to prepare precondition methods.
class	RemoveContractMethodsTransformation Transformation to remove the contract methods from a class, to decrease the size of the bytecode.
class	ReplaceOldReferencesTransformation Transformation to replace references to OLD in postconditions.
class	ReplaceReturnInstructionsTransformation A transformation to replace all the return statements in a non-contract methods with a jump to the end of the method, so that exit condition checking code may be appended to the instruction list.
class	SaveOldStateTransformation This transformation adds code to postconditions that refer to old to call to clone an object, and push the clone onto the stack of saved instances in jContractorRuntime.