Class PruneInfeasibleExceptionEdges.MarkedEdge

java.lang.Object
edu.umd.cs.findbugs.ba.PruneInfeasibleExceptionEdges.MarkedEdge
Enclosing class:
PruneInfeasibleExceptionEdges

private static class PruneInfeasibleExceptionEdges.MarkedEdge extends Object
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 Details

    • edge

      private final Edge edge
    • flag

      private final int flag
  • Constructor Details

    • MarkedEdge

      public MarkedEdge(Edge edge, int flag)
  • Method Details

    • apply

      public void apply()