tip.node
Class PBlock

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

public abstract class PBlock
extends Node

PBlock is the super class of all block classes.


Constructor Summary
PBlock()
           
 
Method Summary
abstract  PBlock clone()
          Returns a deep clone of this PBlock node.
abstract  PBlock clone(Map<Node,Node> oldToNewMap)
          Creates a deep clone of this PBlock node while putting all old node-new node relations in the map oldToNewMap.
abstract  Map<String,ALocalDecl> getLocalEnv()
          Returns the local_env field of this PBlock node.
abstract  LinkedList<PStm> getStatements()
          Returns the possibly empty list of PStm nodes that are the statements children of this PBlock node.
 NodeEnum kindNode()
          Returns the NodeEnum corresponding to the type of this Node node.
abstract  void setLocalEnv(Map<String,ALocalDecl> value)
          Sets the local_env field of this PBlock node.
abstract  void setStatements(List<? extends PStm> value)
          Sets the statements children of this PBlock 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

PBlock

public PBlock()
Method Detail

clone

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

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

clone

public abstract PBlock clone(Map<Node,Node> oldToNewMap)
Creates a deep clone of this PBlock 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 PBlock node

getLocalEnv

public abstract Map<String,ALocalDecl> getLocalEnv()
Returns the local_env field of this PBlock node.

Returns:
the local_env field of this PBlock node

setLocalEnv

public abstract void setLocalEnv(Map<String,ALocalDecl> value)
Sets the local_env field of this PBlock node.

Parameters:
value - the new local_env field of this PBlock node

getStatements

public abstract LinkedList<PStm> getStatements()
Returns the possibly empty list of PStm nodes that are the statements children of this PBlock node.

Returns:
the possibly empty list of PStm nodes that are the statements children of this PBlock node

setStatements

public abstract void setStatements(List<? extends PStm> value)
Sets the statements children of this PBlock node.

Parameters:
value - the new statements children of this PBlock 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