|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objecttip.node.Node
tip.node.PExp
tip.node.AFunctionPtrCallExp
public final class AFunctionPtrCallExp
AFunctionPtrCallExp
represents the function_ptr_call
alternative of the exp
production in the AST.
Constructor Summary | |
---|---|
AFunctionPtrCallExp()
Creates a new AFunctionPtrCallExp node with no children. |
|
AFunctionPtrCallExp(PExp _exp_,
List<? extends PExp> _args_)
Creates a new AFunctionPtrCallExp node with the given nodes as children. |
|
AFunctionPtrCallExp(PExp _exp_,
List<? extends PExp> _args_,
Type _type_)
Creates a new AFunctionPtrCallExp node with the given nodes as children. |
Method Summary | ||
---|---|---|
void |
apply(Analysis caller)
Calls the Analysis.caseAFunctionPtrCallExp(AFunctionPtrCallExp) of the Analysis caller . |
|
|
apply(Answer<A> caller)
Returns the answer for caller by applying this AFunctionPtrCallExp
node to the Answer visitor. |
|
|
apply(Question<Q> caller,
Q question)
Applies this AFunctionPtrCallExp node to the Question visitor caller . |
|
|
apply(QuestionAnswer<Q,A> caller,
Q question)
Returns the answer for caller by applying this AFunctionPtrCallExp node with the
question to the QuestionAnswer visitor. |
|
void |
checkOptionalInvariant()
|
|
AFunctionPtrCallExp |
clone()
Returns a deep clone of this AFunctionPtrCallExp node. |
|
AFunctionPtrCallExp |
clone(Map<Node,Node> oldToNewMap)
Creates a deep clone of this AFunctionPtrCallExp node while putting all
old node-new node relations in the map oldToNewMap . |
|
LinkedList<PExp> |
getArgs()
Returns the possibly empty list of PExp nodes that are the args children of this AFunctionPtrCallExp node. |
|
|
getChildren(Collection<T> collection,
NodeFilter<T> filter)
Adds all children of this AFunctionPtrCallExp node that are
accepted by the NodeFilter filter to collection . |
|
|
getDescendants(Collection<T> collection,
NodeFilter<T> filter)
Adds all descendants of this AFunctionPtrCallExp node (including the node itself) that are
accepted by the NodeFilter filter to collection . |
|
PExp |
getExp()
Returns the PExp node which is the exp child of this AFunctionPtrCallExp node. |
|
Type |
getType()
Returns the type field of this AFunctionPtrCallExp node. |
|
EExp |
kindPExp()
Returns the EExp corresponding to the
type of this PExp node. |
|
void |
setArgs(List<? extends PExp> value)
Sets the args children of this AFunctionPtrCallExp node. |
|
void |
setExp(PExp value)
Sets the exp child of this AFunctionPtrCallExp node. |
|
void |
setType(Type value)
Sets the type field of this AFunctionPtrCallExp node. |
|
String |
toString()
Returns a textual representation of this AFunctionPtrCallExp node. |
Methods inherited from class tip.node.PExp |
---|
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 |
Methods inherited from interface tip.node.NodeInterface |
---|
getAncestor, getAncestor, getAncestor, getChildren, getChildren, getDescendants, getDescendants, getDescendants, isOptionalInvariant, parent, replaceBy, setOptionalInvariant |
Constructor Detail |
---|
public AFunctionPtrCallExp()
AFunctionPtrCallExp
node with no children.
public AFunctionPtrCallExp(PExp _exp_, List<? extends PExp> _args_)
AFunctionPtrCallExp
node with the given nodes as children.
The basic child nodes are removed from their previous parents.
_exp_
- the PExp
node for the Exp
child of this AFunctionPtrCallExp
node_args_
- the list of PExp
nodes for the Args
children of this AFunctionPtrCallExp
nodepublic AFunctionPtrCallExp(PExp _exp_, List<? extends PExp> _args_, Type _type_)
AFunctionPtrCallExp
node with the given nodes as children.
The basic child nodes are removed from their previous parents.
_exp_
- the PExp
node for the Exp
child of this AFunctionPtrCallExp
node_args_
- the list of PExp
nodes for the Args
children of this AFunctionPtrCallExp
node_type_
- the Type
child of this AFunctionPtrCallExp
nodeMethod Detail |
---|
public AFunctionPtrCallExp clone()
AFunctionPtrCallExp
node.
clone
in interface NodeInterface
clone
in class PExp
AFunctionPtrCallExp
nodepublic AFunctionPtrCallExp clone(Map<Node,Node> oldToNewMap)
AFunctionPtrCallExp
node while putting all
old node-new node relations in the map oldToNewMap
.
clone
in interface NodeInterface
clone
in class PExp
oldToNewMap
- the map filled with the old node-new node relation
AFunctionPtrCallExp
nodepublic String toString()
AFunctionPtrCallExp
node.
toString
in class Object
AFunctionPtrCallExp
nodepublic EExp kindPExp()
EExp
corresponding to the
type of this PExp
node.
kindPExp
in class PExp
EExp
for this nodepublic PExp getExp()
PExp
node which is the exp
child of this AFunctionPtrCallExp
node.
PExp
node which is the exp
child of this AFunctionPtrCallExp
nodepublic void setExp(PExp value)
exp
child of this AFunctionPtrCallExp
node.
value
- the new exp
child of this AFunctionPtrCallExp
nodepublic LinkedList<PExp> getArgs()
PExp
nodes that are the args
children of this AFunctionPtrCallExp
node.
PExp
nodes that are the args
children of this AFunctionPtrCallExp
nodepublic void setArgs(List<? extends PExp> value)
args
children of this AFunctionPtrCallExp
node.
value
- the new args
children of this AFunctionPtrCallExp
nodepublic Type getType()
type
field of this AFunctionPtrCallExp
node.
getType
in interface ITyped
getType
in class PExp
type
field of this AFunctionPtrCallExp
nodepublic void setType(Type value)
type
field of this AFunctionPtrCallExp
node.
setType
in interface ITyped
setType
in class PExp
value
- the new type
field of this AFunctionPtrCallExp
nodepublic <T extends NodeInterface> void getDescendants(Collection<T> collection, NodeFilter<T> filter)
AFunctionPtrCallExp
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)
AFunctionPtrCallExp
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.caseAFunctionPtrCallExp(AFunctionPtrCallExp)
of the Analysis
caller
.
apply
in interface NodeInterface
apply
in class Node
sw
- the Analysis
to which this AFunctionPtrCallExp
node is appliedpublic <A> A apply(Answer<A> caller)
caller
by applying this AFunctionPtrCallExp
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)
AFunctionPtrCallExp
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 AFunctionPtrCallExp
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 |