Source file parser.ml

module MenhirBasics = struct
  
  exception Error
  
  let _eRR =
    fun _s ->
      raise Error
  
  type token = 
    | TEXT of (
# 1 "src/parser.mly"
       (string)
# 15 "src/parser.ml"
  )
    | RCURL
    | LCURL
    | KIND of (
# 2 "src/parser.mly"
       (string)
# 22 "src/parser.ml"
  )
    | EQUAL
    | EOF
    | COMMA
  
end

include MenhirBasics

# 7 "src/parser.mly"
  
  let add raw_entry database = Fields.Database.add raw_entry.Fields.uid raw_entry database

# 36 "src/parser.ml"

type ('s, 'r) _menhir_state = 
  | MenhirState00 : ('s, _menhir_box_main) _menhir_state
    (** State 00.
        Stack shape : .
        Start symbol: main. *)

  | MenhirState04 : (('s, _menhir_box_main) _menhir_cell1_KIND _menhir_cell0_TEXT, _menhir_box_main) _menhir_state
    (** State 04.
        Stack shape : KIND TEXT.
        Start symbol: main. *)

  | MenhirState07 : (('s, _menhir_box_main) _menhir_cell1_TEXT, _menhir_box_main) _menhir_state
    (** State 07.
        Stack shape : TEXT.
        Start symbol: main. *)

  | MenhirState09 : (('s, _menhir_box_main) _menhir_cell1_TEXT, _menhir_box_main) _menhir_state
    (** State 09.
        Stack shape : TEXT.
        Start symbol: main. *)

  | MenhirState12 : (('s, _menhir_box_main) _menhir_cell1_LCURL _menhir_cell0_TEXT, _menhir_box_main) _menhir_state
    (** State 12.
        Stack shape : LCURL TEXT.
        Start symbol: main. *)

  | MenhirState15 : (('s, _menhir_box_main) _menhir_cell1_TEXT, _menhir_box_main) _menhir_state
    (** State 15.
        Stack shape : TEXT.
        Start symbol: main. *)

  | MenhirState19 : ((('s, _menhir_box_main) _menhir_cell1_TEXT, _menhir_box_main) _menhir_cell1_rtext, _menhir_box_main) _menhir_state
    (** State 19.
        Stack shape : TEXT rtext.
        Start symbol: main. *)

  | MenhirState26 : (('s, _menhir_box_main) _menhir_cell1_entry, _menhir_box_main) _menhir_state
    (** State 26.
        Stack shape : entry.
        Start symbol: main. *)


and ('s, 'r) _menhir_cell1_entry = 
  | MenhirCell1_entry of 's * ('s, 'r) _menhir_state * (Fields.raw_entry)

and ('s, 'r) _menhir_cell1_rtext = 
  | MenhirCell1_rtext of 's * ('s, 'r) _menhir_state * (string)

and ('s, 'r) _menhir_cell1_KIND = 
  | MenhirCell1_KIND of 's * ('s, 'r) _menhir_state * (
# 2 "src/parser.mly"
       (string)
# 90 "src/parser.ml"
)

and ('s, 'r) _menhir_cell1_LCURL = 
  | MenhirCell1_LCURL of 's * ('s, 'r) _menhir_state

and ('s, 'r) _menhir_cell1_TEXT = 
  | MenhirCell1_TEXT of 's * ('s, 'r) _menhir_state * (
# 1 "src/parser.mly"
       (string)
# 100 "src/parser.ml"
)

and 's _menhir_cell0_TEXT = 
  | MenhirCell0_TEXT of 's * (
# 1 "src/parser.mly"
       (string)
# 107 "src/parser.ml"
)

and _menhir_box_main = 
  | MenhirBox_main of (Fields.raw_entry Fields.Database.t) [@@unboxed]

let _menhir_action_01 =
  fun e kind name ->
    (
# 19 "src/parser.mly"
 ( {Fields.uid=name; kind; raw=e} )
# 118 "src/parser.ml"
     : (Fields.raw_entry))

let _menhir_action_02 =
  fun d entry ->
    (
# 14 "src/parser.mly"
                      ( add entry d)
# 126 "src/parser.ml"
     : (Fields.raw_entry Fields.Database.t))

let _menhir_action_03 =
  fun () ->
    (
# 15 "src/parser.mly"
       (Fields.Database.empty)
# 134 "src/parser.ml"
     : (Fields.raw_entry Fields.Database.t))

let _menhir_action_04 =
  fun () ->
    (
# 28 "src/parser.mly"
    (())
# 142 "src/parser.ml"
     : (unit))

let _menhir_action_05 =
  fun () ->
    (
# 29 "src/parser.mly"
         (())
# 150 "src/parser.ml"
     : (unit))

let _menhir_action_06 =
  fun e key p ->
    (
# 23 "src/parser.mly"
   ( Fields.Database.add (String.trim key) p e )
# 158 "src/parser.ml"
     : (string Fields.Database.t))

let _menhir_action_07 =
  fun key p ->
    (
# 25 "src/parser.mly"
   ( Fields.Database.singleton (String.trim key) p )
# 166 "src/parser.ml"
     : (string Fields.Database.t))

let _menhir_action_08 =
  fun s ->
    (
# 32 "src/parser.mly"
          (s)
# 174 "src/parser.ml"
     : (string))

let _menhir_action_09 =
  fun rs s ->
    (
# 33 "src/parser.mly"
                         (s^"="^rs)
# 182 "src/parser.ml"
     : (string))

let _menhir_action_10 =
  fun rs s1 ->
    (
# 34 "src/parser.mly"
                           (s1 ^","^ rs )
# 190 "src/parser.ml"
     : (string))

let _menhir_action_11 =
  fun rs s1 ->
    (
# 35 "src/parser.mly"
                                (s1 ^ rs )
# 198 "src/parser.ml"
     : (string))

let _menhir_print_token : token -> string =
  fun _tok ->
    match _tok with
    | COMMA ->
        "COMMA"
    | EOF ->
        "EOF"
    | EQUAL ->
        "EQUAL"
    | KIND _ ->
        "KIND"
    | LCURL ->
        "LCURL"
    | RCURL ->
        "RCURL"
    | TEXT _ ->
        "TEXT"

let _menhir_fail : unit -> 'a =
  fun () ->
    Printf.eprintf "Internal failure -- please contact the parser generator's developers.\n%!";
    assert false

include struct
  
  [@@@ocaml.warning "-4-37"]
  
  let _menhir_run_25 : type  ttv_stack. ttv_stack -> _ -> _menhir_box_main =
    fun _menhir_stack _v ->
      MenhirBox_main _v
  
  let rec _menhir_goto_main : type  ttv_stack. ttv_stack -> _ -> (ttv_stack, _menhir_box_main) _menhir_state -> _menhir_box_main =
    fun _menhir_stack _v _menhir_s ->
      match _menhir_s with
      | MenhirState26 ->
          _menhir_run_27 _menhir_stack _v
      | MenhirState00 ->
          _menhir_run_25 _menhir_stack _v
      | _ ->
          _menhir_fail ()
  
  and _menhir_run_27 : type  ttv_stack. (ttv_stack, _menhir_box_main) _menhir_cell1_entry -> _ -> _menhir_box_main =
    fun _menhir_stack _v ->
      let MenhirCell1_entry (_menhir_stack, _menhir_s, entry) = _menhir_stack in
      let d = _v in
      let _v = _menhir_action_02 d entry in
      _menhir_goto_main _menhir_stack _v _menhir_s
  
  let _menhir_run_24 : type  ttv_stack. ttv_stack -> (ttv_stack, _menhir_box_main) _menhir_state -> _menhir_box_main =
    fun _menhir_stack _menhir_s ->
      let _v = _menhir_action_03 () in
      _menhir_goto_main _menhir_stack _v _menhir_s
  
  let rec _menhir_run_01 : type  ttv_stack. ttv_stack -> _ -> _ -> _ -> (ttv_stack, _menhir_box_main) _menhir_state -> _menhir_box_main =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s ->
      let _menhir_stack = MenhirCell1_KIND (_menhir_stack, _menhir_s, _v) in
      let _tok = _menhir_lexer _menhir_lexbuf in
      match (_tok : MenhirBasics.token) with
      | LCURL ->
          let _tok = _menhir_lexer _menhir_lexbuf in
          (match (_tok : MenhirBasics.token) with
          | TEXT _v ->
              let _menhir_stack = MenhirCell0_TEXT (_menhir_stack, _v) in
              let _tok = _menhir_lexer _menhir_lexbuf in
              (match (_tok : MenhirBasics.token) with
              | COMMA ->
                  let _menhir_s = MenhirState04 in
                  let _tok = _menhir_lexer _menhir_lexbuf in
                  (match (_tok : MenhirBasics.token) with
                  | TEXT _v ->
                      _menhir_run_05 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s
                  | _ ->
                      _eRR ())
              | _ ->
                  _eRR ())
          | _ ->
              _eRR ())
      | _ ->
          _eRR ()
  
  and _menhir_run_05 : type  ttv_stack. ttv_stack -> _ -> _ -> _ -> (ttv_stack, _menhir_box_main) _menhir_state -> _menhir_box_main =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s ->
      let _menhir_stack = MenhirCell1_TEXT (_menhir_stack, _menhir_s, _v) in
      let _tok = _menhir_lexer _menhir_lexbuf in
      match (_tok : MenhirBasics.token) with
      | EQUAL ->
          let _tok = _menhir_lexer _menhir_lexbuf in
          (match (_tok : MenhirBasics.token) with
          | LCURL ->
              let _menhir_s = MenhirState07 in
              let _tok = _menhir_lexer _menhir_lexbuf in
              (match (_tok : MenhirBasics.token) with
              | TEXT _v ->
                  _menhir_run_08 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s
              | LCURL ->
                  _menhir_run_10 _menhir_stack _menhir_lexbuf _menhir_lexer _menhir_s
              | _ ->
                  _eRR ())
          | _ ->
              _eRR ())
      | _ ->
          _eRR ()
  
  and _menhir_run_08 : type  ttv_stack. ttv_stack -> _ -> _ -> _ -> (ttv_stack, _menhir_box_main) _menhir_state -> _menhir_box_main =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s ->
      let _tok = _menhir_lexer _menhir_lexbuf in
      match (_tok : MenhirBasics.token) with
      | EQUAL ->
          let _menhir_stack = MenhirCell1_TEXT (_menhir_stack, _menhir_s, _v) in
          let _menhir_s = MenhirState09 in
          let _tok = _menhir_lexer _menhir_lexbuf in
          (match (_tok : MenhirBasics.token) with
          | TEXT _v ->
              _menhir_run_08 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s
          | LCURL ->
              _menhir_run_10 _menhir_stack _menhir_lexbuf _menhir_lexer _menhir_s
          | _ ->
              _eRR ())
      | COMMA ->
          let _menhir_stack = MenhirCell1_TEXT (_menhir_stack, _menhir_s, _v) in
          let _menhir_s = MenhirState15 in
          let _tok = _menhir_lexer _menhir_lexbuf in
          (match (_tok : MenhirBasics.token) with
          | TEXT _v ->
              _menhir_run_08 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s
          | LCURL ->
              _menhir_run_10 _menhir_stack _menhir_lexbuf _menhir_lexer _menhir_s
          | _ ->
              _eRR ())
      | RCURL ->
          let s = _v in
          let _v = _menhir_action_08 s in
          _menhir_goto_rtext _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s
      | _ ->
          _eRR ()
  
  and _menhir_run_10 : type  ttv_stack. ttv_stack -> _ -> _ -> (ttv_stack, _menhir_box_main) _menhir_state -> _menhir_box_main =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _menhir_s ->
      let _menhir_stack = MenhirCell1_LCURL (_menhir_stack, _menhir_s) in
      let _tok = _menhir_lexer _menhir_lexbuf in
      match (_tok : MenhirBasics.token) with
      | TEXT _v ->
          let _menhir_stack = MenhirCell0_TEXT (_menhir_stack, _v) in
          let _tok = _menhir_lexer _menhir_lexbuf in
          (match (_tok : MenhirBasics.token) with
          | RCURL ->
              let _menhir_s = MenhirState12 in
              let _tok = _menhir_lexer _menhir_lexbuf in
              (match (_tok : MenhirBasics.token) with
              | TEXT _v ->
                  _menhir_run_08 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s
              | LCURL ->
                  _menhir_run_10 _menhir_stack _menhir_lexbuf _menhir_lexer _menhir_s
              | _ ->
                  _eRR ())
          | _ ->
              _eRR ())
      | _ ->
          _eRR ()
  
  and _menhir_goto_rtext : type  ttv_stack. ttv_stack -> _ -> _ -> _ -> (ttv_stack, _menhir_box_main) _menhir_state -> _menhir_box_main =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s ->
      match _menhir_s with
      | MenhirState07 ->
          _menhir_run_17 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s
      | MenhirState15 ->
          _menhir_run_16 _menhir_stack _menhir_lexbuf _menhir_lexer _v
      | MenhirState09 ->
          _menhir_run_14 _menhir_stack _menhir_lexbuf _menhir_lexer _v
      | MenhirState12 ->
          _menhir_run_13 _menhir_stack _menhir_lexbuf _menhir_lexer _v
      | _ ->
          _menhir_fail ()
  
  and _menhir_run_17 : type  ttv_stack. ((ttv_stack, _menhir_box_main) _menhir_cell1_TEXT as 'stack) -> _ -> _ -> _ -> ('stack, _menhir_box_main) _menhir_state -> _menhir_box_main =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s ->
      let _menhir_stack = MenhirCell1_rtext (_menhir_stack, _menhir_s, _v) in
      let _tok = _menhir_lexer _menhir_lexbuf in
      match (_tok : MenhirBasics.token) with
      | COMMA ->
          let _menhir_s = MenhirState19 in
          let _tok = _menhir_lexer _menhir_lexbuf in
          (match (_tok : MenhirBasics.token) with
          | TEXT _v ->
              _menhir_run_05 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s
          | RCURL ->
              let _ = _menhir_action_05 () in
              _menhir_goto_opt_comma _menhir_stack _menhir_lexbuf _menhir_lexer
          | _ ->
              _eRR ())
      | RCURL ->
          let _ = _menhir_action_04 () in
          _menhir_goto_opt_comma _menhir_stack _menhir_lexbuf _menhir_lexer
      | _ ->
          _eRR ()
  
  and _menhir_goto_opt_comma : type  ttv_stack. ((ttv_stack, _menhir_box_main) _menhir_cell1_TEXT, _menhir_box_main) _menhir_cell1_rtext -> _ -> _ -> _menhir_box_main =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer ->
      let MenhirCell1_rtext (_menhir_stack, _, p) = _menhir_stack in
      let MenhirCell1_TEXT (_menhir_stack, _menhir_s, key) = _menhir_stack in
      let _v = _menhir_action_07 key p in
      _menhir_goto_properties _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s
  
  and _menhir_goto_properties : type  ttv_stack. ttv_stack -> _ -> _ -> _ -> (ttv_stack, _menhir_box_main) _menhir_state -> _menhir_box_main =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s ->
      match _menhir_s with
      | MenhirState04 ->
          _menhir_run_22 _menhir_stack _menhir_lexbuf _menhir_lexer _v
      | MenhirState19 ->
          _menhir_run_20 _menhir_stack _menhir_lexbuf _menhir_lexer _v
      | _ ->
          _menhir_fail ()
  
  and _menhir_run_22 : type  ttv_stack. (ttv_stack, _menhir_box_main) _menhir_cell1_KIND _menhir_cell0_TEXT -> _ -> _ -> _ -> _menhir_box_main =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v ->
      let _tok = _menhir_lexer _menhir_lexbuf in
      let MenhirCell0_TEXT (_menhir_stack, name) = _menhir_stack in
      let MenhirCell1_KIND (_menhir_stack, _menhir_s, kind) = _menhir_stack in
      let e = _v in
      let _v = _menhir_action_01 e kind name in
      let _menhir_stack = MenhirCell1_entry (_menhir_stack, _menhir_s, _v) in
      match (_tok : MenhirBasics.token) with
      | KIND _v_0 ->
          _menhir_run_01 _menhir_stack _menhir_lexbuf _menhir_lexer _v_0 MenhirState26
      | EOF ->
          _menhir_run_24 _menhir_stack MenhirState26
      | _ ->
          _eRR ()
  
  and _menhir_run_20 : type  ttv_stack. ((ttv_stack, _menhir_box_main) _menhir_cell1_TEXT, _menhir_box_main) _menhir_cell1_rtext -> _ -> _ -> _ -> _menhir_box_main =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v ->
      let MenhirCell1_rtext (_menhir_stack, _, p) = _menhir_stack in
      let MenhirCell1_TEXT (_menhir_stack, _menhir_s, key) = _menhir_stack in
      let e = _v in
      let _v = _menhir_action_06 e key p in
      _menhir_goto_properties _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s
  
  and _menhir_run_16 : type  ttv_stack. (ttv_stack, _menhir_box_main) _menhir_cell1_TEXT -> _ -> _ -> _ -> _menhir_box_main =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v ->
      let MenhirCell1_TEXT (_menhir_stack, _menhir_s, s1) = _menhir_stack in
      let rs = _v in
      let _v = _menhir_action_10 rs s1 in
      _menhir_goto_rtext _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s
  
  and _menhir_run_14 : type  ttv_stack. (ttv_stack, _menhir_box_main) _menhir_cell1_TEXT -> _ -> _ -> _ -> _menhir_box_main =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v ->
      let MenhirCell1_TEXT (_menhir_stack, _menhir_s, s) = _menhir_stack in
      let rs = _v in
      let _v = _menhir_action_09 rs s in
      _menhir_goto_rtext _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s
  
  and _menhir_run_13 : type  ttv_stack. (ttv_stack, _menhir_box_main) _menhir_cell1_LCURL _menhir_cell0_TEXT -> _ -> _ -> _ -> _menhir_box_main =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v ->
      let MenhirCell0_TEXT (_menhir_stack, s1) = _menhir_stack in
      let MenhirCell1_LCURL (_menhir_stack, _menhir_s) = _menhir_stack in
      let rs = _v in
      let _v = _menhir_action_11 rs s1 in
      _menhir_goto_rtext _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s
  
  let _menhir_run_00 : type  ttv_stack. ttv_stack -> _ -> _ -> _menhir_box_main =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer ->
      let _menhir_s = MenhirState00 in
      let _tok = _menhir_lexer _menhir_lexbuf in
      match (_tok : MenhirBasics.token) with
      | KIND _v ->
          _menhir_run_01 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s
      | EOF ->
          _menhir_run_24 _menhir_stack _menhir_s
      | _ ->
          _eRR ()
  
end

let main =
  fun _menhir_lexer _menhir_lexbuf ->
    let _menhir_stack = () in
    let MenhirBox_main v = _menhir_run_00 _menhir_stack _menhir_lexbuf _menhir_lexer in
    v