/*
* (non-Javadoc)
*
* @see
* edu.umd.cs.findbugs.graph.AbstractGraph#removeEdge(edu.umd.cs.findbugs
* .graph.AbstractEdge)
*/
@Override
public void removeEdge(Edge edge) {
super.removeEdge(edge);
// Keep track of removed edges.
if (removedEdgeList == null) {
removedEdgeList = new LinkedList<Edge>();
}
removedEdgeList.add(edge);
}