public 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(CfgStatement statement)
Adds the specified statement as child to this object.
|
void |
addAll(java.util.List<CfgStatement> list)
Adds all the statements from the specified list as children.
|
CfgStatement |
deepCopy()
Returns a copy of this statement and all it's sub-statements.
|
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.
|
CfgStatement |
getStatement(int num)
Returns a child statement of the specified number.
|
int |
getStatementNum()
Returns a number of child statements.
|
CfgStatementType |
getType()
Returns statement type.
|
void |
remove(CfgStatement statement)
Removes the specified statement from children.
|
add, apply, contains, containStatements, equals, getDefines, getDescription, getId, getParent, getStatement, getUses, hashCode, hasParent, indexOf, isType, removeAll, removeParent, removeStatement, setParent
addMetaInfo, addMetaInfo, addMetaInfo, addMetaInfo, getMetaInfo, getMetaInfo, getMetaInfo, hasMetaInfo, hasMetaInfo, removeMetaInfo
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 CfgStatementType getType()
CfgStatement
getType
in class CfgStatement
public CfgStatement deepCopy()
CfgStatement
deepCopy
in class CfgStatement
public java.lang.String getDescription(ru.ispras.fortress.expression.printer.ExprTreePrinter printer)
Identifiable
printer
- Printer that provides an output string format.public int getStatementNum()
CfgStatement
getStatementNum
in class CfgStatement
public CfgStatement getStatement(int num)
CfgStatement
getStatement
in class CfgStatement
num
- Child statement number.null
if there is no such.public void add(CfgStatement statement)
CfgStatement
statement
- Statement to be added.public void remove(CfgStatement statement)
CfgStatement
statement
- Statement to be removed from child statements.public void addAll(java.util.List<CfgStatement> list)
CfgStatement
list
- Children statements to be added.