public final class VariableVersionFactory
extends java.lang.Object
Constructor and Description |
---|
VariableVersionFactory() |
Modifier and Type | Method and Description |
---|---|
static ru.ispras.fortress.expression.NodeVariable |
getVersion(ru.ispras.fortress.expression.NodeVariable var,
java.util.Deque<ru.ispras.fortress.expression.NodeVariable> deque)
Creates new version of the specified variable.
|
public static ru.ispras.fortress.expression.NodeVariable getVersion(ru.ispras.fortress.expression.NodeVariable var, java.util.Deque<ru.ispras.fortress.expression.NodeVariable> deque)
Already existing versions of the variable are stored in the specified deque.
var
- The variable that version is to be created.deque
- The existing versions storage.