public final class Versions
extends java.lang.Object
Constructor and Description |
---|
Versions(ru.ispras.fortress.expression.NodeVariable variable,
java.util.Collection<ru.ispras.fortress.expression.NodeVariable> vars)
Constructs a new container using the specified original variable and version variables.
|
Modifier and Type | Method and Description |
---|---|
void |
addVersion(ru.ispras.fortress.expression.NodeVariable versionVar)
Adds a version variable to the container.
|
void |
addVersions(java.util.Collection<ru.ispras.fortress.expression.NodeVariable> vars)
Adds a collection of version variables to the container.
|
ru.ispras.fortress.expression.NodeVariable |
getOriginalVariable()
Returns the original variable this container associated to.
|
int |
getSize()
Returns the size of the array of values.
|
java.util.List<ru.ispras.fortress.expression.Node> |
getValues(ru.ispras.fortress.expression.NodeVariable variable)
Returns the current values of the specifed variable.
|
java.util.Collection<ru.ispras.fortress.expression.NodeVariable> |
getVersions()
Returns the versions of the original variable.
|
void |
initValues()
Fills the values of the variables.
|
void |
updateValue(ru.ispras.fortress.expression.NodeVariable variable,
int index,
ru.ispras.fortress.expression.Node value)
Updates the value of the specified variable.
|
public Versions(ru.ispras.fortress.expression.NodeVariable variable, java.util.Collection<ru.ispras.fortress.expression.NodeVariable> vars)
variable
- - the specified original variable.vars
- - the specified version variables.public void addVersion(ru.ispras.fortress.expression.NodeVariable versionVar)
versionVar
- - the specified version var.public void addVersions(java.util.Collection<ru.ispras.fortress.expression.NodeVariable> vars)
vars
- - the specified collection of version variables.public ru.ispras.fortress.expression.NodeVariable getOriginalVariable()
NodeVariable
.public java.util.List<ru.ispras.fortress.expression.Node> getValues(ru.ispras.fortress.expression.NodeVariable variable)
variable
- - the specified variable.null
if the specified variable does not belong to this container, a list of
current values otherwise.public void updateValue(ru.ispras.fortress.expression.NodeVariable variable, int index, ru.ispras.fortress.expression.Node value)
variable
- - the specified variable.index
- - the specified index of the value.value
- - the specified value.public void initValues()
i
th value of variable x
is assigned by x[i]
).public int getSize()
public java.util.Collection<ru.ispras.fortress.expression.NodeVariable> getVersions()