public abstract class AssertionVariableContainer
extends java.lang.Object
A simplified version of AssertionVariableContainer class.
Constructor and Description |
---|
AssertionVariableContainer() |
Modifier and Type | Method and Description |
---|---|
void |
declareVariable(ru.ispras.fortress.expression.NodeVariable variable)
Adds the specified variable to the internal collection of declared variables.
|
void |
declareVariables(java.util.Collection<ru.ispras.fortress.expression.NodeVariable> variables)
Add all the variables of the specified collection to internal declared variables.
|
java.util.Set<ru.ispras.fortress.expression.NodeVariable> |
getDeclaredVariables()
Returns a collection of declared variables.
|
ru.ispras.fortress.expression.NodeVariable |
getResetVariable()
Returns reset-like variable for this object.
|
boolean |
hasDeclared(ru.ispras.fortress.expression.NodeVariable variable)
Checks whether this object contains the specified variable as declared.
|
boolean |
hasResetVariable()
Checks whether this object declares reset-like variable.
|
void |
setResetVariable(ru.ispras.fortress.expression.NodeVariable variable)
Sets the specified variable as reset-like one.
|
public boolean hasDeclared(ru.ispras.fortress.expression.NodeVariable variable)
variable
- Variable that is checked if declared at this object.true
if this object contains the specified variable as declared,
false
otherwise.public void declareVariables(java.util.Collection<ru.ispras.fortress.expression.NodeVariable> variables)
variables
- Variables to be declared.java.lang.IllegalArgumentException
- when argument is null
.public void declareVariable(ru.ispras.fortress.expression.NodeVariable variable)
variable
- Variable to be declared.java.lang.IllegalArgumentException
- when argument is null
.public java.util.Set<ru.ispras.fortress.expression.NodeVariable> getDeclaredVariables()
public boolean hasResetVariable()
true
if this object declares reset-like variable, false
otherwise.public ru.ispras.fortress.expression.NodeVariable getResetVariable()
public void setResetVariable(ru.ispras.fortress.expression.NodeVariable variable)
Note that the specified variable should be declared at this object before set as reset-like one.
variable
- reset-like variable.java.lang.IllegalArgumentException
- when argument is null
.RetrascopeRuntimeException
- when the specified variable has not been already
declared at this object.