RegionBoundaryOutput

java.lang.Object
- gov.nasa.jpf.symbc.veritesting.ast.transformations.Environment.RegionBoundaryOutput

public class RegionBoundaryOutput
extends java.lang.Object

Fields
Modifier and Type	Field and Description
`private java.util.ArrayList<java.lang.Integer>`	`allDefs`
`private ExprBoundaryVisitor`	`exprVisitor`

Constructors
Constructor and Description
`RegionBoundaryOutput(java.util.ArrayList<java.lang.Integer> allDefs, ExprBoundaryVisitor exprBoundaryVisitor)`

All Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`java.util.ArrayList<java.lang.Integer>`	`getAllDefs()`
`java.util.HashSet<java.lang.Integer>`	`getAllUses()`
`java.lang.Integer`	`getFirstDef()`
`java.lang.Integer`	`getFirstUse()`
`java.lang.Integer`	`getLastDef()`
`java.lang.Integer`	`getLastUse()`

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

private final java.util.ArrayList<java.lang.Integer> allDefs

private final ExprBoundaryVisitor exprVisitor

RegionBoundaryOutput(java.util.ArrayList<java.lang.Integer> allDefs,
                     ExprBoundaryVisitor exprBoundaryVisitor)

public java.lang.Integer getFirstDef()

public java.lang.Integer getFirstUse()

public java.util.ArrayList<java.lang.Integer> getAllDefs()

public java.util.HashSet<java.lang.Integer> getAllUses()

Class RegionBoundaryOutput