|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objecttip.node.Node
tip.node.PBlock
public abstract class PBlock
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 |
---|
public PBlock()
Method Detail |
---|
public abstract PBlock clone()
PBlock
node.
clone
in interface NodeInterface
clone
in class Node
PBlock
nodepublic abstract PBlock clone(Map<Node,Node> oldToNewMap)
PBlock
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
PBlock
nodepublic abstract Map<String,ALocalDecl> getLocalEnv()
local_env
field of this PBlock
node.
local_env
field of this PBlock
nodepublic abstract void setLocalEnv(Map<String,ALocalDecl> value)
local_env
field of this PBlock
node.
value
- the new local_env
field of this PBlock
nodepublic abstract LinkedList<PStm> getStatements()
PStm
nodes that are the statements
children of this PBlock
node.
PStm
nodes that are the statements
children of this PBlock
nodepublic abstract void setStatements(List<? extends PStm> value)
statements
children of this PBlock
node.
value
- the new statements
children of this PBlock
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 |