Este es el tipo de comando que se puede ejecutar en el proveedor de alojamiento gratuito de OnWorks utilizando una de nuestras múltiples estaciones de trabajo en línea gratuitas, como Ubuntu Online, Fedora Online, emulador en línea de Windows o emulador en línea de MAC OS.
PROGRAMA:
NOMBRE
typer: el TypEr, un anotador de tipos de código Erlang
DESCRIPCIÓN
TypEr es una herramienta que muestra e inserta automáticamente anotaciones de tipo en código Erlang.
Utiliza Dialyzer para inferir tipos de variables.
USO
typer [--ayuda] [--versión] [--comentarios] [--plt PltFile]
[--mostrar | --mostrar-exportado | --anotar | --anotar-inc-archivos]
[-Ddefine] * [-I include_dir] * [-T aplicación] * [-r] archivo *
Opciones:
-r dir
Busca en directorios de forma recursiva archivos .erl debajo de ellos.
--mostrar
Imprime especificaciones de tipo para todas las funciones en stdout (este es el
comportamiento; esta opción no es realmente necesaria).
--mostrar-exportado
Igual que --show, pero imprime especificaciones solo para funciones exportadas. Las especificaciones son
se muestran ordenados alfabéticamente según el nombre de la función.
--anotar
Anota los archivos especificados con especificaciones de tipo.
--anotar-inc-archivos
Igual que --annotate pero anota todos los archivos -include () así como todos los archivos .erl (use
esta opción con precaución, no se ha probado mucho).
--comentarios
Imprime información de tipo utilizando comentarios de Edoc, no contratos de tipo.
--plt PltArchivo
Utiliza el archivo PLT del dializador especificado en lugar del predeterminado.
-T presentar
El archivo presentar ya contiene especificaciones de tipo y estas especificaciones son para
ser de confianza para imprimir especificaciones para el resto de los archivos. (Varios archivos o
dirs, separados por espacios, se pueden especificar.)
-Nombre (o -Dname = valor)
Pasa el nombre definido a TypEr. (La sintaxis de define es la misma que se usa
by erlc, consulte nuestra página, erlc(1).)
-I incluir_dir
Pasa el include_dir a TypEr. (La sintaxis de incluye es la misma que se usa
by erlc, consulte nuestra página, erlc(1).)
--versión (o -v)
Imprime la versión TypEr y sale.
--ayuda (o -h)
Imprime mensaje de ayuda y salidas.
Nota:
* indica que son posibles varias apariciones de estas opciones.
Use Typer en línea usando los servicios de onworks.net
