Pretty-prints spark annotations
sparkformat \kx [OPTIONS] [ FILE_LIST or @METAFILE ]
This manual page only summarises the sparkformat command-line flags, please refer to the full SPARKFormat manual for further information.
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 \*(T<-expand\*(T> can be abbreviated to \*(T<-expa\*(T> but not \*(T<-exp\*(T> as this clashes with \*(T<-export_indent\*(T>.
\*(T<-help\*(T>
Display command-line help.
\*(T<-version\*(T>
Display version information.
\*(T<-add_modes\*(T>, \*(T<-noadd_modes\*(T>
Add modes to unmoded global variables. By default we do not do this.
\*(T<-annotation_character=\*(T>CHAR
Select alternative annotation character. The default is '#'.
\*(T<-compress\*(T>, \*(T<-expand\*(T>
Comress or expand the dependency relations. The default is to compress.
\*(T<-default_function_modes=\*(T>MODE
When used in conjunction with \*(T<-add_modes\*(T>, 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.
\*(T<-export_indent=\*(T>MODE, \*(T<-global_indent=\*(T>MODE, \*(T<-import_indent=\*(T>MODE, \*(T<-inherit_indent=\*(T>MODE, \*(T<-initialization_indent=\*(T>MODE, \*(T<-own_indent=\*(T>MODE, \*(T<-separator_indent=\*(T>MODE, \*(T<-properties_indent=\*(T>MODE
Specifies the degree of indentation from '--#' or keeps them inline (the default). MODE can be either a number or 'inline'.
This manual page was written by Florian Schanda <\*(T<[email protected]\*(T>> 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.