Este es el comando camlp5r.opt 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
camlp5 - Pre-Precessor-Pretty-Printer para ocaml
mkcamlp5 - Crea camlp5 personalizado
mkcamlp5.opt: crea camlp5 personalizado (código nativo)
ocpp5 - Preprocesador universal
SINOPSIS
camlp5 [cargar-opciones] [-] [otras-opciones]
camlp5o [cargar-opciones] [-] [otras-opciones]
camlp5r [cargar-opciones] [-] [otras-opciones]
camlp5sch [cargar-opciones] [-] [otras-opciones]
camlp5o.cma
camlp5r.cma
camlp5sch.cma
mkcamlp5
mkcamlp5.optar
ocpp5 archivo [load-options]
camlp5o.optar [--] [ otras opciones ]
camlp5r.optar [--] [ otras opciones ]
DESCRIPCIÓN
camlp5 es una Pre-Processor-Pretty-Printer para OCaml, que analiza un archivo de origen e imprime
algunos resultan en la salida estándar.
camlp5o, camlp5r y camlp5sch son versiones de camlp5 con algunos archivos ya cargados (ver
más lejos).
camlp5o.cma, camlp5r.cma y camlp5sch.cma son archivos que se cargarán en ocaml nivel superior para usar
la maquinaria camlp5
mkcamlp5 y mkcamlp5.optar crea ejecutables camlp5 con casi las mismas opciones que
ocamlmktop. Ver más.
ocpp5 es un preprocesador universal, que trata cualquier tipo de archivo fuente, generando el mismo
texto con las posibles citas ampliado.
camlp5o.optar y camlp5r.optar son versiones de camlp5o y camlp5r compiladas por el nativo-
compilador de código ocamlopt. Son más rápidos pero no extensibles. Y no están disponibles en
todas las instalaciones de camlp5.
CARGA CAMPUS
Las opciones de carga seleccionan acciones de análisis e impresión registradas en archivos de objetos OCaml
(terminando en .cmo o .cma). Se autorizan varios usos de estas opciones. Ellos deben
preceda a las otras opciones.
Un opcional -- puede finalizar las opciones de carga.
-I directorio
Añada directorio en la ruta de búsqueda de archivos cargados. A menos que la opción -nolib sea
utilizado, el directorio de la biblioteca camlp5 se adjunta a la ruta. Advertencia: no hay
búsqueda automática en el directorio actual: agregue "-I". para esto.
-dónde Imprima el nombre del directorio de la biblioteca camlp5 y salga.
-nolib No hay búsqueda automática de archivos de objetos en el directorio de la biblioteca camlp5.
archivo-objeto
El archivo se carga en camlp5 core.
OTROS CAMPUS
Las otras opciones son:
presentar Tratar presentar como un archivo de interfaz si termina con .mli y como un archivo de implementación
si termina con .ml.
-intf presentar
Tratar presentar como un archivo de interfaz, cualquiera que sea su extensión.
-implementar presentar
Tratar presentar como un archivo de implementación, sea cual sea su extensión.
-inseguro
Genere accesos inseguros a matrices y cadenas.
-noafirmar
No compile comprobaciones de afirmaciones.
-verboso
Más detallado en el análisis de errores.
-QD presentar
Volcar en presentar en caso de error de sintaxis en el resultado de una ampliación de cotización.
-o fuera de archivo
Imprima el resultado en el archivo de salida en lugar de la salida estándar. El archivo se abre con
open_out_bin (consulte Pervasivas de la biblioteca OCaml).
-v Imprima el número de versión y salga.
-ayuda Imprima las opciones disponibles y salga. Esta impresión incluye las opciones posiblemente
agregado por los archivos de objeto cargados.
Las otras opciones se pueden ampliar mediante archivos de objeto cargados. Los archivos proporcionados agregan el
siguientes opciones:
-l Longitud de la línea
Agregado por pr_o.cmo y pr_r.cmo: establece la longitud de la línea (por defecto 78).
-sep cadena
Agregado por pr_o.cmo y pr_r.cmo: imprima esta cadena entre frases en lugar de
comentarios.
-no_ss Agregado por pr_o.cmo: no imprima doble punto y coma
-D ident
Agregado por pa_macro.cmo: define el ident.
-U ident
Agregado por pa_macro.cmo: undefine the ident.
PREVISTO ARCHIVOS
Estos archivos se instalan en el directorio / usr / lib / ocaml / camlp5.
Analizando archivos:
pa_r.cmo: sintaxis revisada
pa_rp.cmo: flujos y analizadores
pa_lexer.cmo: lexers
pa_o.cmo: sintaxis normal
pa_op.cmo: flujos y analizadores
pa_oop.cmo: flujos y analizadores (sin optimización de código)
pa_scheme.cmo: sintaxis del esquema
pa_extend.cmo: extensión de sintaxis para gramáticas
pa_extfold.cmo: extensión de pa_extend con FOLD0 y FOLD1
pa_extfun.cmo: extensión de sintaxis para funciones extensibles
pa_extprint.cmo: extensiones de sintaxis para impresoras extensibles
pa_pprintf.cmo: extensión de sintaxis para la declaración pprintf
pa_fstream.cmo: extensión de sintaxis para flujos funcionales
pa_macro.cmo: agrega macros (ifdef, define) como en C
pa_lefteval.cmo: evaluación de parámetros de izquierda a derecha
pa_pragma.cmo: directiva #pragma
Impresión de archivos:
pr_r.cmo: sintaxis revisada sin objetos ni etiquetas
pr_ro.cmo: sintaxis revisada para objetos y etiquetas
pr_rp.cmo: intenta reconstruir la sintaxis de flujos y analizadores
pr_o.cmo: sintaxis normal
pr_op.cmo: intenta reconstruir la sintaxis de flujos y analizadores
pr_scheme.cmo: sintaxis de esquema
pr_schemep.cmo: intenta reconstruir la sintaxis de flujos y analizadores
pr_extend.cmo: intenta reconstruir declaraciones EXTEND
pr_extfun.cmo: intente reconstruir declaraciones extfun
pr_extprint.cmo: intente reconstruir declaraciones EXTEND_PRINTER
pr_dump.cmo: árbol de sintaxis de volcado para el compilador ocaml
pr_depend.cmo: dependencias de archivos
pr_null.cmo: sin salida
Expansores de cotizaciones:
q_MLast.cmo: nodos del árbol de sintaxis (en sintaxis revisada)
q_ast.cmo: nodos del árbol de sintaxis en la sintaxis completa del usuario
q_phony.cmo: mantener las citas para una impresión bonita
El comando camlp5o es un atajo para:
camlp5 pa_o.cmo pa_op.cmo pr_dump.cmo
El comando camlp5r es un atajo para:
camlp5 pa_r.cmo pa_rp.cmo pr_dump.cmo
El comando camlp5sch es un atajo para:
camlp5 pa_scheme.cmo pr_dump.cmo
El archivo camlp5o.cma se puede cargar en el nivel superior para iniciar camlp5 con la sintaxis OCaml.
El archivo camlp5r.cma se puede cargar en el nivel superior para iniciar camlp5 con la sintaxis revisada.
El archivo camlp5sch.cma se puede cargar en el nivel superior para iniciar camlp5 con la sintaxis de Scheme.
MKCAMLP5
mkcamlp5 y mkcamlp5.optar crea ejecutables camlp5 con casi las mismas opciones que
ocamlmktop. La versión mkcamlp5.optar puede crear ejecutables de código nativo, más rápido pero no
tramo.
Para mkcamlp5, las interfaces para que sean visibles deben agregarse explícitamente en la línea de comando como
Archivos ".cmi". Por ejemplo, cómo agregar el módulo OCaml "str":
mkcamlp5 -personalizado str.cmi str.cma -cclib -lstr -o camlp5str
MEDIO AMBIENTE VARIABLE
También se consulta la siguiente variable de entorno:
CAMLP5PARAM
Establezca los parámetros del algoritmo de análisis de gramáticas. Esta variable debe ser una secuencia de
especificaciones de los parámetros. Una especificación de parámetro es una letra opcional
seguido de un = y un valor. Hay cuatro parámetros posibles:
b (retractarse)
Establezca el algoritmo de retroceso como predeterminado.
t (rastro)
Rastree símbolos (terminales y no terminales) mientras analiza con retroceso.
y (traza-estancamiento)
En retroceso, rastree el avance en el flujo de entrada (número de tokens descongelados)
y el posible estancamiento (número de pruebas de tokens).
l (estancamiento máximo)
Establezca el valor máximo de estancamiento.
Use camlp5r.opt en línea usando los servicios de onworks.net
