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

Overview

Package

Class

Use

Tree

Deprecated

Index

Help

PREV NEXT

FRAMES NO FRAMES

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

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

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

class InvariantCheckTransformation
          A transformation to insert code to check the invariant of each method by calling _Invariant.

class PostconditionCheckTransformation
          A transformation to insert code to check the postcondition of each method by calling method_Postcondition.

class PreconditionCheckTransformation
          A transformation to insert code to check the precondition of each method by calling method_Precondition.