public class AssertionGroup extends AssertionVariableContainer
Constructor and Description |
---|
AssertionGroup(java.lang.String name,
AssertionContainer parent)
Constructs object with the specified name and parent container.
|
Modifier and Type | Method and Description |
---|---|
void |
addAssertion(ru.ispras.fortress.expression.Node assertion)
Adds the specified expression that uses variables
that are already declared at the parent container.
|
java.util.List<ru.ispras.fortress.expression.Node> |
getAssertions()
Returns a collection of assertions.
|
java.lang.String |
getName()
Returns object's name.
|
AssertionContainer |
getParent()
Returns parent container.
|
declareVariable, declareVariables, getDeclaredVariables, getResetVariable, hasDeclared, hasResetVariable, setResetVariable
public AssertionGroup(java.lang.String name, AssertionContainer parent)
name
- Name of this object.parent
- Parent container for this object.java.lang.IllegalArgumentException
- when any of the arguments is null
.public java.lang.String getName()
public AssertionContainer getParent()
public void addAssertion(ru.ispras.fortress.expression.Node assertion)
assertion
- Assertion to be added to this object.java.lang.IllegalArgumentException
- when argument is null
.RetrascopeRuntimeException
- when the specified expression
contains at least one variable that is undeclared
at the parent container.public java.util.List<ru.ispras.fortress.expression.Node> getAssertions()