public abstract class CfgConditionStatement extends CfgStatement
Modifier and Type | Method and Description |
---|---|
void |
apply(java.util.Map<java.lang.String,ru.ispras.fortress.expression.Node> bindings)
Applies bindings to this statement.
|
boolean |
equals(java.lang.Object object) |
ru.ispras.fortress.expression.Node |
getCondition()
Returns
Node condition. |
java.lang.String |
getDescription(ru.ispras.fortress.expression.printer.ExprTreePrinter printer)
Returns a string description in the format of the specified printer.
|
static CfgConditionStatement |
getSuperStatement(Statement statement,
ru.ispras.fortress.expression.Node condition)
Returns super-statement (sub-...parent) for the specified one with the specified fields.
|
java.util.Set<ru.ispras.fortress.expression.NodeVariable> |
getUses() |
boolean |
hasCondition()
Checks whether statement contains non-
null condition. |
int |
hashCode() |
isSequential
add, add, addAll, contains, containStatements, deepCopy, getDefines, getDescription, getId, getParent, getStatement, getStatementNum, getType, indexOf, isType, remove, removeAll, removeParent, setParent
addMetaInfo, addMetaInfo, addMetaInfo, addMetaInfo, getAllMetaInfo, getMetaInfo, getMetaInfo, getStringMetaInfo, getStringMetaInfo, hasMetaInfo, hasMetaInfo
public boolean hasCondition()
null
condition.false
when condition is null
, true
otherwise.public ru.ispras.fortress.expression.Node getCondition()
Node
condition.public java.lang.String getDescription(ru.ispras.fortress.expression.printer.ExprTreePrinter printer)
Identifiable
printer
- Printer that provides an output string format.public java.util.Set<ru.ispras.fortress.expression.NodeVariable> getUses()
public void apply(java.util.Map<java.lang.String,ru.ispras.fortress.expression.Node> bindings)
Statement
public static CfgConditionStatement getSuperStatement(Statement statement, ru.ispras.fortress.expression.Node condition)
statement
- The statement which parent is to be found.condition
- The condition field for the statement to be found.null
otherwise.