public class CfgWaitStatement extends CfgStatement
Constructor and Description |
---|
CfgWaitStatement(EventList list) |
CfgWaitStatement(EventList list,
ru.ispras.fortress.expression.Node condition) |
CfgWaitStatement(ru.ispras.fortress.expression.Node node) |
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.
|
void |
apply(java.util.Map<java.lang.String,ru.ispras.fortress.expression.Node> bindings)
Applies bindings to this statement.
|
CfgStatement |
deepCopy()
Returns a copy of this statement and all it's sub-statements.
|
ru.ispras.fortress.expression.Node |
getCondition()
Returns
Node condition. |
java.util.Set<ru.ispras.fortress.expression.NodeVariable> |
getDefines()
Returns a set of defined variables.
|
java.lang.String |
getDescription(ru.ispras.fortress.expression.printer.ExprTreePrinter printer)
Returns a string description in the format of the specified printer.
|
EventList |
getEventList()
Returns event list.
|
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.
|
java.util.Set<ru.ispras.fortress.expression.NodeVariable> |
getUses()
Returns a set of used variables.
|
boolean |
hasEvents()
Checks whether this object contains an event.
|
void |
remove(CfgStatement statement)
Removes the specified statement from children.
|
void |
setCondition(ru.ispras.fortress.expression.Node condition)
Sets condition to this statement.
|
add, contains, containStatements, equals, getDescription, getId, getParent, getStatement, hashCode, hasParent, indexOf, isType, removeAll, removeParent, removeStatement, setParent
addMetaInfo, addMetaInfo, addMetaInfo, addMetaInfo, getMetaInfo, getMetaInfo, getMetaInfo, hasMetaInfo, hasMetaInfo, removeMetaInfo
public CfgWaitStatement(EventList list, ru.ispras.fortress.expression.Node condition)
public CfgWaitStatement(EventList list)
public CfgWaitStatement(ru.ispras.fortress.expression.Node node)
public CfgStatementType getType()
CfgStatement
getType
in class CfgStatement
public CfgStatement deepCopy()
CfgStatement
deepCopy
in class CfgStatement
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.public java.lang.String getDescription(ru.ispras.fortress.expression.printer.ExprTreePrinter printer)
Identifiable
getDescription
in interface Identifiable
printer
- Printer that provides an output string format.public java.util.Set<ru.ispras.fortress.expression.NodeVariable> getDefines()
UseDef
getDefines
in interface UseDef
getDefines
in class CfgStatement
public ru.ispras.fortress.expression.Node getCondition()
Node
condition.public void setCondition(ru.ispras.fortress.expression.Node condition)
condition
- condition nodejava.lang.IllegalArgumentException
- when argument is null
.public EventList getEventList()
public boolean hasEvents()
true
when this object containt an event,
false
otherwisepublic java.util.Set<ru.ispras.fortress.expression.NodeVariable> getUses()
UseDef
getUses
in interface UseDef
getUses
in class CfgStatement
public void apply(java.util.Map<java.lang.String,ru.ispras.fortress.expression.Node> bindings)
CfgStatement
apply
in interface Instantiated
apply
in class CfgStatement
bindings
- Pairs of variable names and bounded expressions.