void SuifCFGraphPass::do_procedure_definition(ProcedureDefinition *proc_def ) { CFGraphQuery q(get_suif_env(), proc_def); // bool verbose = _verbose_output->is_set(); bool dot_output = _dot_output->is_set(); if (dot_output) { const char *fname = (String(proc_def->get_procedure_symbol()->get_name()) + ".dot").c_str(); FILE *fp = fopen(fname, "w"); if (!fp) { suif_warning("Could not open file '%s'\n", fname); } else { file_ion the_ion(fp); q.print_dot(&the_ion); fclose(fp); } } }
void BitVector::print(FILE *fp) const { file_ion the_ion(fp); print(&the_ion); }