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-expandF[0] can be abbreviated to FC-expaF[0] but not FC-expF[0] as this clashes with FC-export_indentF[0].
- FC-helpF[0]
-
Display command-line help.
- FC-versionF[0]
-
Display version information.
- FC-add_modesF[0], FC-noadd_modesF[0]
-
Add modes to unmoded global variables. By default we do not do this.
- FC-annotation_character=F[0]CHAR
-
Select alternative annotation character. The default is '#'.
- FC-compressF[0], FC-expandF[0]
-
Comress or expand the dependency relations. The default is to compress.
- FC-default_function_modes=F[0]MODE
-
When used in conjunction with FC-add_modesF[0], 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[0]MODE, FC-global_indent=F[0]MODE, FC-import_indent=F[0]MODE, FC-inherit_indent=F[0]MODE, FC-initialization_indent=F[0]MODE, FC-own_indent=F[0]MODE, FC-separator_indent=F[0]MODE, FC-properties_indent=F[0]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)
AUTHOR
This manual page was written by Florian Schanda <[email protected][0]> 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.