package dolmen
-
dolmen
-
dolmen_intf
-
-
dolmen_line
-
dolmen_smtlib2
-
dolmen_std
-
-
dolmen_tptp
Library
Module
Module type
Parameter
Class
Class type
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.
Parse the given file.
- parameter dir:
optional directory to use if the file path is relative.
Parse the given file.
- parameter dir:
optional directory to use if the file path is relative.
val parse_input :
[ `Stdin | `File of string | `Contents of string * string ] ->
file * (unit -> statement option) * (unit -> unit)
Incremental parsing. Given an input to read (either a file, stdin, or some contents of the form (filename, s)
where s
is the contents to parse), 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.