nana-sfg

Langue: en

Version: 252738 (debian - 07/07/09)

Section: 1 (Commandes utilisateur)

NAME

nana-sfg - the nana shortform generator (aka nana science fiction generator)

SYNOPSIS

nana-sfg <a.c >sf.c nana-sfg a.c >sf.c nana-sfg *.[ch] >system.sf

DESCRIPTION

This tool mimics the generation of Eiffel "short" listings in C/C++. A shortform is the program minus the implementation (code, variables) but includes REQUIRE and ENSURE calls which are the function pre and postconditions.

SEE ALSO

nana(1), nana-sfdir(1), nana(3), I(3), DI(3), L(3), DL(3), Q(3) and nana.info.

The nana.info is the primary documentation.

AUTHOR

Phil Maker <pjm@gnu.org>