sandmark.util.controlflowgraph
Class BasicBlock

java.lang.Object
  |
  +--sandmark.util.controlflowgraph.GraphNode
        |
        +--sandmark.util.controlflowgraph.BasicBlock

public class BasicBlock

extends GraphNode

BasicBlock represents a basic block in a control flow graph. Some of the ideas in this class are based upon the BLOAT project from Purdue. Written by Ginger Myles, 6/6/02.

Field Summary

(package private) java.util.ArrayList	domChildren
(package private) java.util.ArrayList	domFrontier
(package private) BasicBlock	dominator
(package private) MethodCFG	graph
(package private) BasicBlock	header
(package private) de.fub.bytecode.generic.InstructionHandle	ih
(package private) java.util.ArrayList	instructions
(package private) java.util.ArrayList	pdomChildren
(package private) java.util.ArrayList	pdomFrontier
(package private) BasicBlock	postDominator

Fields inherited from class sandmark.util.controlflowgraph.GraphNode

postIndex, predecessors, preIndex, successors

Constructor Summary

BasicBlock(de.fub.bytecode.generic.InstructionHandle ih, MethodCFG graph)
Constructor.

BasicBlock(MethodCFG graph)

Method Summary

void	addInst(de.fub.bytecode.generic.InstructionHandle inst) Adds an instruction to this basic block's instruction list.
void	addPred(BasicBlock pred) Adds a basic block to this basic block's predecessor list.
void	addSucc(BasicBlock succ) Adds a basic block to this basic block's successor list.
boolean	dominates(BasicBlock block) Returns whether or not this block dominates a given block.
(package private) java.util.ArrayList	getDomChildren()
(package private) java.util.ArrayList	getDomFrontier()
(package private) BasicBlock	getDominator()
BasicBlock	getHeader() Returns the header associated with the block.
de.fub.bytecode.generic.InstructionHandle	getIH() Returns the instruction handler associated with this block.
java.util.ArrayList	getInstList() Returns this blocks instruction list.
(package private) java.util.ArrayList	getPDomChildren()
(package private) java.util.ArrayList	getPDomFrontier()
(package private) BasicBlock	getPostDominator()
boolean	postDominates(BasicBlock block) Returns whether or not this block post dominates a given block.
(package private) void	setDominator(BasicBlock block)
void	setHeader(BasicBlock header) Sets the header of a basic block.
(package private) void	setPostDominator(BasicBlock block)
java.lang.String	toString() Returns a string representation of the block.

Methods inherited from class sandmark.util.controlflowgraph.GraphNode

getPredessors, getSuccessors, postOrderIndex, preOrderIndex, setPostOrderIndex, setPreOrderIndex

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

graph

MethodCFG graph

ih

de.fub.bytecode.generic.InstructionHandle ih

instructions

java.util.ArrayList instructions

dominator

BasicBlock dominator

postDominator

BasicBlock postDominator

domChildren

java.util.ArrayList domChildren

pdomChildren

java.util.ArrayList pdomChildren

domFrontier

java.util.ArrayList domFrontier

pdomFrontier

java.util.ArrayList pdomFrontier

header

BasicBlock header

Constructor Detail

BasicBlock

public BasicBlock(de.fub.bytecode.generic.InstructionHandle ih,
                  MethodCFG graph)

Constructor.

BasicBlock

public BasicBlock(MethodCFG graph)

Method Detail

getIH

public de.fub.bytecode.generic.InstructionHandle getIH()

Returns the instruction handler associated with this block.

Returns:

The instruction handle.

setHeader

public void setHeader(BasicBlock header)

Sets the header of a basic block.

getHeader

public BasicBlock getHeader()

Returns the header associated with the block.

Returns:

The header.

addSucc

public void addSucc(BasicBlock succ)

Adds a basic block to this basic block's successor list.

addPred

public void addPred(BasicBlock pred)

Adds a basic block to this basic block's predecessor list.

addInst

public void addInst(de.fub.bytecode.generic.InstructionHandle inst)

Adds an instruction to this basic block's instruction list.

getInstList

public java.util.ArrayList getInstList()

Returns this blocks instruction list.

Returns:

The instruction list.

toString

public java.lang.String toString()

Returns a string representation of the block.

Overrides:

toString in class java.lang.Object

getDomChildren

java.util.ArrayList getDomChildren()

getPDomChildren

java.util.ArrayList getPDomChildren()

getDominator

BasicBlock getDominator()

getPostDominator

BasicBlock getPostDominator()

setDominator

void setDominator(BasicBlock block)

setPostDominator

void setPostDominator(BasicBlock block)

dominates

public boolean dominates(BasicBlock block)

Returns whether or not this block dominates a given block.

postDominates

public boolean postDominates(BasicBlock block)

Returns whether or not this block post dominates a given block.

getDomFrontier

java.util.ArrayList getDomFrontier()

getPDomFrontier

java.util.ArrayList getPDomFrontier()