summaryrefslogtreecommitdiff
path: root/covoar/CoverageReaderRTEMS.h
diff options
context:
space:
mode:
Diffstat (limited to 'covoar/CoverageReaderRTEMS.h')
-rw-r--r--covoar/CoverageReaderRTEMS.h44
1 files changed, 0 insertions, 44 deletions
diff --git a/covoar/CoverageReaderRTEMS.h b/covoar/CoverageReaderRTEMS.h
deleted file mode 100644
index 0b30285..0000000
--- a/covoar/CoverageReaderRTEMS.h
+++ /dev/null
@@ -1,44 +0,0 @@
-/*! @file CoverageReaderRTEMS.h
- * @brief CoverageReaderRTEMS Specification
- *
- * This file contains the specification of the CoverageReaderRTEMS class.
- */
-
-#ifndef __COVERAGE_READER_RTEMS_H__
-#define __COVERAGE_READER_RTEMS_H__
-
-#include "CoverageReaderBase.h"
-#include "ExecutableInfo.h"
-
-namespace Coverage {
-
- /*! @class CoverageReaderRTEMS
- *
- * This class implements the functionality which reads a coverage map
- * file produced by RTEMS. Since the SPARC has 32-bit instructions,
- * RTEMS produces a file with an integer for each 32-bit word. The
- * integer will have the least significant bit set if the address
- * was executed.
-@verbatim
-TBD
-@endverbatim
- */
- class CoverageReaderRTEMS : public CoverageReaderBase {
-
- public:
-
- /* Inherit documentation from base class. */
- CoverageReaderRTEMS();
-
- /* Inherit documentation from base class. */
- virtual ~CoverageReaderRTEMS();
-
- /* Inherit documentation from base class. */
- void processFile(
- const char* const file,
- ExecutableInfo* const executableInformation
- );
- };
-
-}
-#endif