bloqade.analysis.address.impls.IListMethods

← Module overview

classIListMethods¶source

bloqade.analysis.address.impls.IListMethods

Bases: interp.MethodTable

class IListMethods

methodnew_ilist¶source

bloqade.analysis.address.impls.IListMethods.new_ilist

Signature

def new_ilist(interp_: AddressAnalysis, frame: ForwardFrame[Address], stmt: ilist.New)

Parameters

Name	Type	Description
interp_	AddressAnalysis
frame	ForwardFrame[Address]
stmt	ilist.New

source

methodmap_¶source

bloqade.analysis.address.impls.IListMethods.map_

Signature

def map_(interp_: AddressAnalysis, frame: ForwardFrame[Address], stmt: ilist.Map | ilist.ForEach)

Parameters

Name	Type	Description
interp_	AddressAnalysis
frame	ForwardFrame[Address]
stmt	ilist.Map | ilist.ForEach

source