/// <summary>
/// CFG pretty-printer. For each block, this method
/// calls <c>pre_printer</c>c(if non-null),
/// prints the normal/excp. successors,
/// the code of the block, the normal/excp. predecessors and finally calls
/// <c>post_printer</c>. A useful use of the pre and post printers is the
/// debugging of a flow-sensitive analysis.
/// </summary>
/// <param name="tw">Where to print.</param>
public void Display(
TextWriter tw,
CfgBlock[] blocks,
DGetBlockInfo get_pre_block_info,
DGetBlockInfo get_post_block_info,
DGetStatInfo get_stat_info
) {
Hashtable b2id = new Hashtable();
for(int i = 0; i < blocks.Length; i++)
b2id[blocks[i]] = i;
for(int i = 0; i < blocks.Length; i++) {
CfgBlock block = blocks[i];
tw.WriteLine("BLOCK " + (block is ISpecialBlock ? "*" : "") + CodePrinter.b2s(block, b2id));
if (get_pre_block_info != null)
tw.WriteLine(get_pre_block_info(block));
print_block_array(" Normal pred: ", NormalPred(block), b2id, tw);
print_block_array(" Protected blocks: ", ExcpPred(block), b2id, tw);
if (ExcpPred(block).Length != 0) {
ExceptionHandler eh = HandlerThatStartsAtBlock(block);
if (eh != null)
tw.WriteLine(" Handler {0} [{1},{2})",
eh.HandlerType,
CodePrinter.b2s(eh.HandlerStartBlock, b2id),
CodePrinter.b2s(eh.BlockAfterHandlerEnd, b2id));
}
CodePrinter.PrintBlock(tw, block, get_stat_info, b2id);
print_block_array(" Normal succ: ", NormalSucc(block), b2id, tw);
print_block_array(" Excp succ: ", this.ExcpSucc(block), b2id, tw);
print_block(" Handler: ", ExceptionHandler(block), b2id, tw);
print_block_list(" Finallies: ", (FList)b2_enclosing_finally[block], b2id, tw);
ExceptionHandler ceh = (ExceptionHandler)b2_containing_handler[block];
if (ceh != null) print_block(" Containing handler", ceh.HandlerStartBlock, b2id, tw);
if (get_post_block_info != null)
tw.WriteLine(get_post_block_info(block));
tw.WriteLine();
}
tw.WriteLine("Entry = " + CodePrinter.b2s(Entry, b2id));
tw.WriteLine("NormalExit = " + CodePrinter.b2s(NormalExit, b2id));
tw.WriteLine("ExcptExit = " + CodePrinter.b2s(ExceptionExit, b2id));
tw.WriteLine("Exit = " + CodePrinter.b2s(Exit, b2id));
}
public void Display(
TextWriter tw,
DGetBlockInfo get_pre_block_info,
DGetBlockInfo get_post_block_info,
DGetStatInfo get_stat_info
) {
Display(tw, this.Blocks(), get_pre_block_info, get_post_block_info, get_stat_info);
}
