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.
|
java.util.Set<ru.ispras.fortress.expression.NodeVariable> |
getUses()
Returns a set of used variables.
|
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, getMetaInfo, getMetaInfo, 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()
UseDef
public void apply(java.util.Map<java.lang.String,ru.ispras.fortress.expression.Node> bindings)
Statement