CBMC
Public Member Functions | Protected Member Functions | Protected Attributes | List of all members
linking_diagnosticst Class Reference

#include <linking_diagnostics.h>

+ Collaboration diagram for linking_diagnosticst:

Public Member Functions

 linking_diagnosticst (message_handlert &message_handler, namespacet &ns)
 
void error (const symbolt &old_symbol, const symbolt &new_symbol, const std::string &msg)
 
void warning (const symbolt &old_symbol, const symbolt &new_symbol, const std::string &msg)
 
void detailed_conflict_report (const symbolt &old_symbol, const symbolt &new_symbol, const typet &type1, const typet &type2)
 

Protected Member Functions

std::string type_to_string_verbose (const symbolt &symbol, const typet &type) const
 
std::string type_to_string_verbose (const symbolt &symbol) const
 
bool detailed_conflict_report_rec (const symbolt &old_symbol, const symbolt &new_symbol, const typet &type1, const typet &type2, unsigned depth, exprt &conflict_path)
 Returns true iff the conflict report on a particular branch of the tree of types was a definitive result, and not contingent on conflicts within a tag type. More...
 

Protected Attributes

message_handlert & message_handler
 
const namespacet & ns
 

Detailed Description

Definition at line 21 of file linking_diagnostics.h.

Constructor & Destructor Documentation

◆ linking_diagnosticst()

linking_diagnosticst::linking_diagnosticst ( message_handlert &  message_handler,
namespacet &  ns 
)
inline

Definition at line 24 of file linking_diagnostics.h.

Member Function Documentation

◆ detailed_conflict_report()

void linking_diagnosticst::detailed_conflict_report ( const symbolt &  old_symbol,
const symbolt &  new_symbol,
const typet &  type1,
const typet &  type2 
)
inline

Definition at line 39 of file linking_diagnostics.h.

◆ detailed_conflict_report_rec()

bool linking_diagnosticst::detailed_conflict_report_rec ( const symbolt &  old_symbol,
const symbolt &  new_symbol,
const typet &  type1,
const typet &  type2,
unsigned  depth,
exprt &  conflict_path 
)
protected

Returns true iff the conflict report on a particular branch of the tree of types was a definitive result, and not contingent on conflicts within a tag type.

Definition at line 87 of file linking_diagnostics.cpp.

◆ error()

void linking_diagnosticst::error ( const symbolt &  old_symbol,
const symbolt &  new_symbol,
const std::string &  msg 
)

Definition at line 365 of file linking_diagnostics.cpp.

◆ type_to_string_verbose() [1/2]

std::string linking_diagnosticst::type_to_string_verbose ( const symbolt &  symbol) const
inlineprotected

Definition at line 62 of file linking_diagnostics.h.

◆ type_to_string_verbose() [2/2]

std::string linking_diagnosticst::type_to_string_verbose ( const symbolt &  symbol,
const typet &  type 
) const
protected

Definition at line 35 of file linking_diagnostics.cpp.

◆ warning()

void linking_diagnosticst::warning ( const symbolt &  old_symbol,
const symbolt &  new_symbol,
const std::string &  msg 
)

Definition at line 382 of file linking_diagnostics.cpp.

Member Data Documentation

◆ message_handler

message_handlert& linking_diagnosticst::message_handler
protected

Definition at line 56 of file linking_diagnostics.h.

◆ ns

const namespacet& linking_diagnosticst::ns
protected

Definition at line 57 of file linking_diagnostics.h.

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