Martin Schulze <[EMAIL PROTECTED]> writes:

   Brent Fulgham wrote:
   > I am working on a project that could benefit from the GNU nana package.

   It would be a cool idea if you would provide a description what
   nana is or does.

>From the README:

* GNU Nana - improved support for assertions and logging in C and C++.

Nana provides improved support for assertion checking and logging in C, C++
and after a fashion in Ada. It provides:

        o Operations can be implemented directly in C or by generating 
          debugger commands which do the checking and logging only if the 
          application is run under the debugger. The debugger based calls
          require are very space efficient (0 or 1 bytes per call). 


        o Support for assertion (invariant checking) including:
                
                + Space and time efficient (at least versus <assert.h>)
                  For example: assert(i>=0) uses 53 bytes on a i386 vs 
                  an optimised nana call which uses 10 bytes per call.
                + Checking can be turned on or off at compile or run time.
                + The action taken when an error is detected can be modified 
                  on a global and per/call basis.

        o Support for logging (printf style debugging) including:

                + Logging can be turned on and off at compile or run time.
                + Logging to files, processes or circular buffers in memory
                  with optional time stamping.

        o Support for the quantifiers of predicate calculus (forall, exists).

Reply via email to