simple_diagnostic_event Class Reference

#include <diagnostic-path.h>

Inheritance diagram for simple_diagnostic_event:

Collaboration diagram for simple_diagnostic_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
	simple_diagnostic_event (location_t loc, tree fndecl, int depth, const char *desc, diagnostic_thread_id_t thread_id=0)
	~simple_diagnostic_event ()
location_t	get_location () const final override
tree	get_fndecl () const final override
int	get_stack_depth () const final override
label_text	get_desc (bool) const final override
const 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
void	connect_to_next_event ()
virtual void	maybe_add_sarif_properties (sarif_object &) const

Private Attributes
location_t	m_loc
tree	m_fndecl
int	m_depth
char *	m_desc
bool	m_connected_to_next_event
diagnostic_thread_id_t	m_thread_id

Detailed Description

Concrete subclasses.   

A simple implementation of diagnostic_event.   

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

simple_diagnostic_event()

simple_diagnostic_event::simple_diagnostic_event	(	location_t	loc,
		tree	fndecl,
		int	depth,
		const char *	desc,
		diagnostic_thread_id_t	thread_id = 0 )

struct simple_diagnostic_event.   

simple_diagnostic_event's ctor.   

~simple_diagnostic_event()

simple_diagnostic_event::~simple_diagnostic_event

(

)

simple_diagnostic_event's dtor.   

References free(), and m_desc.

Member Function Documentation

connect_to_next_event()

void simple_diagnostic_event::connect_to_next_event ( )

inline

References m_connected_to_next_event.

connect_to_next_event_p()

bool simple_diagnostic_event::connect_to_next_event_p ( ) const

inlinefinaloverridevirtual

Implements diagnostic_event.

References m_connected_to_next_event.

get_desc()

label_text simple_diagnostic_event::get_desc ( bool ) const

inlinefinaloverridevirtual

Implements diagnostic_event.

References m_desc.

get_fndecl()

tree simple_diagnostic_event::get_fndecl ( ) const

inlinefinaloverridevirtual

Implements diagnostic_event.

References m_fndecl.

get_location()

location_t simple_diagnostic_event::get_location ( ) const

inlinefinaloverridevirtual

Implements diagnostic_event.

References m_loc.

get_logical_location()

const logical_location * simple_diagnostic_event::get_logical_location ( ) const

inlinefinaloverridevirtual

Implements diagnostic_event.

References NULL.

get_meaning()

meaning simple_diagnostic_event::get_meaning ( ) const

inlinefinaloverridevirtual

Implements diagnostic_event.

get_stack_depth()

int simple_diagnostic_event::get_stack_depth ( ) const

inlinefinaloverridevirtual

Implements diagnostic_event.

References m_depth.

get_thread_id()

diagnostic_thread_id_t simple_diagnostic_event::get_thread_id ( ) const

inlinefinaloverridevirtual

Implements diagnostic_event.

References m_thread_id.

maybe_add_sarif_properties()

virtual void diagnostic_event::maybe_add_sarif_properties ( sarif_object & ) const

inlinevirtualinherited

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

Field Documentation

m_connected_to_next_event

bool simple_diagnostic_event::m_connected_to_next_event

private

Referenced by connect_to_next_event(), and connect_to_next_event_p().

m_depth

int simple_diagnostic_event::m_depth

private

Referenced by get_stack_depth().

m_desc

char* simple_diagnostic_event::m_desc

private

Referenced by get_desc(), and ~simple_diagnostic_event().

m_fndecl

tree simple_diagnostic_event::m_fndecl

private

Referenced by get_fndecl().

m_loc

location_t simple_diagnostic_event::m_loc

private

Referenced by get_location().

m_thread_id

diagnostic_thread_id_t simple_diagnostic_event::m_thread_id

private

Referenced by get_thread_id().

---

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

• diagnostic-path.h
• diagnostic.cc