Login or Register to Ask a Question and Join Our Community

Linux and UNIX Man Pages

Linux & Unix Commands - Search Man Pages

ocamlyacc(1) [debian man page]

OCAMLYACC(1)						      General Commands Manual						      OCAMLYACC(1)

NAME

       ocamlyacc - The Objective Caml parser generator

SYNOPSIS

       ocamlyacc [ -bprefix ] [ -q ] [ -v ] [ -version ] [ -vnum ] filename.mly

DESCRIPTION

       The  ocamlyacc(1)  command produces a parser from a LALR(1) context-free grammar specification with attached semantic actions, in the style
       of yacc(1).  Assuming the input file is grammar.mly, running ocamlyacc produces Caml code for a parser in  the  file  grammar.ml,  and  its
       interface in file grammar.mli.

       The  generated module defines one parsing function per entry point in the grammar. These functions have the same names as the entry points.
       Parsing functions take as arguments a lexical analyzer (a function from lexer buffers to tokens) and a lexer buffer, and return the  seman-
       tic  attribute  of  the corresponding entry point. Lexical analyzer functions are usually generated from a lexer specification by the ocam-
       llex(1) program. Lexer buffers are an abstract data type implemented in the standard library module Lexing. Tokens are values from the con-
       crete type token, defined in the interface file grammar.mli produced by ocamlyacc(1).

OPTIONS

       The ocamlyacc(1) command recognizes the following options:

       -bprefix
	      Name the output files prefix.ml, prefix.mli, prefix.output, instead of the default naming convention.

       -q     This option has no effect.

       -v     Generate a description of the parsing tables and a report on conflicts resulting from ambiguities in the grammar. The description is
	      put in file grammar.output.

       -version
	      Print version string and exit.

       -vnum  Print short version number and exit.

       -      Read the grammar specification from standard input.  The default output file names are stdin.ml and stdin.mli.

       -- file
	      Process file as the grammar specification, even if its name starts with a dash (-) character.  This option must be the last  on  the
	      command line.

SEE ALSO

       ocamllex(1).
       The Objective Caml user's manual, chapter "Lexer and parser generators".

																      OCAMLYACC(1)

Check Out this Related Man Page

YACC(1) 						      General Commands Manual							   YACC(1)

NAME

       yacc - yet another compiler-compiler

SYNOPSIS

       yacc [ -vd ] grammar

DESCRIPTION

       Yacc  converts  a  context-free grammar into a set of tables for a simple automaton which executes an LR(1) parsing algorithm.  The grammar
       may be ambiguous; specified precedence rules are used to break ambiguities.

       The output file, y.tab.c, must be compiled by the C compiler to produce a program yyparse.  This program must be loaded	with  the  lexical
       analyzer  program,  yylex,  as well as main and yyerror, an error handling routine.  These routines must be supplied by the user; Lex(1) is
       useful for creating lexical analyzers usable by yacc.

       If the -v flag is given, the file y.output is prepared, which contains a description of the parsing tables and a report on conflicts gener-
       ated by ambiguities in the grammar.

       If  the	-d  flag is used, the file y.tab.h is generated with the define statements that associate the yacc-assigned `token codes' with the
       user-declared `token names'.  This allows source files other than y.tab.c to access the token codes.

FILES

       y.output
       y.tab.c
       y.tab.h		   defines for token names
       yacc.tmp, yacc.acts temporary files
       /usr/lib/yaccpar    parser prototype for C programs
       /lib/liby.a	   library with default `main' and `yyerror'

SEE ALSO

       lex(1)
       LR Parsing by A. V. Aho and S. C. Johnson, Computing Surveys, June, 1974.
       YACC - Yet Another Compiler Compiler by S. C. Johnson.

DIAGNOSTICS

       The number of reduce-reduce and shift-reduce conflicts is reported on the standard output; a more detailed report is found in the  y.output
       file.  Similarly, if some rules are not reachable from the start symbol, this is also reported.

BUGS

       Because file names are fixed, at most one yacc process can be active in a given directory at a time.

																	   YACC(1)
Man Page