kc(1) [osx man page]
KC(1) General Commands Manual KC(1) NAME
kc - generate C code from Kimwitu input SYNOPSIS
kc [ file.k ... ] kc --version DESCRIPTION
kc reads the abstract syntax definition, function definitions, rewrite rules and unparse rules from the files given on the command line, or from the standard input if no file arguments were given, and generates for each file.k input file a pair of file.c and a file.h files that contain the translation of the functions defined in the corresponding file.k, in addition to the files that are always generated: csgiok.[ch], rk.[ch] and unpk.[ch] files, that contain respectively the CSGIO-, the rewrite- and the unparse-functions, and the k.c and k.h files that contain the grammar tables and the remaining `default' functions. If no command line file arguments are given, the translation of the user-defined functions will be generated in stdin.[ch] files. kc does not unnecessarily overwrite a file: if a file would be overwritten with its own (identical) contents, it will not be touched. This makes it easy to write an efficient Makefile. OPTIONS
--version print the version number of kc and exit (this option is not available in kc versions older than V3_9P3) GENERATED FILES
k.[ch] the grammar and default functions rk.[ch] the rewrite view declarations and rewrite functions csgiok.[ch] the CSGIO functions unpk.[ch] the unparse view declarations and unparsing functions file.[ch] translation of user-provided Kimwitu functions. stdin.[ch] translation of user-provided Kimwitu functions if no command line file arguments were given. DIAGNOSTICS
If an error is encountered in the Kimwitu input, an apropriate error message will be written on standard error, code generation will be suppressed and a non-zero exit value will be returned. The error messages should be self-explanatory. AUTHOR
Axel Belinfante, University of Twente, the Netherlands. CONTACT
By Email: <kimwitu@cs.utwente.nl> VERSION
This manual page documents kc V3_* and newer. May 13, 1996 KC(1)
Check Out this Related 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)