camlp5r.opt - Online în cloud

PROGRAM:

NUME

camlp5 - Pre-Precessor-Pretty-Printer pentru ocaml
mkcamlp5 - Creați camlp5 personalizat
mkcamlp5.opt - Creați camlp5 personalizat (cod nativ)
ocpp5 - Preprocesor universal

REZUMAT

camlp5 [ încărcare-opțiuni ] [--] [ alte-opțiuni ]
camlp5o [ încărcare-opțiuni ] [--] [ alte-opțiuni ]
camlp5r [ încărcare-opțiuni ] [--] [ alte-opțiuni ]
camlp5sch [ încărcare-opțiuni ] [--] [ alte-opțiuni ]
camlp5o.cma
camlp5r.cma
camlp5sch.cma
mkcamlp5
mkcamlp5.opt
ocpp5 [load-options] fișier

camlp5o.opt [--] [ alte optiuni ]
camlp5r.opt [--] [ alte optiuni ]

DESCRIERE

camlp5 este un pre-procesor-Pretty-Printer pentru OCaml, analizând un fișier sursă și imprimând
unele rezultate la ieșirea standard.

camlp5o, camlp5r și camlp5sch sunt versiuni ale camlp5 cu unele fișiere deja încărcate (vezi
mai departe).

camlp5o.cma, camlp5r.cma și camlp5sch.cma sunt fișiere care trebuie încărcate în ocaml toplevel pentru a fi utilizate
utilajul camlp5

mkcamlp5 și mkcamlp5.opt creează executabile camlp5 cu aproape aceleași opțiuni decât
ocamlmktop. Vezi mai departe.

ocpp5 este un preprocesor universal, tratând orice tip de fișier sursă, generând același
text cu posibilele citate extinse.

camlp5o.opt și camlp5r.opt sunt versiuni ale camlp5o și camlp5r compilate de native-
compilator de cod ocamlopt. Sunt mai rapide, dar nu sunt extensibile. Și nu sunt disponibile în
toate instalațiile camlp5.

LOAD OPŢIUNI

Opțiunile de încărcare selectează acțiunile de analizare și tipărire înregistrate în fișierele obiect OCaml
(se termină cu .cmo sau .cma). Mai multe utilizări ale acestor opțiuni sunt autorizate. Ei trebuie
precede celelalte variante.

Un opțional -- poate încheia opțiunile de încărcare.

-I director
Adăuga director în calea de căutare pentru fișierele încărcate. Cu excepția cazului în care opțiunea -nolib este
utilizat, directorul bibliotecii camlp5 este atașat căii. Atenție: nu există
căutare automată în directorul curent: adăugați „-I ”. pentru aceasta.

-Unde Imprimați numele directorului bibliotecii camlp5 și ieșiți.

-nolib Nu există căutare automată pentru fișierele obiecte din directorul bibliotecii camlp5.

fişier-obiect
Fișierul este încărcat în nucleul camlp5.

ALTE OPŢIUNI

Celelalte optiuni sunt:

fişier Trata fişier ca fișier de interfață dacă se termină cu .mli și ca fișier de implementare
dacă se termină cu .ml.

-intf fişier
Trata fişier ca fișier de interfață, indiferent de extensia acestuia.

-impl fişier
Trata fişier ca fișier de implementare, indiferent de extensia acestuia.

-nesigure
Generați accesuri nesigure la matrice și șiruri de caractere.

-noassert
Nu compilați verificări de afirmații.

-verbos
Mai detaliat în erorile de analiză.

-QD fişier
Pune înăuntru fişier în caz de eroare de sintaxă în rezultatul unei extinderi a citatului.

-o fişier ieşit
Imprimați rezultatul pe fișierul de ieșire în loc de ieșire standard. Fișierul este deschis cu
open_out_bin (vezi biblioteca OCaml Pervasives).

-v Tipăriți numărul versiunii și ieșiți.

-Ajutor Imprimați opțiunile disponibile și ieșiți. Această imprimare include opțiunile posibil
adăugat de fișierele obiect încărcate.

Celelalte opțiuni pot fi extinse prin fișiere obiect încărcate. Fișierele furnizate adaugă
următoarele opțiuni:

-l lungimea liniei
Adăugat de pr_o.cmo și pr_r.cmo: setați lungimea liniei (implicit 78).

-sept şir
Adăugat de pr_o.cmo și pr_r.cmo: imprimați acest șir între fraze în loc de
comentarii.

-nu_ss Adăugat de pr_o.cmo: nu tipăriți punct și virgulă duble

-D identitate
Adăugat de pa_macro.cmo: definește ident.

-U identitate
Adăugat de pa_macro.cmo: undefine the ident.

OFERIT DOSARE

Aceste fișiere sunt instalate în directorul /usr/lib/ocaml/camlp5.

Analizarea fișierelor:
pa_r.cmo: sintaxă revizuită
pa_rp.cmo: fluxuri și analizatoare
pa_lexer.cmo: lexers
pa_o.cmo: sintaxă normală
pa_op.cmo: fluxuri și analizatoare
pa_oop.cmo: fluxuri și analizoare (fără optimizarea codului)
pa_scheme.cmo: sintaxa schemei
pa_extend.cmo: extensie de sintaxă pentru gramatici
pa_extfold.cmo: extensia pa_extend cu FOLD0 și FOLD1
pa_extfun.cmo: extensie de sintaxă pentru funcții extensibile
pa_extprint.cmo: extensii de sintaxă pentru imprimante extensibile
pa_pprintf.cmo: extensie de sintaxă pentru instrucțiunea pprintf
pa_fstream.cmo: extensie de sintaxă pentru fluxurile funcționale
pa_macro.cmo: adăugați macrocomenzi (ifdef, define) ca în C
pa_lefteval.cmo: evaluarea parametrilor de la stânga la dreapta
pa_pragma.cmo: directivă #pragma

Imprimarea fișierelor:
pr_r.cmo: sintaxă revizuită fără obiecte și etichete
pr_ro.cmo: sintaxă revizuită pentru obiecte și etichete
pr_rp.cmo: încercați să reconstruiți sintaxa fluxurilor și analizoarelor
pr_o.cmo: sintaxă normală
pr_op.cmo: încercați să reconstruiți sintaxa fluxurilor și analizoarelor
pr_scheme.cmo: Sintaxa schemei
pr_schemep.cmo: încercați să reconstruiți sintaxa fluxurilor și analizoarelor
pr_extend.cmo: încercați să reconstruiți instrucțiunile EXTEND
pr_extfun.cmo: încercați să reconstruiți instrucțiunile extfun
pr_extprint.cmo: încercați să reconstruiți instrucțiunile EXTEND_PRINTER
pr_dump.cmo: arborele de sintaxă dump pentru compilatorul ocaml
pr_depend.cmo: dependențe de fișiere
pr_null.cmo: nicio ieșire

Expansoare de cotație:
q_MLast.cmo: noduri de arbore de sintaxă (în sintaxă revizuită)
q_ast.cmo: nodurile arborelui de sintaxă în sintaxa completă a utilizatorului
q_phony.cmo: păstrarea cotațiilor pentru o imprimare frumoasă

Comanda camlp5o este o scurtătură pentru:
camlp5 pa_o.cmo pa_op.cmo pr_dump.cmo

Comanda camlp5r este o scurtătură pentru:
camlp5 pa_r.cmo pa_rp.cmo pr_dump.cmo

Comanda camlp5sch este o scurtătură pentru:
camlp5 pa_scheme.cmo pr_dump.cmo

Fișierul camlp5o.cma poate fi încărcat în toplevel pentru a porni camlp5 cu sintaxa OCaml.

Fișierul camlp5r.cma poate fi încărcat în nivelul superior pentru a porni camlp5 cu sintaxa revizuită.

Fișierul camlp5sch.cma poate fi încărcat în nivelul superior pentru a porni camlp5 cu sintaxa Scheme.

MKCAMLP5

mkcamlp5 și mkcamlp5.opt creează executabile camlp5 cu aproape aceleași opțiuni decât
ocamlmktop. Versiunea mkcamlp5.opt poate crea executabile de cod nativ, mai rapid, dar nu
extensibil.

Pentru mkcamlp5, interfețele care trebuie să fie vizibile trebuie adăugate în mod explicit în linia de comandă ca
fișiere „.cmi”. De exemplu, cum să adăugați modulul OCaml „str”:
mkcamlp5 -custom str.cmi str.cma -cclib -lstr -o camlp5str

MEDIUL VARIABIL

Se consultă și următoarea variabilă de mediu:

CAMLP5PARAM
Setați parametrii algoritmului de analizare a gramaticilor. Această variabilă trebuie să fie o secvență de
specificațiile parametrilor. O specificație de parametru este o literă opțional
urmat de un = și o valoare. Există patru parametri posibili:

b (înapoi)
Setați algoritmul de backtrack ca implicit.

t (urmă)
Urmăriți simboluri (terminale și non-terminale) în timpul analizei cu backtracking.

y (urme-blocare)
În întoarcere, urmăriți avansul în fluxul de intrare (număr de jetoane dezghețate)
și posibila blocare (testele numărului de jetoane).

l (maxim-blocare)
Setați valoarea maximă de blocare.

Utilizați camlp5r.opt online folosind serviciile onworks.net