Source file set_utils_j.ml

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

type 'a diff = 'a Set_utils_t.diff = { added: 'a list; removed: 'a 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_diff write__a : _ -> 'a diff -> _ = (
  fun ob (x : 'a 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_list write__a
    )
      ob x.added;
    if !is_first then
      is_first := false
    else
      Buffer.add_char ob ',';
      Buffer.add_string ob "\"removed\":";
    (
      write__a_list write__a
    )
      ob x.removed;
    Buffer.add_char ob '}';
)
let string_of_diff write__a ?(len = 1024) x =
  let ob = Buffer.create len in
  write_diff write__a ob x;
  Buffer.contents ob
let read_diff read__a = (
  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_list read__a
                ) p lb
              )
            );
          | 1 ->
            field_removed := (
              Some (
                (
                  read__a_list read__a
                ) 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_list read__a
                  ) p lb
                )
              );
            | 1 ->
              field_removed := (
                Some (
                  (
                    read__a_list read__a
                  ) 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");
          }
         : 'a diff)
      )
)
let diff_of_string read__a s =
  read_diff read__a (Yojson.Safe.init_lexer ()) (Lexing.from_string s)