Beispiel #1
0
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);
      }
    }
  }
Beispiel #2
0
void BitVector::print(FILE *fp) const
  {
    file_ion the_ion(fp);
    print(&the_ion);
  }