typer - Online na nuvem

PROGRAMA:

NOME

typer - o TypEr, um anotador de tipo do código Erlang

DESCRIÇÃO

TypEr é uma ferramenta que exibe e insere automaticamente anotações de tipo no código Erlang.
Ele usa o Dialyzer para inferir tipos de variáveis.

USO

digitador [--help] [--version] [--comments] [--plt PltFile]
[--mostrar | --mostrado exportado | --annotate | --annotate-inc-files]
[-Ddefine] * [-I include_dir] * [-T aplicativo] * [-r] arquivo *

opções:

-r dir
Pesquisa diretórios recursivamente em busca de arquivos .erl abaixo deles.

--exposição
Imprime especificações de tipo para todas as funções em stdout (esteéo padrão
comportamento; esta opção não é realmente necessária).

--mostrar exportado
O mesmo que --show, mas imprime especificações apenas para funções exportadas. Especificações são
exibido em ordem alfabética de acordo com o nome da função.

--anotar
Anota os arquivos especificados com especificações de tipo.

--annotate-inc-arquivos
O mesmo que --annotate, mas anota todos os arquivos -include (), bem como todos os arquivos .erl (use
esta opção com cuidado, não foi muito testada).

--comentários
Imprime informações de tipo usando comentários Edoc, não contratos de tipo.

--plt PltFileName
Usa o arquivo Dialyzer PLT especificado em vez do padrão.

-T lima
O arquivo lima já contém especificações de tipo e essas especificações são para
ser confiável para imprimir especificações para o resto dos arquivos. (Vários arquivos ou
dirs, separados por espaços, podem ser especificados.)

-Dnome (ou -Dname = valor)
Passa o nome definido para TypEr. (A sintaxe de define é a mesma que a usada
by erlc, Ver erlc(1).)

-I include_dir
Passa include_dir para TypEr. (A sintaxe de inclui é a mesma que a usada
by erlc, Ver erlc(1).)

--versão (ou -v)
Imprime a versão TypEr e sai.

--Socorro (ou -h)
Imprime mensagem de ajuda e sai.

Nota:
* indica que várias ocorrências dessas opções são possíveis.

Use typer online usando serviços onworks.net