ana::log_user Class Reference

#include <analyzer-logging.h>

Inheritance diagram for ana::log_user:

Collaboration diagram for ana::log_user:

Public Member Functions
	log_user (logger *logger)
	~log_user ()
logger *	get_logger () const
void	set_logger (logger *logger)
void	log (const char *fmt,...) const ATTRIBUTE_GCC_DIAG(2
void void	start_log_line () const
void	end_log_line () const
void	enter_scope (const char *scope_name)
void	exit_scope (const char *scope_name)
pretty_printer *	get_logger_pp () const
FILE *	get_logger_file () const

Private Member Functions
	DISABLE_COPY_AND_ASSIGN (log_user)

Private Attributes
logger *	m_logger

Detailed Description

A log_user is something that potentially uses a logger (which could be
nullptr).

The log_user class keeps the reference-count of a logger up-to-date.   

Constructor & Destructor Documentation

log_user()

ana::log_user::log_user

(

logger *

logger

)

Referenced by DISABLE_COPY_AND_ASSIGN().

~log_user()

ana::log_user::~log_user

(

)

Member Function Documentation

DISABLE_COPY_AND_ASSIGN()

ana::log_user::DISABLE_COPY_AND_ASSIGN ( log_user )

private

References log_user().

end_log_line()

void ana::log_user::end_log_line ( ) const

inline

A shortcut for ending a log line from a log_user,
handling the common case where the underlying logger is nullptr via
a no-op.   

References ana::logger::end_log_line(), and m_logger.

Referenced by set_logger().

enter_scope()

void ana::log_user::enter_scope ( const char * scope_name )

inline

A shortcut for recording entry into a scope from a log_user,
handling the common case where the underlying logger is nullptr via
a no-op.   

References ana::logger::enter_scope(), and m_logger.

Referenced by set_logger().

exit_scope()

void ana::log_user::exit_scope ( const char * scope_name )

inline

A shortcut for recording exit from a scope from a log_user,
handling the common case where the underlying logger is nullptr via
a no-op.   

References ana::logger::exit_scope(), and m_logger.

Referenced by set_logger().

get_logger()

logger * ana::log_user::get_logger ( ) const

inline

References m_logger.

Referenced by ana::exploded_graph::get_logger(), ana::impl_region_model_context::get_logger(), and ana::impl_sm_context::get_logger().

get_logger_file()

FILE * ana::log_user::get_logger_file ( ) const

inline

References ana::logger::get_file(), and m_logger.

get_logger_pp()

pretty_printer * ana::log_user::get_logger_pp ( ) const

inline

References gcc_assert, get_logger_pp(), ana::logger::get_printer(), and m_logger.

Referenced by get_logger_pp().

log()

void ana::log_user::log ( const char * fmt, ... ) const

inline

A shortcut for calling log from a log_user, handling the common
case where the underlying logger is nullptr via a no-op.   

References ap, ana::logger::log_va(), and m_logger.

Referenced by set_logger().

set_logger()

void ana::log_user::set_logger

(

logger *

logger

)

References ATTRIBUTE_GCC_DIAG, end_log_line(), enter_scope(), exit_scope(), log(), and start_log_line().

start_log_line()

void ana::log_user::start_log_line ( ) const

inline

A shortcut for starting a log line from a log_user,
handling the common case where the underlying logger is nullptr via
a no-op.   

References m_logger, and ana::logger::start_log_line().

Referenced by set_logger().

Field Documentation

m_logger

logger* ana::log_user::m_logger

private

Referenced by end_log_line(), enter_scope(), exit_scope(), get_logger(), get_logger_file(), get_logger_pp(), log(), and start_log_line().

---

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

• analyzer-logging.h