public final class CfgWaitStatement extends CfgConditionStatement
Constructor and Description |
---|
CfgWaitStatement(EventList list)
Constructs the statement with the specified events.
|
CfgWaitStatement(EventList list,
ru.ispras.fortress.expression.Node condition)
Constructs the statement with the specified events and condition fields.
|
CfgWaitStatement(ru.ispras.fortress.expression.Node node)
Constructs the statement with the specified condition field.
|
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.
|
java.util.Set<ru.ispras.fortress.expression.NodeVariable> |
getDefines() |
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.
|
Statement |
getStatement(int num)
Returns a child statement of the specified index.
|
int |
getStatementNum()
Returns a number of child statements.
|
CfgStatementType |
getType()
Returns the statement type.
|
void |
remove(Statement statement)
Removes the specified statement from children.
|
equals, getCondition, getSuperStatement, getUses, hasCondition, hashCode
isSequential
add, contains, containStatements, getDescription, getId, getParent, indexOf, isType, removeAll, removeParent, setParent
addMetaInfo, addMetaInfo, addMetaInfo, addMetaInfo, getAllMetaInfo, getMetaInfo, getMetaInfo, getStringMetaInfo, getStringMetaInfo, hasMetaInfo, hasMetaInfo
public CfgWaitStatement(EventList list, ru.ispras.fortress.expression.Node condition)
list
- The events container.condition
- The statement condition.public CfgWaitStatement(EventList list)
list
- The events container.public CfgWaitStatement(ru.ispras.fortress.expression.Node node)
node
- The statement condition,public EventList getEventList()
public CfgStatementType getType()
Statement
public Statement deepCopy()
Statement
public int getStatementNum()
Statement
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
public void addAll(java.util.Collection<Statement> list)
Statement
public java.lang.String getDescription(ru.ispras.fortress.expression.printer.ExprTreePrinter printer)
Identifiable
getDescription
in interface Identifiable
getDescription
in class CfgConditionStatement
printer
- Printer that provides an output string format.public java.util.Set<ru.ispras.fortress.expression.NodeVariable> getDefines()
getDefines
in interface ru.ispras.castle.ast.UseDef
getDefines
in class Statement
public void apply(java.util.Map<java.lang.String,ru.ispras.fortress.expression.Node> bindings)
Statement
apply
in class CfgConditionStatement
bindings
- Pairs of variable names and bounded expressions.