package mopsa

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type

Parser of configuration files

Configuration file

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

val opt_config : string Stdlib.ref

Path to the current configuration

val all_domains : unit -> string list
val all_reductions : unit -> string list

Domain parser

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

val debug : ('a, Stdlib.Format.formatter, unit, unit) Stdlib.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

Toplevel attributes

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

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

Entry points

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

val parse : string -> Syntax.abstraction
val language : string -> string
val domains : string -> string list
OCaml

Innovation. Community. Security.