report.h

Go to the documentation of this file.
00001 #ifndef __REPORT_H__
00002 #define __REPORT_H__
00003 
00004 /*
00005  Copyright (c) 2006-2010 Trevor Williams
00006 
00007  This program is free software; you can redistribute it and/or modify
00008  it under the terms of the GNU General Public License as published by the Free Software
00009  Foundation; either version 2 of the License, or (at your option) any later version.
00010 
00011  This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY;
00012  without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
00013  See the GNU General Public License for more details.
00014 
00015  You should have received a copy of the GNU General Public License along with this program;
00016  if not, write to the Free Software Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.
00017 */
00018 
00028 void command_report(
00029   int          argc,
00030   int          last_arg,
00031   const char** argv
00032 );
00033 
00035 void report_gather_instance_stats(
00036   funit_inst* root
00037 );
00038 
00040 void report_print_header(
00041   FILE* ofile
00042 );
00043 
00045 bool report_parse_args(
00046   int          argc,
00047   int          last_arg,
00048   const char** argv
00049 );
00050 
00052 void report_read_cdd_and_ready(
00053   const char* ifile
00054 );
00055 
00057 void report_close_cdd();
00058 
00060 void report_save_cdd(
00061   const char* filename
00062 );
00063 
00065 void report_output_exclusion_reason(
00066   FILE*       ofile,
00067   int         leading_spaces,
00068   const char* msg,
00069   bool        header
00070 );
00071 
00072 #endif
00073 
Generated on Sun Nov 21 00:55:36 2010 for Covered by  doxygen 1.6.3