bloqade.lanes.analysis.atom.impl.Annotate

← Module overview

classAnnotate¶source

bloqade.lanes.analysis.atom.impl.Annotate

Bases: interp.MethodTable

class Annotate

methodset_detector¶source

bloqade.lanes.analysis.atom.impl.Annotate.set_detector

Signature

def set_detector(interp_: AtomInterpreter, frame: ForwardFrame[MoveExecution], stmt: annotate.stmts.SetDetector)

Parameters

Name	Type	Description
interp_	AtomInterpreter
frame	ForwardFrame[MoveExecution]
stmt	annotate.stmts.SetDetector

source

methodset_observable¶source

bloqade.lanes.analysis.atom.impl.Annotate.set_observable

Signature

def set_observable(interp_: AtomInterpreter, frame: ForwardFrame[MoveExecution], stmt: annotate.stmts.SetObservable)

Parameters

Name	Type	Description
interp_	AtomInterpreter
frame	ForwardFrame[MoveExecution]
stmt	annotate.stmts.SetObservable

source