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

Overview

Package

Class

Use

Tree

Deprecated

Index

Help

PREV NEXT

FRAMES NO FRAMES

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

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

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

class InvariantMethodTransformation
          A transformation to prepare invariant methods.

class PostconditionMethodTransformation
          A transformation to prepare postcondition methods.

class PreconditionMethodTransformation
          A transformation to prepare precondition methods.