Debug_Info module

get_line_mapping_for_address

procedureSource

Returns the source position for the code at address, and whether one was found. Returns false when no sequence covers the address, or the table is malformed.

get_line_mapping_for_address :: (
    info: Line_Info,
    address: u64
) -> (Line_Mapping, success: bool)

Parameters

info: Line_Info
address: u64

Returns

success: bool

See also