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

Overview

Package

Class

Use

Deprecated

Index

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

PREV NEXT

Fields in edu.ucsb.ccs.jcontractor.transformation declared as ClassTransformer

protected ClassTransformer Transformation.transformer
The ClassTransformer that contains this transformation.

Methods in edu.ucsb.ccs.jcontractor.transformation that return ClassTransformer

ClassTransformer Transformation.getTransformer()
Get the transformer to which this transformation belongs.

Methods in edu.ucsb.ccs.jcontractor.transformation with parameters of type ClassTransformer

void Transformation.setTransformer(ClassTransformer classTransformer)
          Set the transformer to which the transformation belongs.

protected boolean Transformation.setTransformer_Precondition(ClassTransformer classTransformer)


protected boolean Transformation.setTransformer_Postcondition(ClassTransformer classTransformer, java.lang.Void RESULT)


protected boolean Transformation.getTransformer_Postcondition(ClassTransformer RESULT)