public interface EdgeFilter<T extends IBasicBlock>
Modifier and Type | Method and Description |
---|---|
boolean |
hasExceptionalEdge(T src,
T 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(T src,
T 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.
|
boolean hasNormalEdge(T src, T dst)
boolean hasExceptionalEdge(T src, T dst)