class post A post condition class. More... Full name dbg::post Definition #include <dbg.h> List of all Methods

Annotated List Files Globals Hierarchy Index

Public Methods

•  post (level lvl, fn_t fn, const source_pos &pos)
•  post (level lvl, dbg_source src, fn_t fn, const source_pos &pos)
•  post (fn_t fn, const source_pos &pos)
•  post (dbg_source src, fn_t fn, const source_pos &pos)
•  ~post ()
•  post (level, fn_t, void *)
•  post (level, dbg_source, fn_t, void *)
•  post (fn_t, void *)
•  post (dbg_source, fn_t, void *)
•  ~post ()

Public Members

• typedef bool  (*fn_t) ()

Detailed Description

A post condition class. Unlike post_mem_fun, this class calls a non-member function with signature:

     bool some_function();

Otherwise, use it identically to the post_mem_fun.

See also: post_mem_fun

The type of the constraint function. It returns a bool and takes no parameters.

Parameters:

lvl	Diagnostic level
fn	Post condition function
here	Supply DBG_HERE

Parameters:

lvl	Diagnostic level
src	String describing the diagnostic source
fn	Post condition function
here	Supply DBG_HERE

Overloaded version of constructor which defaults to the warning diagnostic level.

Parameters:

fn	Post condition function
here	Supply DBG_HERE

Overloaded version of constructor which defaults to the warning diagnostic level.

Parameters:

src	String describing the diagnostic source
fn	Post condition function
here	Supply DBG_HERE

The destructor asserts the post condition.