public Fact getFactAtLocation(Location location) { Fact fact = factAtLocationMap.get(location); if (fact == null) { fact = createFact(); factAtLocationMap.put(location, fact); } return fact;
public Fact getFactAtLocation(Location location) throws DataflowAnalysisException { Fact start = getStartFact(location.getBasicBlock()); Fact result = createFact(); makeFactTop(result); transfer(location.getBasicBlock(), location.getHandle(), start, result); return result;
	public Fact getFactAtLocation(Location location) {		Fact fact = factAtLocationMap.get(location);		if (fact == null) {			fact = createFact();			factAtLocationMap.put(location, fact);		}		return fact;	}