|
| 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.
|
|
Public Member Functions inherited from message_handlert |
| message_handlert () |
|
virtual void | print (unsigned level, const std::string &message)=0 |
|
virtual void | print (unsigned level, const xmlt &xml)=0 |
|
virtual void | print (unsigned level, const jsont &json)=0 |
|
virtual void | print (unsigned level, const structured_datat &data) |
|
virtual void | print (unsigned level, const std::string &message, const source_locationt &location) |
|
virtual void | flush (unsigned)=0 |
|
virtual | ~message_handlert () |
|
void | set_verbosity (unsigned _verbosity) |
|
unsigned | get_verbosity () const |
|
std::size_t | get_message_count (unsigned level) const |
|
virtual std::string | command (unsigned) const |
| Create an ECMA-48 SGR (Select Graphic Rendition) command.
|
|
Decorator for message_handlert that keeps track of warnings occuring when inlining a function.
It counts the number of :
- recursive functions warnings
- missing functions warnings
- missing function body warnings
- missing function arguments warnings
Definition at line 59 of file contracts.cpp.