package batteries
Install
dune-project
Dependency
Authors
Maintainers
Sources
md5=b691e5870f876c6e590d6aa51b4c5457
sha512=3b0643ff337cd70da8c4b77887d212e82d043a7163fca36588be12186bc86bbcf0d56b13349325f12eabb96c846204c88560786342f50af7bf4e20b9480d3964
doc/batteries.unthreaded/BatPrintexc/Slot/index.html
Module BatPrintexc.Slot
Source
is_raise slot
is true
when slot
refers to a raising point in the code, and false
when it comes from a simple function call.
is_inline slot
is true
when slot
refers to a call that got inlined by the compiler, and false
when it comes from any other context.
location slot
returns the location information of the slot, if available, and None
otherwise.
Some possible reasons for failing to return a location are as follow:
- the slot corresponds to a compiler-inserted raise
- the slot corresponds to a part of the program that has not been compiled with debug information (
-g
)
name slot
returns the name of the function or definition enclosing the location referred to by the slot.
name slot
returns None if the name is unavailable, which may happen for the same reasons as location
returning None.
format pos slot
returns the string representation of slot
as raw_backtrace_to_string
would format it, assuming it is the pos
-th element of the backtrace: the 0
-th element is pretty-printed differently than the others.
Whole-backtrace printing functions also skip some uninformative slots; in that case, format pos slot
returns None
.