1 | /*! @file CoverageFactory.h |
---|
2 | * @brief CoverageFactory Specification |
---|
3 | * |
---|
4 | * This file contains the specification of the CoverageFactory methods. |
---|
5 | * This collection of methods is used to create CoverageReader and/or |
---|
6 | * CoverageWriter instances for a particular coverage file format. |
---|
7 | */ |
---|
8 | |
---|
9 | #ifndef __COVERAGE_FACTORY_H__ |
---|
10 | #define __COVERAGE_FACTORY_H__ |
---|
11 | |
---|
12 | #include "CoverageReaderBase.h" |
---|
13 | #include "CoverageWriterBase.h" |
---|
14 | |
---|
15 | namespace Coverage { |
---|
16 | |
---|
17 | /*! |
---|
18 | * This type defines the coverage file formats that are supported. |
---|
19 | */ |
---|
20 | typedef enum { |
---|
21 | COVERAGE_FORMAT_QEMU, |
---|
22 | COVERAGE_FORMAT_RTEMS, |
---|
23 | COVERAGE_FORMAT_SKYEYE, |
---|
24 | COVERAGE_FORMAT_TSIM |
---|
25 | } CoverageFormats_t; |
---|
26 | |
---|
27 | /*! |
---|
28 | * This method returns the coverage file format that corresponds |
---|
29 | * to the specified string. |
---|
30 | * |
---|
31 | * @param[in] format is a string specifying the coverage file format |
---|
32 | * |
---|
33 | * @return Returns a coverage file format. |
---|
34 | */ |
---|
35 | CoverageFormats_t CoverageFormatToEnum( |
---|
36 | const char* const format |
---|
37 | ); |
---|
38 | |
---|
39 | /*! |
---|
40 | * This method returns an instance of a Coverage File Reader class |
---|
41 | * that corresponds to the specified coverage file format. |
---|
42 | * |
---|
43 | * @param[in] format specifies the coverage file format |
---|
44 | * |
---|
45 | * @return Returns a Coverage File Reader class instance. |
---|
46 | */ |
---|
47 | CoverageReaderBase* CreateCoverageReader( |
---|
48 | CoverageFormats_t format |
---|
49 | ); |
---|
50 | |
---|
51 | /*! |
---|
52 | * This method returns an instance of a Coverage File Writer class |
---|
53 | * that corresponds to the specified coverage file format. |
---|
54 | * |
---|
55 | * @param[in] format specifies the coverage file format |
---|
56 | * |
---|
57 | * @return Returns a Coverage File Writer class instance. |
---|
58 | */ |
---|
59 | CoverageWriterBase* CreateCoverageWriter( |
---|
60 | CoverageFormats_t format |
---|
61 | ); |
---|
62 | } |
---|
63 | |
---|
64 | #endif |
---|