module Exclusions:sig
..end
This stateful module contains the information about exluded toplevel declarations.
val add : string -> unit
Adds a list of comma-separated elements to excluded list.
val add_file : string -> unit
Adds exclusions from the passed file to excluded list.
Raises Sys_error
if an i/o error occurs, Exclude.Exception
if
an error occurs while parsing the file.
val contains_value : string -> string -> bool
contains_value file name
tests whether toplevel value with name
name
from file file
is in excluded list.
val contains_file : string -> bool
contains_file file
tests whether the entire file with name name
is in
the excluded files list. A file is completely excluded (and not
instrumented) when a list of excluded top-level values is not given for that
file at all.