GNU Nana

Improved support for assertions and logging in C and C++

last updated 14 November 1997 for version 1.12

• Introduction
  • Related work
  • Assert.h considered harmful
  • Scope of this document
• Installing the Nana library
  • Required Software
  • Optional Software
  • Configure
  • Variables for ./configure
  • Supported Platforms
  • Supported Debuggers
  • Known Problems
  • Bug Reports
  • New Versions
• Invoking Nana
• Interface
  • nana.h: the main header file
  • WITHOUT_NANA: disabling all nana code for portability.
  • I.h: C based invariant checking
  • DI.h: debugger based invariant checking
  • L.h: support for printf style logging
  • L_buffer.h: a circular buffer for logging.
  • L_times.h: recording events and times.
  • DL.h: support for printf style logging
  • GDB.h: sending plain gdb commands to the debugger
  • Q.h: support for quantifiers
  • Qstl.h: quantifiers for STL containers.
  • now.h: measuring time
  • eiffel.h: eiffel type assertions
  • assert.h: a drop in replacement for assert.h
  • calls.h: checking/printing many objects/facts.
• Using Nana
  • Simplest example
  • Syslog
  • GNU Programs: how to avoid nana sometimes
  • Embedded Systems: testing non-deterministic systems.
  • Realtime Systems
  • A database
  • Program Visualisation: pretty pictures
• FAQ
• Future work
• Index

This document was generated on 7 January 1998 using the texi2html translator version 1.51.