Loading...

Searching...

No Matches

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:

[フレーム]

[legend]

Public Member Functions

linking_diagnosticst (message_handlert &message_handler, const 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_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,

const 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 385 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:

/home/runner/work/cbmc/cbmc/src/linking/linking_diagnostics.h
/home/runner/work/cbmc/cbmc/src/linking/linking_diagnostics.cpp