package alt-ergo-parsers
Install
Dune Dependency
Authors
Maintainers
Sources
sha256=39e2c9128a7d1e89f332e31a2716f359f3b9e1a925fe81f11fa4a749b5d24d82
sha512=ca953fe5a4964287de7e328ec4e3724a9baaa908c22862b075da5870bbf3707c7f78bd9fe0af98ee6c6382b5de0a4ddfcc93e09dc8b5b8e7d6ab6b1196a0656d
doc/alt-ergo-parsers/AltErgoParsers/Parsers/index.html
Module AltErgoParsers.Parsers
Source
The interface that should be provided by every lexer/parser of an input language
Registers a new 'parser' for the given extension/language
Parses the given file (lexbuf) using the appropriate 'parser' depending on the given language (set from extension) or the format set with the --input option. If no output format is set with the --output option, we set it depending on the extension / input format. by default if an input format is set results will be printed according this input format.
Parses the given expression (lexbuf) using the appropriate 'parser' depending on the given language. If no language is given, the default one is used.
Parses the given trigger (lexbuf) using the appropriate 'parser' depending on the given language. If no language is given, the default one is used.
Parses the given input file and eventual preludes. Parsers are chosen depending on the extension of different files.
val parse_problem_as_string :
content:string ->
format:string option ->
AltErgoLib.Parsed.file
Parses the given input file as a string. Parser is chosen depending on the given format or the input_format set.