edu.ucsb.ccs.jcontractor.transformation
Class ContractMethodTransformation

java.lang.Object
  |
  +--edu.ucsb.ccs.jcontractor.transformation.Transformation
        |
        +--edu.ucsb.ccs.jcontractor.transformation.ContractTransformation
              |
              +--edu.ucsb.ccs.jcontractor.transformation.ContractMethodTransformation

Direct Known Subclasses:

InvariantMethodTransformation, PostconditionMethodTransformation, PreconditionMethodTransformation

public abstract class ContractMethodTransformation

extends ContractTransformation

Superclass for transformations that modify contract methods. Contract methods need to be modified to check superclass contracts, external contracts, and contracts inherited from interfaces. This class provides methods to check these contracts, and to combine contract checks by and-ing or or-ing them together.

This transformation depends on:

• LoadContractClassTransformation

Version:

$Id: ContractMethodTransformation.java,v 1.12 2002/07/14 07:44:37 parkera Exp $

Author:

Parker Abercrombie

Constructor Summary

ContractMethodTransformation()

Method Summary

boolean

acceptClass() Determine if a class should be transformed.

Methods inherited from class edu.ucsb.ccs.jcontractor.transformation.ContractTransformation

canCheckEntryInvariant, canCheckExitInvariant, canCheckPostcondition, canCheckPrecondition, canHaveInvariant, canHavePostcondition, canHavePrecondition, canReferenceOld, contractsCheckable, getContractClassName, getContractClassName, getInvariantMethodName, getInvariantMethodSignature, getPostconditionMethodName, getPostconditionMethodSignature, getPreconditionMethodName, getPreconditionMethodSignature, isContractClass, isContractMethod, isInvariantMethod, isPostconditionMethod, isPreconditionMethod

Methods inherited from class edu.ucsb.ccs.jcontractor.transformation.Transformation

getTransformer, setTransformer, transform

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ContractMethodTransformation

public ContractMethodTransformation()

Method Detail

acceptClass

public boolean acceptClass()

Determine if a class should be transformed. All classes in which contracts are checkable should be transformed.

Overrides:

acceptClass in class Transformation

Returns:

true if contracts are checkable in javaclass.