summaryrefslogtreecommitdiff
path: root/covoar/CoverageWriterRTEMS.h
diff options
context:
space:
mode:
Diffstat (limited to 'covoar/CoverageWriterRTEMS.h')
-rw-r--r--covoar/CoverageWriterRTEMS.h44
1 files changed, 0 insertions, 44 deletions
diff --git a/covoar/CoverageWriterRTEMS.h b/covoar/CoverageWriterRTEMS.h
deleted file mode 100644
index c934f61..0000000
--- a/covoar/CoverageWriterRTEMS.h
+++ /dev/null
@@ -1,44 +0,0 @@
-/*! @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