blob: 91103030c749b89358d76f47ef266515ba2201bb (
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 <string>
#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 std::string& file,
CoverageMapBase* coverage,
uint32_t lowAddress,
uint32_t highAddress
);
};
}
#endif
|