Skip to content

bloqade.gemini.common.validation.move_to.MoveToValidation

← Module overview

classMoveToValidationsource

bloqade.gemini.common.validation.move_to.MoveToValidation

Bases: ValidationPass

Eager per-statement validation for ``arrange.MoveTo`` (failures 1-5).

class MoveToValidation(*, arch_spec: ArchSpec)

Parameters

NameTypeDescription
arch_specArchSpec

Attributes

NameTypeDefaultDescription
arch_specArchSpecfield(kw_only=True)

methodnamesource

bloqade.gemini.common.validation.move_to.MoveToValidation.name

def name() -> str

Returns

str

source

methodrunsource

bloqade.gemini.common.validation.move_to.MoveToValidation.run

def run(method: ir.Method) -> tuple[Any, list[ir.ValidationError]]

Parameters

NameTypeDescription
methodir.Method

Returns

tuple[Any, list[ir.ValidationError]]

source