bloqade.analysis.measure_id.impls.Func

← Module overview

classFunc¶source

bloqade.analysis.measure_id.impls.Func

Bases: interp.MethodTable

Measure-ID analysis implementations for function statements.

class Func

methodreturn_¶source

bloqade.analysis.measure_id.impls.Func.return_

Signature

def return_(_: MeasurementIDAnalysis, frame: MeasureIDFrame, stmt: func.Return)

Return the abstract value of the function result.

Parameters

Name	Type	Description
_	MeasurementIDAnalysis
frame	MeasureIDFrame
stmt	func.Return

source

methodinvoke¶source

bloqade.analysis.measure_id.impls.Func.invoke

Signature

def invoke(interp_: MeasurementIDAnalysis, frame: MeasureIDFrame, stmt: func.Invoke)

Analyze a statically known function invocation.

Parameters

Name	Type	Description
interp_	MeasurementIDAnalysis
frame	MeasureIDFrame
stmt	func.Invoke

source