public class Wait extends CfgNode
EventList
sensitivity list
and a Node
"until" condition.
While entering in this node to model simulator should stop the execution until at least
one event from the sensitivity list. When the sensitivity list is empty or
at least one event appears, the "until" condition should be checked rather it is true
.childNode, parentNode
Constructor and Description |
---|
Wait(EventList list)
|
Wait(EventList list,
ru.ispras.fortress.expression.Node node)
|
Wait(ru.ispras.fortress.expression.Node node)
Constructs node object with the specified
Node condition. |
Modifier and Type | Method and Description |
---|---|
CfgModelNode |
deepcopy()
Returns a copy of this node.
|
ru.ispras.fortress.expression.Node |
getCondition()
Returns the
Node condition. |
java.lang.String |
getDescription(ru.ispras.fortress.expression.printer.ExprTreePrinter printer)
Returns node string description in the format of the specified printer.
|
EventList |
getEventList()
Returns the
EventList sensitivity list. |
CfgModelNode |
getOnlyChild()
Returns the only child node.
|
CfgModelNode |
getOnlyParent()
Returns the only parent node.
|
CfgNodeType |
getType()
Returns node type.
|
boolean |
isConditioned()
Checks rather object contains condition,
|
addChild, addParent, getChildren, getDefines, getParents, getUses, hasChildren, hasParents, removeChild, removeParent
getId
addMetaInfo, addMetaInfo, addMetaInfo, addMetaInfo, getMetaInfo, getMetaInfo, getMetaInfo, hasMetaInfo, hasMetaInfo, removeMetaInfo, removeMetaInfo
public Wait(EventList list, ru.ispras.fortress.expression.Node node)
EventList
that is non-empty collection of Event
events
and the specified Node
condition.list
- event listnode
- conditionjava.lang.NullPointerException
- when EventList
argument is null
.java.lang.IllegalArgumentException
- when EventList
is empty.java.lang.IllegalArgumentException
- when condition data type
is not equal to ru.ispras.fortress.data.DataTypeId.BOOLEAN
.public Wait(EventList list)
public Wait(ru.ispras.fortress.expression.Node node)
Node
condition.node
- conditionjava.lang.IllegalArgumentException
- when condition data type
is not equal to ru.ispras.fortress.data.DataTypeId.BOOLEAN
.public EventList getEventList()
EventList
sensitivity list.public boolean isConditioned()
true
when this object contains not-null
condition,
false
otherwise.public ru.ispras.fortress.expression.Node getCondition()
Node
condition.public CfgModelNode deepcopy()
CfgModelNode
deepcopy
in class CfgModelNode
public CfgNodeType getType()
CfgModelNode
CfgNodeType.NODE
type.getType
in class CfgModelNode
public CfgModelNode getOnlyParent()
CfgModelNode
getOnlyParent
in class CfgModelNode
public CfgModelNode getOnlyChild()
CfgModelNode
getOnlyChild
in class CfgModelNode
public java.lang.String getDescription(ru.ispras.fortress.expression.printer.ExprTreePrinter printer)
CfgModelNode
getDescription
in class CfgNode
printer
- printer