public class HlddEdge extends HlddNode
HlddNode.NodeType
Constructor and Description |
---|
HlddEdge()
Constructs a new edge node.
|
HlddEdge(HlddNode parent)
Constructs a new edge node.
|
Modifier and Type | Method and Description |
---|---|
void |
addChild(HlddNode child)
Adds the specified
HlddNode to the children nodes. |
void |
addExpressions(java.util.Collection<? extends ru.ispras.fortress.expression.Node> expressions)
Adds expressions to the edge.
|
HlddNode |
deepCopy()
Makes a deep copy of the node.
|
boolean |
equals(java.lang.Object obj) |
HlddNode |
getChild()
Returns the child node.
|
java.util.Collection<HlddNode> |
getChildren()
Returns the children nodes.
|
ru.ispras.fortress.expression.Node |
getConditionEquation()
Returns this edge's branch equation using parent condition node.
|
EventList |
getEventList() |
java.util.Collection<ru.ispras.fortress.expression.Node> |
getExpressions()
Returns the edge expressions.
|
int |
hashCode() |
boolean |
isDefault()
Shows whether the node is a default node.
|
boolean |
isNonTerminal()
Indicates whether the node is non-terminal.
|
void |
removeChild(HlddNode child)
Removes the specified
HlddNode from the children nodes. |
void |
setDefault()
Sets the node as a default node.
|
void |
setEventList(EventList eventList) |
java.lang.String |
toString() |
getLevel, getParent, getType, isCondition, isEdge, isTerminal, setLevel, setParent
public HlddEdge(HlddNode parent)
parent
- - the specified parent.public HlddEdge()
public java.util.Collection<ru.ispras.fortress.expression.Node> getExpressions()
public void addExpressions(java.util.Collection<? extends ru.ispras.fortress.expression.Node> expressions)
expressions
- - the specified expressions.public HlddNode deepCopy()
HlddNode
public HlddNode getChild()
public void addChild(HlddNode child)
HlddNode
to the children nodes.child
- - the specified child node.public boolean isNonTerminal()
HlddNode
isNonTerminal
in class HlddNode
true
if the node is non-terminal, false
otherwise.public void setDefault()
public boolean isDefault()
true
if the node is a default node, false
otherwise.public ru.ispras.fortress.expression.Node getConditionEquation()
public java.util.Collection<HlddNode> getChildren()
public void removeChild(HlddNode child)
HlddNode
from the children nodes.child
- - the specified child node.public EventList getEventList()
public void setEventList(EventList eventList)