public class ExceptionAnalysis2EdgeFilter extends java.lang.Object implements EdgeFilter<ISSABasicBlock>
| Constructor and Description |
|---|
ExceptionAnalysis2EdgeFilter(ExceptionAnalysis analysis,
CGNode node) |
| Modifier and Type | Method and Description |
|---|---|
boolean |
hasExceptionalEdge(ISSABasicBlock src,
ISSABasicBlock dst)
This method must return true if and only if an exceptional edge from src to dst exists in the
original CFG and should be kept for the pruned version of that CFG.
|
boolean |
hasNormalEdge(ISSABasicBlock src,
ISSABasicBlock dst)
This method must return true if and only if a normal edge from src to dst exists in the
original CFG and should be kept for the pruned version of that CFG.
|
public ExceptionAnalysis2EdgeFilter(ExceptionAnalysis analysis, CGNode node)
public boolean hasNormalEdge(ISSABasicBlock src, ISSABasicBlock dst)
EdgeFilterhasNormalEdge in interface EdgeFilter<ISSABasicBlock>public boolean hasExceptionalEdge(ISSABasicBlock src, ISSABasicBlock dst)
EdgeFilterhasExceptionalEdge in interface EdgeFilter<ISSABasicBlock>