package dolmen
Install
Dune Dependency
Authors
Maintainers
Sources
md5=55a97ff61dd8398e38570272ae7e3964
sha512=83f71037eb568d5449ff2d968cb50a0b105c9712e0bd29497d1f95683698f394860a11d4dee2a2a41163504e395ef068c3974901fca11894d671684fe438fc51
doc/dolmen.icnf/Dolmen_icnf/Make/index.html
Module Dolmen_icnf.Make
Source
Functor to generate a parser for the iCNF format.
Parameters
module L : Dolmen_intf.Location.S
Signature
The type of tokens produced by the language lexer.
The Lexer module for the language.
The Parser module for the language.
Helper function to find a file using a language specification. Separates directory and file because most include directives in languages are relative to the directory of the original file being processed.
Incremental parsing. Given an input to read (either a file, or stdin), returns a generator that will incrementally parse the statements, together with a cleanup function to close file descriptors. In case of a syntax error, the current line will be completely consumed and parsing will restart at the beginning of the next line. Useful to process input from stdin
, or even large files where it would be impractical to parse the entire file before processing it.