blob: c934f612a47407e7a7835f8b27eadceb58e9d717 (
plain) (
tree)
|
|
/*! @file CoverageWriterRTEMS.h
* @brief CoverageWriterRTEMS Specification
*
* This file contains the specification of the CoverageWriterRTEMS class.
*/
#ifndef __COVERAGE_WRITER_RTEMS_H__
#define __COVERAGE_WRITER_RTEMS_H__
#include "CoverageMapBase.h"
#include "CoverageWriterBase.h"
namespace Coverage {
/*! @class CoverageWriterRTEMS
*
* This class writes a coverage map in RTEMS format. The format is
* documented in CoverageReaderRTEMS.
*/
class CoverageWriterRTEMS : public CoverageWriterBase {
public:
/*!
* This method constructs a CoverageWriterRTEMS instance.
*/
CoverageWriterRTEMS();
/*!
* This method destructs a CoverageWriterRTEMS instance.
*/
virtual ~CoverageWriterRTEMS();
/* Inherit documentation from base class. */
void writeFile(
const char* const file,
CoverageMapBase* coverage,
uint32_t lowAddress,
uint32_t highAddress
);
};
}
#endif
|