public class AssertionContainer extends AssertionVariableContainer
Constructor and Description |
---|
AssertionContainer(DecStatement decStatement,
java.lang.String name,
AssertionContainer parent)
Constructs the object with the specified parameters.
|
Modifier and Type | Method and Description |
---|---|
void |
addContainer(AssertionContainer container)
Adds the specified assertion container object.
|
void |
addGroup(AssertionGroup group)
Adds the specified assertion group object.
|
boolean |
equals(java.lang.Object obj) |
ru.ispras.fortress.expression.NodeVariable |
getClock()
Returns clock-like variable of the top-level container.
|
java.util.Map<java.lang.String,AssertionGroup> |
getGroupMap()
Returns mapping of names to nested assertion groups.
|
java.lang.String |
getName()
Returns name of this object.
|
AssertionContainer |
getParent()
Returns parent container.
|
int |
hashCode() |
void |
setClock(ru.ispras.fortress.expression.NodeVariable variable)
Sets the specified variable as a clock-like for the top-level container.
|
declareVariables, setResetVariable
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 AssertionContainer(DecStatement decStatement, java.lang.String name, AssertionContainer parent)
decStatement
- The statement which variable declarations are to be copied.name
- Name of this object.parent
- Parent container for this object.java.lang.IllegalArgumentException
- when name argument is null
.public java.lang.String getName()
public AssertionContainer getParent()
public ru.ispras.fortress.expression.NodeVariable getClock()
public void setClock(ru.ispras.fortress.expression.NodeVariable variable)
variable
- Clock-like variable to be set for this object.java.lang.IllegalArgumentException
- when argument is null
.RetrascopeRuntimeException
- when this is not top-level container.RetrascopeRuntimeException
- when this container already has it's clock.public void addContainer(AssertionContainer container)
container
- Assertion container to be added to this object.java.lang.IllegalArgumentException
- when argument is null
.public void addGroup(AssertionGroup group)
group
- Assertion group to be added.java.lang.IllegalArgumentException
- when argument is null
.public java.util.Map<java.lang.String,AssertionGroup> getGroupMap()
public boolean equals(java.lang.Object obj)
equals
in class AssertionVariableContainer
public int hashCode()
hashCode
in class AssertionVariableContainer