Skip site navigation (1)Skip section navigation (2)

FreeBSD Manual Pages

  
 
  

home | help
DI(3)			   Library Functions Manual			 DI(3)

NAME
       DI - verify assertions in C and C++ code	using gdb(1)

SYNOPSIS
       #include	<DI.h>

       DI(exprn)

       DIG(exprn,guard)

       DIH(exprn,handler)

       DIP(exprn,param)

       DIGH(exprn,guard,handler)

       DIHP(exprn,handler,param)

       DIGHP(exprn,guard,handler,param)

       DS(exprn)

DESCRIPTION
       The  DI(exprn)  checks  that  the  exprn	is true	in the same way	as as-
       sert(3).	 It is however implemented  by	generating  debugger  commands
       from  the  source code and so only works	if you run the command under a
       debugger	after source the command file generated	by nana(1).

       exprn - the expression to be checked.

       guard - the expression is normally only checked if the guard is true.

       handler - a macro which generates the code that handles the error  con-
       dition.

       param - a parameter which can be	passed off to the handler. This	can be
       used for	identifying the	assertion failure in a space-efficent  manner,
       e.g. by copying it into a register before aborting.

       See  nana.info for details on configuring the behaviour on error	detec-
       tion, etc. You also need	to include the nana library by using -lnana if
       you use the default setup.

       In  addition  to	the DI,	DIG, etc DI.h also provides DN,	DNG, etc which
       are used	to check that an expression is never true.

SEE ALSO
       nana-clg(1), nana(1), nana(3), I(3), L(3), DL(3), Q(3) and nana.info.

       The nana.info file is the primary documentation for this	library.

AUTHOR
       Phil Maker <pjm@gnu.org>

									 DI(3)

NAME | SYNOPSIS | DESCRIPTION | SEE ALSO | AUTHOR

Want to link to this manual page? Use this URL:
<https://www.freebsd.org/cgi/man.cgi?query=DI&sektion=3&manpath=FreeBSD+12.0-RELEASE+and+Ports>

home | help