nana-1.12 release.
Phil Maker
GNU Nana 1.12: improved support for assertion checking and logging in GNU C/C++
Phil Maker <p...@cs.ntu.edu.au>
GNU Nana is a free library providing improved (hopefully) support for
assertion checking (as in assert.h) and logging (printf style
debugging) in GNU C and C++. It provides support for some of the ideas
of Eiffel, VDM, Z and Anna in GNU C/C++.
Keywords: assertion, logging, real time, design by contract
News: nana-1.12 is a minor update on nana-1.10/1.11 with hopefully improved
documentation and portability.
There is no diff available from the last release.
Features
* Space/time efficient, at least compared to assert.h. For example
assert(i >= 0) uses 53 bytes on a i386 whilst nana uses either 10
bytes or 1 (true, no gammon).
* Support for predicate calculus (for all, exists, etc) is provided
using both C style for loops and C++ STL iterators over container
classes.
* Assertions can refer to saved state, e.g. the return value of a
sort function can be checked against the arguments on function
entry.
* Logging messages can be redirected to a variety of destinations
including files, processes (for automated testing or
visualisation) or circular buffers in core.
* Assertions about time can be made in a simple manner.
* Lists of invariant checking or printing functions can be created
which can then be called to check internal consistency or display
state.
* All of the features can be selectively enabled or disabled at both
compile and run time.
Why bother?
* The sooner an error is detected, the cheaper it is to fix. Error
correction is a (the) major cost in software development.
* Recording what the system is doing before it goes off into ``never
never land''is vital. You mean you ask the user what the system
was doing before it exploded, how quaint.
* ``I believe that the use of Eiffel-like module contracts is the
most important non-practice in software today'' - Tom Demarco.
For more details see:
<ftp://ftp.cs.ntu.edu.au/pub/nana> + usual GNU sites.
<http://www.cs.ntu.edu.au/homepages/pjm/nana-home>
<nana...@cs.ntu.edu.au>
Phil Maker <p...@cs.ntu.edu.au>
--
Phil Maker <p...@cs.ntu.edu.au> If NT is the answer,
<http://www.cs.ntu.edu.au/homepages/pjm> you didn't understand
NTU, Darwin, Northern Territory, Australia. question -- Peter Blake
[ Most GNU software is packed using the GNU `gzip' compression program.
Source code is available on most sites distributing GNU software.
For information on how to order GNU software on tape or cd-rom, and
printed GNU manuals, check the file etc/ORDERS in the GNU Emacs
distribution, ftp the file /pub/gnu/GNUinfo/ORDERS on prep, or
e-mail a request to: g...@prep.ai.mit.edu
By ordering your GNU software from the FSF, you help us continue to
develop more free software. Media revenues are our primary source of
support. Donations to FSF are deductible on US tax returns.
The above software will soon be at these ftp sites as well.
Please try them before prep.ai.mit.edu as prep is very busy!
A possibly more up-to-date list is at URL
http://www.gnu.org/order/ftp.html
thanx -g...@prep.ai.mit.edu
Here are the mirrored ftp sites for the GNU Project, listed by country:
o Australia
* archie.au/gnu
o Brazil
* ftp.unicamp.br/pub/gnu
o Canada
* ftp.cs.ubc.ca/mirror2/gnu
o Chile
* ftp.inf.utfsm.cl/pub/gnu
o Denmark
* ftp.denet.dk/pub/gnu
o Europe
* archive.eu.net/gnu
o Finland
* ftp.funet.fi/pub/gnu
o France
* ftp.irisa.fr/pub/gnu
* ftp.univ-lyon1.fr/pub/gnu
o Germany
* ftp.informatik.tu-muenchen.de/pub/comp/gnu
* ftp.informatik.rwth-aachen.de
* ftp.germany.eu.net/pub/packages/gnu
o Greece
* ftp.ntua.gr/pub/gnu
o Israel
* ftp.technion.ac.il/pub/unsupported/gnu
o Ireland
* ftp.ieunet.ie:pub/gnu
o Japan
* tron.um.u-tokyo.ac.jp/pub/GNU/prep
* ftp.cs.titech.ac.jp/GNU
o Korea
* cair-archive.kaist.ac.kr/pub/gnu
o Netherlands
* ftp.nl.net
* ftp.win.tue.nl/pub/gnu
o Norway
* ugle.unit.no
o South Africa
* ftp.sun.ac.za/pub/gnu
o Spain
* ftp.etsimo.uniovi.es/pub/gnu
o Sweden
* isy.liu.se
* ftp.stacken.kth.se
* ftp.luth.se/pub/unix/gnu
* ftp.sunet.se/pub/gnu
o Switzerland
* ftp.eunet.ch/mirrors/prep.ai.mit.edu-pub-gnu
* sunsite.cnlab-switch.ch/mirror/gnu
o Thailand
* ftp.nectec.or.th/pub/mirrors/gnu
o United Kingdom
* ftp.mcc.ac.uk/pub/gnu
* unix.hensa.ac.uk/mirrors/uunet/systems/gnu
* ftp.warwick.ac.uk
o United States
* ftp.digital.com/pub/GNU
* uiarchive.cso.uiuc.edu/pub/gnu
* wuarchive.wustl.edu/systems/gnu
* ftp.kpc.com/pub/mirror/gnu
* ftp.hawaii.edu/mirrors/gnu
* ftp.digex.net/pub/gnu
* ftp.cs.columbia.edu/archives/gnu/prep
* labrea.stanford.edu/gnu
* archive.cis.ohio-state.edu
* ftp.uu.net/archive/systems/gnu
]