ObservableICFG (boomerangPDS 3.2.3 API)

Type Parameters:

N - Nodes in the CFG, typically Unit or Block

M - Method representation

All Known Implementing Classes:

BackwardsObservableICFG, ObservableDynamicICFG, ObservableStaticICFG
```
public interface ObservableICFG<N,M>
```
An interprocedural control-flow graph, for which caller-callee edges can be observed using CalleeListener and CallerListener. Can be used for demand-driven call graph generation.

Author:

Melanie Bruns on 04.05.2018

Method Summary

All Methods Instance Methods Abstract Methods
Modifier and Type	Method	Description
`void`	`addCalleeListener(CalleeListener<N,M> listener)`	Registers a listener that will be notified whenever a callee is added
`void`	`addCallerListener(CallerListener<N,M> listener)`	Registers a listener that will be notified whenever a caller is added.
`void`	`addEdges(CallGraph.Edge e)`
`void`	`computeFallback()`
`Collection<N>`	`getEndPointsOf(M flowReaches)`
`int`	`getNumberOfEdgesTakenFromPrecomputedGraph()`
`Collection<N>`	`getStartPointsOf(M callee)`
`boolean`	`isCallStmt(N stmt)`	Returns `true` if the given statement is a call site.
`boolean`	`isExitStmt(N stmt)`	Returns `true` if the given statement leads to a method return (exceptional or not).
`boolean`	`isStartPoint(N stmt)`	Returns true is this is a method's start statement.
`void`	`resetCallGraph()`	Resets the call graph.

- Method Detail
  - addCalleeListener
```
void addCalleeListener(CalleeListener<N,M> listener)
```
    Registers a listener that will be notified whenever a callee is added
  - addCallerListener
```
void addCallerListener(CallerListener<N,M> listener)
```
    Registers a listener that will be notified whenever a caller is added.
  - isCallStmt
```
boolean isCallStmt(N stmt)
```
    Returns true if the given statement is a call site.
  - isExitStmt
```
boolean isExitStmt(N stmt)
```
    Returns true if the given statement leads to a method return (exceptional or not). For backward analyses may also be start statements.
  - isStartPoint
```
boolean isStartPoint(N stmt)
```
    Returns true is this is a method's start statement. For backward analyses those may also be return or throws statements.
  - getNumberOfEdgesTakenFromPrecomputedGraph
```
int getNumberOfEdgesTakenFromPrecomputedGraph()
```
  - resetCallGraph
```
void resetCallGraph()
```
    Resets the call graph. Only affects the call graph if it was built demand-driven, otherwise graph will remain unchanged. Demand-driven call graph will keep intraprocedual information, but reset start with an empty call graph again.
  - getStartPointsOf
```
Collection<N> getStartPointsOf(M callee)
```
  - getEndPointsOf
```
Collection<N> getEndPointsOf(M flowReaches)
```
  - computeFallback
```
void computeFallback()
```
  - addEdges
```
void addEdges(CallGraph.Edge e)
```