ana::logger Class Reference

#include <analyzer-logging.h>

Public Member Functions
	logger (FILE *f_out, int flags, int verbosity, const pretty_printer &reference_pp)
	~logger ()
void	incref (const char *reason)
void	decref (const char *reason)
void	log (const char *fmt,...) ATTRIBUTE_GCC_DIAG(2
void void	log_va (const char *fmt, va_list *ap) ATTRIBUTE_GCC_DIAG(2
void void void	start_log_line ()
void	log_partial (const char *fmt,...) ATTRIBUTE_GCC_DIAG(2
void void	log_va_partial (const char *fmt, va_list *ap) ATTRIBUTE_GCC_DIAG(2
void void void	end_log_line ()
void	enter_scope (const char *scope_name)
void	enter_scope (const char *scope_name, const char *fmt, va_list *ap) ATTRIBUTE_GCC_DIAG(3
void void	exit_scope (const char *scope_name)
void	inc_indent ()
void	dec_indent ()
pretty_printer *	get_printer () const
FILE *	get_file () const

Private Member Functions
	DISABLE_COPY_AND_ASSIGN (logger)

Private Attributes
int	m_refcount
FILE *	m_f_out
int	m_indent_level
bool	m_log_refcount_changes
std::unique_ptr< pretty_printer >	m_pp

Detailed Description

A logger encapsulates a logging stream: a way to send
lines of pertinent information to a FILE *.   

Constructor & Destructor Documentation

logger()

ana::logger::logger	(	FILE *	f_out,
		int	flags,
		int	verbosity,
		const pretty_printer &	reference_pp )

~logger()

ana::logger::~logger

(

)

Member Function Documentation

dec_indent()

void ana::logger::dec_indent ( )

inline

References m_indent_level.

decref()

void ana::logger::decref

(

const char *

reason

)

Referenced by ana::log_scope::~log_scope().

DISABLE_COPY_AND_ASSIGN()

ana::logger::DISABLE_COPY_AND_ASSIGN ( logger )

private

end_log_line()

void void void ana::logger::end_log_line

(

)

Referenced by ana::log_user::end_log_line(), and infinite_loop::infinite_loop().

enter_scope() [1/2]

void ana::logger::enter_scope

(

const char *

scope_name

)

Referenced by ana::log_user::enter_scope(), ana::log_scope::log_scope(), and ana::log_scope::log_scope().

enter_scope() [2/2]

void ana::logger::enter_scope	(	const char *	scope_name,
		const char *	fmt,
		va_list *	ap )

exit_scope()

void void ana::logger::exit_scope

(

const char *

scope_name

)

Referenced by ana::log_user::exit_scope(), and ana::log_scope::~log_scope().

get_file()

FILE * ana::logger::get_file ( ) const

inline

References m_f_out.

Referenced by ana::log_user::get_logger_file().

get_printer()

pretty_printer * ana::logger::get_printer ( ) const

inline

References m_pp.

Referenced by ana::log_user::get_logger_pp(), and infinite_loop::infinite_loop().

inc_indent()

void ana::logger::inc_indent ( )

inline

References m_indent_level.

incref()

void ana::logger::incref

(

const char *

reason

)

Referenced by ana::log_scope::log_scope(), and ana::log_scope::log_scope().

log()

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

Referenced by infinite_loop_diagnostic::add_final_event(), ana::exploded_graph::detect_infinite_loops(), ana::exploded_graph::detect_infinite_recursion(), and starts_infinite_loop_p().

log_partial()

void ana::logger::log_partial	(	const char *	fmt,
			... )

Referenced by infinite_loop::infinite_loop().

log_va()

void void ana::logger::log_va	(	const char *	fmt,
		va_list *	ap )

Referenced by ana::log_user::log().

log_va_partial()

void void ana::logger::log_va_partial	(	const char *	fmt,
		va_list *	ap )

start_log_line()

void void void ana::logger::start_log_line

(

)

Referenced by infinite_loop::infinite_loop(), and ana::log_user::start_log_line().

Field Documentation

m_f_out

FILE* ana::logger::m_f_out

private

Referenced by get_file().

m_indent_level

int ana::logger::m_indent_level

private

Referenced by dec_indent(), and inc_indent().

m_log_refcount_changes

bool ana::logger::m_log_refcount_changes

private

m_pp

std::unique_ptr<pretty_printer> ana::logger::m_pp

private

Referenced by get_printer().

m_refcount

int ana::logger::m_refcount

private

---

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

• analyzer-logging.h