Debug_Info module

get_filename_for_file_id

procedure2 overloadsSource
get_filename_for_file_id :: (
    info: Codeview_Debug_Info,
    id: Codeview_File_Checksum_Id
) -> (string, success: bool)

Parameters

Returns

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

Returns the full path of the file with number file_id (as found in a Line_Mapping) in info, or an empty string if there is none.

Parameters

info: Line_Info
file_id: Dwarf_File_Id

Returns

string
Example↗
info: Line_Info;
array_add(*info.dirs, "/src");
array_add(*info.files, .{ dir_id = 1, path = "main.jai" });
assert(get_filename_for_file_id(info, 1) == "/src/main.jai");

See also