Index

Overview

Package

Class

Use

Deprecated

Index

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

PREV NEXT

A B C E F G H I L M O P R S T _

A

AbortTransformationException - exception 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.
AbortTransformationException(String) - Constructor for class edu.ucsb.ccs.jcontractor.transformation.AbortTransformationException: Create a new exception with the specified error message.
AppendReturnTransformation - class edu.ucsb.ccs.jcontractor.transformation.AppendReturnTransformation.: A transformation to append code to load the method's result from a local variable, and return.
AppendReturnTransformation() - Constructor for class edu.ucsb.ccs.jcontractor.transformation.AppendReturnTransformation
acceptClass() - Method in class edu.ucsb.ccs.jcontractor.transformation.AppendReturnTransformation: Determine if the current class should be processed.
acceptClass() - Method in class edu.ucsb.ccs.jcontractor.transformation.ContractCheckTransformation: Determine if a class should be processed.
acceptClass() - Method in class edu.ucsb.ccs.jcontractor.transformation.ContractMethodTransformation: Determine if a class should be transformed.
acceptClass() - Method in class edu.ucsb.ccs.jcontractor.transformation.InstrumentedFlagTransformation: Determine if this transform should be applied to a class.
acceptClass() - Method in class edu.ucsb.ccs.jcontractor.transformation.LoadContractClassTransformation: Determine if the current class should be processed.
acceptClass() - Method in class edu.ucsb.ccs.jcontractor.transformation.LockCloneTransformation: Determine if the current class should be processed.
acceptClass() - Method in class edu.ucsb.ccs.jcontractor.transformation.MarkInstrumentedTransformation: Determine if this transform should be applied to a class.
acceptClass() - Method in class edu.ucsb.ccs.jcontractor.transformation.RemoveContractMethodsTransformation: Determine if the current class should be processed.
acceptClass() - Method in class edu.ucsb.ccs.jcontractor.transformation.ReplaceOldReferencesTransformation: Determine if the current class should be processed.
acceptClass() - Method in class edu.ucsb.ccs.jcontractor.transformation.ReplaceReturnInstructionsTransformation: Determine if the current class should be processed.
acceptClass() - Method in class edu.ucsb.ccs.jcontractor.transformation.SaveOldStateTransformation: Determine if the current class should be processed.
acceptClass() - Method in class edu.ucsb.ccs.jcontractor.transformation.Transformation: Determine if this transform should be applied to the current class.
acceptClass_Precondition() - Method in class edu.ucsb.ccs.jcontractor.transformation.Transformation
append(Transformation) - Method in class edu.ucsb.ccs.jcontractor.transformation.ClassTransformer: Add a Transformation at the end of the transformation list.
append(MethodGen, InstructionList) - Method in class edu.ucsb.ccs.jcontractor.transformation.ContractTransformation: Append an instruction list to the body of a method.
append_Postcondition(Transformation, Void) - Method in class edu.ucsb.ccs.jcontractor.transformation.ClassTransformer
append_Precondition(Transformation) - Method in class edu.ucsb.ccs.jcontractor.transformation.ClassTransformer

B

buildContractCheck(MethodGen, MethodGen, InstructionList, String, String) - Method in class edu.ucsb.ccs.jcontractor.transformation.ContractCheckTransformation: Build an instruction list to check the contract and throw an exception if it fails.
buildContractCheck_Precondition(MethodGen, MethodGen, InstructionList, String, String) - Method in class edu.ucsb.ccs.jcontractor.transformation.ContractCheckTransformation

C

ClassTransformer - class edu.ucsb.ccs.jcontractor.transformation.ClassTransformer.: A ClassTransformer executes a complex transformation on a JavaClass object.
ClassTransformer(InstrumentationFilter) - Constructor for class edu.ucsb.ccs.jcontractor.transformation.ClassTransformer: Create an empty ClassTransformer.
ContractCheckTransformation - class edu.ucsb.ccs.jcontractor.transformation.ContractCheckTransformation.: A transformation to insert a call to the contract method into a non-contract method.
ContractCheckTransformation() - Constructor for class edu.ucsb.ccs.jcontractor.transformation.ContractCheckTransformation
ContractMethodTransformation - class edu.ucsb.ccs.jcontractor.transformation.ContractMethodTransformation.: Superclass for transformations that modify contract methods.
ContractMethodTransformation() - Constructor for class edu.ucsb.ccs.jcontractor.transformation.ContractMethodTransformation
ContractTransformation - class edu.ucsb.ccs.jcontractor.transformation.ContractTransformation.: Abstract super class for contract transformations.
ContractTransformation() - Constructor for class edu.ucsb.ccs.jcontractor.transformation.ContractTransformation
canCheckEntryInvariant(MethodGen) - Method in class edu.ucsb.ccs.jcontractor.transformation.ContractTransformation: Determine whether or not this method should have a invariant check at its entry point.
canCheckExitInvariant(MethodGen) - Method in class edu.ucsb.ccs.jcontractor.transformation.ContractTransformation: Determine whether or not this method should have a invariant check at its exit point.
canCheckExitInvariant_Precondition(MethodGen) - Method in class edu.ucsb.ccs.jcontractor.transformation.ContractTransformation
canCheckPostcondition(MethodGen) - Method in class edu.ucsb.ccs.jcontractor.transformation.ContractTransformation: Determine whether or not this method should have a postcondition check.
canCheckPrecondition(MethodGen) - Method in class edu.ucsb.ccs.jcontractor.transformation.ContractTransformation: Determine whether or not this method should have a precondition check.
canHaveInheritedContract(MethodGen) - Method in class edu.ucsb.ccs.jcontractor.transformation.ContractTransformation: Determine if a method is allowed to have an inherited contract.
canHaveInheritedContract_Precondition(MethodGen) - Method in class edu.ucsb.ccs.jcontractor.transformation.ContractTransformation
canHaveInvariant(JavaClass) - Method in class edu.ucsb.ccs.jcontractor.transformation.ContractTransformation: Determine whether or not a class can have an invariant.
canHaveInvariant_Precondition(JavaClass) - Method in class edu.ucsb.ccs.jcontractor.transformation.ContractTransformation
canHavePostcondition(MethodGen) - Method in class edu.ucsb.ccs.jcontractor.transformation.ContractTransformation: Determine whether or not this method can have a postcondition, taking instrumentation level into account.
canHavePostcondition_Precondition(MethodGen) - Method in class edu.ucsb.ccs.jcontractor.transformation.ContractTransformation
canHavePrecondition(MethodGen) - Method in class edu.ucsb.ccs.jcontractor.transformation.ContractTransformation: Determine whether or not this method can have a precondition, taking instrumentation level into account.
canHavePrecondition_Precondition(MethodGen) - Method in class edu.ucsb.ccs.jcontractor.transformation.ContractTransformation
canReferenceOld(MethodGen) - Method in class edu.ucsb.ccs.jcontractor.transformation.ContractTransformation: Determine if the postcondition for a non-contract method can refer to OLD.
canReferenceOld_Precondition(MethodGen) - Method in class edu.ucsb.ccs.jcontractor.transformation.ContractTransformation
checkValidity(JavaClass, MethodGen) - Method in class edu.ucsb.ccs.jcontractor.transformation.InvariantMethodTransformation: Determine if the invariant method is valid.
checkValidity(MethodGen, MethodGen) - Method in class edu.ucsb.ccs.jcontractor.transformation.PostconditionMethodTransformation: Determine if the postcondition method is valid.
checkValidity(MethodGen, MethodGen) - Method in class edu.ucsb.ccs.jcontractor.transformation.PreconditionMethodTransformation: Determine if the precondition method is valid.
checkValidity(Field) - Method in class edu.ucsb.ccs.jcontractor.transformation.SaveOldStateTransformation: Determine if the OLD field is valid, and also if the current class is allowed to refer to OLD.
checkValidity_Precondition(JavaClass, MethodGen) - Method in class edu.ucsb.ccs.jcontractor.transformation.InvariantMethodTransformation
checkValidity_Precondition(MethodGen, MethodGen) - Method in class edu.ucsb.ccs.jcontractor.transformation.PostconditionMethodTransformation
checkValidity_Precondition(MethodGen, MethodGen) - Method in class edu.ucsb.ccs.jcontractor.transformation.PreconditionMethodTransformation
combineContracts_and(InstructionList[]) - Method in class edu.ucsb.ccs.jcontractor.transformation.ContractMethodTransformation: Combine a list of contract checks by and-ing them together.
combineContracts_and_Postcondition(InstructionList[], InstructionList) - Method in class edu.ucsb.ccs.jcontractor.transformation.ContractMethodTransformation
combineContracts_and_Precondition(InstructionList[]) - Method in class edu.ucsb.ccs.jcontractor.transformation.ContractMethodTransformation
combineContracts_or(InstructionList[]) - Method in class edu.ucsb.ccs.jcontractor.transformation.ContractMethodTransformation: Combine a list of contract checks by or-ing them together.
combineContracts_or_Postcondition(InstructionList[], InstructionList) - Method in class edu.ucsb.ccs.jcontractor.transformation.ContractMethodTransformation
combineContracts_or_Precondition(InstructionList[]) - Method in class edu.ucsb.ccs.jcontractor.transformation.ContractMethodTransformation
constantPoolGen - Variable in class edu.ucsb.ccs.jcontractor.transformation.ClassTransformer: A ConstantPoolGen for currentClass.
contractsCheckable(JavaClass) - Method in class edu.ucsb.ccs.jcontractor.transformation.ContractTransformation: Determine whether or not contracts should be checked on the methods in a class.
contractsCheckable_Precondition(JavaClass) - Method in class edu.ucsb.ccs.jcontractor.transformation.ContractTransformation
createContractMethod(boolean, boolean, String, String, String) - Method in class edu.ucsb.ccs.jcontractor.transformation.ContractMethodTransformation: Create a new contract method, with an empty body.
createLoadArguments(MethodGen) - Method in class edu.ucsb.ccs.jcontractor.transformation.ContractTransformation: Build an instruction list to load a method's arguments onto the stack.
createLoadArguments_Postcondition(MethodGen, InstructionList) - Method in class edu.ucsb.ccs.jcontractor.transformation.ContractTransformation
createLoadArguments_Precondition(MethodGen) - Method in class edu.ucsb.ccs.jcontractor.transformation.ContractTransformation
createPushExceptionMessage(MethodGen, String) - Method in class edu.ucsb.ccs.jcontractor.transformation.ContractCheckTransformation: Build an exception message string, and push it onto the stack.
createPushExceptionMessage_Precondition(MethodGen, String) - Method in class edu.ucsb.ccs.jcontractor.transformation.ContractCheckTransformation
currentClass - Variable in class edu.ucsb.ccs.jcontractor.transformation.ClassTransformer: The class currently being transformed.
currentType - Variable in class edu.ucsb.ccs.jcontractor.transformation.ReplaceOldReferencesTransformation: The type of instances of the current class.

E

edu.ucsb.ccs.jcontractor.transformation - package edu.ucsb.ccs.jcontractor.transformation
entryInvariantCheckable_Precondition(MethodGen) - Method in class edu.ucsb.ccs.jcontractor.transformation.ContractTransformation

F

findField(String, JavaClass) - Method in class edu.ucsb.ccs.jcontractor.transformation.SaveOldStateTransformation: Find a field by name.
findMethod(String, String, JavaClass) - Method in class edu.ucsb.ccs.jcontractor.transformation.ContractTransformation: Find a method in a given class.
findMethod(String, String, JavaClass, ConstantPoolGen) - Method in class edu.ucsb.ccs.jcontractor.transformation.ContractTransformation: Find a method in a given class, and add a reference to it to the constant pool.
findMethodIndex(String, String, JavaClass, ConstantPoolGen) - Method in class edu.ucsb.ccs.jcontractor.transformation.ContractTransformation: Find the index of a method.

G

getConstantPoolGen() - Method in class edu.ucsb.ccs.jcontractor.transformation.ClassTransformer: Get the ConstantPoolGen object that is to be used to build the constant pool for the current class.
getContractClassName(JavaClass) - Method in class edu.ucsb.ccs.jcontractor.transformation.ContractTransformation: Get the name of the external contract class that cooresponds to the given class.
getContractClassName(String) - Method in class edu.ucsb.ccs.jcontractor.transformation.ContractTransformation: Get the name of the external contract class that cooresponds to the given class name.
getContractClassName_Postcondition(JavaClass, String) - Method in class edu.ucsb.ccs.jcontractor.transformation.ContractTransformation
getContractClassName_Postcondition(String, String) - Method in class edu.ucsb.ccs.jcontractor.transformation.ContractTransformation
getContractClassName_Precondition(JavaClass) - Method in class edu.ucsb.ccs.jcontractor.transformation.ContractTransformation
getContractClassName_Precondition(String) - Method in class edu.ucsb.ccs.jcontractor.transformation.ContractTransformation
getCurrentClass() - Method in class edu.ucsb.ccs.jcontractor.transformation.ClassTransformer: Get the class that the transformer is transforming.
getExternalContract(MethodGen) - Method in class edu.ucsb.ccs.jcontractor.transformation.ContractMethodTransformation: Get the contract for a method defined in a contract class.
getField(int) - Method in class edu.ucsb.ccs.jcontractor.transformation.SaveOldStateTransformation: Find a field in the current class.
getField_Postcondition(int, Field) - Method in class edu.ucsb.ccs.jcontractor.transformation.SaveOldStateTransformation
getField_Precondition(int) - Method in class edu.ucsb.ccs.jcontractor.transformation.SaveOldStateTransformation
getInstructionFactory() - Method in class edu.ucsb.ccs.jcontractor.transformation.ClassTransformer: Get the instruction factory that should be used to create instructions.
getInstructionFactory_Postcondition(InstructionFactory) - Method in class edu.ucsb.ccs.jcontractor.transformation.ClassTransformer
getInstrumentationFilter() - Method in class edu.ucsb.ccs.jcontractor.transformation.ClassTransformer: Get the instrumentation filter that determines which classes are instrumented and to what level.
getInstrumentationFilter_Postcondition(InstrumentationFilter) - Method in class edu.ucsb.ccs.jcontractor.transformation.ClassTransformer
getInterfaceContracts(MethodGen) - Method in class edu.ucsb.ccs.jcontractor.transformation.ContractMethodTransformation: Get the contracts for a method that are defined in interfaces.
getInvariantMethodName(JavaClass) - Method in class edu.ucsb.ccs.jcontractor.transformation.ContractTransformation: Get the name of the invariant method for a class.
getInvariantMethodName_Postcondition(JavaClass, String) - Method in class edu.ucsb.ccs.jcontractor.transformation.ContractTransformation
getInvariantMethodName_Precondition(JavaClass) - Method in class edu.ucsb.ccs.jcontractor.transformation.ContractTransformation
getInvariantMethodSignature(JavaClass) - Method in class edu.ucsb.ccs.jcontractor.transformation.ContractTransformation: Get the signature of the invariant method for a class.
getInvariantMethodSignature_Postcondition(JavaClass, String) - Method in class edu.ucsb.ccs.jcontractor.transformation.ContractTransformation
getInvariantMethodSignature_Precondition(JavaClass) - Method in class edu.ucsb.ccs.jcontractor.transformation.ContractTransformation
getMethod(String, String) - Method in class edu.ucsb.ccs.jcontractor.transformation.MethodSet: Retrieve a method from the set.
getMethodSet() - Method in class edu.ucsb.ccs.jcontractor.transformation.ClassTransformer: Get the method set that holds working copies of the methods in the current class.
getMethod_Precondition(String, String) - Method in class edu.ucsb.ccs.jcontractor.transformation.MethodSet
getPostconditionMethodName(MethodGen) - Method in class edu.ucsb.ccs.jcontractor.transformation.ContractTransformation: Get the name of the postcondition method for a non-contract method.
getPostconditionMethodName_Postcondition(MethodGen, String) - Method in class edu.ucsb.ccs.jcontractor.transformation.ContractTransformation
getPostconditionMethodName_Precondition(MethodGen) - Method in class edu.ucsb.ccs.jcontractor.transformation.ContractTransformation
getPostconditionMethodSignature(MethodGen) - Method in class edu.ucsb.ccs.jcontractor.transformation.ContractTransformation: Get the signature of the method that defines the postcondition for a non-contract method.
getPostconditionMethodSignature_Postcondition(MethodGen, String) - Method in class edu.ucsb.ccs.jcontractor.transformation.ContractTransformation
getPostconditionMethodSignature_Precondition(MethodGen) - Method in class edu.ucsb.ccs.jcontractor.transformation.ContractTransformation
getPreconditionMethodName(MethodGen) - Method in class edu.ucsb.ccs.jcontractor.transformation.ContractTransformation: Get the name of the precondition method for a non-contract method.
getPreconditionMethodName_Postcondition(MethodGen, String) - Method in class edu.ucsb.ccs.jcontractor.transformation.ContractTransformation
getPreconditionMethodName_Precondition(MethodGen) - Method in class edu.ucsb.ccs.jcontractor.transformation.ContractTransformation
getPreconditionMethodSignature(MethodGen) - Method in class edu.ucsb.ccs.jcontractor.transformation.ContractTransformation: Get the signature of the method that defines the precondition for a non-contract method.
getPreconditionMethodSignature_Postcondition(MethodGen, String) - Method in class edu.ucsb.ccs.jcontractor.transformation.ContractTransformation
getPreconditionMethodSignature_Precondition(MethodGen) - Method in class edu.ucsb.ccs.jcontractor.transformation.ContractTransformation
getSharedInfo() - Method in class edu.ucsb.ccs.jcontractor.transformation.ClassTransformer: Get the shared data table.
getSuperClassContract(MethodGen, int) - Method in class edu.ucsb.ccs.jcontractor.transformation.ContractMethodTransformation: Create an instruction list to call the super class contract method.
getSuperClassContract_Precondition(MethodGen, int) - Method in class edu.ucsb.ccs.jcontractor.transformation.ContractMethodTransformation
getTransformer() - Method in class edu.ucsb.ccs.jcontractor.transformation.Transformation: Get the transformer to which this transformation belongs.
getTransformer_Postcondition(ClassTransformer) - Method in class edu.ucsb.ccs.jcontractor.transformation.Transformation

H

handleInheritedOld(MethodGen) - Method in class edu.ucsb.ccs.jcontractor.transformation.SaveOldStateTransformation: Insert code to push a copy of the object onto the saved instances stack before calling a superclass postcondition that refers to OLD.
handleInheritedOld_Precondition(MethodGen) - Method in class edu.ucsb.ccs.jcontractor.transformation.SaveOldStateTransformation
hasExternalContract(JavaClass, String, String) - Method in class edu.ucsb.ccs.jcontractor.transformation.ContractTransformation: Determine if a class gets a particular contract from a separate contract class.
hasInterfaceContract(JavaClass, String, String) - Method in class edu.ucsb.ccs.jcontractor.transformation.ContractTransformation: Determine if a class gets a particular contract from an interface.
hasSuperClassContract(JavaClass, String, String) - Method in class edu.ucsb.ccs.jcontractor.transformation.ContractTransformation: Determine if a class inherits a particular contract.

I

InstrumentedFlagTransformation - class edu.ucsb.ccs.jcontractor.transformation.InstrumentedFlagTransformation.: A transformation to insert a flag constant into the constant pool of a class to mark the class as instrumented.
InstrumentedFlagTransformation() - Constructor for class edu.ucsb.ccs.jcontractor.transformation.InstrumentedFlagTransformation
InvariantCheckTransformation - class edu.ucsb.ccs.jcontractor.transformation.InvariantCheckTransformation.: A transformation to insert code to check the invariant of each method by calling _Invariant.
InvariantCheckTransformation() - Constructor for class edu.ucsb.ccs.jcontractor.transformation.InvariantCheckTransformation
InvariantMethodTransformation - class edu.ucsb.ccs.jcontractor.transformation.InvariantMethodTransformation.: A transformation to prepare invariant methods.
InvariantMethodTransformation() - Constructor for class edu.ucsb.ccs.jcontractor.transformation.InvariantMethodTransformation
inheritsOldReference(MethodGen) - Method in class edu.ucsb.ccs.jcontractor.transformation.SaveOldStateTransformation: Determine if a postcondition in any superclass contains a reference to OLD.
inheritsOldReference(JavaClass) - Method in class edu.ucsb.ccs.jcontractor.transformation.SaveOldStateTransformation: Determine if any superclass of a class in which postconditions are checked declares an OLD instance variable.
insert(Transformation) - Method in class edu.ucsb.ccs.jcontractor.transformation.ClassTransformer: Insert a transformation at the beginning of the list.
insertSaveStateCall(MethodGen) - Method in class edu.ucsb.ccs.jcontractor.transformation.SaveOldStateTransformation: Add jContractorRuntime.pushState(clone()) at the beginning of the postcondition that cooresponds to mg.
insertSaveStateCall_Precondition(MethodGen) - Method in class edu.ucsb.ccs.jcontractor.transformation.SaveOldStateTransformation
insert_Postcondition(Transformation, Void) - Method in class edu.ucsb.ccs.jcontractor.transformation.ClassTransformer
insert_Precondition(Transformation) - Method in class edu.ucsb.ccs.jcontractor.transformation.ClassTransformer
instructionFactory - Variable in class edu.ucsb.ccs.jcontractor.transformation.ClassTransformer: An instruction factory to use when creating bytecode into a class.
instrumentationFilter - Variable in class edu.ucsb.ccs.jcontractor.transformation.ClassTransformer
isContractClass(JavaClass) - Method in class edu.ucsb.ccs.jcontractor.transformation.ContractTransformation: Determine if a class defines contracts for another class.
isContractClass_Postcondition(JavaClass, boolean) - Method in class edu.ucsb.ccs.jcontractor.transformation.ContractTransformation
isContractClass_Precondition(JavaClass) - Method in class edu.ucsb.ccs.jcontractor.transformation.ContractTransformation
isContractMethod(MethodGen) - Method in class edu.ucsb.ccs.jcontractor.transformation.ContractTransformation: Determine if a method defines a contract (precondition, postcondition, or invariant).
isContractMethod_Postcondition(MethodGen, boolean) - Method in class edu.ucsb.ccs.jcontractor.transformation.ContractTransformation
isContractMethod_Precondition(MethodGen) - Method in class edu.ucsb.ccs.jcontractor.transformation.ContractTransformation
isInvariantMethod(MethodGen) - Method in class edu.ucsb.ccs.jcontractor.transformation.ContractTransformation: Determine if a method defines a class invariant.
isInvariantMethod_Precondition(MethodGen) - Method in class edu.ucsb.ccs.jcontractor.transformation.ContractTransformation
isPostconditionMethod(MethodGen) - Method in class edu.ucsb.ccs.jcontractor.transformation.ContractTransformation: Determine if a method defines a postcondition.
isPostconditionMethod_Postcondition(MethodGen, boolean) - Method in class edu.ucsb.ccs.jcontractor.transformation.ContractTransformation
isPreconditionMethod(MethodGen) - Method in class edu.ucsb.ccs.jcontractor.transformation.ContractTransformation: Determine if a method defines a precondition.
isPreconditionMethod_Precondition(MethodGen) - Method in class edu.ucsb.ccs.jcontractor.transformation.ContractTransformation

L

LoadContractClassTransformation - class edu.ucsb.ccs.jcontractor.transformation.LoadContractClassTransformation.: A transformation that loads the contract class for the transformed class into the Repository so that it will be available to subsequent transformations.
LoadContractClassTransformation() - Constructor for class edu.ucsb.ccs.jcontractor.transformation.LoadContractClassTransformation
LockCloneTransformation - class edu.ucsb.ccs.jcontractor.transformation.LockCloneTransformation.: Transformation to disable contract checking while in the clone() method.
LockCloneTransformation() - Constructor for class edu.ucsb.ccs.jcontractor.transformation.LockCloneTransformation

M

MarkInstrumentedTransformation - class edu.ucsb.ccs.jcontractor.transformation.MarkInstrumentedTransformation.: A transformation to insert a flag constant into the constant pool of a class to mark the class as instrumented.
MarkInstrumentedTransformation() - Constructor for class edu.ucsb.ccs.jcontractor.transformation.MarkInstrumentedTransformation
MethodSet - class edu.ucsb.ccs.jcontractor.transformation.MethodSet.: A simple container to hold MethodGen objects.
MethodSet() - Constructor for class edu.ucsb.ccs.jcontractor.transformation.MethodSet: Create an empty method set.
MethodSet_Postcondition(Void) - Method in class edu.ucsb.ccs.jcontractor.transformation.MethodSet
methodSet - Variable in class edu.ucsb.ccs.jcontractor.transformation.ClassTransformer: A set of methods that will be in the current class after transformation.
methods - Variable in class edu.ucsb.ccs.jcontractor.transformation.MethodSet: Hashtable implementation.

O

oldIndex - Variable in class edu.ucsb.ccs.jcontractor.transformation.ReplaceOldReferencesTransformation: The index of the OLD field in the current class.
oldIndex - Variable in class edu.ucsb.ccs.jcontractor.transformation.SaveOldStateTransformation: The index of the OLD field in the current class.

P

PostconditionCheckTransformation - class edu.ucsb.ccs.jcontractor.transformation.PostconditionCheckTransformation.: A transformation to insert code to check the postcondition of each method by calling method_Postcondition.
PostconditionCheckTransformation() - Constructor for class edu.ucsb.ccs.jcontractor.transformation.PostconditionCheckTransformation
PostconditionMethodTransformation - class edu.ucsb.ccs.jcontractor.transformation.PostconditionMethodTransformation.: A transformation to prepare postcondition methods.
PostconditionMethodTransformation() - Constructor for class edu.ucsb.ccs.jcontractor.transformation.PostconditionMethodTransformation
PreconditionCheckTransformation - class edu.ucsb.ccs.jcontractor.transformation.PreconditionCheckTransformation.: A transformation to insert code to check the precondition of each method by calling method_Precondition.
PreconditionCheckTransformation() - Constructor for class edu.ucsb.ccs.jcontractor.transformation.PreconditionCheckTransformation
PreconditionMethodTransformation - class edu.ucsb.ccs.jcontractor.transformation.PreconditionMethodTransformation.: A transformation to prepare precondition methods.
PreconditionMethodTransformation() - Constructor for class edu.ucsb.ccs.jcontractor.transformation.PreconditionMethodTransformation
postconditionCheckable_Precondition(MethodGen) - Method in class edu.ucsb.ccs.jcontractor.transformation.ContractTransformation
preconditionCheckable_Precondition(MethodGen) - Method in class edu.ucsb.ccs.jcontractor.transformation.ContractTransformation
prepareMethodBody(MethodGen, int) - Method in class edu.ucsb.ccs.jcontractor.transformation.InvariantMethodTransformation: Prepare the body of a invariant method.
prepareMethodBody(MethodGen, MethodGen) - Method in class edu.ucsb.ccs.jcontractor.transformation.PostconditionMethodTransformation: Prepare the body of a postcondition method.
prepareMethodBody(MethodGen, MethodGen) - Method in class edu.ucsb.ccs.jcontractor.transformation.PreconditionMethodTransformation: Prepare the body of a precondition method.
prepareMethodBody_Precondition(MethodGen, int) - Method in class edu.ucsb.ccs.jcontractor.transformation.InvariantMethodTransformation
prepareMethodBody_Precondition(MethodGen, MethodGen) - Method in class edu.ucsb.ccs.jcontractor.transformation.PostconditionMethodTransformation
prepend(MethodGen, InstructionList) - Method in class edu.ucsb.ccs.jcontractor.transformation.ContractTransformation: Prepend an instruction list to the body of a method.
prependToConstructor(MethodGen, InstructionList) - Method in class edu.ucsb.ccs.jcontractor.transformation.ContractTransformation: Use prepend(MethodGen, InstructionList) instead.
prependToConstructor_Precondition(MethodGen, InstructionList) - Method in class edu.ucsb.ccs.jcontractor.transformation.ContractTransformation
processPostcondition(MethodGen) - Method in class edu.ucsb.ccs.jcontractor.transformation.ReplaceOldReferencesTransformation: Transform a postcondition to check old references correctly.
processPostcondition_Precondition(MethodGen) - Method in class edu.ucsb.ccs.jcontractor.transformation.ReplaceOldReferencesTransformation
putMethod(MethodGen) - Method in class edu.ucsb.ccs.jcontractor.transformation.MethodSet: Put a method into the set.
putMethod_Postcondition(MethodGen, Void) - Method in class edu.ucsb.ccs.jcontractor.transformation.MethodSet
putMethod_Precondition(MethodGen) - Method in class edu.ucsb.ccs.jcontractor.transformation.MethodSet




R

RemoveContractMethodsTransformation - class edu.ucsb.ccs.jcontractor.transformation.RemoveContractMethodsTransformation.
Transformation to remove the contract methods from a class, to
 decrease the size of the bytecode.
RemoveContractMethodsTransformation() - 
Constructor for class edu.ucsb.ccs.jcontractor.transformation.RemoveContractMethodsTransformation
 
ReplaceOldReferencesTransformation - class edu.ucsb.ccs.jcontractor.transformation.ReplaceOldReferencesTransformation.
Transformation to replace references to OLD in postconditions.
ReplaceOldReferencesTransformation() - 
Constructor for class edu.ucsb.ccs.jcontractor.transformation.ReplaceOldReferencesTransformation
 
ReplaceReturnInstructionsTransformation - class edu.ucsb.ccs.jcontractor.transformation.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.
ReplaceReturnInstructionsTransformation() - 
Constructor for class edu.ucsb.ccs.jcontractor.transformation.ReplaceReturnInstructionsTransformation
 
redirectClassReference(String) - 
Method in class edu.ucsb.ccs.jcontractor.transformation.ContractMethodTransformation
Redirect all references to a contract class class in the constant
 pool to the current class.
refersToOld(MethodGen) - 
Method in class edu.ucsb.ccs.jcontractor.transformation.ReplaceOldReferencesTransformation
Determine if a method refers to the OLD field.
refersToOld(MethodGen) - 
Method in class edu.ucsb.ccs.jcontractor.transformation.SaveOldStateTransformation
Determine if a method refers to the OLD field.
refersToOld_Precondition(MethodGen) - 
Method in class edu.ucsb.ccs.jcontractor.transformation.ReplaceOldReferencesTransformation
 
refersToOld_Precondition(MethodGen) - 
Method in class edu.ucsb.ccs.jcontractor.transformation.SaveOldStateTransformation
 
removeMethod(String, String) - 
Method in class edu.ucsb.ccs.jcontractor.transformation.MethodSet
Remove a method from the set.
removeMethod_Postcondition(String, String, Void) - 
Method in class edu.ucsb.ccs.jcontractor.transformation.MethodSet
 
removeMethod_Precondition(String, String) - 
Method in class edu.ucsb.ccs.jcontractor.transformation.MethodSet
 
replaceInstruction(InstructionList, InstructionHandle, Instruction) - 
Method in class edu.ucsb.ccs.jcontractor.transformation.ContractTransformation
Replace an instruction in an instruction list.
replaceInstruction(InstructionList, InstructionHandle, InstructionList) - 
Method in class edu.ucsb.ccs.jcontractor.transformation.ContractTransformation
Replace an instruction in an instruction list with an instruction
 list.
replaceReturnInstructions(InstructionList) - 
Method in class edu.ucsb.ccs.jcontractor.transformation.ContractTransformation
Replace all the return instructions in an InstructionList with
 code to jump to the end of the list.
replaceReturnInstructions_Precondition(InstructionList) - 
Method in class edu.ucsb.ccs.jcontractor.transformation.ContractTransformation
 



S

SHARED_INFO_RESULT_INDEX_KEY - 
Static variable in class edu.ucsb.ccs.jcontractor.transformation.ReplaceReturnInstructionsTransformation
Constant for the key with which the result index is saved in the
 shared data.
SaveOldStateTransformation - class edu.ucsb.ccs.jcontractor.transformation.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.
SaveOldStateTransformation() - 
Constructor for class edu.ucsb.ccs.jcontractor.transformation.SaveOldStateTransformation
 
saveResult(MethodGen) - 
Method in class edu.ucsb.ccs.jcontractor.transformation.ReplaceReturnInstructionsTransformation
Save the result of the method to a local variable named
 "$result", and save the index of this new variable in the shared
 info table.
saveResult_Postcondition(MethodGen, Void) - 
Method in class edu.ucsb.ccs.jcontractor.transformation.ReplaceReturnInstructionsTransformation
 
setInstructionFactory(InstructionFactory) - 
Method in class edu.ucsb.ccs.jcontractor.transformation.ClassTransformer
Set the instruction factory to be used to create bytecode for the
 current class.
setInstructionFactory_Postcondition(InstructionFactory) - 
Method in class edu.ucsb.ccs.jcontractor.transformation.ClassTransformer
 
setInstructionFactory_Precondition(InstructionFactory) - 
Method in class edu.ucsb.ccs.jcontractor.transformation.ClassTransformer
 
setInstrumentationFilter(InstrumentationFilter) - 
Method in class edu.ucsb.ccs.jcontractor.transformation.ClassTransformer
Set the instrumentation filter that determines which classes are
 instrumented and to what level.
setInstrumentationFilter_Postcondition(InstrumentationFilter) - 
Method in class edu.ucsb.ccs.jcontractor.transformation.ClassTransformer
 
setTransformer(ClassTransformer) - 
Method in class edu.ucsb.ccs.jcontractor.transformation.Transformation
Set the transformer to which the transformation belongs.
setTransformer_Postcondition(ClassTransformer, Void) - 
Method in class edu.ucsb.ccs.jcontractor.transformation.Transformation
 
setTransformer_Precondition(ClassTransformer) - 
Method in class edu.ucsb.ccs.jcontractor.transformation.Transformation
 
sharedInfo - 
Variable in class edu.ucsb.ccs.jcontractor.transformation.ClassTransformer
A hashtable of data that is shared between transformations.
size() - 
Method in class edu.ucsb.ccs.jcontractor.transformation.ClassTransformer
Get the number of transformations in the transformer.
size() - 
Method in class edu.ucsb.ccs.jcontractor.transformation.MethodSet
Get the number of methods in the set.
size_Postcondition(int) - 
Method in class edu.ucsb.ccs.jcontractor.transformation.ClassTransformer
 



T

Transformation - class edu.ucsb.ccs.jcontractor.transformation.Transformation.
Abstract description of a transformation that can be applied to a
 class.
Transformation() - 
Constructor for class edu.ucsb.ccs.jcontractor.transformation.Transformation
 
toArray() - 
Method in class edu.ucsb.ccs.jcontractor.transformation.MethodSet
Get an array representation of the methods in the set.
toArray_Postcondition(MethodGen[]) - 
Method in class edu.ucsb.ccs.jcontractor.transformation.MethodSet
 
toString() - 
Method in class edu.ucsb.ccs.jcontractor.transformation.MethodSet
Get a string representation of the method set.
transform(JavaClass) - 
Method in class edu.ucsb.ccs.jcontractor.transformation.ClassTransformer
Transform a class.
transform() - 
Method in class edu.ucsb.ccs.jcontractor.transformation.Transformation
Apply the transformation to the current class (as determined by
 getTransformer().getCurrentClass()).
transformClass() - 
Method in class edu.ucsb.ccs.jcontractor.transformation.AppendReturnTransformation
Does nothing.
transformClass() - 
Method in class edu.ucsb.ccs.jcontractor.transformation.ContractCheckTransformation
Does nothing.
transformClass() - 
Method in class edu.ucsb.ccs.jcontractor.transformation.InstrumentedFlagTransformation
Insert the flag constant into the constant pool.
transformClass() - 
Method in class edu.ucsb.ccs.jcontractor.transformation.InvariantMethodTransformation
Prepare the invariant method for the current class.
transformClass() - 
Method in class edu.ucsb.ccs.jcontractor.transformation.LoadContractClassTransformation
Load the contract class that goes with the current class into the
 Repository.
transformClass() - 
Method in class edu.ucsb.ccs.jcontractor.transformation.LockCloneTransformation
Does nothing.
transformClass() - 
Method in class edu.ucsb.ccs.jcontractor.transformation.MarkInstrumentedTransformation
Insert the flag constant into the constant pool.
transformClass() - 
Method in class edu.ucsb.ccs.jcontractor.transformation.PostconditionMethodTransformation
Does nothing.
transformClass() - 
Method in class edu.ucsb.ccs.jcontractor.transformation.PreconditionMethodTransformation
Does nothing.
transformClass() - 
Method in class edu.ucsb.ccs.jcontractor.transformation.RemoveContractMethodsTransformation
Remove the contract methods from a class.
transformClass() - 
Method in class edu.ucsb.ccs.jcontractor.transformation.ReplaceOldReferencesTransformation
Does nothing.
transformClass() - 
Method in class edu.ucsb.ccs.jcontractor.transformation.ReplaceReturnInstructionsTransformation
Does nothing.
transformClass() - 
Method in class edu.ucsb.ccs.jcontractor.transformation.SaveOldStateTransformation
Make sure that the class is valid, as regards it's OLD field.
transformClass() - 
Method in class edu.ucsb.ccs.jcontractor.transformation.Transformation
Apply the transformation to current class object.
transformClass_Precondition() - 
Method in class edu.ucsb.ccs.jcontractor.transformation.Transformation
 
transformMethod(MethodGen) - 
Method in class edu.ucsb.ccs.jcontractor.transformation.AppendReturnTransformation
Append code to load the method's return value from a local
 variable and return.
transformMethod(MethodGen) - 
Method in class edu.ucsb.ccs.jcontractor.transformation.InstrumentedFlagTransformation
Does nothing.
transformMethod(MethodGen) - 
Method in class edu.ucsb.ccs.jcontractor.transformation.InvariantCheckTransformation
Insert code to check the invariant of a method, and throw an
 InvariantViolationError if it fails.
transformMethod(MethodGen) - 
Method in class edu.ucsb.ccs.jcontractor.transformation.InvariantMethodTransformation
Does nothing.
transformMethod(MethodGen) - 
Method in class edu.ucsb.ccs.jcontractor.transformation.LoadContractClassTransformation
Does nothing.
transformMethod(MethodGen) - 
Method in class edu.ucsb.ccs.jcontractor.transformation.LockCloneTransformation
Add code to a clone() method that will suppress
 contract checks inside the method.
transformMethod(MethodGen) - 
Method in class edu.ucsb.ccs.jcontractor.transformation.MarkInstrumentedTransformation
Does nothing.
transformMethod(MethodGen) - 
Method in class edu.ucsb.ccs.jcontractor.transformation.PostconditionCheckTransformation
Insert code to check the postcondition of a method, and throw a
 PostconditionViolationError if it fails.
transformMethod(MethodGen) - 
Method in class edu.ucsb.ccs.jcontractor.transformation.PostconditionMethodTransformation
Prepare the postcondition method for a non-contract method.
transformMethod(MethodGen) - 
Method in class edu.ucsb.ccs.jcontractor.transformation.PreconditionCheckTransformation
Insert code to check the precondition of a method, and throw a
 PreconditionViolationError if it fails.
transformMethod(MethodGen) - 
Method in class edu.ucsb.ccs.jcontractor.transformation.PreconditionMethodTransformation
Prepare the precondition method for a normal method.
transformMethod(MethodGen) - 
Method in class edu.ucsb.ccs.jcontractor.transformation.RemoveContractMethodsTransformation
Does nothing.
transformMethod(MethodGen) - 
Method in class edu.ucsb.ccs.jcontractor.transformation.ReplaceOldReferencesTransformation
Replace references to OLD in a postcondition method.
transformMethod(MethodGen) - 
Method in class edu.ucsb.ccs.jcontractor.transformation.ReplaceReturnInstructionsTransformation
Replace all the return statements in the method with code a jump
 the end of the method.
transformMethod(MethodGen) - 
Method in class edu.ucsb.ccs.jcontractor.transformation.SaveOldStateTransformation
Add jContractorRuntime.pushState(clone()) at the
 beginning of the postcondition that cooresponds to
 mg.
transformMethod(MethodGen) - 
Method in class edu.ucsb.ccs.jcontractor.transformation.Transformation
Apply a transformation to a method.
transformMethod_Precondition(MethodGen) - 
Method in class edu.ucsb.ccs.jcontractor.transformation.Transformation
 
transform_Precondition(JavaClass) - 
Method in class edu.ucsb.ccs.jcontractor.transformation.ClassTransformer
 
transform_Precondition() - 
Method in class edu.ucsb.ccs.jcontractor.transformation.Transformation
 
transformer - 
Variable in class edu.ucsb.ccs.jcontractor.transformation.Transformation
The ClassTransformer that contains this transformation.
transforms - 
Variable in class edu.ucsb.ccs.jcontractor.transformation.ClassTransformer
List to store transforms.



_

_Invariant() - 
Method in class edu.ucsb.ccs.jcontractor.transformation.ClassTransformer
 
_Invariant() - 
Method in class edu.ucsb.ccs.jcontractor.transformation.MethodSet
 


A B C E F G H I L M O P R S T _ 







  
      Overview 
      Package 
      Class 
      Use 
      Deprecated 
    Index 
  









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

 PREV  NEXT