* @brief Return checking statistics. * @return Pointer to checking statistics. */
| 210 | * @return Pointer to checking statistics. |
| 211 | */ |
| 212 | const CheckStatistics *getStatistics() const { |
| 213 | return mStatistics; |
| 214 | } |
| 215 | |
| 216 | /** |
| 217 | * @brief Return Showtypes. |