Source file filter.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
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
(********************************************************************************)
(*  crs - A tool for managing code review comments embedded in source code      *)
(*  Copyright (C) 2024-2025 Mathieu Barbin <mathieu.barbin@gmail.com>           *)
(*                                                                              *)
(*  This file is part of crs.                                                   *)
(*                                                                              *)
(*  crs is free software; you can redistribute it and/or modify it under the    *)
(*  terms of the GNU Lesser General Public License as published by the Free     *)
(*  Software Foundation either version 3 of the License, or any later version,  *)
(*  with the LGPL-3.0 Linking Exception.                                        *)
(*                                                                              *)
(*  crs is distributed in the hope that it will be useful, but WITHOUT ANY      *)
(*  WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS   *)
(*  FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License and     *)
(*  the file `NOTICE.md` at the root of this repository for more details.       *)
(*                                                                              *)
(*  You should have received a copy of the GNU Lesser General Public License    *)
(*  and the LGPL-3.0 Linking Exception along with this library. If not, see     *)
(*  <http://www.gnu.org/licenses/> and <https://spdx.org>, respectively.        *)
(********************************************************************************)

type t =
  | All
  | Invalid
  | CRs
  | XCRs
  | Now
  | Soon
  | Someday
[@@deriving compare, equal, enumerate, sexp_of]

let to_string = function
  | (All | Invalid | CRs | XCRs | Now | Soon | Someday) as t ->
    (match sexp_of_t t with
     | Atom str -> String.lowercase str
     | List _ -> assert false)
;;

let shorthand = function
  | All -> 'a'
  | Invalid -> 'i'
  | CRs -> 'c'
  | XCRs -> 'x'
  | Now -> 'w'
  | Soon -> 'o'
  | Someday -> 'd'
;;

let matches t ~cr =
  match t with
  | All -> true
  | Invalid ->
    (match Cr_comment0.header cr with
     | Error _ -> true
     | Ok _ -> false)
  | CRs ->
    (match Cr_comment0.header cr with
     | Error _ -> false
     | Ok h ->
       (match Cr_comment0.Header.status h with
        | XCR -> false
        | CR ->
          (match Cr_comment0.Header.qualifier h with
           | None -> true
           | Soon | Someday -> false)))
  | XCRs ->
    (match Cr_comment0.header cr with
     | Error _ -> false
     | Ok h ->
       (match Cr_comment0.Header.status h with
        | CR -> false
        | XCR -> true))
  | Now ->
    (match Cr_comment0.header cr with
     | Error _ -> false
     | Ok h ->
       (match Cr_comment0.Header.status h with
        | XCR -> true
        | CR ->
          (match Cr_comment0.Header.qualifier h with
           | None -> true
           | Soon | Someday -> false)))
  | Soon ->
    (match Cr_comment0.header cr with
     | Error _ -> false
     | Ok h ->
       (match Cr_comment0.Header.status h with
        | XCR -> false
        | CR ->
          (match Cr_comment0.Header.qualifier h with
           | Soon -> true
           | None | Someday -> false)))
  | Someday ->
    (match Cr_comment0.header cr with
     | Error _ -> false
     | Ok h ->
       (match Cr_comment0.Header.status h with
        | XCR -> false
        | CR ->
          (match Cr_comment0.Header.qualifier h with
           | Someday -> true
           | None | Soon -> false)))
;;