gov.nasa.jpf.symbc.veritesting.ast.transformations

Class TransformationList

java.lang.Object

gov.nasa.jpf.symbc.veritesting.ast.transformations.TransformationList

All Implemented Interfaces:

Transformation

public class TransformationList
extends java.lang.Object
implements Transformation

Used to iterate over all transformations, executes them and check their invariants after transformations.

Field Summary

Fields

Modifier and Type	Field and Description
java.lang.String	name
java.util.List<Transformation>	transformations

Constructor Summary

Constructors

Constructor and Description
TransformationList(java.util.List<Transformation> transformations, java.lang.String name)

Method Summary

Modifier and Type	Method and Description
TransformationData	execute(TransformationData data)
java.lang.String	getName()

Methods inherited from class java.lang.Object

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

Field Detail

transformations

public final java.util.List<Transformation> transformations

name

public final java.lang.String name

Constructor Detail

TransformationList

public TransformationList(java.util.List<Transformation> transformations,
                          java.lang.String name)

Method Detail

execute

public TransformationData execute(TransformationData data)
                           throws StaticRegionException

Specified by:

execute in interface Transformation

Throws:

StaticRegionException

getName

public java.lang.String getName()

Specified by:

getName in interface Transformation