'\" -*- coding: us-ascii -*-
.if \n(.g .ds T< \\FC
.if \n(.g .ds T> \\F[\n[.fam]]
.de URL
\\$2 \(la\\$1\(ra\\$3
..
.if \n(.g .mso www.tmac
.TH sparkformat 1 "22 March 2011" "" ""
.SH NAME
sparkformat \- pretty-prints SPARK annotations
.SH SYNOPSIS
'nh
.fi
.ad l
\fBsparkformat\fR \kx
.if (\nx>(\n(.l/2)) .nr x (\n(.l/5)
'in \n(.iu+\nxu
[OPTIONS] [
FILE_LIST or
@METAFILE 
]
'in \n(.iu-\nxu
.ad b
'hy
.SH DESCRIPTION
.PP
This manual page only summarises the
\fBsparkformat\fR command-line flags, please refer to
the full SPARKFormat manual for further information.
.SH 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 \*(T<\fB\-expand\fR\*(T> can be abbreviated
to \*(T<\fB\-expa\fR\*(T> but not \*(T<\fB\-exp\fR\*(T> as this
clashes with \*(T<\fB\-export_indent\fR\*(T>.
.TP 
\*(T<\fB\-help\fR\*(T>
Display command-line help.
.TP 
\*(T<\fB\-version\fR\*(T>
Display version information.
.TP 
\*(T<\fB\-add_modes\fR\*(T>, \*(T<\fB\-noadd_modes\fR\*(T>
Add modes to unmoded global variables. By default we do not
do this.
.TP 
\*(T<\fB\-annotation_character=\fR\*(T>\fICHAR\fR
Select alternative annotation character. The default is '#'.
.TP 
\*(T<\fB\-compress\fR\*(T>, \*(T<\fB\-expand\fR\*(T>
Comress or expand the dependency relations. The default is
to compress.
.TP 
\*(T<\fB\-default_function_modes=\fR\*(T>\fIMODE\fR
When used in conjunction with \*(T<\fB\-add_modes\fR\*(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.
.TP 
\*(T<\fB\-export_indent=\fR\*(T>\fIMODE\fR, \*(T<\fB\-global_indent=\fR\*(T>\fIMODE\fR, \*(T<\fB\-import_indent=\fR\*(T>\fIMODE\fR, \*(T<\fB\-inherit_indent=\fR\*(T>\fIMODE\fR, \*(T<\fB\-initialization_indent=\fR\*(T>\fIMODE\fR, \*(T<\fB\-own_indent=\fR\*(T>\fIMODE\fR, \*(T<\fB\-separator_indent=\fR\*(T>\fIMODE\fR, \*(T<\fB\-properties_indent=\fR\*(T>\fIMODE\fR
Specifies the degree of indentation from '\-\-#' or keeps them
inline (the default). MODE can be either a number or 'inline'.
.SH "SEE ALSO"
spark(1),
sparksimp(1),
spadesimp(1),
zombiescope(1),
victor(1),
pogs(1)
.PP
sparkmake(1)
.SH AUTHOR
This manual page was written by Florian Schanda
<\*(T<florian.schanda@altran\-praxis.com\*(T>> for the \fIDebian GNU/Linux\fR 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.