diff options
Diffstat (limited to 'covoar/CoverageWriterRTEMS.cc')
-rw-r--r-- | covoar/CoverageWriterRTEMS.cc | 88 |
1 files changed, 0 insertions, 88 deletions
diff --git a/covoar/CoverageWriterRTEMS.cc b/covoar/CoverageWriterRTEMS.cc deleted file mode 100644 index 7a5150f..0000000 --- a/covoar/CoverageWriterRTEMS.cc +++ /dev/null @@ -1,88 +0,0 @@ -/*! @file CoverageWriterRTEMS.cc - * @brief CoverageWriterRTEMS Implementation - * - * This file contains the implementation of the functions supporting - * the unified overage file format. - */ - -#include <stdio.h> -#include <stdlib.h> -#include <string.h> - -#include "CoverageWriterRTEMS.h" -#include "rtemscov_header.h" - -namespace Coverage { - - CoverageWriterRTEMS::CoverageWriterRTEMS() - { - } - - CoverageWriterRTEMS::~CoverageWriterRTEMS() - { - } - - void CoverageWriterRTEMS::writeFile( - const char* const file, - CoverageMapBase* coverage, - uint32_t lowAddress, - uint32_t highAddress - ) - { - FILE* coverageFile; - uint32_t a; - int status; - uint8_t cover; - rtems_coverage_map_header_t header; - - /* - * read the file and update the coverage map passed in - */ - coverageFile = fopen( file, "w" ); - if ( !coverageFile ) { - fprintf( - stderr, - "ERROR: CoverageWriterRTEMS::writeFile - unable to open %s\n", - file - ); - exit(-1); - } - - /* clear out the header and fill it in */ - memset( &header, 0, sizeof(header) ); - header.ver = 0x1; - header.header_length = sizeof(header); - header.start = lowAddress; - header.end = highAddress; - strcpy( header.desc, "RTEMS Coverage Data" ); - - status = fwrite(&header, 1, sizeof(header), coverageFile); - if (status != sizeof(header)) { - fprintf( - stderr, - "ERROR: CoverageWriterRTEMS::writeFile - unable to write header " - "to %s\n", - file - ); - exit(-1); - } - - for ( a=lowAddress ; a < highAddress ; a++ ) { - cover = ((coverage->wasExecuted( a )) ? 0x01 : 0); - status = fwrite(&cover, 1, sizeof(cover), coverageFile); - if (status != sizeof(cover)) { - fprintf( - stderr, - "ERROR: CoverageWriterRTEMS::writeFile - write to %s " - "at address 0x%08x failed\n", - file, - a - ); - exit( -1 ); - } - // fprintf( stderr, "0x%x %d\n", a, cover ); - } - - fclose( coverageFile ); - } -} |