Rechercher une page de manuel

Chercher une autre page de manuel:

typer

Langue: en

Autres versions - même langue

Version: 331470 (ubuntu - 24/10/10)

Section: 1 (Commandes utilisateur)

NAME

typer - The TypEr, a Type annotator of Erlang code

DESCRIPTION

TypEr is a tool that displays and automatically inserts type annotations in Erlang code. It uses Dialyzer to infer variable types.

USAGE

typer [--help] [--version] [--comments] [--plt PltFile]
      [--show | --show-exported | --annotate | --annotate-inc-files]
      [-Ddefine]* [-I include_dir]* [-T application]* [-r] file*

Options:

-r dir
Searches directories recursively for .erl files below them.
--show
Prints type specifications for all functions on stdout (this is the default behaviour; this option is not really needed).
--show-exported
Same as --show, but prints specifications for exported functions only. Specs are displayed sorted alphabetically on the function's name.
--annotate
Annotates the specified files with type specifications.
--annotate-inc-files
Same as --annotate but annotates all -include() files as well as all .erl files (use this option with caution, it has not been tested much).
--comments
Prints type information using Edoc comments, not type contracts.
--plt PltFile
Uses the specified Dialyzer PLT file rather than the default one.
-T file
The file file already contains type specifications and these specifications are to be trusted in order to print specs for the rest of the files. (Multiple files or dirs, separated by spaces, can be specified.)
-Dname (or -Dname=value)
Passes the defined name to TypEr. (The syntax of defines is the same as that used by erlc, see erlc(1).)
-I include_dir
Passes the include_dir to TypEr. (The syntax of includes is the same as that used by erlc, see erlc(1).)
--version (or -v)
Prints the TypEr version and exits.
--help (or -h)
Prints help message and exits.

Note:

* denotes that multiple occurrences of these options are possible.

SEE ALSO

dialyzer(1), erlc(1)
La Cabale m'a tuer.
-+- PL in: Guide du Cabaliste Usenet - La Cabale persiffle et saigne -+-