package dolmen

  1. Overview
  2. Docs
A parser library for automated deduction

Install 

dune-project
 Dependency

github.com Readme Changelog Edit opam file Versions (11)

Authors

  1. G
    Guillaume Bury <guillaume.bury@gmail.com>

Maintainers

  1. G
    Guillaume Bury <guillaume.bury@gmail.com>

Sources

dolmen-0.9.tbz
sha256=003db53854bacc3a33fa55ed69cf79817c10369a4f7c6be944af1dcc36578a0a
sha512=3f8570f41c8c559c2907734efca98eecfc0f28ec3bce9dde500d5777a97391121a89ca66e7135d40b15161fe890d7b40fa53daba83eab0accf71fff136d45c74

doc/dolmen.dimacs/Dolmen_dimacs/Make/index.html

Module Dolmen_dimacs.MakeSource

Functor to generate a parser for the dimacs format.

Parameters

module T : Term with type location := L.t
module S : Statement with type location := L.t and type term := T.t

Signature

Sourcetype token

The type of tokens produced by the language lexer.

Sourcetype statement = S.t

The type of top-level directives recognised by the parser.

The Lexer module for the language.

The Parser module for the language.

Sourceval find : ?dir:string -> string -> string option

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.

Sourceval parse_file : string -> L.file * statement list

Parse the whole given file into a list.

Sourceval parse_file_lazy : string -> L.file * statement list Lazy.t

Parse the whole given file into a list.

Sourceval parse_raw_lazy : filename:string -> string -> L.file * statement list Lazy.t

Parse the whole given string into a list.

Sourceval parse_input : [ `Stdin | `File of string | `Contents of string * string ] -> L.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.