gXDJdZddlZddlmZmZmZmZmZmZGddZ Gdde Z Gdd e Z Gd d e Z Gd d e Z Gdde ZGdde ZGdde ZGdde ZGdde ZGddeejZGddeZGddeZGddeZGd d!eZGd"d#eZGd$d%e ZGd&d'eZGd(d)eZGd*d+eZGd,d-eZGd.d/eejZGd0d1eZ Gd2d3eZ!Gd4d5eZ"Gd6d7ejZ#Gd8d9eZ$Gd:d;eZ%Gd<d=eZ&Gd>d?eZ'Gd@dAeZ(GdBdCe Z)GdDdEe Z*GdFdGe Z+GdHdIe Z,GdJdKe Z-GdLdMe Z.GdNdOe Z/GdPdQe Z0GdRdSejZ1GdTdUe Z2GdVdWeZ3GdXdYeZ4GdZd[eZ5Gd\d]eZ6Gd^d_e Z7Gd`dae Z8Gdbdce7Z9Gdddee7Z:Gdfdge Z;Gdhdie Z<Gdjdke Z=Gdldme Z>Gdndoe Z?Gdpdqe Z@Gdrdse ZAGdtdue ZBGdvdwe ZCGdxdyejZDGdzd{e-ZEGd|d}eZFGd~de ZGGdde ZHdS)zQASM3 AST NodesN)OptionalListUnionIterableTupleSequenceceZdZdZdZdS)ASTNodez!Base abstract class for AST nodesN__name__ __module__ __qualname____doc__ __slots__r F/granary/edev/quantum/lib/python3.11/site-packages/qiskit/qasm3/ast.pyr r s++IIIrr ceZdZdZdZdS) Statementz statement : expressionStatement | assignmentStatement | classicalDeclarationStatement | branchingStatement | loopStatement | endStatement | aliasStatement | quantumStatement r Nr r rrrrs  IIIrrceZdZdZdZdZdS)Pragmazd pragma : '#pragma' LBRACE statement* RBRACE // match any valid openqasm statement contentc||_dSNr)selfrs r__init__zPragma.__init__3s  rNr rrrrrr rrrr+s4 IrrceZdZdZdZdZdS)CalibrationGrammarDeclarationz^ calibrationGrammarDeclaration : 'defcalgrammar' calibrationGrammar SEMICOLON namec||_dSrr!)rr"s rrz&CalibrationGrammarDeclaration.__init__?  rNrr rrr r 7s4 Irr ceZdZdZdZddZdS)ProgramzA program : header (globalStatement | statement)* header statementsr c"||_||_dSrr')rr(r)s rrzProgram.__init__Ks $rNr rr rrr&r&Cs9 )I%%%%%%rr&ceZdZdZdZdZdS)Headerz, header : version? include* versionincludesc"||_||_dSrr.)rr/r0s rrzHeader.__init__Xs   rNrr rrr-r-Ps4 (I!!!!!rr-ceZdZdZdZdZdS)Includez= include : 'include' StringLiteral SEMICOLON filenamec||_dSrr4)rr5s rrzInclude.__init__es   rNrr rrr3r3]s4 I!!!!!rr3ceZdZdZdZdZdS)VersionzF version : 'OPENQASM'(Integer | RealNumber) SEMICOLON version_numberc||_dSrr9)rr:s rrzVersion.__init__q,rNrr rrr8r8is4 $I-----rr8ceZdZdZdZdS)QuantumInstructionz quantumInstruction : quantumGateCall | quantumPhase | quantumMeasurement | quantumReset | quantumBarrier r Nr r rrr>r>usIIIrr>ceZdZdZdZdS) ClassicalTypezYInformation about a classical type. This is just an abstract base for inheritance tests.r Nr r rrr@r@sccIIIrr@c&eZdZdZdZdZdZdZdZdS) FloatTypez5Allowed values for the width of floating-point types. @N) r rrrHALFSINGLEDOUBLEQUADOCTr rrrBrBs-?? D F F D CCCrrBceZdZdZdZdS)BoolTypezType information for a Boolean.r Nr r rrrNrNs))IIIrrNc0eZdZdZdZddeefdZdS)IntTypez&Type information for a signed integer.sizeNrRc||_dSrrQrrRs rrzIntType.__init__r$rrr rrrrrintrr rrrPrPsC00IXc]rrPc0eZdZdZdZddeefdZdS)UintTypez)Type information for an unsigned integer.rQNrRc||_dSrrQrTs rrzUintType.__init__r$rrrUr rrrXrXsC33IXc]rrXceZdZdZdZdS)BitTypez"Type information for a single bit.r Nr r rrr[r[s,,IIIrr[c"eZdZdZdZdefdZdS) BitArrayTypez6Type information for a sized number of classical bits.rQrRc||_dSrrQrTs rrzBitArrayType.__init__r$rN)r rrrrrVrr rrr]r]s:@@ISrr]ceZdZdZdS) Expressionr N)r rrrr rrr`r`sIIIrr`ceZdZdZdZdS)StringifyAndPrayobjc||_dSrrc)rrds rrzStringifyAndPray.__init__s rNr rrrrr rrrbrbs(I rrbcReZdZdZ ddeedeedeefdZdS)RangestartstependNrjrlrkc0||_||_||_dSrri)rrjrlrks rrzRange.__init__s   r)NNN)r rrrrr`rr rrrhrhsh(I'+$(%)  #j !z" rrhceZdZdZdZdS) Identifierstringc||_dSrrp)rrqs rrzIdentifier.__init__  rNrfr rrroros(Irroc@eZdZdZdZdedeeefffd Z xZ S)SubscriptedIdentifierz&An identifier with subscripted access.) subscriptrqrvcXt|||_dSr)superrrv)rrqrv __class__s rrzSubscriptedIdentifier.__init__s&    "r) r rrrrstrrrhr`r __classcell__rys@rrurus`00I#s#uUJ5F/G##########rrucleZdZdZejZejZejZdS)Constantz,A constant value defined by the QASM 3 spec.N) r rrrenumautoPIEULERTAUr rrr~r~s;66 B DIKKE $)++CCCrr~ceZdZdZdZdS)IntegerLiteralvaluec||_dSrrrrs rrzIntegerLiteral.__init__  rNrfr rrrr(IrrceZdZdZdZdS)BooleanLiteralrc||_dSrrrs rrzBooleanLiteral.__init__rrNrfr rrrrrrrceZdZdZdZdS)BitstringLiteralrwidthc"||_||_dSrr)rrrs rrzBitstringLiteral.__init__s  rNrfr rrrrs("Irrc&eZdZdZdZdZdZdZdZdS) DurationUnitz'Valid values for the unit of durations.nsusmssdtN) r rrr NANOSECOND MICROSECOND MILLISECONDSECONDSAMPLEr rrrrs-11JKK F FFFrrc"eZdZdZdedefdZdS)DurationLiteralrunitrrc"||_||_dSrr)rrrs rrzDurationLiteral.__init__s  rN)r rrrfloatrrr rrrrs;!Ie<rrcHeZdZdZGddejZdedefdZdS)UnaryopoperandceZdZdZdZdS)Unary.Op!~N)r rr LOGIC_NOTBIT_NOTr rrOprs rrrrc"||_||_dSrr)rrrs rrzUnary.__init__s rN r rrrrEnumrr`rr rrrrsg!ITY2 rrcLeZdZdZGddejZdededefdZdS) BinaryrleftrightcBeZdZdZdZdZdZdZdZdZ dZ d Z d Z d Z d Zd ZdS) Binary.Op&|^z&&z||z>=z==z!=z<>N)r rrBIT_ANDBIT_ORBIT_XOR LOGIC_ANDLOGIC_ORLESS LESS_EQUALGREATER GREATER_EQUALEQUAL NOT_EQUAL SHIFT_LEFT SHIFT_RIGHTr rrrr%sO      rrrrrc0||_||_||_dSrr)rrrrs rrzBinary.__init__4s  rNrr rrrr"sn'I     TY   2Z rrc"eZdZdZdedefdZdS)Casttyperrrc"||_||_dSrr)rrrs rrz Cast.__init__=s  rN)r rrrr@r`rr rrrr:s;#I]Zrrc"eZdZdZdedefdZdS)Indextargetindexrrc"||_||_dSrr)rrrs rrzIndex.__init__Es  rN)r rrrr`rr rrrrBs;#Iz*rrc.eZdZdZdZdeefdZdS)IndexSetzQ A literal index set of values:: { Expression (, Expression)* } valuesrc||_dSrr)rrs rrzIndexSet.__init__SrsrN)r rrrrrr`rr rrrrJsE ItJ/rrc.eZdZdZdZdeefdZdS)QuantumMeasurementzD quantumMeasurement : 'measure' indexIdentifierList identifierListrc||_dSrr)rrs rrzQuantumMeasurement.__init___r<rNr rrrrrrorr rrrrWsE $I-tJ'7------rrc&eZdZdZdZdedefdZdS)QuantumMeasurementAssignmentz quantumMeasurementAssignment : quantumMeasurement ARROW indexIdentifierList | indexIdentifier EQUALS quantumMeasurement # eg: bits = measure qubits;  identifierquantumMeasurementrrc"||_||_dSrr)rrrs rrz%QuantumMeasurementAssignment.__init__ls$"4rN)r rrrrrorrr rrrrcsH 5I5:5CU555555rrc"eZdZdZdZdefdZdS) Designatorz; designator : LBRACKET expression RBRACKET  expressionrc||_dSrrrrs rrzDesignator.__init__y $rN)r rrrrr`rr rrrrqs@  I%:%%%%%%rrc(eZdZdZdZddedefdZdS)ClassicalDeclarationzGDeclaration of a classical type, optionally initializing it to a value.rr initializerNtype_rc0||_||_||_dSrr)rrrrs rrzClassicalDeclaration.__init__s $&rr)r rrrrr@rorr rrrr}sFQQ5I''m'''''''rrc&eZdZdZdZdedefdZdS)AssignmentStatementz*Assignment of an expression to an l-value.lvaluervaluerrc"||_||_dSrr)rrrs rrzAssignmentStatement.__init__s  rN)r rrrrrur`rr rrrrsB44$I4jrrc$eZdZdZdZddefdZdS)QuantumDeclarationz quantumDeclaration : 'qreg' Identifier designator? | # NOT SUPPORTED 'qubit' designator? Identifier r designatorNrc"||_||_dSrr)rrrs rrzQuantumDeclaration.__init__s$$rrr rrrrrorr rrrrsE -I%%:%%%%%%rrc&eZdZdZdZdedefdZdS)AliasStatementzT aliasStatement : 'let' Identifier EQUALS indexIdentifier SEMICOLON rrrrc"||_||_dSrr)rrrs rrzAliasStatement.__init__s$ rN)r rrrrror`rr rrrrsG (I:jrrceZdZdZejZejZejZejZ dS)QuantumGateModifierNamez4The names of the allowed modifiers of quantum gates.N) r rrrrrCTRLNEGCTRLINVPOWr rrr r sH>> 49;;DdikkG $)++C $)++CCCrr c4eZdZdZdZddedeefdZdS)QuantumGateModifierzVA modifier of a gate. For example, in ``ctrl @ x $0``, the ``ctrl @`` is the modifier.modifierargumentNrrc"||_||_dSrr)rrrs rrzQuantumGateModifier.__init__s    rr) r rrrrr rr`rr rrrrsL``(I!!!8!HZDX!!!!!!rrc XeZdZdZdZ d dedeedeedee fdZ d S) QuantumGateCallz quantumGateCall : quantumGateModifier* quantumGateName ( LPAREN expressionList? RPAREN )? indexIdentifierList quantumGateNameindexIdentifierList parameters modifiersr rrrrc>||_||_||_||_dSrr)rrrrrs rrzQuantumGateCall.__init__s& /#6 $"rN)r r ) r rrrrrorrr`rrr rrrrs} VI ,.35 # ## #"*- #Z( # /0 # # # # # #rrc.eZdZdZdZdeefdZdS)QuantumBarrierz@ quantumBarrier : 'barrier' indexIdentifierList rrc||_dSrr)rrs rrzQuantumBarrier.__init__s#6   rNrr rrrrsE )I7D,<777777rrc"eZdZdZdZdefdZdS) QuantumResetz#A built-in ``reset q0;`` statement.rrc||_dSrr")rrs rrzQuantumReset.__init__rrNrr rrr!r!s:--I%:%%%%%%rr!c2eZdZdZdZdedeefdZdS) QuantumDelayz-A built-in ``delay[duration] q0;`` statement.durationqubitsr'r(c"||_||_dSrr&)rr'r(s rrzQuantumDelay.__init__s   rN) r rrrrr`rrorr rrr%r%sF77&IT*5Err%c.eZdZdZdZdeefdZdS) ProgramBlockzu programBlock : statement | controlDirective | LBRACE(statement | controlDirective) * RBRACE r)r)c||_dSrr,)rr)s rrzProgramBlock.__init__rrN)r rrrrrrrr rrr+r+sD  I%4 ?%%%%%%rr+ceZdZdZdZddZdS)ReturnStatementz\ returnStatement : 'return' ( expression | quantumMeasurement )? SEMICOLON; rNc||_dSrrrs rrzReturnStatement.__init__ rrrrr rrr/r/s9  I%%%%%%rr/ceZdZdZdZdS) QuantumBlockzR quantumBlock : LBRACE ( quantumStatement | quantumLoop )* RBRACE r Nr r rrr2r2  IIIrr2ceZdZdZdZdS)SubroutineBlockzM subroutineBlock : LBRACE statement* returnStatement? RBRACE r Nr r rrr5r5r3rr5cNeZdZdZdZdedeedfdeedfdefdZd S) QuantumGateDefinitionzR quantumGateDefinition : 'gate' quantumGateSignature quantumBlock r"paramsr(bodyr"r9.r(r:c>||_||_||_||_dSrr8)rr"r9r(r:s rrzQuantumGateDefinition.__init__'s$    rN) r rrrrrorr2rr rrr7r7sq 5I  j#o& j#o&        rr7c*eZdZdZdZ ddedefdZdS) SubroutineDefinitionz subroutineDefinition : 'def' Identifier LPAREN anyTypeArgumentList? RPAREN returnSignature? subroutineBlock r argumentssubroutineBlockr rr@c0||_||_||_dSrr>)rrr@r?s rrzSubroutineDefinition.__init__=s %".rNr+)r rrrrror5rr rrr=r=4sU ?I  ///)//////rr=ceZdZdZdZdS)CalibrationArgumentzR calibrationArgumentList : classicalArgumentList | expressionList r Nr r rrrCrCHr3rrCcFeZdZdZdZ d dedeedeefdZ dS) CalibrationDefinitionz calibrationDefinition : 'defcal' Identifier ( LPAREN calibrationArgumentList? RPAREN )? identifierList returnSignature? LBRACE .*? RBRACE // for now, match anything inside body ; r"rcalibrationArgumentListr r"rrGc0||_||_||_dSrrF)rr"rrGs rrzCalibrationDefinition.__init__\s!  ,'>$$$rNr+) r rrrrrorrrCrr rrrErEQsmFI BD ???Z(?"**=!> ??????rrEc(eZdZdZdZddedefdZdS)BranchingStatementzq branchingStatement : 'if' LPAREN booleanExpression RPAREN programBlock ( 'else' programBlock )?  condition true_body false_bodyNrLrMc0||_||_||_dSrrK)rrLrMrNs rrzBranchingStatement.__init__os""$rrr rrrrr`r+rr rrrJrJgsL 9I%%*%%%%%%%rrJc<eZdZdZdZdeeeefdede fdZ dS)ForLoopStatementz AST node for ``for`` loops. :: ForLoop: "for" Identifier "in" SetDeclaration ProgramBlock SetDeclaration: | Identifier | "{" Expression ("," Expression)* "}" | "[" Range "]" indexset parameterr:rTrUr:c0||_||_||_dSrrS)rrTrUr:s rrzForLoopStatement.__init__s ! " rN) r rrrrrrorrhr+rr rrrRrRusa  2I He34 rrRc&eZdZdZdZdedefdZdS)WhileLoopStatementzk AST node for ``while`` loops. :: WhileLoop: "while" "(" Expression ")" ProgramBlock rLr:rLr:c"||_||_dSrrY)rrLr:s rrzWhileLoopStatement.__init__s" rNrPr rrrXrXsG&I*LrrXceZdZdZdZdS)BreakStatementzBAST node for ``break`` statements. Has no associated information.r Nr r rrr\r\sLLIIIrr\ceZdZdZdZdS)ContinueStatementzEAST node for ``continue`` statements. Has no associated information.r Nr r rrr^r^sOOIIIrr^cNeZdZdZejZejZdS) IOModifierzIO Modifier objectN)r rrrrrINPUTOUTPUTr rrr`r`s. DIKKE TY[[FFFrr`c4eZdZdZdZdededeffd ZxZ S) IODeclarationz A declaration of an IO variable.)rrrrcZt||||_dSr)rxrr)rrrrrys rrzIODeclaration.__init__s(  +++  r) r rrrrr`r@rorr{r|s@rrdrds]**I!!M!z!!!!!!!!!!rrdceZdZdZdZdS) DefaultCasezHAn object representing the `default` special label in switch statements.r Nr r rrrgrgsRRIIIrrgcNeZdZdZdZdedeeeeeffdZ dS)SwitchStatementPreviewaAST 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`.rcasesrrkc6||_d|D|_dS)Nc6g|]\}}t||fSr tuple.0rcases r z3SwitchStatementPreview.__init__..'FFF uV}}d+FFFrrj)rrrks rrzSwitchStatementPreview.__init__s$ FFFFF rN) r rrrrr`rrr+rr rrririsgQQ $IG G)1%8Ll8Z2[)\GGGGGGrricbeZdZdZdZ ddedeeeeefde efdZ dS) SwitchStatementaAST 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). rrkdefaultNrrkrxcD||_d|D|_||_dS)Nc6g|]\}}t||fSr rnrps rrsz,SwitchStatement.__init__..rtrrw)rrrkrxs rrzSwitchStatement.__init__s+  FFFFF  rr) r rrrrr`rrr+rrr rrrvrvsx /I +/ hz2L@AB,' rrv)Irrtypingrrrrrrr rrr r&r-r3r8r>r@rrBrNrPrXr[r]r`rbrhrorur~rrrrrrrrrrrrrrrrrr rrrr!r%r+r/r2r5r7r=rCrErJrRrXr\r^r`rdrgrirvr rrr|s  CCCCCCCCCCCCCCCC             W        I    % % % % %g % % % ! ! ! ! !W ! ! ! ! ! ! ! !g ! ! ! - - - - -g - - -        G  ty} m}m =z     J   #####J###z49ZZz49j     J   Z0:J     w    - - - - - - - - 5 5 5 5 59 5 5 5 % % % % % % % %'''''9''') % % % % % % % %     W   di!!!!!'!!!#####(###* 7 7 7 7 7' 7 7 7%%%%%%%%%% % % % % %7 % % % % % % % %g % % %<lI*/////9///('?????I???, % % % % % % % %y4         Y   !!!!!(!!!* G G G G GY G G Gir