edu.umd.cs.findbugs.ba
Class PruneInfeasibleExceptionEdges.MarkedEdge

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

private static class PruneInfeasibleExceptionEdges.MarkedEdge
extends java.lang.Object

A momento 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
private  Edge edge
           
private  int flag
           
 
Constructor Summary
PruneInfeasibleExceptionEdges.MarkedEdge(Edge edge, int flag)
           
 
Method Summary
 void apply()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

edge

private Edge edge

flag

private int flag
Constructor Detail

PruneInfeasibleExceptionEdges.MarkedEdge

public PruneInfeasibleExceptionEdges.MarkedEdge(Edge edge,
                                                int flag)
Method Detail

apply

public void apply()