← Back to branch summary

~npalix/coccinelle/upstream

« back to all changes in this revision

Viewing changes to bundles/stdcompat/stdcompat-current/interfaces/4.03/printexc.mli

  • Committer: Thierry Martinez
  • Date: 2019-08-20 13:37:04 UTC
  • Revision ID: git-v1:0214afad4a32c95349c2c5a38e37cea407c455d0
Update bundles

Show diffs side-by-side

added added

removed removed

Lines of Context:
bundles/stdcompat/stdcompat-current/interfaces/4.03/printexc.mli
 
1
val to_string : exn -> string
 
2
val print : ('a -> 'b) -> 'a -> 'b
 
3
val catch : ('a -> 'b) -> 'a -> 'b
 
4
val print_backtrace : out_channel -> unit
 
5
val get_backtrace : unit -> string
 
6
val record_backtrace : bool -> unit
 
7
val backtrace_status : unit -> bool
 
8
val register_printer : (exn -> string option) -> unit
 
9
type raw_backtrace
 
10
val get_raw_backtrace : unit -> raw_backtrace
 
11
val print_raw_backtrace : out_channel -> raw_backtrace -> unit
 
12
val raw_backtrace_to_string : raw_backtrace -> string
 
13
val get_callstack : int -> raw_backtrace
 
14
val set_uncaught_exception_handler : (exn -> raw_backtrace -> unit) -> unit
 
15
type backtrace_slot
 
16
val backtrace_slots : raw_backtrace -> backtrace_slot array option
 
17
type location =
 
18
  {
 
19
  filename: string ;
 
20
  line_number: int ;
 
21
  start_char: int ;
 
22
  end_char: int }
 
23
module Slot :
 
24
sig
 
25
  type t = backtrace_slot
 
26
  val is_raise : t -> bool
 
27
  val location : t -> location option
 
28
  val format : int -> t -> string option
 
29
end
 
30
type raw_backtrace_slot
 
31
val raw_backtrace_length : raw_backtrace -> int
 
32
val get_raw_backtrace_slot : raw_backtrace -> int -> raw_backtrace_slot
 
33
val convert_raw_backtrace_slot : raw_backtrace_slot -> backtrace_slot
 
34
val exn_slot_id : exn -> int
 
35
val exn_slot_name : exn -> string