blob: 5ae57f8459dae9e2869741d08489a365dfa5243e (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
|
/*! @file CoverageWriterTSIM.h
* @brief CoverageWriterTSIM Specification
*
* This file contains the specification of the CoverageWriterTSIM class.
*/
#ifndef __COVERAGE_WRITER_TSIM_H__
#define __COVERAGE_WRITER_TSIM_H__
#include <string>
#include "CoverageMapBase.h"
#include "CoverageWriterBase.h"
namespace Coverage {
/*! @class CoverageWriterTSIM
*
* This class writes a coverage map in TSIM format. The format is
* documented in CoverageReaderTSIM.
*/
class CoverageWriterTSIM : public CoverageWriterBase {
public:
/*!
* This method constructs a CoverageWriterTSIM instance.
*/
CoverageWriterTSIM();
/*!
* This method destructs a CoverageWriterTSIM instance.
*/
virtual ~CoverageWriterTSIM();
/* Inherit documentation from base class. */
void writeFile(
const std::string& file,
CoverageMapBase* coverage,
uint32_t lowAddress,
uint32_t highAddress
);
};
}
#endif
|