Debug_Info module

get_line_mappings_for_address_range

procedure · 1 overloadSource
get_line_mappings_for_address_range :: (
    info: Line_Info,
    start: u64,
    end_exclusive: u64
) -> ([] Line_Mapping, success: bool)

Parameters

info: Line_Info
start: u64
end_exclusive: u64

Returns

success: bool

See also