Uses of Class edu.ucsb.ccs.jcontractor.transformation.AbortTransformationException (jContractor API)

Overview

Package

Class

Use

Tree

Deprecated

Index

Help

PREV NEXT

FRAMES NO FRAMES

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

Packages that use AbortTransformationException
edu.ucsb.ccs.jcontractor.transformation	This package defines a fairly generic framework for transforming Java bytecode, and specific transformations for jContractor.

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

Methods in edu.ucsb.ccs.jcontractor.transformation that throw AbortTransformationException

void SaveOldStateTransformation.transformClass()
          Make sure that the class is valid, as regards it's OLD field.

void PreconditionMethodTransformation.transformMethod(org.apache.bcel.generic.MethodGen mg)
          Prepare the precondition method for a normal method.

void PostconditionMethodTransformation.transformMethod(org.apache.bcel.generic.MethodGen mg)
          Prepare the postcondition method for a non-contract method.

void LoadContractClassTransformation.transformClass()
          Load the contract class that goes with the current class into the Repository.

void InvariantMethodTransformation.transformClass()
          Prepare the invariant method for the current class.

void Transformation.transform()
          Apply the transformation to the current class (as determined by getTransformer().getCurrentClass()).

void ClassTransformer.transform(org.apache.bcel.classfile.JavaClass javaclass)
          Transform a class.