if (VERIFY_INTEGRITY) { if (!blockList.contains(source)) throw new IllegalArgumentException("source is not in the CFG"); if (!blockList.contains(dest)) throw new IllegalArgumentException("dest is not in the CFG"); }    Edge edge = new Edge(source, dest, type); edge.setId(maxEdgeId++);  edgeList.add(edge); source.addOutgoingEdge(edge); dest.addIncomingEdge(edge);
Edge edge = addEdge(source, dest); edge.setType(type);
	public Edge addEdge(BasicBlock source, BasicBlock dest, int type) {		if (VERIFY_INTEGRITY) {			if (!blockList.contains(source))				throw new IllegalArgumentException("source is not in the CFG");			if (!blockList.contains(dest))				throw new IllegalArgumentException("dest is not in the CFG");		}/*		if (lookupEdge(source, dest) != null)			throw new IllegalArgumentException("Duplicate edge!");*/		Edge edge = new Edge(source, dest, type);		edge.setId(maxEdgeId++);		edgeList.add(edge);		source.addOutgoingEdge(edge);		dest.addIncomingEdge(edge);		return edge;	}