nana-sfg(1) 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.

AUTHOR

Phil Maker <[email protected]>