BasicBlock (evosuite-client 1.0.5 API)

java.lang.Object
- org.evosuite.graphs.cfg.BasicBlock

All Implemented Interfaces:

Serializable, Iterable<BytecodeInstruction>

Direct Known Subclasses:

EntryBlock, ExitBlock
```
public class BasicBlock
extends Object
implements Serializable, Iterable<BytecodeInstruction>
```
This class is used to represent basic blocks in the control flow graph. A basic block is a list of instructions for which the following holds: Whenever control flow reaches the first instruction of this blocks list, control flow will pass through all the instructions of this list successively and not pass another instruction of the underlying method in the mean time. The first element in this blocks list does not have a parent in the CFG that can be prepended to the list and the same would still hold true Finally the last element in this list does not have a child inside the CFG that could be appended to the list such that the above still holds true In other words: - the first/last element of this blocks list has either 0 or >=2 parents/children in the CFG - every other element in the list has exactly 1 parent and exactly 1 child in the raw CFG Taken from: "Efficiently Computing Static Single Assignment Form and the Control Dependence Graph" RON CYTRON, JEANNE FERRANTE, BARRY K. ROSEN, and MARK N. WEGMAN IBM Research Division and F. KENNETH ZADECK Brown University 1991

Author:

Andre Mis

See Also:

cfg.ActualControlFlowGraph, Serialized Form

Field Summary

Fields
Modifier and Type Field and Description

protected ClassLoader classLoader

protected String className

protected boolean isAuxiliaryBlock

protected String methodName

Fields
Modifier and Type	Field and Description
`protected ClassLoader`	`classLoader`
`protected String`	`className`
`protected boolean`	`isAuxiliaryBlock`
`protected String`	`methodName`

Constructor Summary

Constructors
Modifier	Constructor and Description
	`BasicBlock(ClassLoader classLoader, String className, String methodName, List<BytecodeInstruction> blockNodes)` Constructor for BasicBlock.
`protected`	`BasicBlock(String className, String methodName)` Used by Entry- and ExitBlocks

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`void`	`checkSanity()` checkSanity
`boolean`	`constainsInstruction(org.objectweb.asm.tree.AbstractInsnNode insnNode)` constainsInstruction
`boolean`	`containsInstruction(BytecodeInstruction instruction)` containsInstruction
`boolean`	`equals(Object obj)`
`String`	`explain()` explain
`ControlDependenceGraph`	`getCDG()` Returns the ControlDependenceGraph of this instructions method Convenience method.
`String`	`getClassName()` Getter for the field `className`.
`Set<ControlDependency>`	`getControlDependencies()` Returns a cfg.Branch object for each branch this instruction is control dependent on as determined by the ControlDependenceGraph.
`Set<Integer>`	`getControlDependentBranchIds()` Returns all branchIds of Branches this instruction is directly control dependent on as determined by the ControlDependenceGraph for this instruction's method.
`BytecodeInstruction`	`getFirstInstruction()` getFirstInstruction
`int`	`getFirstLine()` getFirstLine
`BytecodeInstruction`	`getLastInstruction()` getLastInstruction
`int`	`getLastLine()` getLastLine
`String`	`getMethodName()` Getter for the field `methodName`.
`String`	`getName()` getName
`boolean`	`hasControlDependenciesSet()` hasControlDependenciesSet
`int`	`hashCode()`
`boolean`	`isEntryBlock()` isEntryBlock
`boolean`	`isExitBlock()` isExitBlock
`Iterator<BytecodeInstruction>`	`iterator()`
`String`	`toString()`

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

Methods inherited from interface java.lang.Iterable
forEach, spliterator

- Field Detail
  - classLoader
```
protected ClassLoader classLoader
```
  - className
```
protected String className
```
  - methodName
```
protected String methodName
```
  - isAuxiliaryBlock
```
protected boolean isAuxiliaryBlock
```
- Constructor Detail
  - BasicBlock
```
public BasicBlock(ClassLoader classLoader,
                  String className,
                  String methodName,
                  List<BytecodeInstruction> blockNodes)
```
    Constructor for BasicBlock.
    
    Parameters:
    
    className - a String object.
    
    methodName - a String object.
    
    blockNodes - a List object.
  - BasicBlock
```
protected BasicBlock(String className,
                     String methodName)
```
    Used by Entry- and ExitBlocks
    
    Parameters:
    
    className - a String object.
    
    methodName - a String object.
- Method Detail
  - getCDG
```
public ControlDependenceGraph getCDG()
```
    Returns the ControlDependenceGraph of this instructions method Convenience method. Redirects the call to GraphPool.getCDG()
    
    Returns:
    
    a ControlDependenceGraph object.
  - getControlDependentBranchIds
```
public Set<Integer> getControlDependentBranchIds()
```
    Returns all branchIds of Branches this instruction is directly control dependent on as determined by the ControlDependenceGraph for this instruction's method. If this instruction is control dependent on the root branch the id -1 will be contained in this set
    
    Returns:
    
    a Set object.
  - getControlDependencies
```
public Set<ControlDependency> getControlDependencies()
```
    Returns a cfg.Branch object for each branch this instruction is control dependent on as determined by the ControlDependenceGraph. If this instruction is only dependent on the root branch this method returns an empty set If this instruction is a Branch and it is dependent on itself - which can happen in loops for example - the returned set WILL contain this. If you do not need the full set in order to avoid loops, call getAllControlDependentBranches instead
    
    Returns:
    
    a Set object.
  - hasControlDependenciesSet
```
public boolean hasControlDependenciesSet()
```
    hasControlDependenciesSet
    
    Returns:
    
    a boolean.
  - containsInstruction
```
public boolean containsInstruction(BytecodeInstruction instruction)
```
    containsInstruction
    
    Parameters:
    
    instruction - a BytecodeInstruction object.
    
    Returns:
    
    a boolean.
  - constainsInstruction
```
public boolean constainsInstruction(org.objectweb.asm.tree.AbstractInsnNode insnNode)
```
    constainsInstruction
    
    Parameters:
    
    insnNode - a AbstractInsnNode object.
    
    Returns:
    
    a boolean.
  - getFirstInstruction
```
public BytecodeInstruction getFirstInstruction()
```
    getFirstInstruction
    
    Returns:
    
    a BytecodeInstruction object.
  - getLastInstruction
```
public BytecodeInstruction getLastInstruction()
```
    getLastInstruction
    
    Returns:
    
    a BytecodeInstruction object.
  - getFirstLine
```
public int getFirstLine()
```
    getFirstLine
    
    Returns:
    
    a int.
  - getLastLine
```
public int getLastLine()
```
    getLastLine
    
    Returns:
    
    a int.
  - getName
```
public String getName()
```
    getName
    
    Returns:
    
    a String object.
  - getClassName
```
public String getClassName()
```
    Getter for the field className.
    
    Returns:
    
    a String object.
  - getMethodName
```
public String getMethodName()
```
    Getter for the field methodName.
    
    Returns:
    
    a String object.
  - explain
```
public String explain()
```
    explain
    
    Returns:
    
    a String object.
  - toString
```
public String toString()
```
    Overrides:
    
    toString in class Object
  - hashCode
```
public int hashCode()
```
    Overrides:
    
    hashCode in class Object
  - equals
```
public boolean equals(Object obj)
```
    Overrides:
    
    equals in class Object
  - checkSanity
```
public void checkSanity()
```
    checkSanity
  - isEntryBlock
```
public boolean isEntryBlock()
```
    isEntryBlock
    
    Returns:
    
    a boolean.
  - isExitBlock
```
public boolean isExitBlock()
```
    isExitBlock
    
    Returns:
    
    a boolean.
  - iterator
```
public Iterator<BytecodeInstruction> iterator()
```
    Specified by:
    
    iterator in interface Iterable<BytecodeInstruction>

Class BasicBlock

Field Summary

Constructor Summary

Method Summary

Methods inherited from class java.lang.Object

Methods inherited from interface java.lang.Iterable

Field Detail

classLoader

className

methodName

isAuxiliaryBlock

Constructor Detail

BasicBlock

BasicBlock

Method Detail

getCDG

getControlDependentBranchIds

getControlDependencies

hasControlDependenciesSet

containsInstruction

constainsInstruction

getFirstInstruction

getLastInstruction

getFirstLine

getLastLine

getName

getClassName

getMethodName

explain

toString

hashCode

equals

checkSanity

isEntryBlock

isExitBlock

iterator