cprover
Loading...
Searching...
No Matches
Public Member Functions | Private Member Functions | Private Attributes | List of all members
inlining_decoratort Class Reference

Decorator for message_handlert that keeps track of warnings occuring when inlining a function. More...

+ Inheritance diagram for inlining_decoratort:
+ Collaboration diagram for inlining_decoratort:

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.
 
- 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.
 

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

- Protected Attributes inherited from message_handlert
unsigned verbosity
 
std::vector< std::size_t > message_count
 

Detailed Description

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.

Constructor & Destructor Documentation

◆ inlining_decoratort()

inlining_decoratort::inlining_decoratort ( message_handlert &  _wrapped)
inlineexplicit

Definition at line 72 of file contracts.cpp.

Member Function Documentation

◆ command()

std::string inlining_decoratort::command ( unsigned  ) const
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.

◆ flush()

void inlining_decoratort::flush ( unsigned  i)
inlineoverridevirtual

Implements message_handlert.

Definition at line 112 of file contracts.cpp.

◆ get_message_count()

std::size_t inlining_decoratort::get_message_count ( unsigned  level) const
inline

Definition at line 127 of file contracts.cpp.

◆ get_recursive_function_warnings_count()

unsigned int inlining_decoratort::get_recursive_function_warnings_count ( )
inline

Definition at line 76 of file contracts.cpp.

◆ get_verbosity()

unsigned inlining_decoratort::get_verbosity ( ) const
inline

Definition at line 122 of file contracts.cpp.

◆ parse_message()

void inlining_decoratort::parse_message ( const std::string &  message)
inlineprivate

Definition at line 65 of file contracts.cpp.

◆ print() [1/5]

void inlining_decoratort::print ( unsigned  level,
const jsont &  json 
)
inlineoverridevirtual

Implements message_handlert.

Definition at line 92 of file contracts.cpp.

◆ print() [2/5]

void inlining_decoratort::print ( unsigned  level,
const std::string &  message 
)
inlineoverridevirtual

Implements message_handlert.

Definition at line 81 of file contracts.cpp.

◆ print() [3/5]

void inlining_decoratort::print ( unsigned  level,
const std::string &  message,
const source_locationt &  location 
)
inlineoverridevirtual

Reimplemented from message_handlert.

Definition at line 102 of file contracts.cpp.

◆ print() [4/5]

void inlining_decoratort::print ( unsigned  level,
const structured_datat &  data 
)
inlineoverridevirtual

Reimplemented from message_handlert.

Definition at line 97 of file contracts.cpp.

◆ print() [5/5]

void inlining_decoratort::print ( unsigned  level,
const xmlt &  xml 
)
inlineoverridevirtual

Implements message_handlert.

Definition at line 87 of file contracts.cpp.

◆ set_verbosity()

void inlining_decoratort::set_verbosity ( unsigned  _verbosity)
inline

Definition at line 117 of file contracts.cpp.

Member Data Documentation

◆ recursive_function_warnings_count

unsigned int inlining_decoratort::recursive_function_warnings_count = 0
private

Definition at line 63 of file contracts.cpp.

◆ wrapped

message_handlert& inlining_decoratort::wrapped
private

Definition at line 62 of file contracts.cpp.

The documentation for this class was generated from the following file: