sourCEntral - mobile manpages

pdf

sparkformat

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 −expand can be abbreviated to −expa but not −exp as this clashes with −export_indent.

−help

Display command-line help.

−version

Display version information.

−add_modes, −noadd_modes

Add modes to unmoded global variables. By default we do not do this.

−annotation_character=CHAR

Select alternative annotation character. The default is ’#’.

−compress, −expand

Comress or expand the dependency relations. The default is to compress.

−default_function_modes=MODE

When used in conjunction with −add_modes, 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.

−export_indent=MODE, −global_indent=MODE, −import_indent=MODE,
−inherit_indent=
MODE, −initialization_indent=MODE, −own_indent=MODE,
−separator_indent=
MODE, −properties_indent=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 <florian.schanda@altran−praxis.com> 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.

pdf