public final class CfgAssertStatement extends CfgStatement
Modifier and Type | Class and Description |
---|---|
static class |
CfgAssertStatement.Severity
Assertion statement severity levels.
|
Constructor and Description |
---|
CfgAssertStatement(ru.ispras.fortress.expression.Node condition,
CfgAssertStatement.Severity severityLevel,
java.lang.String report)
Constructs assertion statement with the specified parameters.
|
Modifier and Type | Method and Description |
---|---|
void |
add(Statement statement)
Adds the specified statement as child to this object.
|
void |
addAll(java.util.Collection<Statement> list)
Adds all the statements from the specified list as children.
|
void |
apply(java.util.Map<java.lang.String,ru.ispras.fortress.expression.Node> bindings)
Applies bindings to this statement.
|
Statement |
deepCopy()
Returns a copy of this statement and all it's sub-statements.
|
boolean |
equals(java.lang.Object object) |
ru.ispras.fortress.expression.Node |
getCondition()
Returns condition.
|
java.lang.String |
getDescription(ru.ispras.fortress.expression.printer.ExprTreePrinter printer)
Returns a string description in the format of the specified printer.
|
java.lang.String |
getReport()
Returns error report.
|
CfgAssertStatement.Severity |
getSeverity()
Returns severity level.
|
Statement |
getStatement(int num)
Returns a child statement of the specified index.
|
int |
getStatementNum()
Returns the number of child statements.
|
java.lang.Enum<?> |
getType()
Returns the statement type.
|
int |
hashCode() |
void |
remove(Statement statement)
Removes the specified statement from children.
|
isSequential
add, contains, containStatements, getDefines, getDescription, getId, getParent, getUses, indexOf, isType, removeAll, removeParent, setParent
addMetaInfo, addMetaInfo, addMetaInfo, addMetaInfo, getAllMetaInfo, getMetaInfo, getMetaInfo, getStringMetaInfo, getStringMetaInfo, hasMetaInfo, hasMetaInfo
public CfgAssertStatement(ru.ispras.fortress.expression.Node condition, CfgAssertStatement.Severity severityLevel, java.lang.String report)
condition
- conditionseverityLevel
- severity levelreport
- error reportjava.lang.IllegalArgumentException
- when condition argument is null
.public CfgAssertStatement.Severity getSeverity()
public ru.ispras.fortress.expression.Node getCondition()
public java.lang.String getReport()
public java.lang.Enum<?> getType()
Statement
public Statement deepCopy()
Statement
public java.lang.String getDescription(ru.ispras.fortress.expression.printer.ExprTreePrinter printer)
Identifiable
printer
- Printer that provides an output string format.public void apply(java.util.Map<java.lang.String,ru.ispras.fortress.expression.Node> bindings)
Statement
public int getStatementNum()
getStatementNum
in class Statement
public Statement getStatement(int num)
Statement
getStatement
in class Statement
num
- The index of child statement.null
if there is no such.public void add(Statement statement)
Statement
public void remove(Statement statement)
Statement