edu.ucsb.ccs.jcontractor.transformation

Overview

Package

Class

Use

Deprecated

Index

Home >> All >> edu >> ucsb >> ccs >> jcontractor >> [ transformation overview ]

PREV PACKAGE NEXT PACKAGE

Package edu.ucsb.ccs.jcontractor.transformation

Class Summary
AppendReturnTransformation	A transformation to append code to load the method's result from a local variable, and return.
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.
InstrumentedFlagTransformation	A transformation to insert a flag constant into the constant pool of a class to mark the class as instrumented.
InvariantCheckTransformation	A transformation to insert code to check the invariant of each method by calling `_Invariant`.
InvariantMethodTransformation	A transformation to prepare invariant methods.
LoadContractClassTransformation	A transformation that loads the contract class for the transformed class into the Repository so that it will be available to subsequent transformations.
LockCloneTransformation	Transformation to disable contract checking while in the `clone()` method.
MarkInstrumentedTransformation	A transformation to insert a flag constant into the constant pool of a class to mark the class as instrumented.
MethodSet	A simple container to hold MethodGen objects.
PostconditionCheckTransformation	A transformation to insert code to check the postcondition of each method by calling `method_Postcondition`.
PostconditionMethodTransformation	A transformation to prepare postcondition methods.
PreconditionCheckTransformation	A transformation to insert code to check the precondition of each method by calling `method_Precondition`.
PreconditionMethodTransformation	A transformation to prepare precondition methods.
RemoveContractMethodsTransformation	Transformation to remove the contract methods from a class, to decrease the size of the bytecode.
ReplaceOldReferencesTransformation	Transformation to replace references to OLD in postconditions.
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.
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.
Transformation	Abstract description of a transformation that can be applied to a class.

Exception Summary

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