sparkformat(1)

NAME
sparkformat - pretty-prints SPARK annotations

SYNOPSIS
sparkformat
[OPTIONS] [ FILE_LIST or @METAFILE ]

DESCRIPTION

This manual page only summarises the sparkformat command-line flags, please refer to the full SPARKFormat manual for further information.

OPTIONS
These options do not quite follow the usual GNU command line syntax. All options start with a single dash instead of the usual two and they can also be abbreviated, as long as the abbreviation is unique. For example \FC-expand\F[] can be abbreviated to \FC-expa\F[] but not \FC-exp\F[] as this clashes with \FC-export_indent\F[].

\FC-help\F[]
    Display command-line help.

\FC-version\F[]
    Display version information.

\FC-add_modes\F[], \FC-noadd_modes\F[]
    Add modes to unmoded global variables. By default we do not do this.

\FC-annotation_character=\F[]CHAR
    Select alternative annotation character. The default is '#'.

\FC-compress\F[], \FC-expand\F[]
    Comress or expand the dependency relations. The default is to compress.

\FC-default_function_modes=\F[]MODE
    When used in conjunction with \FC-add_modes\F[], force global variables of functions to the specified default function mode. The available default function modes are 'in_mode' and 'unmoded', and may be abbreviated to 'i' and 'u' respectively.

\FC-export_indent=\F[]MODE, \FC-global_indent=\F[]MODE, \FC-import_indent=\F[]MODE, \FC-inherit_indent=\F[]MODE, \FC-initialization_indent=\F[]MODE, \FC-own_indent=\F[]MODE, \FC-separator_indent=\F[]MODE, \FC-properties_indent=\F[]MODE
    Specifies the degree of indentation from '--#' or keeps them inline (the default). MODE can be either a number or 'inline'.

SEE ALSO
spark(1), sparksimp(1), spadesimp(1), zombiescope(1), victor(1), pogs(1)

sparkmake(1)

AUTHOR
This manual page was written by Florian Schanda <\FCflorian.schanda@altran-praxis.com\F[]> for the Debian GNU/Linux system (but may be used by others). Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.3 or any later version published by the Free Software Foundation; with no Invariant Sections, no Front-Cover Texts and no Back-Cover Texts.