jif.types

Class JifSubst_c.ConstraintXform

java.lang.Object

jif.types.JifSubst_c.ConstraintXform

All Implemented Interfaces:

polyglot.util.Transformation<Assertion,Assertion>

Enclosing class:

JifSubst_c

public class JifSubst_c.ConstraintXform
extends java.lang.Object
implements polyglot.util.Transformation<Assertion,Assertion>

Field Summary

Fields inherited from interface polyglot.util.Transformation

NOTHING

Constructor Summary

Constructors

Constructor and Description
ConstraintXform()

Method Summary

Modifier and Type	Method and Description
Assertion	transform(Assertion a)

Methods inherited from class java.lang.Object

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

Constructor Detail

ConstraintXform

public ConstraintXform()

Method Detail

transform

public Assertion transform(Assertion a)

Specified by:

transform in interface polyglot.util.Transformation<Assertion,Assertion>