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.
|
Statement |
deepCopy()
Returns a copy of this statement and all it's sub-statements.
|
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.
|
Statement |
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(Statement statement)
Removes the specified statement from children.
|
apply, equals, getCondition, getUses, hasCondition, hashCode
isSequential
add, contains, containStatements, getDescription, getId, getParent, indexOf, isType, removeAll, removeParent, setParent
addMetaInfo, addMetaInfo, addMetaInfo, getMetaInfo, getMetaInfo, 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
- Child statement number.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()
UseDef
getDefines
in interface UseDef
getDefines
in class Statement