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