summaryrefslogtreecommitdiffstats
path: root/tester/covoar/CoverageWriterTSIM.h
diff options
context:
space:
mode:
Diffstat (limited to 'tester/covoar/CoverageWriterTSIM.h')
-rw-r--r--tester/covoar/CoverageWriterTSIM.h44
1 files changed, 44 insertions, 0 deletions
diff --git a/tester/covoar/CoverageWriterTSIM.h b/tester/covoar/CoverageWriterTSIM.h
new file mode 100644
index 0000000..927fd64
--- /dev/null
+++ b/tester/covoar/CoverageWriterTSIM.h
@@ -0,0 +1,44 @@
+/*! @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 "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 char* const file,
+ CoverageMapBase* coverage,
+ uint32_t lowAddress,
+ uint32_t highAddress
+ );
+ };
+
+}
+#endif