libgdiagnostics_path_event Class Reference

Inheritance diagram for libgdiagnostics_path_event:

Collaboration diagram for libgdiagnostics_path_event:

Public Types
enum	verb {   VERB_unknown , VERB_acquire , VERB_release , VERB_enter ,   VERB_exit , VERB_call , VERB_return , VERB_branch ,   VERB_danger }
enum	noun {   NOUN_unknown , NOUN_taint , NOUN_sensitive , NOUN_function ,   NOUN_lock , NOUN_memory , NOUN_resource }
enum	property { PROPERTY_unknown , PROPERTY_true , PROPERTY_false }

Public Member Functions
	libgdiagnostics_path_event (const diagnostic_physical_location *physical_loc, const diagnostic_logical_location *logical_loc, unsigned stack_depth, const char *gmsgid, va_list *args)
location_t	get_location () const final override
int	get_stack_depth () const final override
void	print_desc (pretty_printer &pp) const final override
logical_location	get_logical_location () const final override
meaning	get_meaning () const final override
bool	connect_to_next_event_p () const final override
diagnostic_thread_id_t	get_thread_id () const final override
virtual void	maybe_add_sarif_properties (sarif_builder &, sarif_object &) const
label_text	get_desc (pretty_printer &ref_pp) const

Static Private Member Functions
static label_text	make_desc (const char *gmsgid, va_list *args, bool colorize)

Private Attributes
const diagnostic_physical_location *	m_physical_loc
const diagnostic_logical_location *	m_logical_loc
unsigned	m_stack_depth
label_text	m_desc_uncolored
label_text	m_desc_colored

Member Enumeration Documentation

noun

enum diagnostic_event::noun

inherited

Enumerator
NOUN_unknown
NOUN_taint
NOUN_sensitive
NOUN_function
NOUN_lock
NOUN_memory
NOUN_resource

property

enum diagnostic_event::property

inherited

Enumerator
PROPERTY_unknown
PROPERTY_true
PROPERTY_false

verb

enum diagnostic_event::verb

inherited

Enumerator
VERB_unknown
VERB_acquire
VERB_release
VERB_enter
VERB_exit
VERB_call
VERB_return
VERB_branch
VERB_danger

Constructor & Destructor Documentation

libgdiagnostics_path_event()

libgdiagnostics_path_event::libgdiagnostics_path_event ( const diagnostic_physical_location * physical_loc, const diagnostic_logical_location * logical_loc, unsigned stack_depth, const char * gmsgid, va_list * args )

inline

References m_desc_colored, m_desc_uncolored, m_logical_loc, m_physical_loc, m_stack_depth, and make_desc().

Member Function Documentation

connect_to_next_event_p()

bool libgdiagnostics_path_event::connect_to_next_event_p ( ) const

inlinefinaloverridevirtual

Implements diagnostic_event.

References final().

get_desc()

label_text diagnostic_event::get_desc ( pretty_printer & ref_pp ) const

inherited

Generate a label_text containing the description of this event
(for debugging/logging purposes).   

References pretty_printer::clone(), pp_formatted_text(), pp_show_color(), and print_desc().

get_location()

location_t libgdiagnostics_path_event::get_location ( ) const

inlinefinaloverridevirtual

Implements diagnostic_event.

References as_location_t(), final(), and m_physical_loc.

get_logical_location()

logical_location libgdiagnostics_path_event::get_logical_location ( ) const

inlinefinaloverridevirtual

Implements diagnostic_event.

References final(), impl_logical_location_manager::key_from_ptr(), and m_logical_loc.

get_meaning()

meaning libgdiagnostics_path_event::get_meaning ( ) const

inlinefinaloverridevirtual

Implements diagnostic_event.

References final().

get_stack_depth()

int libgdiagnostics_path_event::get_stack_depth ( ) const

inlinefinaloverridevirtual

Implements diagnostic_event.

References final(), and m_stack_depth.

get_thread_id()

diagnostic_thread_id_t libgdiagnostics_path_event::get_thread_id ( ) const

inlinefinaloverridevirtual

Implements diagnostic_event.

References final().

make_desc()

label_text libgdiagnostics_path_event::make_desc ( const char * gmsgid, va_list * args, bool colorize )

inlinestaticprivate

References errno, pp_format(), pp_formatted_text(), pp_output_formatted_text(), pp_show_color(), pretty_printer::set_output_stream(), text, and va_copy.

Referenced by libgdiagnostics_path_event().

maybe_add_sarif_properties()

virtual void diagnostic_event::maybe_add_sarif_properties ( sarif_builder & , sarif_object &  ) const

inlinevirtualinherited

Reimplemented in ana::checker_event, and ana::superedge_event.

Referenced by sarif_builder::populate_thread_flow_location_object().

print_desc()

void libgdiagnostics_path_event::print_desc ( pretty_printer & pp ) const

inlinefinaloverridevirtual

Implements diagnostic_event.

References m_desc_colored, m_desc_uncolored, pp_show_color(), and pp_string().

Field Documentation

m_desc_colored

label_text libgdiagnostics_path_event::m_desc_colored

private

Referenced by libgdiagnostics_path_event(), and print_desc().

m_desc_uncolored

label_text libgdiagnostics_path_event::m_desc_uncolored

private

Referenced by libgdiagnostics_path_event(), and print_desc().

m_logical_loc

const diagnostic_logical_location* libgdiagnostics_path_event::m_logical_loc

private

Referenced by get_logical_location(), and libgdiagnostics_path_event().

m_physical_loc

const diagnostic_physical_location* libgdiagnostics_path_event::m_physical_loc

private

Referenced by get_location(), and libgdiagnostics_path_event().

m_stack_depth

unsigned libgdiagnostics_path_event::m_stack_depth

private

Referenced by get_stack_depth(), and libgdiagnostics_path_event().

---

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

• libgdiagnostics.cc