Source file map_utils_j.ml

(* Auto-generated from "map_utils.atd" *)
[@@@ocaml.warning "-27-32-33-35-39"]

type ('k, 'v) diff_bucketed = ('k, 'v) Map_utils_t.diff_bucketed = {
  added: ('k * 'v list) list;
  removed: ('k * 'v list) list
}

type ('k, 'v) diff = ('k, 'v) Map_utils_t.diff = {
  added: ('k * 'v) list;
  removed: ('k * 'v) list
}

let write__a_list write__a = (
  Atdgen_runtime.Oj_run.write_list (
    write__a
  )
)
let string_of__a_list write__a ?(len = 1024) x =
  let ob = Buffer.create len in
  write__a_list write__a ob x;
  Buffer.contents ob
let read__a_list read__a = (
  Atdgen_runtime.Oj_run.read_list (
    read__a
  )
)
let _a_list_of_string read__a s =
  read__a_list read__a (Yojson.Safe.init_lexer ()) (Lexing.from_string s)
let write__a_b_a_list_list write__a write__b = (
  Atdgen_runtime.Oj_run.write_list (
    fun ob x ->
      Buffer.add_char ob '[';
      (let x, _ = x in
      (
        write__a
      ) ob x
      );
      Buffer.add_char ob ',';
      (let _, x = x in
      (
        write__a_list write__b
      ) ob x
      );
      Buffer.add_char ob ']';
  )
)
let string_of__a_b_a_list_list write__a write__b ?(len = 1024) x =
  let ob = Buffer.create len in
  write__a_b_a_list_list write__a write__b ob x;
  Buffer.contents ob
let read__a_b_a_list_list read__a read__b = (
  Atdgen_runtime.Oj_run.read_list (
    fun p lb ->
      Yojson.Safe.read_space p lb;
      Atdgen_runtime.Yojson_extra.start_any_tuple p lb;
      let len = ref 0 in
      let end_of_tuple = ref false in
      (try
        let x0 =
          let x =
            (
              read__a
            ) p lb
          in
          incr len;
          Yojson.Safe.read_space p lb;
          Atdgen_runtime.Yojson_extra.read_tuple_sep2 p lb;
          x
        in
        let x1 =
          let x =
            (
              read__a_list read__b
            ) p lb
          in
          incr len;
          (try
            Yojson.Safe.read_space p lb;
            Atdgen_runtime.Yojson_extra.read_tuple_sep2 p lb;
          with Atdgen_runtime.Yojson_extra.End_of_tuple -> end_of_tuple := true);
          x
        in
        if not !end_of_tuple then (
          try
            while true do
              Yojson.Safe.skip_json p lb;
              Yojson.Safe.read_space p lb;
              Atdgen_runtime.Yojson_extra.read_tuple_sep2 p lb;
            done
          with Atdgen_runtime.Yojson_extra.End_of_tuple -> ()
        );
        (x0, x1)
      with Atdgen_runtime.Yojson_extra.End_of_tuple ->
        Atdgen_runtime.Oj_run.missing_tuple_fields p !len [ 0; 1 ]);
  )
)
let _a_b_a_list_list_of_string read__a read__b s =
  read__a_b_a_list_list read__a read__b (Yojson.Safe.init_lexer ()) (Lexing.from_string s)
let write_diff_bucketed write__k write__v : _ -> ('k, 'v) diff_bucketed -> _ = (
  fun ob (x : ('k, 'v) diff_bucketed) ->
    Buffer.add_char ob '{';
    let is_first = ref true in
    if !is_first then
      is_first := false
    else
      Buffer.add_char ob ',';
      Buffer.add_string ob "\"added\":";
    (
      write__a_b_a_list_list write__k write__v
    )
      ob x.added;
    if !is_first then
      is_first := false
    else
      Buffer.add_char ob ',';
      Buffer.add_string ob "\"removed\":";
    (
      write__a_b_a_list_list write__k write__v
    )
      ob x.removed;
    Buffer.add_char ob '}';
)
let string_of_diff_bucketed write__k write__v ?(len = 1024) x =
  let ob = Buffer.create len in
  write_diff_bucketed write__k write__v ob x;
  Buffer.contents ob
let read_diff_bucketed read__k read__v = (
  fun p lb ->
    Yojson.Safe.read_space p lb;
    Yojson.Safe.read_lcurl p lb;
    let field_added = ref (None) in
    let field_removed = ref (None) in
    try
      Yojson.Safe.read_space p lb;
      Yojson.Safe.read_object_end lb;
      Yojson.Safe.read_space p lb;
      let f =
        fun s pos len ->
          if pos < 0 || len < 0 || pos + len > String.length s then
            invalid_arg (Printf.sprintf "out-of-bounds substring position or length: string = %S, requested position = %i, requested length = %i" s pos len);
          match len with
            | 5 -> (
                if String.unsafe_get s pos = 'a' && String.unsafe_get s (pos+1) = 'd' && String.unsafe_get s (pos+2) = 'd' && String.unsafe_get s (pos+3) = 'e' && String.unsafe_get s (pos+4) = 'd' then (
                  0
                )
                else (
                  -1
                )
              )
            | 7 -> (
                if String.unsafe_get s pos = 'r' && String.unsafe_get s (pos+1) = 'e' && String.unsafe_get s (pos+2) = 'm' && String.unsafe_get s (pos+3) = 'o' && String.unsafe_get s (pos+4) = 'v' && String.unsafe_get s (pos+5) = 'e' && String.unsafe_get s (pos+6) = 'd' then (
                  1
                )
                else (
                  -1
                )
              )
            | _ -> (
                -1
              )
      in
      let i = Yojson.Safe.map_ident p f lb in
      Atdgen_runtime.Oj_run.read_until_field_value p lb;
      (
        match i with
          | 0 ->
            field_added := (
              Some (
                (
                  read__a_b_a_list_list read__k read__v
                ) p lb
              )
            );
          | 1 ->
            field_removed := (
              Some (
                (
                  read__a_b_a_list_list read__k read__v
                ) p lb
              )
            );
          | _ -> (
              Yojson.Safe.skip_json p lb
            )
      );
      while true do
        Yojson.Safe.read_space p lb;
        Yojson.Safe.read_object_sep p lb;
        Yojson.Safe.read_space p lb;
        let f =
          fun s pos len ->
            if pos < 0 || len < 0 || pos + len > String.length s then
              invalid_arg (Printf.sprintf "out-of-bounds substring position or length: string = %S, requested position = %i, requested length = %i" s pos len);
            match len with
              | 5 -> (
                  if String.unsafe_get s pos = 'a' && String.unsafe_get s (pos+1) = 'd' && String.unsafe_get s (pos+2) = 'd' && String.unsafe_get s (pos+3) = 'e' && String.unsafe_get s (pos+4) = 'd' then (
                    0
                  )
                  else (
                    -1
                  )
                )
              | 7 -> (
                  if String.unsafe_get s pos = 'r' && String.unsafe_get s (pos+1) = 'e' && String.unsafe_get s (pos+2) = 'm' && String.unsafe_get s (pos+3) = 'o' && String.unsafe_get s (pos+4) = 'v' && String.unsafe_get s (pos+5) = 'e' && String.unsafe_get s (pos+6) = 'd' then (
                    1
                  )
                  else (
                    -1
                  )
                )
              | _ -> (
                  -1
                )
        in
        let i = Yojson.Safe.map_ident p f lb in
        Atdgen_runtime.Oj_run.read_until_field_value p lb;
        (
          match i with
            | 0 ->
              field_added := (
                Some (
                  (
                    read__a_b_a_list_list read__k read__v
                  ) p lb
                )
              );
            | 1 ->
              field_removed := (
                Some (
                  (
                    read__a_b_a_list_list read__k read__v
                  ) p lb
                )
              );
            | _ -> (
                Yojson.Safe.skip_json p lb
              )
        );
      done;
      assert false;
    with Yojson.End_of_object -> (
        (
          {
            added = (match !field_added with Some x -> x | None -> Atdgen_runtime.Oj_run.missing_field p "added");
            removed = (match !field_removed with Some x -> x | None -> Atdgen_runtime.Oj_run.missing_field p "removed");
          }
         : ('k, 'v) diff_bucketed)
      )
)
let diff_bucketed_of_string read__k read__v s =
  read_diff_bucketed read__k read__v (Yojson.Safe.init_lexer ()) (Lexing.from_string s)
let write__a_b_list write__a write__b = (
  Atdgen_runtime.Oj_run.write_list (
    fun ob x ->
      Buffer.add_char ob '[';
      (let x, _ = x in
      (
        write__a
      ) ob x
      );
      Buffer.add_char ob ',';
      (let _, x = x in
      (
        write__b
      ) ob x
      );
      Buffer.add_char ob ']';
  )
)
let string_of__a_b_list write__a write__b ?(len = 1024) x =
  let ob = Buffer.create len in
  write__a_b_list write__a write__b ob x;
  Buffer.contents ob
let read__a_b_list read__a read__b = (
  Atdgen_runtime.Oj_run.read_list (
    fun p lb ->
      Yojson.Safe.read_space p lb;
      Atdgen_runtime.Yojson_extra.start_any_tuple p lb;
      let len = ref 0 in
      let end_of_tuple = ref false in
      (try
        let x0 =
          let x =
            (
              read__a
            ) p lb
          in
          incr len;
          Yojson.Safe.read_space p lb;
          Atdgen_runtime.Yojson_extra.read_tuple_sep2 p lb;
          x
        in
        let x1 =
          let x =
            (
              read__b
            ) p lb
          in
          incr len;
          (try
            Yojson.Safe.read_space p lb;
            Atdgen_runtime.Yojson_extra.read_tuple_sep2 p lb;
          with Atdgen_runtime.Yojson_extra.End_of_tuple -> end_of_tuple := true);
          x
        in
        if not !end_of_tuple then (
          try
            while true do
              Yojson.Safe.skip_json p lb;
              Yojson.Safe.read_space p lb;
              Atdgen_runtime.Yojson_extra.read_tuple_sep2 p lb;
            done
          with Atdgen_runtime.Yojson_extra.End_of_tuple -> ()
        );
        (x0, x1)
      with Atdgen_runtime.Yojson_extra.End_of_tuple ->
        Atdgen_runtime.Oj_run.missing_tuple_fields p !len [ 0; 1 ]);
  )
)
let _a_b_list_of_string read__a read__b s =
  read__a_b_list read__a read__b (Yojson.Safe.init_lexer ()) (Lexing.from_string s)
let write_diff write__k write__v : _ -> ('k, 'v) diff -> _ = (
  fun ob (x : ('k, 'v) diff) ->
    Buffer.add_char ob '{';
    let is_first = ref true in
    if !is_first then
      is_first := false
    else
      Buffer.add_char ob ',';
      Buffer.add_string ob "\"added\":";
    (
      write__a_b_list write__k write__v
    )
      ob x.added;
    if !is_first then
      is_first := false
    else
      Buffer.add_char ob ',';
      Buffer.add_string ob "\"removed\":";
    (
      write__a_b_list write__k write__v
    )
      ob x.removed;
    Buffer.add_char ob '}';
)
let string_of_diff write__k write__v ?(len = 1024) x =
  let ob = Buffer.create len in
  write_diff write__k write__v ob x;
  Buffer.contents ob
let read_diff read__k read__v = (
  fun p lb ->
    Yojson.Safe.read_space p lb;
    Yojson.Safe.read_lcurl p lb;
    let field_added = ref (None) in
    let field_removed = ref (None) in
    try
      Yojson.Safe.read_space p lb;
      Yojson.Safe.read_object_end lb;
      Yojson.Safe.read_space p lb;
      let f =
        fun s pos len ->
          if pos < 0 || len < 0 || pos + len > String.length s then
            invalid_arg (Printf.sprintf "out-of-bounds substring position or length: string = %S, requested position = %i, requested length = %i" s pos len);
          match len with
            | 5 -> (
                if String.unsafe_get s pos = 'a' && String.unsafe_get s (pos+1) = 'd' && String.unsafe_get s (pos+2) = 'd' && String.unsafe_get s (pos+3) = 'e' && String.unsafe_get s (pos+4) = 'd' then (
                  0
                )
                else (
                  -1
                )
              )
            | 7 -> (
                if String.unsafe_get s pos = 'r' && String.unsafe_get s (pos+1) = 'e' && String.unsafe_get s (pos+2) = 'm' && String.unsafe_get s (pos+3) = 'o' && String.unsafe_get s (pos+4) = 'v' && String.unsafe_get s (pos+5) = 'e' && String.unsafe_get s (pos+6) = 'd' then (
                  1
                )
                else (
                  -1
                )
              )
            | _ -> (
                -1
              )
      in
      let i = Yojson.Safe.map_ident p f lb in
      Atdgen_runtime.Oj_run.read_until_field_value p lb;
      (
        match i with
          | 0 ->
            field_added := (
              Some (
                (
                  read__a_b_list read__k read__v
                ) p lb
              )
            );
          | 1 ->
            field_removed := (
              Some (
                (
                  read__a_b_list read__k read__v
                ) p lb
              )
            );
          | _ -> (
              Yojson.Safe.skip_json p lb
            )
      );
      while true do
        Yojson.Safe.read_space p lb;
        Yojson.Safe.read_object_sep p lb;
        Yojson.Safe.read_space p lb;
        let f =
          fun s pos len ->
            if pos < 0 || len < 0 || pos + len > String.length s then
              invalid_arg (Printf.sprintf "out-of-bounds substring position or length: string = %S, requested position = %i, requested length = %i" s pos len);
            match len with
              | 5 -> (
                  if String.unsafe_get s pos = 'a' && String.unsafe_get s (pos+1) = 'd' && String.unsafe_get s (pos+2) = 'd' && String.unsafe_get s (pos+3) = 'e' && String.unsafe_get s (pos+4) = 'd' then (
                    0
                  )
                  else (
                    -1
                  )
                )
              | 7 -> (
                  if String.unsafe_get s pos = 'r' && String.unsafe_get s (pos+1) = 'e' && String.unsafe_get s (pos+2) = 'm' && String.unsafe_get s (pos+3) = 'o' && String.unsafe_get s (pos+4) = 'v' && String.unsafe_get s (pos+5) = 'e' && String.unsafe_get s (pos+6) = 'd' then (
                    1
                  )
                  else (
                    -1
                  )
                )
              | _ -> (
                  -1
                )
        in
        let i = Yojson.Safe.map_ident p f lb in
        Atdgen_runtime.Oj_run.read_until_field_value p lb;
        (
          match i with
            | 0 ->
              field_added := (
                Some (
                  (
                    read__a_b_list read__k read__v
                  ) p lb
                )
              );
            | 1 ->
              field_removed := (
                Some (
                  (
                    read__a_b_list read__k read__v
                  ) p lb
                )
              );
            | _ -> (
                Yojson.Safe.skip_json p lb
              )
        );
      done;
      assert false;
    with Yojson.End_of_object -> (
        (
          {
            added = (match !field_added with Some x -> x | None -> Atdgen_runtime.Oj_run.missing_field p "added");
            removed = (match !field_removed with Some x -> x | None -> Atdgen_runtime.Oj_run.missing_field p "removed");
          }
         : ('k, 'v) diff)
      )
)
let diff_of_string read__k read__v s =
  read_diff read__k read__v (Yojson.Safe.init_lexer ()) (Lexing.from_string s)