|
||||||||||
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.AIntConstExp
public final class AIntConstExp
AIntConstExp
represents the int_const
alternative of the exp
production in the AST.
Constructor Summary | |
---|---|
AIntConstExp()
Creates a new AIntConstExp node with no children. |
|
AIntConstExp(TIntegerConst _integer_const_)
Creates a new AIntConstExp node with the given nodes as children. |
|
AIntConstExp(TIntegerConst _integer_const_,
Integer _value_,
Type _type_)
Creates a new AIntConstExp node with the given nodes as children. |
|
AIntConstExp(TIntegerConst _integer_const_,
Type _type_)
Creates a new AIntConstExp node with the given nodes as children. |
Method Summary | ||
---|---|---|
void |
apply(Analysis caller)
Calls the Analysis.caseAIntConstExp(AIntConstExp) of the Analysis caller . |
|
|
apply(Answer<A> caller)
Returns the answer for caller by applying this AIntConstExp
node to the Answer visitor. |
|
|
apply(Question<Q> caller,
Q question)
Applies this AIntConstExp node to the Question visitor caller . |
|
|
apply(QuestionAnswer<Q,A> caller,
Q question)
Returns the answer for caller by applying this AIntConstExp node with the
question to the QuestionAnswer visitor. |
|
void |
checkOptionalInvariant()
|
|
AIntConstExp |
clone()
Returns a deep clone of this AIntConstExp node. |
|
AIntConstExp |
clone(Map<Node,Node> oldToNewMap)
Creates a deep clone of this AIntConstExp 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 AIntConstExp node that are
accepted by the NodeFilter filter to collection . |
|
|
getDescendants(Collection<T> collection,
NodeFilter<T> filter)
Adds all descendants of this AIntConstExp node (including the node itself) that are
accepted by the NodeFilter filter to collection . |
|
TIntegerConst |
getIntegerConst()
Returns the TIntegerConst node which is the integer_const child of this AIntConstExp node. |
|
Type |
getType()
Returns the type field of this AIntConstExp node. |
|
Integer |
getValue()
Returns the value field of this AIntConstExp node. |
|
EExp |
kindPExp()
Returns the EExp corresponding to the
type of this PExp node. |
|
void |
setIntegerConst(TIntegerConst value)
Sets the integer_const child of this AIntConstExp node. |
|
void |
setType(Type value)
Sets the type field of this AIntConstExp node. |
|
void |
setValue(Integer value)
Sets the value field of this AIntConstExp node. |
|
String |
toString()
Returns a textual representation of this AIntConstExp 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 AIntConstExp()
AIntConstExp
node with no children.
public AIntConstExp(TIntegerConst _integer_const_)
AIntConstExp
node with the given nodes as children.
The basic child nodes are removed from their previous parents.
_integer_const_
- the TIntegerConst
node for the IntegerConst
child of this AIntConstExp
nodepublic AIntConstExp(TIntegerConst _integer_const_, Type _type_)
AIntConstExp
node with the given nodes as children.
The basic child nodes are removed from their previous parents.
_integer_const_
- the TIntegerConst
node for the IntegerConst
child of this AIntConstExp
node_type_
- the Type
child of this AIntConstExp
nodepublic AIntConstExp(TIntegerConst _integer_const_, Integer _value_, Type _type_)
AIntConstExp
node with the given nodes as children.
The basic child nodes are removed from their previous parents.
_integer_const_
- the TIntegerConst
node for the IntegerConst
child of this AIntConstExp
node_value_
- the Value
child of this AIntConstExp
node_type_
- the Type
child of this AIntConstExp
nodeMethod Detail |
---|
public AIntConstExp clone()
AIntConstExp
node.
clone
in interface NodeInterface
clone
in class PExp
AIntConstExp
nodepublic AIntConstExp clone(Map<Node,Node> oldToNewMap)
AIntConstExp
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
AIntConstExp
nodepublic String toString()
AIntConstExp
node.
toString
in class Object
AIntConstExp
nodepublic EExp kindPExp()
EExp
corresponding to the
type of this PExp
node.
kindPExp
in class PExp
EExp
for this nodepublic TIntegerConst getIntegerConst()
TIntegerConst
node which is the integer_const
child of this AIntConstExp
node.
TIntegerConst
node which is the integer_const
child of this AIntConstExp
nodepublic void setIntegerConst(TIntegerConst value)
integer_const
child of this AIntConstExp
node.
value
- the new integer_const
child of this AIntConstExp
nodepublic Integer getValue()
value
field of this AIntConstExp
node.
value
field of this AIntConstExp
nodepublic void setValue(Integer value)
value
field of this AIntConstExp
node.
value
- the new value
field of this AIntConstExp
nodepublic Type getType()
type
field of this AIntConstExp
node.
getType
in interface ITyped
getType
in class PExp
type
field of this AIntConstExp
nodepublic void setType(Type value)
type
field of this AIntConstExp
node.
setType
in interface ITyped
setType
in class PExp
value
- the new type
field of this AIntConstExp
nodepublic <T extends NodeInterface> void getDescendants(Collection<T> collection, NodeFilter<T> filter)
AIntConstExp
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)
AIntConstExp
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.caseAIntConstExp(AIntConstExp)
of the Analysis
caller
.
apply
in interface NodeInterface
apply
in class Node
sw
- the Analysis
to which this AIntConstExp
node is appliedpublic <A> A apply(Answer<A> caller)
caller
by applying this AIntConstExp
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)
AIntConstExp
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 AIntConstExp
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 |