StaticCFG (boomerangPDS 3.2.3 API)

java.lang.Object
- boomerang.controlflowgraph.StaticCFG

All Implemented Interfaces:: ObservableControlFlowGraph

public class StaticCFG
extends Object
implements ObservableControlFlowGraph

Constructor Summary

Constructors
Constructor Description

StaticCFG(BoomerangOptions options)

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`void`	`addPredsOfListener(PredecessorListener l)`
`void`	`addSuccsOfListener(SuccessorListener l)`
`void`	`setCurrentVal(Val val)`
`void`	`step(Statement curr, Statement succ)`
`void`	`unregisterAllListeners()`

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

- Constructor Detail
  - StaticCFG
```
public StaticCFG(BoomerangOptions options)
```
- Method Detail
  - setCurrentVal
```
public void setCurrentVal(Val val)
```
  - addPredsOfListener
```
public void addPredsOfListener(PredecessorListener l)
```
    Specified by:
    
    addPredsOfListener in interface ObservableControlFlowGraph
  - addSuccsOfListener
```
public void addSuccsOfListener(SuccessorListener l)
```
    Specified by:
    
    addSuccsOfListener in interface ObservableControlFlowGraph
  - step
```
public void step(Statement curr,
                 Statement succ)
```
    Specified by:
    
    step in interface ObservableControlFlowGraph
  - unregisterAllListeners
```
public void unregisterAllListeners()
```
    Specified by:
    
    unregisterAllListeners in interface ObservableControlFlowGraph