Source file mark_infos.ml

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
type t = int array

let make marks =
  let len = 1 + List.fold_left (fun ma (i, _) -> max ma i) (-1) marks in
  let t = Array.make len (-1) in
  List.iter (fun (i, v) -> t.(i) <- v) marks;
  t
;;

let test t i = if 2 * i >= Array.length t then false else t.(2 * i) <> -1

let offset t i =
  let start_i = 2 * i in
  let stop_i = start_i + 1 in
  if stop_i >= Array.length t
  then None
  else (
    let start = t.(start_i) in
    if start = -1
    then None
    else (
      let stop = t.(stop_i) in
      Some (start, stop)))
;;

let iteri t ~f =
  for i = 0 to (Array.length t / 2) - 1 do
    let idx = 2 * i in
    let start = t.(idx) in
    if start <> -1
    then (
      let stop = t.(idx + 1) in
      f i start stop)
  done
;;