Iterator<Edge> i = outgoingEdgeIterator(source); while (i.hasNext()) { Edge edge = i.next(); if (edge.getType() == edgeType) return edge.getDest(); } return null;
Edge edge = getOutgoingEdgeWithType(source, edgeType); return edge != null ? edge.getDest() : null;
	public BasicBlock getSuccessorWithEdgeType(BasicBlock source, int edgeType) {		Iterator<Edge> i = outgoingEdgeIterator(source);		while (i.hasNext()) {			Edge edge = i.next();			if (edge.getType() == edgeType)				return edge.getDest();		}		return null;	}