public final class Version
extends java.lang.Object
Constructor and Description |
---|
Version(ru.ispras.fortress.expression.NodeVariable versionVar,
ru.ispras.fortress.expression.NodeVariable originalVar,
int num,
int size)
Constructs a new Version of the specified variable.
|
Modifier and Type | Method and Description |
---|---|
ru.ispras.fortress.expression.NodeVariable |
getOriginal()
Returns the corresponding original variable.
|
ru.ispras.fortress.expression.Node[] |
getValues()
Return the current values of the Version.
|
ru.ispras.fortress.expression.NodeVariable |
getVariable()
Returns the corresponding version variable.
|
int |
getVersionNumber()
Returns the version number.
|
boolean |
isOriginal()
Indicates that this Version represents the original variable.
|
public Version(ru.ispras.fortress.expression.NodeVariable versionVar, ru.ispras.fortress.expression.NodeVariable originalVar, int num, int size)
versionVar
- - the specified version variable.originalVar
- - the specified original variable.num
- - the specified version number.size
- - the specified quantity of values (e.g. array size)public boolean isOriginal()
true
if this Version represents the original variable, false
if
this Version represents some version of the original variable.public ru.ispras.fortress.expression.NodeVariable getVariable()
NodeVariable
.public ru.ispras.fortress.expression.NodeVariable getOriginal()
NodeVariable
.public ru.ispras.fortress.expression.Node[] getValues()
public int getVersionNumber()
0
indicates the original variable.