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 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()