z iKSrSSKJr SSKrSSKJrJrJrJrJ r J r "SS5r "SS\ 5r "S S \ 5r "S S \ 5r"S S\ 5r"SS\ 5r"SS\ 5r"SS\ 5r"SS\ 5r"SS\ 5r"SS\ 5r"SS\\R,5r"SS\5r"SS \5r"S!S"\5r"S#S$\5r"S%S&\5r"S'S(\5r"S)S*\ 5r"S+S,\5r"S-S.\5r "S/S0\5r!"S1S2\!5r""S3S4\\R,5r#"S5S6\5r$"S7S8\5r%"S9S:\5r&"S;S<\5r'"S=S>\R,5r("S?S@\5r)"SASB\5r*"SCSD\5r+"SESF\5r,"SGSH\5r-"SISJ\ 5r."SKSL\ 5r/"SMSN\ 5r0"SOSP\ 5r1"SQSR\ 5r2"SSST\ 5r3"SUSV\ 5r4"SWSX\ 5r5"SYSZ\ 5r6"S[S\\R,5r7"S]S^\ 5r8"S_S`\5r9"SaSb\ 5r:"ScSd\5r;"SeSf\5r<"SgSh\5r="SiSj\ 5r>"SkSl\ 5r?"SmSn\>5r@"SoSp\>5rA"SqSr\ 5rB"SsSt\ 5rC"SuSv\ 5rD"SwSx\ 5rE"SySz\ 5rF"S{S|\ 5rG"S}S~\ 5rH"SS\ 5rI"SS\ 5rJ"SS\ 5rK"SS\R,5rL"SS\25rM"SS\5rN"SS\ 5rO"SS\ 5rPg)zQASM3 AST Nodes) annotationsN)OptionalListUnionIterableTupleSequencec\rSrSrSrSrSrg)ASTNodez!Base abstract class for AST nodesN__name__ __module__ __qualname____firstlineno____doc__ __slots____static_attributes__r J/home/james-whalen/.local/lib/python3.13/site-packages/qiskit/qasm3/ast.pyr r s +Irr c\rSrSrSrSrSrg) Statementz statement : expressionStatement | assignmentStatement | classicalDeclarationStatement | branchingStatement | loopStatement | endStatement | aliasStatement | quantumStatement r Nrr rrrrs Irrc"\rSrSrSrSrSrSrg)Pragma-zX pragma : '#pragma' LBRACE statement* RBRACE // match any valid openqasm statement contentcXlgNr)selfrs r__init__Pragma.__init__5s rNrrrrrrr#rr rrrr-s Irrc&\rSrSrSrSrSSjrSrg) Annotation9zAn annotation. namespacepayloadcXlX lgr!r))r"r*r+s rr#Annotation.__init__>s " rN)r*strr+r.r%r rrr'r'9s(Irr'c"\rSrSrSrSrSrSrg)CalibrationGrammarDeclarationCzR calibrationGrammarDeclaration : 'defcalgrammar' calibrationGrammar SEMICOLON namecXlgr!r2)r"r3s rr#&CalibrationGrammarDeclaration.__init__K rNr%r rrr0r0Cs Irr0c&\rSrSrSrSrSSjrSrg)ProgramOz5 program : header (globalStatement | statement)* header statementscXlX lgr!r:)r"r;r<s rr#Program.__init__Ws  $rNr r%r rrr8r8Os )I%rr8c"\rSrSrSrSrSrSrg)Header\z header : version? include* versionincludescXlX lgr!rC)r"rDrEs rr#Header.__init__ds   r)rErDNr%r rrrArA\s (I!rrAc"\rSrSrSrSrSrSrg)Includeiz1 include : 'include' StringLiteral SEMICOLON filenamecXlgr!rK)r"rLs rr#Include.__init__qs rNr%r rrrIrIis I!rrIc"\rSrSrSrSrSrSrg)Versionuz: version : 'OPENQASM'(Integer | RealNumber) SEMICOLON version_numbercXlgr!rR)r"rSs rr#Version.__init__},rNr%r rrrPrPus $I-rrPc\rSrSrSrSrSrg)QuantumInstructionz~ quantumInstruction : quantumGateCall | quantumPhase | quantumMeasurement | quantumReset | quantumBarrier r Nrr rrrXrXsIrrXc\rSrSrSrSrSrg) ClassicalTypezYInformation about a classical type. This is just an abstract base for inheritance tests.r Nrr rrr[r[s cIrr[c,\rSrSrSrSrSrSrSrSr Sr g ) FloatTypez5Allowed values for the width of floating-point types. @r N) rrrrrHALFSINGLEDOUBLEQUADOCTrr rrr^r^s? D F F D Crr^c\rSrSrSrSrSrg)BoolTypezType information for a Boolean.r Nrr rrrkrks )Irrkc*\rSrSrSrSrSSSjjrSrg)IntTypez&Type information for a signed integer.sizeNcXlgr!rpr"rqs rr#IntType.__init__r6rr!rqz Optional[int]r%r rrrnrns0Irrnc*\rSrSrSrSrSSSjjrSrg)UintTypez)Type information for an unsigned integer.rpNcXlgr!rprss rr#UintType.__init__r6rr!rur%r rrrwrws3Irrwc\rSrSrSrSrSrg)BitTypez"Type information for a single bit.r Nrr rrr|r|s ,Irr|c\rSrSrSrSrSrg) DurationTypez Type information for a duration.r Nrr rrrrs *Irrc&\rSrSrSrSrSSjrSrg) BitArrayTypez6Type information for a sized number of classical bits.rpcXlgr!rprss rr#BitArrayType.__init__r6rN)rqintr%r rrrrs@Irrc\rSrSrSrSrg) Expressionr N)rrrrrrr rrrrsIrrc\rSrSrSrSrSrg)StringifyAndPrayobjcXlgr!r)r"rs rr#StringifyAndPray.__init__srNrrrrrr#rr rrrrs I rrc6\rSrSrSrSSSjjrSrg)RangestartstependNc(XlX0lX lgr!r)r"rrrs rr#Range.__init__s   r)rrr)NNN)rOptional[Expression]rrrrrr rrrrs8(I'+$(%) #"# rrc\rSrSrSrSrSrg) IdentifierstringcXlgr!r)r"rs rr#Identifier.__init__ rNrr rrrrs Irrc4^\rSrSrSrSrSU4SjjrSrU=r$)SubscriptedIdentifierz&An identifier with subscripted access.) subscriptc0>[TU]U5 X lgr!)superr#r)r"rr __class__s rr#SubscriptedIdentifier.__init__s  "r)rr.rzUnion[Range, Expression] rrrrrrr#r __classcell__rs@rrrs0I##rrc~\rSrSrSr\R "5r\R "5r\R "5r Sr g)Constantz,A constant value defined by the QASM 3 spec.r N) rrrrrenumautoPIEULERTAUrr rrrrs&6 B IIKE ))+Crrc\rSrSrSrSrSrg)IntegerLiteralrdvaluecXlgr!rr"rs rr#IntegerLiteral.__init__ rNrr rrrr Irrc\rSrSrSrSrSrg) FloatLiteralircXlgr!rrs rr#FloatLiteral.__init__ rrNrr rrrrrrrc\rSrSrSrSrSrg)BooleanLiteralircXlgr!rrs rr#BooleanLiteral.__init__rrNrr rrrrrrrc\rSrSrSrSrSrg)BitstringLiteralirwidthcXlX lgr!r)r"rrs rr#BitstringLiteral.__init__s   rNrr rrrrs "Irrc,\rSrSrSrSrSrSrSrSr Sr g ) DurationUnitiz'Valid values for the unit of durations.nsusmssdtr N) rrrrr NANOSECOND MICROSECOND MILLISECONDSECONDSAMPLErr rrrrs1JKK F Frrc"\rSrSrSrSSjrSrg)DurationLiterali'runitcXlX lgr!r)r"rrs rr#DurationLiteral.__init__*s   r)rrN)rfloatrrrr rrrr's !IrrcL\rSrSrSr"SS\R 5rSSjrSr g)Unaryi/opoperandc\rSrSrSrSrSrg)Unary.Opi2!~r N)rrrr LOGIC_NOTBIT_NOTrr rrOpr2s  rrcXlX lgr!r)r"rrs rr#Unary.__init__6s  rN)rrrr rrrrrrEnumrr#rr rrrr/s!ITYYrrcL\rSrSrSr"SS\R 5rSSjrSr g) Binaryi;rleftrightcX\rSrSrSrSrSrSrSrSr Sr S r S r S r S rS rSrSrSrSrSrSrg) Binary.Opi>&|^z&&z||z>=z==z!=z<>+-*/r N)rrrrBIT_ANDBIT_ORBIT_XOR LOGIC_ANDLOGIC_ORLESS LESS_EQUALGREATER GREATER_EQUALEQUAL NOT_EQUAL SHIFT_LEFT SHIFT_RIGHTADDSUBMULDIVrr rrrr>sW      rrc(XlX lX0lgr!r)r"rrrs rr#Binary.__init__Qs  r)rrrN)rrrrrrrr rrrr;s'ITYY&rrc"\rSrSrSrSSjrSrg)CastiWtypercXlX lgr!r)r"rrs rr# Cast.__init__Zs   r)rrN)rr[rrrr rrrrWs #Irrc"\rSrSrSrSSjrSrg)Indexi_targetindexcXlX lgr!r)r"rrs rr#Index.__init__bs   r)rrN)rrrrrr rrrr_s #Irrc&\rSrSrSrSrSSjrSrg)IndexSetigzE A literal index set of values:: { Expression (, Expression)* } valuescXlgr!r#)r"r$s rr#IndexSet.__init__prrN)r$zList[Expression]r%r rrr"r"gs Irr"c&\rSrSrSrSrSSjrSrg)QuantumMeasurementitz8 quantumMeasurement : 'measure' indexIdentifierList identifierListcXlgr!r))r"r*s rr#QuantumMeasurement.__init__|rVrN)r*List[Identifier]r%r rrr(r(ts $I-rr(c&\rSrSrSrSrSSjrSrg)QuantumMeasurementAssignmentiz quantumMeasurementAssignment : quantumMeasurement ARROW indexIdentifierList | indexIdentifier EQUALS quantumMeasurement # eg: bits = measure qubits;  identifierquantumMeasurementcXlX lgr!r0)r"r1r2s rr#%QuantumMeasurementAssignment.__init__s $"4rN)r1rr2r(r%r rrr/r/s 5I5rr/c&\rSrSrSrSrSSjrSrg) Designatoriz/ designator : LBRACKET expression RBRACKET  expressioncXlgr!r7r"r8s rr#Designator.__init__$rN)r8rr%r rrr6r6  I%rr6c*\rSrSrSrSrSSSjjrSrg) ClassicalDeclarationizGDeclaration of a classical type, optionally initializing it to a value.rr1 initializerNc(XlX lX0lgr!r@)r"type_r1rAs rr#ClassicalDeclaration.__init__s $&r)r1rArr!)rCr[r1rr%r rrr?r?sQ5I''rr?c*\rSrSrSrSrSSSjjrSrg) StretchDeclarationizLDeclaration of a stretch variable, optionally with a lower bound expression.r1boundNcXlX lgr!rG)r"r1rHs rr#StretchDeclaration.__init__ $ r)rHr1r!r1rr%r rrrFrFs(IrrFc&\rSrSrSrSrSSjrSrg)AssignmentStatementiz*Assignment of an expression to an l-value.lvaluervaluecXlX lgr!rO)r"rPrQs rr#AssignmentStatement.__init__s   rN)rPrrQrr%r rrrNrNs4$IrrNc*\rSrSrSrSrSSSjjrSrg) QuantumDeclarationizp quantumDeclaration : 'qreg' Identifier designator? | # NOT SUPPORTED 'qubit' designator? Identifier r1 designatorNcXlX lgr!rV)r"r1rWs rr#QuantumDeclaration.__init__s $$r)rWr1r!rLr%r rrrUrUs -I%%rrUc&\rSrSrSrSrSSjrSrg)AliasStatementizH aliasStatement : 'let' Identifier EQUALS indexIdentifier SEMICOLON r1rcXlX lgr!r\)r"r1rs rr#AliasStatement.__init__rKrN)r1rrrr%r rrr[r[s (Irr[c\rSrSrSr\R "5r\R "5r\R "5r \R "5r Sr g)QuantumGateModifierNameiz4The names of the allowed modifiers of quantum gates.r N) rrrrrrrCTRLNEGCTRLINVPOWrr rrr`r`s1> 99;DiikG ))+C ))+Crr`c*\rSrSrSrSrSSSjjrSrg) QuantumGateModifierizVA modifier of a gate. For example, in ``ctrl @ x $0``, the ``ctrl @`` is the modifier.modifierargumentNcXlX lgr!rg)r"rhris rr#QuantumGateModifier.__init__s   r)rirhr!)rhr`rirr%r rrrfrfs`(I!!rrfc<\rSrSrSrSrSSSjjrSrg) QuantumGateCallizs quantumGateCall : quantumGateModifier* quantumGateName ( LPAREN expressionList? RPAREN )? indexIdentifierList quantumGateNameindexIdentifierList parameters modifiersc4XlX lX0lX@lgr!rn)r"rorprqrrs rr#QuantumGateCall.__init__s /#6 $"r)rprrrqroN)r r )rorrpr-rqSequence[Expression]rrzSequence[QuantumGateModifier]r%r rrrmrmsG VI ,.35 ## #. #) # 1 # #rrmc>\rSrSrSrSrSSSjjrSrg) DefcalCallStatementiz9A quantum-like call that may have an assignment location.)identrqqubitsrPNc\Xl[U5Ul[U5UlX@lgr!)rxtuplerqryrP)r"rxrqryrPs rr#DefcalCallStatement.__init__s%  +Fm  r)rxrPrqry)r r N)rxrrqruryrurPExpression | Noner%r rrrwrwsEC;I ,.')$(  ) %  "  rrwc&\rSrSrSrSrSSjrSrg)QuantumBarrieriz4 quantumBarrier : 'barrier' indexIdentifierList rpcXlgr!r)r"rps rr#QuantumBarrier.__init__s#6 rN)rpr-r%r rrrrs )I7rrc&\rSrSrSrSrSSjrSrg) QuantumResetiz#A built-in ``reset q0;`` statement.r1cXlgr!r)r"r1s rr#QuantumReset.__init__ r<rNrLr%r rrrrs-I%rrc&\rSrSrSrSrSSjrSrg) QuantumDelayi$z-A built-in ``delay[duration] q0;`` statement.durationrycXlX lgr!r)r"rrys rr#QuantumDelay.__init__)s   rN)rrryr-r%r rrrr$s7&Irrc&\rSrSrSrSrSSjrSrg) ProgramBlocki.ze programBlock : statement | controlDirective | LBRACE(statement | controlDirective) * RBRACE r<cXlgr!r)r"r<s rr#ProgramBlock.__init__7r<rN)r<zList[Statement]r%r rrrr.s  I%rrc&\rSrSrSrSrSSjrSrg)ReturnStatementi;zP returnStatement : 'return' ( expression | quantumMeasurement )? SEMICOLON; r7NcXlgr!r7r:s rr#ReturnStatement.__init__Cr<rr!r%r rrrr;r=rrc\rSrSrSrSrSrg) QuantumBlockiGzF quantumBlock : LBRACE ( quantumStatement | quantumLoop )* RBRACE r Nrr rrrrG Irrc\rSrSrSrSrSrg)SubroutineBlockiPzA subroutineBlock : LBRACE statement* returnStatement? RBRACE r Nrr rrrrPrrrc6\rSrSrSrSrSSjrSrg)QuantumGateDefinitioniYzF quantumGateDefinition : 'gate' quantumGateSignature quantumBlock r3paramsrybodyc4XlX lX0lX@lgr!r)r"r3rryrs rr#QuantumGateDefinition.__init__as    r)rr3rryN)r3rrTuple[Identifier, ...]ryrrrr%r rrrrYs9 5I  ' '   rrc2\rSrSrSrSrSSSjjrSrg) SubroutineDefinitioninzu subroutineDefinition : 'def' Identifier LPAREN anyTypeArgumentList? RPAREN returnSignature? subroutineBlock r1 argumentssubroutineBlockc(XlX0lX lgr!r)r"r1rrs rr#SubroutineDefinition.__init__ws %".r)rr1rNr?)r1rrrr%r rrrrns/ ?I  //)//rrc\rSrSrSrSrSrg)CalibrationArgumentizF calibrationArgumentList : classicalArgumentList | expressionList r Nrr rrrrrrrc6\rSrSrSrSrSSSjjrSrg) CalibrationDefinitioniz calibrationDefinition : 'defcal' Identifier ( LPAREN calibrationArgumentList? RPAREN )? identifierList returnSignature? LBRACE .*? RBRACE // for now, match anything inside body ; r3r*calibrationArgumentListc(XlX lX0lgr!r)r"r3r*rs rr#CalibrationDefinition.__init__s  ,'>$r)rr*r3Nr?)r3rr*r-rzSequence[CalibrationArgument]r%r rrrrs<FI BD ??)?"? ??rrc*\rSrSrSrSrSSSjjrSrg) BranchingStatementize branchingStatement : 'if' LPAREN booleanExpression RPAREN programBlock ( 'else' programBlock )?  condition true_body false_bodyNc(XlX lX0lgr!r)r"rrrs rr#BranchingStatement.__init__s""$r)rrrr!)rrrrr%r rrrrs 9I%%rrc2\rSrSrSrSrSSjrSrg)ForLoopStatementiz AST node for ``for`` loops. :: ForLoop: "for" Identifier "in" SetDeclaration ProgramBlock SetDeclaration: | Identifier | "{" Expression ("," Expression)* "}" | "[" Range "]" indexset parameterrc(XlX lX0lgr!r)r"rrrs rr#ForLoopStatement.__init__s ! " r)rrrN)rz"Union[Identifier, IndexSet, Range]rrrrr%r rrrrs/ 2I4 rrc&\rSrSrSrSrSSjrSrg)WhileLoopStatementiz[ AST node for ``while`` loops. :: WhileLoop: "while" "(" Expression ")" ProgramBlock rrcXlX lgr!r)r"rrs rr#WhileLoopStatement.__init__s " r)rrN)rrrrr%r rrrrs&Irrc8\rSrSrSrSrSSSjjrSrg) BoxStatementiz'Like ``box[duration] { statements* }``.)rrrNc<XlX l[U5Ulgr!)rrr{r)r"rrrs rr#BoxStatement.__init__s    -r)rrr)Nr )rrrr}rzSequence[Annotation]r%r rrrrs:14I '+,. ..$.* ..rrc\rSrSrSrSrSrg)BreakStatementizBAST node for ``break`` statements. Has no associated information.r Nrr rrrrs LIrrc\rSrSrSrSrSrg)ContinueStatementizEAST node for ``continue`` statements. Has no associated information.r Nrr rrrrs OIrrc\\rSrSrSr\R "5r\R "5rSr g) IOModifierizIO Modifier objectr N) rrrrrrrINPUTOUTPUTrr rrrrs IIKE YY[Frrc4^\rSrSrSrSrSU4SjjrSrU=r$) IODeclarationiz A declaration of an IO variable.)rhc0>[TU]X#5 Xlgr!)rr#rh)r"rhrCr1rs rr#IODeclaration.__init__s + r)rhrrCr[r1rrrs@rrrs*I!!rrc\rSrSrSrSrSrg) DefaultCaseizHAn object representing the `default` special label in switch statements.r Nrr rrrrs RIrrc.\rSrSrSrSrSSjrSrg)SwitchStatementPreviewizAST node for the proposed 'switch-case' extension to OpenQASM 3, before the syntax was stabilized. This corresponds to the :attr:`.ExperimentalFeatures.SWITCH_CASE_V1` logic. The stabilized form of the syntax instead uses :class:`.SwitchStatement`.)rcasescjXlUVVs/sHup4[U5U4PM snnUlgs snnfr!)rr{r)r"rrr$cases rr#SwitchStatementPreview.__init__s- @EF uV}d+F Fs/)rrN)rrr3Iterable[Tuple[Iterable[Expression], ProgramBlock]]r%r rrrrs'Q $IG G)\Grrc6\rSrSrSrSrSSSjjrSrg) SwitchStatementizAST node for the stable 'switch' statement of OpenQASM 3. The only real difference from an AST form is that the default is required to be separate; it cannot be joined with other cases (even though that's meaningless, the V1 syntax permitted it). )rrdefaultNcvXlUVVs/sHupE[U5U4PM snnUlX0lgs snnfr!)rr{rr)r"rrrr$rs rr#SwitchStatement.__init__&s5  @EF uV}d+F  Gs5)rrrr!)rrrrrzOptional[ProgramBlock]r%r rrrrs: /I +/ C( rr)Qr __future__rrtypingrrrrrr r rrr'r0r8rArIrPrXr[rr^rkrnrwr|rrrrrrrrrrrrrrrrrrr"r(r/r6r?rFrNrUr[r`rfrmrwrrrrrrrrrrrrrrrrrrrrrrr rrrso" CC   W  I  %g % !W ! !g ! -g -  G  tyy} m}m = =z J #J#z499Z:Zz499j J Z8:J w  - - 59 5 % %'9') % % W dii!'!#(#*)$ 7' 7%%%% %7 % %g %<lI*/9/('?I?, % %y4   .9.$Y   !(!* GY Gir