analysis.initResultFact(result);
if (block == logicalEntryBlock()) try { analysis.initEntryFact(result); } catch (DataflowAnalysisException e) { analysis.initResultFact(result); } else analysis.initResultFact(result);
	public Dataflow(CFG cfg, AnalysisType analysis) {		this.cfg = cfg;		this.analysis = analysis;		blockOrder = analysis.getBlockOrder(cfg);		isForwards = analysis.isForwards();		numIterations = 0;		// Initialize result facts		Iterator<BasicBlock> i = cfg.blockIterator();		while (i.hasNext()) {			BasicBlock block = i.next();			// Initial result facts are whatever the analysis sets them to be.			Fact result = analysis.getResultFact(block);			analysis.initResultFact(result);		}	}