BasicBlock (TAJS)

java.lang.Object
- dk.brics.tajs.flowgraph.BasicBlock

```
public class BasicBlock
extends Object
```
Sequence of nodes. Must be non-empty. Has a unique entry node and proceeds through the sequence unless exceptions are thrown.

Constructor Summary

Constructors
Constructor and Description

BasicBlock(Function function)
Constructs a new initially empty block of nodes.

Constructors
Constructor and Description
`BasicBlock(Function function)` Constructs a new initially empty block of nodes.

Method Summary

Methods
Modifier and Type	Method and Description
`void`	`addNode(AbstractNode n)` Adds a node to this block.
`void`	`addSuccessor(BasicBlock succ)` Adds a successor.
`boolean`	`canThrowExceptions()` Returns true if this block contains a node that may throw exceptions.
`void`	`check(BasicBlock ordinary_exit, BasicBlock exceptional_exit, Set<Integer> seen_blocks, Set<Integer> seen_nodes)` Perform a consistency check of the basic block.
`BasicBlock`	`getExceptionHandler()` Returns the exception handler block, or null if not set.
`AbstractNode`	`getFirstNode()` Returns the first node.
`Function`	`getFunction()` Returns the function containing this block.
`int`	`getIndex()` Returns the block index.
`AbstractNode`	`getLastNode()` Returns the last node.
`List<AbstractNode>`	`getNodes()` Returns the sequence of nodes.
`int`	`getOrder()` Returns the block order.
`AbstractNode`	`getSingleNode()` Returns the single node in the basic block.
`BasicBlock`	`getSingleSuccessor()` Returns the single successor block.
`SourceLocation`	`getSourceLocation()` Returns the source location for the first node in the basic block.
`Collection<BasicBlock>`	`getSuccessors()` Returns the successors of this block.
`boolean`	`isAdded()` Checks whether this block has been added to a flow graph.
`boolean`	`isEmpty()` Returns true if there are no nodes in the block.
`boolean`	`isEntry()` Checks whether this is a function entry block.
`void`	`removeNodes(Collection<AbstractNode> ns)` Removes a set of nodes from the basic block.
`void`	`removeSuccessor(BasicBlock succ)` Remove a successor.
`void`	`replaceNodes(List<AbstractNode> ns)` Replaces the set of nodes in a basic block.
`void`	`setExceptionHandler(BasicBlock exception_handler)` Sets the exception handler block.
`void`	`setIndex(int index)` Sets the block index.
`(package private) void`	`setOrder(int order)` Sets the block order.
`void`	`toDot(PrintWriter pw, boolean standalone)` Produces a Graphviz dot representation of this block.
`String`	`toString()` Returns a string description of this block.

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

- Constructor Detail
  - BasicBlock
```
public BasicBlock(Function function)
```
    Constructs a new initially empty block of nodes.
    
    Parameters:
    function - The function this block belongs to.
- Method Detail
  - addNode
```
public void addNode(AbstractNode n)
```
    Adds a node to this block.
  - addSuccessor
```
public void addSuccessor(BasicBlock succ)
```
    Adds a successor.
  - canThrowExceptions
```
public boolean canThrowExceptions()
```
    Returns true if this block contains a node that may throw exceptions.
  - check
```
public void check(BasicBlock ordinary_exit,
         BasicBlock exceptional_exit,
         Set<Integer> seen_blocks,
         Set<Integer> seen_nodes)
```
    Perform a consistency check of the basic block.
  - getExceptionHandler
```
public BasicBlock getExceptionHandler()
```
    Returns the exception handler block, or null if not set.
  - getFirstNode
```
public AbstractNode getFirstNode()
```
    Returns the first node.
  - getFunction
```
public Function getFunction()
```
    Returns the function containing this block.
  - getIndex
```
public int getIndex()
```
    Returns the block index. The block index uniquely identifies the block within the flow graph.
  - getLastNode
```
public AbstractNode getLastNode()
```
    Returns the last node.
  - getNodes
```
public List<AbstractNode> getNodes()
```
    Returns the sequence of nodes.
  - getOrder
```
public int getOrder()
```
    Returns the block order.
  - getSingleNode
```
public AbstractNode getSingleNode()
```
    Returns the single node in the basic block.
  - getSingleSuccessor
```
public BasicBlock getSingleSuccessor()
```
    Returns the single successor block.
    
    Throws:
    
    AnalysisException - if not exactly one successor
  - getSourceLocation
```
public SourceLocation getSourceLocation()
```
    Returns the source location for the first node in the basic block.
  - getSuccessors
```
public Collection<BasicBlock> getSuccessors()
```
    Returns the successors of this block.
  - isAdded
```
public boolean isAdded()
```
    Checks whether this block has been added to a flow graph.
  - isEmpty
```
public boolean isEmpty()
```
    Returns true if there are no nodes in the block.
  - isEntry
```
public boolean isEntry()
```
    Checks whether this is a function entry block.
  - removeNodes
```
public void removeNodes(Collection<AbstractNode> ns)
```
    Removes a set of nodes from the basic block.
  - removeSuccessor
```
public void removeSuccessor(BasicBlock succ)
```
    Remove a successor.
  - replaceNodes
```
public void replaceNodes(List<AbstractNode> ns)
```
    Replaces the set of nodes in a basic block.
  - setExceptionHandler
```
public void setExceptionHandler(BasicBlock exception_handler)
```
    Sets the exception handler block.
  - setIndex
```
public void setIndex(int index)
```
    Sets the block index. Called when the flow graph block structure is updated.
  - setOrder
```
void setOrder(int order)
```
    Sets the block order.
  - toDot
```
public void toDot(PrintWriter pw,
         boolean standalone)
```
    Produces a Graphviz dot representation of this block.
    
    Parameters:
    pw - Receiver of the dot representation of this basic block.
    standalone - Indicates that this is a complete graph that should be closed.
  - toString
```
public String toString()
```
    Returns a string description of this block.
    
    Overrides:
    
    toString in class Object

Class BasicBlock

Constructor Summary

Method Summary

Methods inherited from class java.lang.Object

Constructor Detail

BasicBlock

Method Detail

addNode

addSuccessor

canThrowExceptions

check

getExceptionHandler

getFirstNode

getFunction

getIndex

getLastNode

getNodes

getOrder

getSingleNode

getSingleSuccessor

getSourceLocation

getSuccessors

isAdded

isEmpty

isEntry

removeNodes

removeSuccessor

replaceNodes

setExceptionHandler

setIndex

setOrder

toDot

toString