/
Debug_Info module

get_filename_for_file_id

procedure · 2 overloadsSource
get_filename_for_file_id :: (
    info: Codeview_Debug_Info,
    id: Codeview_File_Checksum_Id
) -> (string, success: bool)

Parameters

info: Codeview_Debug_Info
id: Codeview_File_Checksum_Id

Returns

string
success: bool
get_filename_for_file_id :: (info: Line_Info, file_id: Dwarf_File_Id) -> string

Parameters

info: Line_Info
file_id: Dwarf_File_Id

Returns

string

See also

get_string_from_table