---
name: "nana-sfg"
section: "1"
platform: "linux"
package: "nana"
version: "2.5-12+deb7u1"
release: "Debian 7 (Wheezy)"
platforms: ["linux"]
url: "https://carta.tech/man/nana-sfg"
---

# nana-sfg(1)

the nana shortform generator (aka nana science fiction generator)

## 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)](/man/nana/1.md), [nana-sfdir(1)](/man/nana-sfdir/1.md), [nana(3)](/man/nana/3.md), [I(3)](/man/I/3.md), [DI(3)](/man/DI/3.md), [L(3)](/man/L/3.md), [DL(3)](/man/DL/3.md), [Q(3)](/man/Q/3.md) and nana.info.

The nana.info is the primary documentation.

## AUTHOR

Phil Maker \<pjm@gnu.org\>