package mopsa

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Module `Config.Parser`

Parser of configuration files

**********************

val opt_config : string ref

Path to the current configuration

val all_domains : unit -> string list

val all_reductions : unit -> string list

*****************

val debug : ('a, Format.formatter, unit, unit) format4 -> 'a

val parse_domain : Yojson.Basic.t -> Syntax.domain

val parse_domain_reduction : string -> Syntax.domain_reduction

val parse_domain_functor : Yojson.Basic.t -> Syntax.domain_functor

val parse_value : Yojson.Basic.t -> Syntax.value

val parse_value_reduction : string -> Syntax.value_reduction

val parse_value_functor : Yojson.Basic.t -> Syntax.value_functor

***********************

val get_language : [> `Assoc of (string * Yojson__Basic.t) list ] -> string

val get_domain_json : [> `Assoc of (string * 'a) list ] -> 'a

****************

val parse : string -> Syntax.abstraction

val language : string -> string

val domains : string -> string list