Package edu.umd.cs.findbugs.ba
Class PruneInfeasibleExceptionEdges.MarkedEdge
- java.lang.Object
-
- edu.umd.cs.findbugs.ba.PruneInfeasibleExceptionEdges.MarkedEdge
-
- Enclosing class:
- PruneInfeasibleExceptionEdges
private static class PruneInfeasibleExceptionEdges.MarkedEdge extends java.lang.Object
A memento to remind us of how we classified a particular exception edge. If pruning and classifying succeeds, then these mementos 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.
-
-
Constructor Summary
Constructors Constructor Description MarkedEdge(Edge edge, int flag)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description void
apply()
-