|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objecttip.node.Node
tip.node.PStm
tip.node.AIfThenElseStm
public final class AIfThenElseStm
AIfThenElseStm
represents the if_then_else
alternative of the stm
production in the AST.
Constructor Summary | |
---|---|
AIfThenElseStm()
Creates a new AIfThenElseStm node with no children. |
|
AIfThenElseStm(TLPar _token_,
PExp _condition_,
PStm _then_body_,
PStm _else_body_)
Creates a new AIfThenElseStm node with the given nodes as children. |
Method Summary | ||
---|---|---|
void |
apply(Analysis caller)
Calls the Analysis.caseAIfThenElseStm(AIfThenElseStm) of the Analysis caller . |
|
|
apply(Answer<A> caller)
Returns the answer for caller by applying this AIfThenElseStm
node to the Answer visitor. |
|
|
apply(Question<Q> caller,
Q question)
Applies this AIfThenElseStm node to the Question visitor caller . |
|
|
apply(QuestionAnswer<Q,A> caller,
Q question)
Returns the answer for caller by applying this AIfThenElseStm node with the
question to the QuestionAnswer visitor. |
|
void |
checkOptionalInvariant()
|
|
AIfThenElseStm |
clone()
Returns a deep clone of this AIfThenElseStm node. |
|
AIfThenElseStm |
clone(Map<Node,Node> oldToNewMap)
Creates a deep clone of this AIfThenElseStm node while putting all
old node-new node relations in the map oldToNewMap . |
|
|
getChildren(Collection<T> collection,
NodeFilter<T> filter)
Adds all children of this AIfThenElseStm node that are
accepted by the NodeFilter filter to collection . |
|
PExp |
getCondition()
Returns the PExp node which is the condition child of this AIfThenElseStm node. |
|
|
getDescendants(Collection<T> collection,
NodeFilter<T> filter)
Adds all descendants of this AIfThenElseStm node (including the node itself) that are
accepted by the NodeFilter filter to collection . |
|
PStm |
getElseBody()
Returns the PStm node which is the else_body child of this AIfThenElseStm node. |
|
PStm |
getThenBody()
Returns the PStm node which is the then_body child of this AIfThenElseStm node. |
|
TLPar |
getToken()
Returns the TLPar node which is the token child of this AIfThenElseStm node. |
|
EStm |
kindPStm()
Returns the EStm corresponding to the
type of this PStm node. |
|
void |
setCondition(PExp value)
Sets the condition child of this AIfThenElseStm node. |
|
void |
setElseBody(PStm value)
Sets the else_body child of this AIfThenElseStm node. |
|
void |
setThenBody(PStm value)
Sets the then_body child of this AIfThenElseStm node. |
|
void |
setToken(TLPar value)
Sets the token child of this AIfThenElseStm node. |
|
String |
toString()
Returns a textual representation of this AIfThenElseStm node. |
Methods inherited from class tip.node.PStm |
---|
kindNode |
Methods inherited from class tip.node.Node |
---|
getAncestor, getAncestor, getAncestor, getChildren, getChildren, getDescendants, getDescendants, getDescendants, isOptionalInvariant, parent, replaceBy, setOptionalInvariant |
Methods inherited from class java.lang.Object |
---|
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Constructor Detail |
---|
public AIfThenElseStm()
AIfThenElseStm
node with no children.
public AIfThenElseStm(TLPar _token_, PExp _condition_, PStm _then_body_, PStm _else_body_)
AIfThenElseStm
node with the given nodes as children.
The basic child nodes are removed from their previous parents.
_token_
- the TLPar
node for the Token
child of this AIfThenElseStm
node_condition_
- the PExp
node for the Condition
child of this AIfThenElseStm
node_then_body_
- the PStm
node for the ThenBody
child of this AIfThenElseStm
node_else_body_
- the PStm
node for the ElseBody
child of this AIfThenElseStm
nodeMethod Detail |
---|
public AIfThenElseStm clone()
AIfThenElseStm
node.
clone
in interface NodeInterface
clone
in class PStm
AIfThenElseStm
nodepublic AIfThenElseStm clone(Map<Node,Node> oldToNewMap)
AIfThenElseStm
node while putting all
old node-new node relations in the map oldToNewMap
.
clone
in interface NodeInterface
clone
in class PStm
oldToNewMap
- the map filled with the old node-new node relation
AIfThenElseStm
nodepublic String toString()
AIfThenElseStm
node.
toString
in class Object
AIfThenElseStm
nodepublic EStm kindPStm()
EStm
corresponding to the
type of this PStm
node.
kindPStm
in class PStm
EStm
for this nodepublic TLPar getToken()
TLPar
node which is the token
child of this AIfThenElseStm
node.
getToken
in class PStm
TLPar
node which is the token
child of this AIfThenElseStm
nodepublic void setToken(TLPar value)
token
child of this AIfThenElseStm
node.
value
- the new token
child of this AIfThenElseStm
nodepublic PExp getCondition()
PExp
node which is the condition
child of this AIfThenElseStm
node.
PExp
node which is the condition
child of this AIfThenElseStm
nodepublic void setCondition(PExp value)
condition
child of this AIfThenElseStm
node.
value
- the new condition
child of this AIfThenElseStm
nodepublic PStm getThenBody()
PStm
node which is the then_body
child of this AIfThenElseStm
node.
PStm
node which is the then_body
child of this AIfThenElseStm
nodepublic void setThenBody(PStm value)
then_body
child of this AIfThenElseStm
node.
value
- the new then_body
child of this AIfThenElseStm
nodepublic PStm getElseBody()
PStm
node which is the else_body
child of this AIfThenElseStm
node.
PStm
node which is the else_body
child of this AIfThenElseStm
nodepublic void setElseBody(PStm value)
else_body
child of this AIfThenElseStm
node.
value
- the new else_body
child of this AIfThenElseStm
nodepublic <T extends NodeInterface> void getDescendants(Collection<T> collection, NodeFilter<T> filter)
AIfThenElseStm
node (including the node itself) that are
accepted by the NodeFilter
filter
to collection
.
getDescendants
in interface NodeInterface
getDescendants
in class Node
collection
- the collection to which the descendants are addedfilter
- the NodeFilter
usedpublic <T extends NodeInterface> void getChildren(Collection<T> collection, NodeFilter<T> filter)
AIfThenElseStm
node that are
accepted by the NodeFilter
filter
to collection
.
getChildren
in interface NodeInterface
getChildren
in class Node
collection
- the collection to which the children are addedfilter
- the NodeFilter
usedpublic void checkOptionalInvariant()
checkOptionalInvariant
in interface NodeInterface
checkOptionalInvariant
in class Node
public void apply(Analysis caller)
Analysis.caseAIfThenElseStm(AIfThenElseStm)
of the Analysis
caller
.
apply
in interface NodeInterface
apply
in class Node
sw
- the Analysis
to which this AIfThenElseStm
node is appliedpublic <A> A apply(Answer<A> caller)
caller
by applying this AIfThenElseStm
node to the Answer
visitor.
apply
in interface NodeInterface
apply
in class Node
caller
- the Answer
to which this node is applied
caller
public <Q> void apply(Question<Q> caller, Q question)
AIfThenElseStm
node to the Question
visitor caller
.
apply
in interface NodeInterface
apply
in class Node
caller
- the Question
to which this node is appliedquestion
- the question provided to caller
public <Q,A> A apply(QuestionAnswer<Q,A> caller, Q question)
caller
by applying this AIfThenElseStm
node with the
question
to the QuestionAnswer
visitor.
apply
in interface NodeInterface
apply
in class Node
caller
- the QuestionAnswer
to which this node is appliedquestion
- the question provided to caller
caller
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |