cprover
Loading...
Searching...
No Matches
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.

Protected Attributes

message_handlertmessage_handler
const namespacetns

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: