/** * Get dataflow facts for start of given block. */ public Fact getStartFact(BasicBlock block) { return analysis.getStartFact(block); }
Fact start = analysis.getStartFact(block); assert start != null;
/** * Get dataflow facts for start of given block. */ public Fact getStartFact(BasicBlock block) { return analysis.getStartFact(block); }
Fact start = analysis.getStartFact(block); assert start != null;