public class AssertionVariableContainer extends DeclarationContainer
A simplified version of AssertionVariableContainer class.
Modifier and Type | Method and Description |
---|---|
void |
declareVariables(java.util.Collection<ru.ispras.fortress.expression.NodeVariable> variables)
Add all the variables of the specified collection to internal declared variables.
|
boolean |
equals(java.lang.Object obj) |
int |
hashCode() |
void |
setResetVariable(ru.ispras.fortress.expression.NodeVariable variable)
Sets the specified variable as reset-like one.
|
containsInput, containsOutput, containsRegister, containsVariable, containsVariable, declareVariable, declareVariable, declareVariable, declareVariable, declareVariables, getDataType, getDeclaration, getDeclarationMap, getDeclarations, getInitialValue, getInputNames, getInputs, getInvariant, getOutputNames, getOutputs, getRegisterNames, getVariable, getVariableNames, getVariableNum, getVariables, removeDeclaration
addMetaInfo, addMetaInfo, addMetaInfo, getMetaInfo, getMetaInfo, hasMetaInfo, hasMetaInfo
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 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.public boolean equals(java.lang.Object obj)
equals
in class DeclarationContainer
public int hashCode()
hashCode
in class DeclarationContainer