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.
