public class AssertionContainer extends AssertionVariableContainer
Constructor and Description |
---|
AssertionContainer(java.lang.String name)
Constructs this object with the specified name.
|
AssertionContainer(java.lang.String name,
AssertionContainer parent)
Constructs this object with the specified name and parent container.
|
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.
|
ru.ispras.fortress.expression.NodeVariable |
getClock()
Returns clock-like variable of the top-level container.
|
java.util.Map<java.lang.String,AssertionContainer> |
getContainerMap()
Returns mapping of names to nested assertion containers.
|
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.
|
void |
setClock(ru.ispras.fortress.expression.NodeVariable variable)
Sets the specified variable as a clock-like for the top-level container.
|
declareVariable, declareVariables, getDeclaredVariables, getResetVariable, hasDeclared, hasResetVariable, setResetVariable
public AssertionContainer(java.lang.String name, AssertionContainer parent)
name
- Name of this object.parent
- Parent container for this object.java.lang.IllegalArgumentException
- when name argument is null
.public AssertionContainer(java.lang.String name)
name
- Name of this object.java.lang.IllegalArgumentException
- when 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 java.util.Map<java.lang.String,AssertionContainer> getContainerMap()
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()