cprover
Loading...
Searching...
No Matches
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
ait
ait supplies three of the four components needed: an abstract interpreter (in this case handling func...
Definition
ai.h:564
cl_message_handlert
Definition
cl_message_handler.h:15
cl_message_handlert::print
void print(unsigned, const jsont &) override
Definition
cl_message_handler.h:21
cl_message_handlert::print
void print(unsigned, const xmlt &) override
Definition
cl_message_handler.h:17
console_message_handlert
Definition
cout_message.h:30
console_message_handlert::print
void print(unsigned, const xmlt &) override
Definition
cout_message.h:32
jsont
Definition
json.h:27
source_locationt
Definition
source_location.h:19
xmlt
Definition
xml.h:21
cout_message.h
goto-cc
cl_message_handler.h
Generated by
1.9.8