module Report:sig
..end
type
kind =
| |
Info |
(* |
Lowest level of element.
| *) |
| |
Warning |
(* |
Medium level of element.
| *) |
| |
Error |
(* |
Highest level of element.
| *) |
val string_of_kind : kind -> string
type
element = private {
|
kind : |
(* |
Kind (level) of element.
| *) |
|
category : |
(* |
Category of element.
| *) |
|
check : |
(* |
Check of element.
| *) |
|
filename : |
(* |
Location of violation.
| *) |
|
line : |
(* |
Location of violation.
| *) |
|
column : |
(* |
Location of violation.
| *) |
|
message : |
(* |
Short description of violation.
| *) |
type
t
val empty : t
val statistics : t -> int * int * int
Info
, Warning
, and Error
element in the passed
report.val add : kind ->
CategoryName.t ->
CheckName.t -> string -> int -> int option -> string -> t -> t
add knd cat chk fn ln cn msg x
returns x
augmented with a new element,
duplicate elements being discarded.
The added element is defined by:
knd
;cat
;chk
;fn
;ln
;cn
;msg
.val concat : t -> t -> t
val concat_list : t list -> t
val filter : bool -> bool -> bool -> Ignore.t list -> t -> t
filter no_info no_warning no_error il rep
filters the report elements of
rep
by ignoring elements in il
; additionally:no_info
indicates whether Info
elements are ignored;no_warning
indicates whether Warning
elements are ignored;no_error
indicates whether Error
elements are ignored.val iter : (element -> unit) -> t -> unit
iter f rep
iterates over the report elements of rep
by applying f
.val map : (element -> 'a) -> t -> 'a list
map f rep
maps the report elements of rep
through f
.val fold : (element -> 'a -> 'a) -> 'a -> t -> 'a
fold f z rep
folds over the report elements of rep
, starting with
value z
and using function f
.val split_by_file : t -> (string * t) list