BiDiInterproceduralCFG (Soot - a J*va Optimization Framework 4.6.0 API)

All Superinterfaces:

heros.InterproceduralCFG<N,M>

All Known Implementing Classes:

AbstractJimpleBasedICFG, BackwardsInterproceduralCFG, JimpleBasedInterproceduralCFG, OnTheFlyJimpleBasedICFG
```
public interface BiDiInterproceduralCFG<N,M>
extends heros.InterproceduralCFG<N,M>
```
An InterproceduralCFG which supports the computation of predecessors.

Method Summary

All Methods Instance Methods Abstract Methods
Modifier and Type	Method	Description
`Set<N>`	`allNonCallEndNodes()`
`Collection<N>`	`getEndPointsOf(M m)`
`DirectedGraph<N>`	`getOrCreateUnitGraph(M body)`
`List<Value>`	`getParameterRefs(M m)`
`List<N>`	`getPredsOf(N u)`
`List<N>`	`getPredsOfCallAt(N u)`
`boolean`	`isReachable(N u)`	Checks whether the given statement is rachable from the entry point
`boolean`	`isReturnSite(N n)`	Gets whether the given statement is a return site of at least one call

Methods inherited from interface heros.InterproceduralCFG
allNonCallStartNodes, getCalleesOfCallAt, getCallersOf, getCallsFromWithin, getMethodOf, getReturnSitesOfCallAt, getStartPointsOf, getSuccsOf, isBranchTarget, isCallStmt, isExitStmt, isFallThroughSuccessor, isStartPoint

- Method Detail
  - getPredsOf
```
List<N> getPredsOf(N u)
```
    Specified by:
    
    getPredsOf in interface heros.InterproceduralCFG<N,M>
  - getEndPointsOf
```
Collection<N> getEndPointsOf(M m)
```
  - getPredsOfCallAt
```
List<N> getPredsOfCallAt(N u)
```
  - allNonCallEndNodes
```
Set<N> allNonCallEndNodes()
```
  - getOrCreateUnitGraph
```
DirectedGraph<N> getOrCreateUnitGraph(M body)
```
  - getParameterRefs
```
List<Value> getParameterRefs(M m)
```
  - isReturnSite
```
boolean isReturnSite(N n)
```
    Gets whether the given statement is a return site of at least one call
    
    Parameters:
    
    n - The statement to check
    
    Returns:
    
    True if the given statement is a return site, otherwise false
  - isReachable
```
boolean isReachable(N u)
```
    Checks whether the given statement is rachable from the entry point
    
    Parameters:
    
    u - The statement to check
    
    Returns:
    
    True if there is a control flow path from the entry point of the program to the given statement, otherwise false