cprover
cl_message_handler.h
Go to the documentation of this file.
1
/*******************************************************************\
2
3
Module: Print messages like CL.exe does
4
5
Author: Michael Tautschnig
6
7
\*******************************************************************/
8
9
#ifndef CPROVER_GOTO_CC_CL_MESSAGE_HANDLER_H
10
#define CPROVER_GOTO_CC_CL_MESSAGE_HANDLER_H
11
12
#include <
util/cout_message.h
>
13
14
class
cl_message_handlert
:
public
console_message_handlert
15
{
16
public
:
17
void
print
(
unsigned
,
const
xmlt
&)
override
18
{
19
}
20
21
void
print
(
unsigned
,
const
jsont
&)
override
22
{
23
}
24
25
// aims to imitate the messages CL prints
26
void
print
(
27
unsigned
level,
28
const
std::string &
message
,
29
const
source_locationt
&location)
override
;
30
31
using
console_message_handlert::print
;
32
};
33
34
#endif // CPROVER_GOTO_CC_CL_MESSAGE_HANDLER_H
console_message_handlert::print
void print(unsigned, const xmlt &) override
Definition:
cout_message.h:32
cl_message_handlert::print
void print(unsigned, const xmlt &) override
Definition:
cout_message.h:32
cl_message_handlert::print
void print(unsigned, const jsont &) override
Definition:
cl_message_handler.h:21
jsont
Definition:
json.h:27
message
static const char * message(const static_verifier_resultt::statust &status)
Makes a status message string from a status.
Definition:
static_verifier.cpp:74
cl_message_handlert::print
void print(unsigned, const xmlt &) override
Definition:
cl_message_handler.h:17
cout_message.h
xmlt
Definition:
xml.h:21
source_locationt
Definition:
source_location.h:20
cl_message_handlert
Definition:
cl_message_handler.h:15
console_message_handlert
Definition:
cout_message.h:30
goto-cc
cl_message_handler.h
Generated by
1.8.20