g dZddlmZddlZddlmZddlmZddlm Z m Z ddl m Z ddZ ddZddZddZddZe jje e jjee jjee jjee jjeiZGdde ZdS)zThe 'Store' operation.) annotationsN)deprecate_func) CircuitError)exprtypes) Instructionlvalue expr.Exprrvaluereturntuple[expr.Expr, expr.Expr]c ||fS)Nr r s J/granary/edev/quantum/lib/python3.11/site-packages/qiskit/circuit/store.py_handle_equal_typesrs 6>c>|tj||jdfS)NT)implicit)rCasttypers r_handle_implicit_castrs 49VV[4@@@ @@rtyping.NoReturncBtd|jd|jd)N#an explicit cast is required from '' to ''rrrs r_requires_lossless_castr !s* ^V[^^PVP[^^^ _ __rcBtd|jd|jd)Nrrz', which may be lossyrrs r_requires_dangerous_castr"%s. cfkccccc  rcBtd|jd|jd)Nzno cast is possible from 'rrrrs r_no_cast_possibler$+s( UFKUUv{UUU V VVrceZdZdZdZd fd ZedZedZe d d d Z xZ S)Storea A manual storage of some classical value to a classical memory location. This is a low-level primitive of the classical-expression handling (similar to how :class:`~.circuit.Measure` is a primitive for quantum measurement), and is not safe for subclassing.Tr r r cZtj|std|dtj|j|j}t |x}td||||\}}t ddd||gdS)z Args: lvalue: the memory location being stored into. rvalue: the expression result being stored. rz' is not an l-valueNzunhandled cast kind required: storer) r is_lvaluerr cast_kindr _HANDLE_CASTget RuntimeErrorsuper__init__)selfr r r*handler __class__s rr/zStore.__init__Bs ~f%% @>6>>>?? ?OFK== #'' 22 2G ;K KKLL L 00 !Q(899999rc|jdS)zBGet the l-value :class:`~.expr.Expr` node that is being stored to.rparamsr0s rr z Store.lvalueR{1~rc|jdS)zQGet the r-value :class:`~.expr.Expr` node that is being written into the l-value.rr4r6s rr z Store.rvalueWr7rz1.3.0zin 2.0.0)sinceremoval_timelinec td)z :meta hidden:zNstores cannot be conditioned with `c_if`; use a full `if_test` context instead)NotImplementedError)r0 classicalvals rc_ifz Store.c_if\s" \   r)r r r r ) __name__ __module__ __qualname____doc__ _directiver/propertyr r rr? __classcell__)r2s@rr&r&8sJ:::::: XX^'J???  @?     rr&)r r r r r r)r r r r r r)rC __future__rtyping qiskit.utilsr exceptionsrr=rr instructionr rrr r"r$CastKindEQUALIMPLICITLOSSLESS DANGEROUSNONEr+r&rrrrRsZ"""""" ''''''$$$$$$""""""""$$$$$$AAAA```` WWWW  N- N2 N4 N6 N*  ) ) ) ) ) K) ) ) ) ) r