11 #ifndef CPROVER_GOTO_INSTRUMENT_CONTRACTS_INLINING_DECORATOR_H
12 #define CPROVER_GOTO_INSTRUMENT_CONTRACTS_INLINING_DECORATOR_H
107 void print(
unsigned level,
const std::string &message)
override
130 const std::string &message,
158 std::string
command(
unsigned i)
const override
Decorator for a message_handlert used during function inlining that collect names of GOTO functions c...
void print(unsigned level, const std::string &message) override
const std::set< irep_idt > & get_no_body_set() const
std::set< irep_idt > not_enough_arguments_set
void throw_on_recursive_calls(messaget &log, const int error_code)
Throws the given error code if recursive call warnings happend during inlining.
const std::set< irep_idt > & get_missing_function_set() const
unsigned get_verbosity() const
void print(unsigned level, const jsont &json) override
void set_verbosity(unsigned _verbosity)
void print(unsigned level, const std::string &message, const source_locationt &location) override
void flush(unsigned i) override
void print(unsigned level, const xmlt &xml) override
inlining_decoratort(message_handlert &_wrapped)
void throw_on_missing_function(messaget &log, const int error_code)
Throws the given error code if missing function warnings happend during inlining.
std::set< irep_idt > no_body_set
std::regex missing_function_regex
std::regex recursive_call_regex
std::set< irep_idt > missing_function_set
message_handlert & wrapped
void match_no_body_warning(const std::string &message)
void throw_on_no_body(messaget &log, const int error_code)
Throws the given error code if no body for function warnings happend during inlining.
void print(unsigned level, const structured_datat &data) override
std::string command(unsigned i) const override
Create an ECMA-48 SGR (Select Graphic Rendition) command.
void match_recursive_call_warning(const std::string &message)
void match_not_enough_arguments_warning(const std::string &message)
const std::set< irep_idt > & get_not_enough_arguments_set() const
std::size_t get_message_count(unsigned level) const
std::set< irep_idt > recursive_call_set
void throw_on_not_enough_arguments(messaget &log, const int error_code)
Throws the given error code if not enough arguments warnings happend during inlining.
std::regex not_enough_arguments_regex
const std::set< irep_idt > & get_recursive_call_set() const
void match_missing_function_warning(const std::string &message)
void parse_message(const std::string &message)
void set_verbosity(unsigned _verbosity)
virtual void print(unsigned level, const std::string &message)=0
std::size_t get_message_count(unsigned level) const
unsigned get_verbosity() const
virtual std::string command(unsigned) const
Create an ECMA-48 SGR (Select Graphic Rendition) command.
virtual void flush(unsigned)=0
Class that provides messages with a built-in verbosity 'level'.
A way of representing nested key/value data.
static void json(json_objectT &result, const irep_idt &property_id, const property_infot &property_info)
xmlt xml(const irep_idt &property_id, const property_infot &property_info)