Module Atd_annot

module Atd_annot: sig .. end

type t = Atd_ast.annot 

Sample annotation in ATD syntax with legend:

section a   section b
----------- ------
<a a1="x1"> <b b1>
 | |  |        |
 | |  |        +- field without a value
 | |  |
 | |  +- field value
 | |
 | +- field name
 |
 +- section name

The following rules must be followed for a proper use of this module:

• There may not be two sections with the same name. The merge function can be used to merge sections.
• Section order doesn't matter as long as section names are unique.
• Field names within a section should be unique. If not, only the first occurrence of each field is meaningful.
• Field values may be arbitrary strings.

val has_section : string -> t -> bool

Return true if such a section (first-level key) exists.

val has_field : string list -> string -> t -> bool

has_field section_names field_name annotations returns true if at least one section exists with a name in section_names and one of its fields named field_name.

Each section should be unique.

val get_flag : string list -> string -> t -> bool

get_flag section_names field_name looks sequentially into the sections specified by section_names for a field named field_name. If no such field can be found in any section, the result is false. Otherwise, the search stops with the first field matching one of the section names and the field name. If the field has no associated value, the result is true. If the field value is "true" then true is returned. Likewise, if the field value is "false" then false is returned. If the field value is anything else, a Failure exception is raised.

Each section should be unique.

Given the following annotations in the ATD syntax noted a:

<ocaml openin="false"> <ocaml_312 openin>

We obtain the following results:

# get_flag ["ocaml_312"; "ocaml"] "openin" a;;
\- : true
# get_flag ["ocaml_311"; "ocaml"] "openin" a;;
\- : false
# get_flag ["ocaml_312"] "openin" a;;
\- : true
# get_flag ["ocaml_311"] "openin" a;;
\- : false
# get_flag ["ocaml"] "openin" a;;
\- : false

val get_field : (string -> 'a option) -> 'a -> string list -> string -> t -> 'a

get_field parse default section_names field_name annotations looks sequentially into the sections specified by section_names for a field named field_name. If no such field exists, the default value is returned. If the field is present, the associated value is parsed using the given function parse which should return None in order to indicate an invalid value. If the field is present without an associated value or if parse returns None, a Failure exception is raised.

Each section should be unique.

val merge : t -> t

Merge sections of the same name together, and keeps only the first occurrence of each field.

<a a1="x1"> <b> <a a2="x3" a1="x2">

becomes

<a a1="x1" a2="x3"> <b>