camlp5r.opt - Online nel cloud

PROGRAMMA:

NOME

camlp5 - Pre-Precessore-Pretty-Stampante per ocaml
mkcamlp5 - Crea camlp5 personalizzato
mkcamlp5.opt - Crea camlp5 personalizzato (codice nativo)
ocpp5 - Preprocessore universale

SINOSSI

campo5 [ opzioni di caricamento ] [--] [ altre opzioni ]
camp5o [ opzioni di caricamento ] [--] [ altre opzioni ]
camp5r [ opzioni di caricamento ] [--] [ altre opzioni ]
camp5sch [ opzioni di caricamento ] [--] [ altre opzioni ]
camlp5o.cma
camlp5r.cma
camlp5sch.cma
mkcamlp5
mkcamlp5.opt
ocpp5 [ opzioni di caricamento ] file

camlp5o.opt [--] [ altre opzioni ]
camlp5r.opt [--] [ altre opzioni ]

DESCRIZIONE

campo5 è un pre-processore-Pretty-Printer per OCaml, che analizza un file sorgente e stampa
qualche risultato sullo standard output.

camp5o, camp5r ed camp5sch sono versioni di campo5 con alcuni file già caricati (vedi
ulteriore).

camlp5o.cma, camlp5r.cma ed camlp5sch.cma sono file da caricare in ocaml toplevel da usare
il macchinario camlp5

mkcamlp5 ed mkcamlp5.opt crea eseguibili camlp5 con quasi le stesse opzioni di
ocamlmktop. Vedi oltre.

ocpp5 è un preprocessore universale, trattando qualsiasi tipo di file sorgente, generando lo stesso
testo con le possibili citazioni espanse.

camlp5o.opt ed camlp5r.opt sono versioni di camlp5o e camlp5r compilate dal nativo-
compilatore di codice ocamlopt. Sono più veloci ma non estensibili. E non sono disponibili in
tutte le installazioni di camlp5.

CARICARE VERSIONI

Le opzioni di caricamento selezionano le azioni di analisi e stampa registrate nei file oggetto di OCaml
(che termina con .cmo o .cma). Sono autorizzati diversi utilizzi di queste opzioni. Essi devono
precedere le altre opzioni.

un optional -- potrebbe terminare le opzioni di caricamento.

-I elenco
Aggiungi elenco nel percorso di ricerca dei file caricati. A meno che l'opzione -nolib non sia
utilizzato, la directory della libreria camlp5 viene aggiunta al percorso. Attenzione: non c'è
ricerca automatica nella directory corrente: aggiungi "-I ." per questo.

-dove Stampa il nome della directory della libreria camlp5 ed esci.

-nolib Nessuna ricerca automatica dei file degli oggetti nella directory della libreria camlp5.

file-oggetto
Il file viene caricato in camlp5 core.

ALTRO VERSIONI

Le altre opzioni sono:

filetto TRATTARE filetto come file di interfaccia se termina con .mli e come file di implementazione
se finisce con .ml.

-intf filetto
TRATTARE filetto come file di interfaccia, qualunque sia la sua estensione.

-imp filetto
TRATTARE filetto come file di implementazione, qualunque sia la sua estensione.

-non sicuro
Genera accessi non sicuri ad array e stringhe.

-noasserire
Non compilare controlli di asserzione.

-verboso
Più prolisso nell'analisi degli errori.

-QD filetto
scarica dentro filetto in caso di errore di sintassi nel risultato di un'espansione della citazione.

-o file in uscita
Stampa il risultato su out-file invece che sull'output standard. Il file viene aperto con
open_out_bin (vedi Pervasives della libreria OCaml).

-v Stampa il numero di versione ed esci.

-Aiuto Stampa le opzioni disponibili ed esci. Questa stampa include le opzioni possibilmente
aggiunti dai file oggetto caricati.

Le altre opzioni possono essere estese da file oggetto caricati. I file forniti aggiungono il
seguenti opzioni:

-l lunghezza della linea
Aggiunto da pr_o.cmo e pr_r.cmo: imposta la lunghezza della linea (default 78).

-settembre stringa
Aggiunto da pr_o.cmo e pr_r.cmo: stampa questa stringa tra le frasi invece di
commenti.

-no_ss Aggiunto da pr_o.cmo: non stampare il doppio punto e virgola

-D ident
Aggiunto da pa_macro.cmo: definire l'ident.

-U ident
Aggiunto da pa_macro.cmo: undefine the ident.

FORNITO FILE

Questi file sono installati nella directory /usr/lib/ocaml/camlp5.

File di analisi:
pa_r.cmo: sintassi rivista
pa_rp.cmo: flussi e parser
pa_lexer.cmo: lexer
pa_o.cmo: sintassi normale
pa_op.cmo: flussi e parser
pa_oop.cmo: flussi e parser (senza ottimizzazione del codice)
pa_scheme.cmo: sintassi dello schema
pa_extend.cmo: estensione della sintassi per le grammatiche
pa_extfold.cmo: estensione di pa_extend con FOLD0 e FOLD1
pa_extfun.cmo: estensione della sintassi per funzioni estensibili
pa_extprint.cmo: estensioni di sintassi per stampanti estensibili
pa_pprintf.cmo: estensione della sintassi per l'istruzione pprintf
pa_fstream.cmo: estensione della sintassi per flussi funzionali
pa_macro.cmo: aggiungi macro (ifdef, define) come in C
pa_lefteval.cmo: valutazione dei parametri da sinistra a destra
pa_pragma.cmo: direttiva #pragma

File di stampa:
pr_r.cmo: sintassi rivista senza oggetti ed etichette
pr_ro.cmo: sintassi rivista per oggetti ed etichette
pr_rp.cmo: prova a ricostruire i flussi e la sintassi dei parser
pr_o.cmo: sintassi normale
pr_op.cmo: prova a ricostruire i flussi e la sintassi dei parser
pr_scheme.cmo: sintassi dello schema
pr_schemep.cmo: prova a ricostruire i flussi e la sintassi dei parser
pr_extend.cmo: prova a ricostruire le istruzioni EXTEND
pr_extfun.cmo: prova a ricostruire le istruzioni extfun
pr_extprint.cmo: prova a ricostruire le istruzioni EXTEND_PRINTER
pr_dump.cmo: dump dell'albero della sintassi per il compilatore ocaml
pr_depend.cmo: dipendenze dei file
pr_null.cmo: nessun output

Espansori di citazione:
q_MLast.cmo: nodi dell'albero della sintassi (nella sintassi rivista)
q_ast.cmo: nodi dell'albero della sintassi nella sintassi completa dell'utente
q_phony.cmo: mantenere le citazioni per una bella stampa

Il comando camp5o è una scorciatoia per:
camlp5 pa_o.cmo pa_op.cmo pr_dump.cmo

Il comando camp5r è una scorciatoia per:
camlp5 pa_r.cmo pa_rp.cmo pr_dump.cmo

Il comando camp5sch è una scorciatoia per:
camlp5 pa_scheme.cmo pr_dump.cmo

Il file camlp5o.cma può essere caricato nel livello superiore per avviare camlp5 con la sintassi OCaml.

Il file camlp5r.cma può essere caricato nel livello superiore per avviare camlp5 con sintassi rivista.

Il file camlp5sch.cma può essere caricato nel livello superiore per avviare camlp5 con la sintassi Scheme.

MKCAMLP5

mkcamlp5 ed mkcamlp5.opt crea eseguibili camlp5 con quasi le stesse opzioni di
ocamlmktop. La versione mkcamlp5.opt può creare eseguibili di codice nativo, più velocemente ma non
estensibile.

Per mkcamlp5, le interfacce per essere visibili devono essere aggiunte esplicitamente nella riga di comando come
file ".cmi". Ad esempio, come aggiungere il modulo OCaml "str":
mkcamlp5 -custom str.cmi str.cma -cclib -lstr -o camlp5str

AMBIENTE VARIABILE

Viene inoltre consultata la seguente variabile di ambiente:

CAMLP5PARAM
Imposta i parametri dell'algoritmo di analisi delle grammatiche. Questa variabile deve essere una sequenza di
specifiche dei parametri. Una specifica del parametro è una lettera facoltativamente
seguito da un = e un valore. Ci sono quattro possibili parametri:

b (tornare indietro)
Imposta l'algoritmo di backtrack come predefinito.

t (traccia)
Traccia i simboli (terminali e non terminali) durante l'analisi con il backtracking.

y (traccia-stallo)
Nel backtracking, traccia l'avanzamento nel flusso di input (numero di token non congelati)
e l'eventuale stallo (numero di test gettoni).

l (massimo stallo)
Imposta il valore massimo di stallo.

Utilizza camlp5r.opt online utilizzando i servizi onworks.net