jocamllex(1) [debian man page]
JOCAMLLEX(1) General Commands Manual JOCAMLLEX(1) NAME
jocamllex - The JoCaml lexer generator SYNOPSIS
jocamllex [ -o output-file ] [ -ml ] filename.mll DESCRIPTION
The jocamllex(1) command generates Objective Caml lexers from a set of regular expressions with associated semantic actions, in the style of lex(1). Running jocamllex(1) on the input file lexer.mll produces Caml code for a lexical analyzer in file lexer.ml. This file defines one lexing function per entry point in the lexer definition. These functions have the same names as the entry points. Lexing functions take as argument a lexer buffer, and return the semantic attribute of the corresponding entry point. Lexer buffers are an abstract data type implemented in the standard library module Lexing. The functions Lexing.from_channel, Lex- ing.from_string and Lexing.from_function create lexer buffers that read from an input channel, a character string, or any reading function, respectively. When used in conjunction with a parser generated by jocamlyacc(1), the semantic actions compute a value belonging to the type token defined by the generated parsing module. OPTIONS
The jocamllex(1) command recognizes the following options: -o output-file Specify the output file name output-file instead of the default naming convention. -ml Output code that does not use the Caml built-in automata interpreter. Instead, the automaton is encoded by Caml functions. This option is useful for debugging jocamllex(1), using it for production lexers is not recommended. SEE ALSO
jocamlyacc(1). The Objective Caml user's manual, chapter "Lexer and parser generators". JOCAMLLEX(1)
Check Out this Related Man Page
OCAMLYACC(1) General Commands Manual OCAMLYACC(1) NAME
ocamlyacc - The OCaml 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 OCaml 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 OCaml user's manual, chapter "Lexer and parser generators". OCAMLYACC(1)