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

Class UniqueRegion

java.lang.Object

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

public class UniqueRegion
extends java.lang.Object

Unique region creator, of both conditional regions and method regions.

Constructor Summary

Constructors

Constructor and Description
UniqueRegion()

Method Summary

Modifier and Type	Method and Description
static DynamicRegion	execute(DynamicRegion oldDynRegion)
static DynamicRegion	execute(StaticRegion staticRegion) Used to create a unique conditional region.

Methods inherited from class java.lang.Object

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

Constructor Detail

UniqueRegion

public UniqueRegion()

Method Detail

execute

public static DynamicRegion execute(StaticRegion staticRegion)
                             throws java.lang.CloneNotSupportedException,
                                    StaticRegionException

Used to create a unique conditional region.

Parameters:

staticRegion - Dynamic region that needs to be unique.

Returns:

A new static region that is unique.

Throws:

java.lang.CloneNotSupportedException

StaticRegionException

execute

public static DynamicRegion execute(DynamicRegion oldDynRegion)
                             throws StaticRegionException,
                                    java.lang.CloneNotSupportedException

Throws:

StaticRegionException

java.lang.CloneNotSupportedException