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
|
let debug = Trace.debug "abort"
let files = ref ([] : Uutil.File.t list)
let abortAll = ref false
(****)
let reset () = files := []; abortAll := false
(****)
let file id =
debug (fun() -> Util.msg "Aborting line %d\n" (Uutil.File.toLine id));
files := id :: !files
let all () = abortAll := true
(****)
let check id =
debug (fun() -> Util.msg "Checking line %d\n" (Uutil.File.toLine id));
if !abortAll || Safelist.mem id !files then begin
debug (fun() ->
Util.msg "Abort failure for line %d\n" (Uutil.File.toLine id));
raise (Util.Transient "Aborted")
end
let testException e = e = Util.Transient "Aborted"
|