cprover
|
Decorator for message_handlert that keeps track of warnings occuring when inlining a function. More...
Public Member Functions | |
inlining_decoratort (message_handlert &_wrapped) | |
unsigned int | get_recursive_function_warnings_count () |
void | print (unsigned level, const std::string &message) override |
void | print (unsigned level, const xmlt &xml) override |
void | print (unsigned level, const jsont &json) override |
void | print (unsigned level, const structured_datat &data) override |
void | print (unsigned level, const std::string &message, const source_locationt &location) override |
void | flush (unsigned i) override |
void | set_verbosity (unsigned _verbosity) |
unsigned | get_verbosity () const |
std::size_t | get_message_count (unsigned level) const |
std::string | command (unsigned i) const override |
Create an ECMA-48 SGR (Select Graphic Rendition) command. More... | |
Private Member Functions | |
void | parse_message (const std::string &message) |
Private Attributes | |
message_handlert & | wrapped |
unsigned int | recursive_function_warnings_count = 0 |
Additional Inherited Members |
Decorator for message_handlert that keeps track of warnings occuring when inlining a function.
It counts the number of :
Definition at line 59 of file contracts.cpp.
|
inlineexplicit |
Definition at line 72 of file contracts.cpp.
|
inlineoverridevirtual |
Create an ECMA-48 SGR (Select Graphic Rendition) command.
The default behavior is no action.
Reimplemented from message_handlert.
Definition at line 132 of file contracts.cpp.
|
inlineoverridevirtual |
Implements message_handlert.
Definition at line 112 of file contracts.cpp.
|
inline |
Definition at line 127 of file contracts.cpp.
|
inline |
Definition at line 76 of file contracts.cpp.
|
inline |
Definition at line 122 of file contracts.cpp.
|
inlineprivate |
Definition at line 65 of file contracts.cpp.
|
inlineoverridevirtual |
Implements message_handlert.
Definition at line 92 of file contracts.cpp.
|
inlineoverridevirtual |
Implements message_handlert.
Definition at line 81 of file contracts.cpp.
|
inlineoverridevirtual |
Reimplemented from message_handlert.
Definition at line 102 of file contracts.cpp.
|
inlineoverridevirtual |
Reimplemented from message_handlert.
Definition at line 97 of file contracts.cpp.
|
inlineoverridevirtual |
Implements message_handlert.
Definition at line 87 of file contracts.cpp.
|
inline |
Definition at line 117 of file contracts.cpp.
|
private |
Definition at line 63 of file contracts.cpp.
|
private |
Definition at line 62 of file contracts.cpp.