Package edu.umd.cs.findbugs.ba
Class PruneInfeasibleExceptionEdges.MarkedEdge
java.lang.Object
edu.umd.cs.findbugs.ba.PruneInfeasibleExceptionEdges.MarkedEdge
- Enclosing class:
PruneInfeasibleExceptionEdges
A memento to remind us of how we classified a particular exception edge.
If pruning and classifying succeeds, then these momentos can be applied
to actually change the state of the edges. The issue is that the entire
pruning/classifying operation must either fail or succeed as a whole.
Thus, we don't commit any CFG changes until we know everything was
successful.
-
Field Summary
Fields -
Constructor Summary
Constructors -
Method Summary
-
Field Details
-
edge
-
flag
private final int flag
-
-
Constructor Details
-
MarkedEdge
-
-
Method Details
-
apply
public void apply()
-