tip.node
Class PBody

java.lang.Object
  extended by tip.node.Node
      extended by tip.node.PBody
All Implemented Interfaces:
Cloneable, NodeInterface
Direct Known Subclasses:
ABody

public abstract class PBody
extends Node

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

PBody

public PBody()
Method Detail

clone

public abstract PBody clone()
Returns a deep clone of this PBody node.

Specified by:
clone in interface NodeInterface
Specified by:
clone in class Node
Returns:
a deep clone of this PBody node

clone

public 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.

Specified by:
clone in interface NodeInterface
Specified by:
clone in class Node
Parameters:
oldToNewMap - the map filled with the old node-new node relation
Returns:
a deep clone of this PBody node

getInstructions

public abstract LinkedList<Instruction> getInstructions()
Returns the instructions field of this PBody node.

Returns:
the instructions field of this PBody node

setInstructions

public abstract void setInstructions(List<? extends Instruction> value)
Sets the instructions field of this PBody node.

Parameters:
value - the new instructions field of this PBody node

getBlock

public abstract ABlock getBlock()
Returns the ABlock node which is the block child of this PBody node.

Returns:
the ABlock node which is the block child of this PBody node

setBlock

public abstract void setBlock(ABlock value)
Sets the block child of this PBody node.

Parameters:
value - the new block child of this PBody node

kindNode

public NodeEnum kindNode()
Returns the NodeEnum corresponding to the type of this Node node.

Specified by:
kindNode in class Node
Returns:
the NodeEnum for this node