|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objecttip.node.Node
tip.node.PBody
public abstract class PBody
PBody
is the super class of all body
classes.
Constructor Summary | |
---|---|
PBody()
|
Method Summary | |
---|---|
abstract PBody |
clone()
Returns a deep clone of this PBody node. |
abstract PBody |
clone(Map<Node,Node> oldToNewMap)
Creates a deep clone of this PBody node while putting all
old node-new node relations in the map oldToNewMap . |
abstract ABlock |
getBlock()
Returns the ABlock node which is the block child of this PBody node. |
abstract LinkedList<Instruction> |
getInstructions()
Returns the instructions field of this PBody node. |
NodeEnum |
kindNode()
Returns the NodeEnum corresponding to the
type of this Node node. |
abstract void |
setBlock(ABlock value)
Sets the block child of this PBody node. |
abstract void |
setInstructions(List<? extends Instruction> value)
Sets the instructions field of this PBody 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 |
Constructor Detail |
---|
public PBody()
Method Detail |
---|
public abstract PBody clone()
PBody
node.
clone
in interface NodeInterface
clone
in class Node
PBody
nodepublic abstract PBody clone(Map<Node,Node> oldToNewMap)
PBody
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
PBody
nodepublic abstract LinkedList<Instruction> getInstructions()
instructions
field of this PBody
node.
instructions
field of this PBody
nodepublic abstract void setInstructions(List<? extends Instruction> value)
instructions
field of this PBody
node.
value
- the new instructions
field of this PBody
nodepublic abstract ABlock getBlock()
ABlock
node which is the block
child of this PBody
node.
ABlock
node which is the block
child of this PBody
nodepublic abstract void setBlock(ABlock value)
block
child of this PBody
node.
value
- the new block
child of this PBody
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 |