1525

Committed 27 Sep 2023 11:12PM UTC coverage: 63.256%. Remained the same

Build # 1525

Build Type

push

github

Committed by

jonludlam

Commit Message

Update CHANGES.md

Co-authored-by: panglesd <peada@free.fr>

Run Details

3858 of 6099 relevant lines covered (63.26%)

1584.67 hits per line

Source File
Press 'n' to go to next uncovered line, 'b' for previous

11.11

/src/html/utils.ml

(* Shared utility functions *)

(* = Option.fold *)
let fold_option ~none ~some = function Some x -> some x | None -> none

let rec list_concat_map ?sep ~f = function
  | [] -> []
  | [ x ] -> f x
  | x :: xs -> (
      let hd = f x in
      let tl = list_concat_map ?sep ~f xs in
      match sep with None -> hd @ tl | Some sep -> hd @ (sep :: tl))

let optional_elt f ?a = function [] -> [] | l -> [ f ?a l ]

module Json = struct
  type json =
    [ `Null
    | `Bool of bool
    | `Float of float
    | `String of string
    | `Array of json list
    | `Object of (string * json) list ]

  let rec buffer_add_json b = function
    | `Null -> Buffer.add_string b "null"
    | `Bool bool -> Buffer.add_string b (if bool then "true" else "false")
    | `Float f -> Buffer.add_string b (Printf.sprintf "%.16g" f)
    | `String s -> buffer_add_json_string b s
    | `Array els -> (
        match els with
        | [] -> Buffer.add_string b "[]"
        | el :: els ->
            let add_sep_el b e =
              Buffer.add_char b ',';
              buffer_add_json b e
            in
            Buffer.add_char b '[';
            buffer_add_json b el;
            List.iter (add_sep_el b) els;
            Buffer.add_char b ']')
    | `Object mems -> (
        match mems with
        | [] -> Buffer.add_string b "{}"
        | mem :: mems ->
            let add_mem b (k, v) =
              buffer_add_json_string b k;
              Buffer.add_char b ':';
              buffer_add_json b v
            in
            let add_sep_mem b mem =
              Buffer.add_char b ',';
              add_mem b mem
            in
            Buffer.add_char b '{';
            add_mem b mem;
            List.iter (add_sep_mem b) mems;
            Buffer.add_char b '}')

  and buffer_add_json_string b s =
    let is_control = function
      | '\x00' .. '\x1F' | '\x7F' -> true
      | _ -> false
    in
    let len = String.length s in
    let max_idx = len - 1 in
    let flush b start i =
      if start < len then Buffer.add_substring b s start (i - start)
    in
    let rec loop start i =
      match i > max_idx with
      | true -> flush b start i
      | false -> (
          let next = i + 1 in
          match String.get s i with
          | '"' ->
              flush b start i;
              Buffer.add_string b "\\\"";
              loop next next
          | '\\' ->
              flush b start i;
              Buffer.add_string b "\\\\";
              loop next next
          | c when is_control c ->
              flush b start i;
              Buffer.add_string b (Printf.sprintf "\\u%04X" (Char.code c));
              loop next next
          | _c -> loop start next)
    in
    Buffer.add_char b '"';
    loop 0 0;
    Buffer.add_char b '"'

  let to_string json =
    let b = Buffer.create 1024 in
    buffer_add_json b json;
    Buffer.contents b
end

1	(* Shared utility functions *)
2
3	(* = Option.fold *)
4	let fold_option ~none ~some = function Some x -> some x \| None -> none	×
5
6	let rec list_concat_map ?sep ~f = function
7	\| [] -> []	18✔
8	\| [ x ] -> f x	68,350✔
9	\| x :: xs -> (	56,592✔
10	let hd = f x in
11	let tl = list_concat_map ?sep ~f xs in	56,592✔
12	match sep with None -> hd @ tl \| Some sep -> hd @ (sep :: tl))	534✔
13
14	let optional_elt f ?a = function [] -> [] \| l -> [ f ?a l ]	86✔
15
16	module Json = struct
17	type json =
18	[ `Null
19	\| `Bool of bool
20	\| `Float of float
21	\| `String of string
22	\| `Array of json list
23	\| `Object of (string * json) list ]
24
25	let rec buffer_add_json b = function
26	\| `Null -> Buffer.add_string b "null"	×
27	\| `Bool bool -> Buffer.add_string b (if bool then "true" else "false")	×
28	\| `Float f -> Buffer.add_string b (Printf.sprintf "%.16g" f)	×
29	\| `String s -> buffer_add_json_string b s	×
30	\| `Array els -> (	×
31	match els with
32	\| [] -> Buffer.add_string b "[]"	×
33	\| el :: els ->	×
34	let add_sep_el b e =
35	Buffer.add_char b ',';	×
36	buffer_add_json b e	×
37	in
38	Buffer.add_char b '[';
39	buffer_add_json b el;	×
40	List.iter (add_sep_el b) els;	×
41	Buffer.add_char b ']')	×
42	\| `Object mems -> (	×
43	match mems with
44	\| [] -> Buffer.add_string b "{}"	×
45	\| mem :: mems ->	×
46	let add_mem b (k, v) =
47	buffer_add_json_string b k;	×
48	Buffer.add_char b ':';	×
49	buffer_add_json b v	×
50	in
51	let add_sep_mem b mem =
52	Buffer.add_char b ',';	×
53	add_mem b mem	×
54	in
55	Buffer.add_char b '{';
56	add_mem b mem;	×
57	List.iter (add_sep_mem b) mems;	×
58	Buffer.add_char b '}')	×
59
60	and buffer_add_json_string b s =
61	let is_control = function	×
62	\| '\x00' .. '\x1F' \| '\x7F' -> true	×
63	\| _ -> false	×
64	in
65	let len = String.length s in
66	let max_idx = len - 1 in	×
67	let flush b start i =
68	if start < len then Buffer.add_substring b s start (i - start)	×
69	in
70	let rec loop start i =
71	match i > max_idx with	×
72	\| true -> flush b start i	×
73	\| false -> (	×
74	let next = i + 1 in
75	match String.get s i with
76	\| '"' ->	×
77	flush b start i;
78	Buffer.add_string b "\\\"";	×
79	loop next next	×
80	\| '\\' ->	×
81	flush b start i;
82	Buffer.add_string b "\\\\";	×
83	loop next next	×
84	\| c when is_control c ->	×
85	flush b start i;	×
86	Buffer.add_string b (Printf.sprintf "\\u%04X" (Char.code c));	×
87	loop next next	×
88	\| _c -> loop start next)	×
89	in
90	Buffer.add_char b '"';
91	loop 0 0;	×
92	Buffer.add_char b '"'	×
93
94	let to_string json =
95	let b = Buffer.create 1024 in	×
96	buffer_add_json b json;	×
97	Buffer.contents b	×
98	end

ocaml / odoc / 1525

Source File Press 'n' to go to next uncovered line, 'b' for previous

Source File
Press 'n' to go to next uncovered line, 'b' for previous