ocamlyacc - Online în cloud

PROGRAM:

NUME

ocamlyacc - Generatorul de analiză OCaml

REZUMAT

ocamlyacc [ -bprefix ] [ -q ] [ -v ] [ -versiune ] [ -vnum ] nume de fișier.mly

DESCRIERE

ocamlyacc(1) comanda produce un parser de la a LALR(1) gramatică fără context
specificație cu acțiuni semantice atașate, în stilul de yacc(1). Presupunând intrarea
fișierul este gramatică.mly, alergare ocamlyacc produce cod OCaml pentru un parser din fișier
gramatică.ml și interfața sa în fișier gramatică.mli.

Modulul generat definește o funcție de analiză pentru fiecare punct de intrare în gramatică. Aceste
funcțiile au aceleași nume ca și punctele de intrare. Funcțiile de analiză iau drept argumente a
analizor lexical (o funcție de la lexer-tampon la token-uri) și un lexer-tampon și returnare
atributul semantic al punctului de intrare corespunzător. Funcţiile analizorului lexical sunt
generate de obicei dintr-o specificație lexer de către ocamllex(1) program. Bufferele Lexer sunt
un tip de date abstract implementat în modulul bibliotecă standard Lexing. Tokenurile sunt valori
din jetonul de tip concret, definit în fișierul de interfață gramatică.mli produs de
ocamlyacc(1).

OPŢIUNI

ocamlyacc(1) comanda recunoaște următoarele opțiuni:

-bprefix
Denumiți fișierele de ieșire prefix.ml, prefix.mli, prefix.output, în loc de implicit
convenție de numire.

-q Această opțiune nu are efect.

-v Generați o descriere a tabelelor de analiză și un raport privind conflictele rezultate
din ambiguitățile din gramatică. Descrierea este pusa in fisier gramatică.ieșire.

-versiune
Tipăriți șirul versiunii și ieșiți.

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

- Citiți specificația gramaticală din intrarea standard. Numele implicite ale fișierelor de ieșire
sunt stdin.ml și stdin.mli.

-- fişier
Proces fişier ca specificația gramaticală, chiar dacă numele începe cu o liniuță (-)
caracter. Această opțiune trebuie să fie ultima din linia de comandă.

Utilizați ocamlyacc online folosind serviciile onworks.net