---
name: "nana-sfg"
section: "1"
platform: "linux"
package: "nana"
version: "2.5-12+deb7u1"
release: "Debian 7 (Wheezy)"
platforms: ["linux"]
url: "https://new.carta.tech/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)](/nana/1.md), [nana-sfdir(1)](/nana-sfdir/1.md), [nana(3)](/nana/3.md), [I(3)](/I/3.md), [DI(3)](/DI/3.md), [L(3)](/L/3.md), [DL(3)](/DL/3.md), [Q(3)](/Q/3.md) and nana.info.

The nana.info is the primary documentation.

## AUTHOR

Phil Maker \<pjm@gnu.org\>