Rechercher une page de manuel
typer
Langue: en
Version: 253831 (debian - 07/07/09)
Section: 1 (Commandes utilisateur)
Sommaire
NAME
typer - The TypEr, a Type annotator of Erlang codeDESCRIPTION
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 contracts for all functions on stdout (this is the default behaviour; this option is not really needed).
- --show-exported
- Same as --show, but prints contracts for exported functions only.
- --annotate
- Annotates the specified files with type contracts.
- --annotate-inc-files
- Same as --annotate but annotates all -include() files as well as all .erl files (use this option with caution).
- --comments
- Prints type information using 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 annotations and these annotations are to be trusted in order to print contracts for the rest of the files. (Multiple files or dirs, separated by spaces, can be specified.)
- -Dname (or -Dname=value)
- Passes the defined name(s) 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)Contenus ©2006-2024 Benjamin Poulain
Design ©2006-2024 Maxime Vantorre