qiskit 1.3.0__cp39-abi3-win32.whl → 1.3.0b1__cp39-abi3-win32.whl

qiskit/qasm3/ast.py

@@ -15,14 +15,12 @@
 """QASM3 AST Nodes"""
 
 import enum
-from typing import Optional, List, Union, Iterable, Tuple, Sequence
+from typing import Optional, List, Union, Iterable, Tuple
 
 
 class ASTNode:
     """Base abstract class for AST nodes"""
 
-    __slots__ = ()
-
 
 class Statement(ASTNode):
     """
@@ -37,8 +35,6 @@ class Statement(ASTNode):
         | quantumStatement
     """
 
-    __slots__ = ()
-
 
 class Pragma(ASTNode):
     """
@@ -46,8 +42,6 @@ class Pragma(ASTNode):
         : '#pragma' LBRACE statement* RBRACE  // match any valid openqasm statement
     """
 
-    __slots__ = ("content",)
-
     def __init__(self, content):
         self.content = content
 
@@ -58,8 +52,6 @@ class CalibrationGrammarDeclaration(Statement):
         : 'defcalgrammar' calibrationGrammar SEMICOLON
     """
 
-    __slots__ = ("name",)
-
     def __init__(self, name):
         self.name = name
 
@@ -70,11 +62,9 @@ class Program(ASTNode):
         : header (globalStatement | statement)*
     """
 
-    __slots__ = ("header", "statements")
-
-    def __init__(self, header, statements=()):
+    def __init__(self, header, statements=None):
         self.header = header
-        self.statements = statements
+        self.statements = statements or []
 
 
 class Header(ASTNode):
@@ -83,8 +73,6 @@ class Header(ASTNode):
         : version? include*
     """
 
-    __slots__ = ("version", "includes")
-
     def __init__(self, version, includes):
         self.version = version
         self.includes = includes
@@ -96,8 +84,6 @@ class Include(ASTNode):
         : 'include' StringLiteral SEMICOLON
     """
 
-    __slots__ = ("filename",)
-
     def __init__(self, filename):
         self.filename = filename
 
@@ -108,8 +94,6 @@ class Version(ASTNode):
         : 'OPENQASM'(Integer | RealNumber) SEMICOLON
     """
 
-    __slots__ = ("version_number",)
-
     def __init__(self, version_number):
         self.version_number = version_number
 
@@ -124,14 +108,10 @@ class QuantumInstruction(ASTNode):
         | quantumBarrier
     """
 
-    __slots__ = ()
-
 
 class ClassicalType(ASTNode):
     """Information about a classical type.  This is just an abstract base for inheritance tests."""
 
-    __slots__ = ()
-
 
 class FloatType(ClassicalType, enum.Enum):
     """Allowed values for the width of floating-point types."""
@@ -146,14 +126,10 @@ class FloatType(ClassicalType, enum.Enum):
 class BoolType(ClassicalType):
     """Type information for a Boolean."""
 
-    __slots__ = ()
-
 
 class IntType(ClassicalType):
     """Type information for a signed integer."""
 
-    __slots__ = ("size",)
-
     def __init__(self, size: Optional[int] = None):
         self.size = size
 
@@ -161,8 +137,6 @@ class IntType(ClassicalType):
 class UintType(ClassicalType):
     """Type information for an unsigned integer."""
 
-    __slots__ = ("size",)
-
     def __init__(self, size: Optional[int] = None):
         self.size = size
 
@@ -170,25 +144,19 @@ class UintType(ClassicalType):
 class BitType(ClassicalType):
     """Type information for a single bit."""
 
-    __slots__ = ()
-
 
 class BitArrayType(ClassicalType):
     """Type information for a sized number of classical bits."""
 
-    __slots__ = ("size",)
-
     def __init__(self, size: int):
         self.size = size
 
 
 class Expression(ASTNode):
-    __slots__ = ()
+    pass
 
 
 class StringifyAndPray(Expression):
-    __slots__ = ("obj",)
-
     # This is not a real AST node, yet is somehow very common. It's used when there are
     # `ParameterExpression` instances; instead of actually visiting the Sympy expression tree into
     # an OQ3 AST, we just convert it to a string, cross our fingers, and hope.
@@ -197,8 +165,6 @@ class StringifyAndPray(Expression):
 
 
 class Range(Expression):
-    __slots__ = ("start", "step", "end")
-
     def __init__(
         self,
         start: Optional[Expression] = None,
@@ -211,8 +177,6 @@ class Range(Expression):
 
 
 class Identifier(Expression):
-    __slots__ = ("string",)
-
     def __init__(self, string):
         self.string = string
 
@@ -220,8 +184,6 @@ class Identifier(Expression):
 class SubscriptedIdentifier(Identifier):
     """An identifier with subscripted access."""
 
-    __slots__ = ("subscript",)
-
     def __init__(self, string: str, subscript: Union[Range, Expression]):
         super().__init__(string)
         self.subscript = subscript
@@ -236,22 +198,16 @@ class Constant(Expression, enum.Enum):
 
 
 class IntegerLiteral(Expression):
-    __slots__ = ("value",)
-
     def __init__(self, value):
         self.value = value
 
 
 class BooleanLiteral(Expression):
-    __slots__ = ("value",)
-
     def __init__(self, value):
         self.value = value
 
 
 class BitstringLiteral(Expression):
-    __slots__ = ("value", "width")
-
     def __init__(self, value, width):
         self.value = value
         self.width = width
@@ -268,16 +224,12 @@ class DurationUnit(enum.Enum):
 
 
 class DurationLiteral(Expression):
-    __slots__ = ("value", "unit")
-
     def __init__(self, value: float, unit: DurationUnit):
         self.value = value
         self.unit = unit
 
 
 class Unary(Expression):
-    __slots__ = ("op", "operand")
-
     class Op(enum.Enum):
         LOGIC_NOT = "!"
         BIT_NOT = "~"
@@ -288,8 +240,6 @@ class Unary(Expression):
 
 
 class Binary(Expression):
-    __slots__ = ("op", "left", "right")
-
     class Op(enum.Enum):
         BIT_AND = "&"
         BIT_OR = "|"
@@ -312,16 +262,12 @@ class Binary(Expression):
 
 
 class Cast(Expression):
-    __slots__ = ("type", "operand")
-
     def __init__(self, type: ClassicalType, operand: Expression):
         self.type = type
         self.operand = operand
 
 
 class Index(Expression):
-    __slots__ = ("target", "index")
-
     def __init__(self, target: Expression, index: Expression):
         self.target = target
         self.index = index
@@ -334,8 +280,6 @@ class IndexSet(ASTNode):
         { Expression (, Expression)* }
     """
 
-    __slots__ = ("values",)
-
     def __init__(self, values: List[Expression]):
         self.values = values
 
@@ -346,8 +290,6 @@ class QuantumMeasurement(ASTNode):
         : 'measure' indexIdentifierList
     """
 
-    __slots__ = ("identifierList",)
-
     def __init__(self, identifierList: List[Identifier]):
         self.identifierList = identifierList
 
@@ -359,8 +301,6 @@ class QuantumMeasurementAssignment(Statement):
         | indexIdentifier EQUALS quantumMeasurement  # eg: bits = measure qubits;
     """
 
-    __slots__ = ("identifier", "quantumMeasurement")
-
     def __init__(self, identifier: Identifier, quantumMeasurement: QuantumMeasurement):
         self.identifier = identifier
         self.quantumMeasurement = quantumMeasurement
@@ -372,8 +312,6 @@ class Designator(ASTNode):
         : LBRACKET expression RBRACKET
     """
 
-    __slots__ = ("expression",)
-
     def __init__(self, expression: Expression):
         self.expression = expression
 
@@ -381,8 +319,6 @@ class Designator(ASTNode):
 class ClassicalDeclaration(Statement):
     """Declaration of a classical type, optionally initializing it to a value."""
 
-    __slots__ = ("type", "identifier", "initializer")
-
     def __init__(self, type_: ClassicalType, identifier: Identifier, initializer=None):
         self.type = type_
         self.identifier = identifier
@@ -392,8 +328,6 @@ class ClassicalDeclaration(Statement):
 class AssignmentStatement(Statement):
     """Assignment of an expression to an l-value."""
 
-    __slots__ = ("lvalue", "rvalue")
-
     def __init__(self, lvalue: SubscriptedIdentifier, rvalue: Expression):
         self.lvalue = lvalue
         self.rvalue = rvalue
@@ -406,8 +340,6 @@ class QuantumDeclaration(ASTNode):
          'qubit' designator? Identifier
     """
 
-    __slots__ = ("identifier", "designator")
-
     def __init__(self, identifier: Identifier, designator=None):
         self.identifier = identifier
         self.designator = designator
@@ -419,8 +351,6 @@ class AliasStatement(ASTNode):
         : 'let' Identifier EQUALS indexIdentifier SEMICOLON
     """
 
-    __slots__ = ("identifier", "value")
-
     def __init__(self, identifier: Identifier, value: Expression):
         self.identifier = identifier
         self.value = value
@@ -438,8 +368,6 @@ class QuantumGateModifierName(enum.Enum):
 class QuantumGateModifier(ASTNode):
     """A modifier of a gate. For example, in ``ctrl @ x $0``, the ``ctrl @`` is the modifier."""
 
-    __slots__ = ("modifier", "argument")
-
     def __init__(self, modifier: QuantumGateModifierName, argument: Optional[Expression] = None):
         self.modifier = modifier
         self.argument = argument
@@ -451,19 +379,17 @@ class QuantumGateCall(QuantumInstruction):
         : quantumGateModifier* quantumGateName ( LPAREN expressionList? RPAREN )? indexIdentifierList
     """
 
-    __slots__ = ("quantumGateName", "indexIdentifierList", "parameters", "modifiers")
-
     def __init__(
         self,
         quantumGateName: Identifier,
         indexIdentifierList: List[Identifier],
-        parameters: Sequence[Expression] = (),
-        modifiers: Sequence[QuantumGateModifier] = (),
+        parameters: List[Expression] = None,
+        modifiers: Optional[List[QuantumGateModifier]] = None,
     ):
         self.quantumGateName = quantumGateName
         self.indexIdentifierList = indexIdentifierList
-        self.parameters = parameters
-        self.modifiers = modifiers
+        self.parameters = parameters or []
+        self.modifiers = modifiers or []
 
 
 class QuantumBarrier(QuantumInstruction):
@@ -472,8 +398,6 @@ class QuantumBarrier(QuantumInstruction):
         : 'barrier' indexIdentifierList
     """
 
-    __slots__ = ("indexIdentifierList",)
-
     def __init__(self, indexIdentifierList: List[Identifier]):
         self.indexIdentifierList = indexIdentifierList
 
@@ -481,8 +405,6 @@ class QuantumBarrier(QuantumInstruction):
 class QuantumReset(QuantumInstruction):
     """A built-in ``reset q0;`` statement."""
 
-    __slots__ = ("identifier",)
-
     def __init__(self, identifier: Identifier):
         self.identifier = identifier
 
@@ -490,8 +412,6 @@ class QuantumReset(QuantumInstruction):
 class QuantumDelay(QuantumInstruction):
     """A built-in ``delay[duration] q0;`` statement."""
 
-    __slots__ = ("duration", "qubits")
-
     def __init__(self, duration: Expression, qubits: List[Identifier]):
         self.duration = duration
         self.qubits = qubits
@@ -504,8 +424,6 @@ class ProgramBlock(ASTNode):
         | LBRACE(statement | controlDirective) * RBRACE
     """
 
-    __slots__ = ("statements",)
-
     def __init__(self, statements: List[Statement]):
         self.statements = statements
 
@@ -516,8 +434,6 @@ class ReturnStatement(ASTNode):  # TODO probably should be a subclass of Control
         : 'return' ( expression | quantumMeasurement )? SEMICOLON;
     """
 
-    __slots__ = ("expression",)
-
     def __init__(self, expression=None):
         self.expression = expression
 
@@ -528,7 +444,7 @@ class QuantumBlock(ProgramBlock):
         : LBRACE ( quantumStatement | quantumLoop )* RBRACE
     """
 
-    __slots__ = ()
+    pass
 
 
 class SubroutineBlock(ProgramBlock):
@@ -537,7 +453,7 @@ class SubroutineBlock(ProgramBlock):
         : LBRACE statement* returnStatement? RBRACE
     """
 
-    __slots__ = ()
+    pass
 
 
 class QuantumGateDefinition(Statement):
@@ -546,8 +462,6 @@ class QuantumGateDefinition(Statement):
         : 'gate' quantumGateSignature quantumBlock
     """
 
-    __slots__ = ("name", "params", "qubits", "body")
-
     def __init__(
         self,
         name: Identifier,
@@ -568,16 +482,14 @@ class SubroutineDefinition(Statement):
         returnSignature? subroutineBlock
     """
 
-    __slots__ = ("identifier", "arguments", "subroutineBlock")
-
     def __init__(
         self,
         identifier: Identifier,
         subroutineBlock: SubroutineBlock,
-        arguments=(),  # [ClassicalArgument]
+        arguments=None,  # [ClassicalArgument]
     ):
         self.identifier = identifier
-        self.arguments = arguments
+        self.arguments = arguments or []
         self.subroutineBlock = subroutineBlock
 
 
@@ -587,7 +499,7 @@ class CalibrationArgument(ASTNode):
         : classicalArgumentList | expressionList
     """
 
-    __slots__ = ()
+    pass
 
 
 class CalibrationDefinition(Statement):
@@ -599,17 +511,15 @@ class CalibrationDefinition(Statement):
         ;
     """
 
-    __slots__ = ("name", "identifierList", "calibrationArgumentList")
-
     def __init__(
         self,
         name: Identifier,
         identifierList: List[Identifier],
-        calibrationArgumentList: Sequence[CalibrationArgument] = (),
+        calibrationArgumentList: Optional[List[CalibrationArgument]] = None,
     ):
         self.name = name
         self.identifierList = identifierList
-        self.calibrationArgumentList = calibrationArgumentList
+        self.calibrationArgumentList = calibrationArgumentList or []
 
 
 class BranchingStatement(Statement):
@@ -618,8 +528,6 @@ class BranchingStatement(Statement):
         : 'if' LPAREN booleanExpression RPAREN programBlock ( 'else' programBlock )?
     """
 
-    __slots__ = ("condition", "true_body", "false_body")
-
     def __init__(self, condition: Expression, true_body: ProgramBlock, false_body=None):
         self.condition = condition
         self.true_body = true_body
@@ -639,8 +547,6 @@ class ForLoopStatement(Statement):
             | "[" Range "]"
     """
 
-    __slots__ = ("indexset", "parameter", "body")
-
     def __init__(
         self,
         indexset: Union[Identifier, IndexSet, Range],
@@ -661,8 +567,6 @@ class WhileLoopStatement(Statement):
         WhileLoop: "while" "(" Expression ")" ProgramBlock
     """
 
-    __slots__ = ("condition", "body")
-
     def __init__(self, condition: Expression, body: ProgramBlock):
         self.condition = condition
         self.body = body
@@ -671,14 +575,10 @@ class WhileLoopStatement(Statement):
 class BreakStatement(Statement):
     """AST node for ``break`` statements.  Has no associated information."""
 
-    __slots__ = ()
-
 
 class ContinueStatement(Statement):
     """AST node for ``continue`` statements.  Has no associated information."""
 
-    __slots__ = ()
-
 
 class IOModifier(enum.Enum):
     """IO Modifier object"""
@@ -690,8 +590,6 @@ class IOModifier(enum.Enum):
 class IODeclaration(ClassicalDeclaration):
     """A declaration of an IO variable."""
 
-    __slots__ = ("modifier",)
-
     def __init__(self, modifier: IOModifier, type_: ClassicalType, identifier: Identifier):
         super().__init__(type_, identifier)
         self.modifier = modifier
@@ -700,8 +598,6 @@ class IODeclaration(ClassicalDeclaration):
 class DefaultCase(Expression):
     """An object representing the `default` special label in switch statements."""
 
-    __slots__ = ()
-
 
 class SwitchStatementPreview(Statement):
     """AST node for the proposed 'switch-case' extension to OpenQASM 3, before the syntax was
@@ -709,8 +605,6 @@ class SwitchStatementPreview(Statement):
 
     The stabilized form of the syntax instead uses :class:`.SwitchStatement`."""
 
-    __slots__ = ("target", "cases")
-
     def __init__(
         self, target: Expression, cases: Iterable[Tuple[Iterable[Expression], ProgramBlock]]
     ):
@@ -725,8 +619,6 @@ class SwitchStatement(Statement):
     cannot be joined with other cases (even though that's meaningless, the V1 syntax permitted it).
     """
 
-    __slots__ = ("target", "cases", "default")
-
     def __init__(
         self,
         target: Expression,