for (Iterator<Location> j = derefLocationSet.iterator(); j.hasNext(); ) { Location location = j.next();
for (Location location : derefLocationSet) {
	public String toString() {		if (isTop()) {			return "[TOP]";		}		if (isBottom()) {			return "[BOTTOM]";		}				StringBuffer buf = new StringBuffer();		buf.append('[');		boolean firstVN = true;		for (int i = 0; i < numValueNumbersInMethod; i++)  {			if (!valueNumberSet.get(i)) {				continue;			}			if (firstVN) {				firstVN = false;			} else {				buf.append(',');			}			buf.append('{');			buf.append(i);			buf.append(':');			TreeSet<Location> derefLocationSet = new TreeSet<Location>();			derefLocationSet.addAll(getDerefLocationSet(i));			boolean firstLoc = true;			for (Iterator<Location> j = derefLocationSet.iterator(); j.hasNext(); ) {				Location location = j.next();				if (firstLoc) {					firstLoc = false;				} else {					buf.append(',');				}				buf.append(						"(" +						location.getBasicBlock().getId() +						":" +						location.getHandle().getPosition() +						")");			}			buf.append('}');		}		buf.append(']');		return buf.toString();	}