public final class PhasedDescriptor
extends java.lang.Object
Constructor and Description |
---|
PhasedDescriptor()
Constructs a descriptor for a guard.
|
PhasedDescriptor(ru.ispras.fortress.expression.NodeVariable original,
java.util.List<java.lang.Integer> previousPhases)
Constructs a descriptor for a variable.
|
Modifier and Type | Method and Description |
---|---|
ru.ispras.fortress.expression.NodeVariable |
getOriginal()
Returns the original variable.
|
java.util.List<java.lang.Integer> |
getPreviousPhases()
Returns the list of previous phases.
|
boolean |
isGuard()
Indicates that a descriptor belongs to a guard.
|
public PhasedDescriptor(ru.ispras.fortress.expression.NodeVariable original, java.util.List<java.lang.Integer> previousPhases)
original
- - the original variable.previousPhases
- - the list of previous phases.public PhasedDescriptor()
public boolean isGuard()
true
if a descriptor belongs to a guard, false
otherwise.public java.util.List<java.lang.Integer> getPreviousPhases()
public ru.ispras.fortress.expression.NodeVariable getOriginal()