bloqade.analysis.address.impls.Func

← Module overview

classFunc¶source

bloqade.analysis.address.impls.Func

Bases: interp.MethodTable

class Func

methodreturn_¶source

bloqade.analysis.address.impls.Func.return_

Signature

def return_(_: AddressAnalysis, frame: ForwardFrame[Address], stmt: func.Return)

Parameters

Name	Type	Description
_	AddressAnalysis
frame	ForwardFrame[Address]
stmt	func.Return

source

methodinvoke¶source

bloqade.analysis.address.impls.Func.invoke

Signature

def invoke(interp_: AddressAnalysis, frame: ForwardFrame[Address], stmt: func.Invoke)

Parameters

Name	Type	Description
interp_	AddressAnalysis
frame	ForwardFrame[Address]
stmt	func.Invoke

source

methodlambda_¶source

bloqade.analysis.address.impls.Func.lambda_

Signature

def lambda_(inter_: AddressAnalysis, frame: ForwardFrame[Address], stmt: func.Lambda)

Parameters

Name	Type	Description
inter_	AddressAnalysis
frame	ForwardFrame[Address]
stmt	func.Lambda

source

methodcall¶source

bloqade.analysis.address.impls.Func.call

Signature

def call(interp_: AddressAnalysis, frame: ForwardFrame[Address], stmt: func.Call)

Parameters

Name	Type	Description
interp_	AddressAnalysis
frame	ForwardFrame[Address]
stmt	func.Call

source

methodget_field¶source

bloqade.analysis.address.impls.Func.get_field

Signature

def get_field(interp_: AddressAnalysis, frame: ForwardFrame[Address], stmt: func.GetField)

Parameters

Name	Type	Description
interp_	AddressAnalysis
frame	ForwardFrame[Address]
stmt	func.GetField

source