|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objecttip.node.Node
tip.node.PExp
public abstract class PExp
PExp
is the super class of all exp
classes.
Constructor Summary | |
---|---|
PExp()
|
Method Summary | |
---|---|
abstract PExp |
clone()
Returns a deep clone of this PExp node. |
abstract PExp |
clone(Map<Node,Node> oldToNewMap)
Creates a deep clone of this PExp node while putting all
old node-new node relations in the map oldToNewMap . |
abstract Type |
getType()
Returns the type field of this PExp node. |
NodeEnum |
kindNode()
Returns the NodeEnum corresponding to the
type of this Node node. |
abstract EExp |
kindPExp()
Returns the EExp corresponding to the
type of this PExp node. |
abstract void |
setType(Type value)
Sets the type field of this PExp node. |
Methods inherited from class tip.node.Node |
---|
apply, apply, apply, apply, checkOptionalInvariant, getAncestor, getAncestor, getAncestor, getChildren, getChildren, getChildren, getDescendants, getDescendants, getDescendants, getDescendants, isOptionalInvariant, parent, replaceBy, setOptionalInvariant |
Methods inherited from class java.lang.Object |
---|
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Methods inherited from interface tip.node.NodeInterface |
---|
apply, apply, apply, apply, checkOptionalInvariant, getAncestor, getAncestor, getAncestor, getChildren, getChildren, getChildren, getDescendants, getDescendants, getDescendants, getDescendants, isOptionalInvariant, parent, replaceBy, setOptionalInvariant |
Constructor Detail |
---|
public PExp()
Method Detail |
---|
public abstract PExp clone()
PExp
node.
clone
in interface NodeInterface
clone
in class Node
PExp
nodepublic abstract PExp clone(Map<Node,Node> oldToNewMap)
PExp
node while putting all
old node-new node relations in the map oldToNewMap
.
clone
in interface NodeInterface
clone
in class Node
oldToNewMap
- the map filled with the old node-new node relation
PExp
nodepublic abstract Type getType()
type
field of this PExp
node.
getType
in interface ITyped
type
field of this PExp
nodepublic abstract void setType(Type value)
type
field of this PExp
node.
setType
in interface ITyped
value
- the new type
field of this PExp
nodepublic abstract EExp kindPExp()
EExp
corresponding to the
type of this PExp
node.
EExp
for this nodepublic NodeEnum kindNode()
NodeEnum
corresponding to the
type of this Node
node.
kindNode
in class Node
NodeEnum
for this node
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |