jacket
Search the docs
/
API
Tools
Playground
0.31.0
Debug_Info module
← Debug_Info
DWARF public
parse_dwarf_debug_info
parse_compilation_unit_v4
get_filename
On this page
See also
std
/
Debug_Info
/
get_filename
get_filename
procedure · 1 overload
Source
get_filename
:: (info:
Line_Info
, file_info:
File_Info
) ->
string
Parameters
info
:
Line_Info
file_info
:
File_Info
Returns
string
See also
parse_dwarf_debug_info
parse_compilation_unit_v4