Nuitka-winsvc 2.7.7__cp313-cp313-win_amd64.whl

nuitka/nodes/shapes/ControlFlowDescriptions.py

@@ -0,0 +1,199 @@
+#     Copyright 2025, Kay Hayen, mailto:kay.hayen@gmail.com find license text at end of file
+
+
+""" Objects use to describe control flow escapes.
+
+Typically returned by shape operations to indicate what can and can not
+have happened.
+
+"""
+
+
+class ControlFlowDescriptionBase(object):
+    @staticmethod
+    def isUnsupported():
+        return False
+
+
+class ControlFlowDescriptionElementBasedEscape(ControlFlowDescriptionBase):
+    @staticmethod
+    def getExceptionExit():
+        return BaseException
+
+    @staticmethod
+    def isValueEscaping():
+        return True
+
+    @staticmethod
+    def isControlFlowEscape():
+        return True
+
+
+class ControlFlowDescriptionFullEscape(ControlFlowDescriptionBase):
+    @staticmethod
+    def getExceptionExit():
+        return BaseException
+
+    @staticmethod
+    def isValueEscaping():
+        return True
+
+    @staticmethod
+    def isControlFlowEscape():
+        return True
+
+
+class ControlFlowDescriptionNoEscape(ControlFlowDescriptionBase):
+    @staticmethod
+    def getExceptionExit():
+        return None
+
+    @staticmethod
+    def isValueEscaping():
+        return False
+
+    @staticmethod
+    def isControlFlowEscape():
+        return False
+
+
+class ControlFlowDescriptionZeroDivisionNoEscape(ControlFlowDescriptionNoEscape):
+    @staticmethod
+    def getExceptionExit():
+        return ZeroDivisionError
+
+
+class ControlFlowDescriptionValueErrorNoEscape(ControlFlowDescriptionNoEscape):
+    @staticmethod
+    def getExceptionExit():
+        return ValueError
+
+
+class ControlFlowDescriptionComparisonUnorderable(ControlFlowDescriptionNoEscape):
+    @staticmethod
+    def getExceptionExit():
+        return TypeError
+
+    @staticmethod
+    def isUnsupported():
+        return True
+
+
+class ControlFlowDescriptionFormatError(ControlFlowDescriptionFullEscape):
+    pass
+
+
+class ControlFlowDescriptionOperationUnsupportedBase(ControlFlowDescriptionNoEscape):
+    @staticmethod
+    def getExceptionExit():
+        return TypeError
+
+    @staticmethod
+    def isUnsupported():
+        return True
+
+
+class ControlFlowDescriptionAddUnsupported(
+    ControlFlowDescriptionOperationUnsupportedBase
+):
+    pass
+
+
+class ControlFlowDescriptionSubUnsupported(
+    ControlFlowDescriptionOperationUnsupportedBase
+):
+    pass
+
+
+class ControlFlowDescriptionMulUnsupported(
+    ControlFlowDescriptionOperationUnsupportedBase
+):
+    pass
+
+
+class ControlFlowDescriptionFloorDivUnsupported(
+    ControlFlowDescriptionOperationUnsupportedBase
+):
+    pass
+
+
+class ControlFlowDescriptionTrueDivUnsupported(
+    ControlFlowDescriptionOperationUnsupportedBase
+):
+    pass
+
+
+class ControlFlowDescriptionOldDivUnsupported(
+    ControlFlowDescriptionOperationUnsupportedBase
+):
+    pass
+
+
+class ControlFlowDescriptionModUnsupported(
+    ControlFlowDescriptionOperationUnsupportedBase
+):
+    pass
+
+
+class ControlFlowDescriptionDivmodUnsupported(
+    ControlFlowDescriptionOperationUnsupportedBase
+):
+    pass
+
+
+class ControlFlowDescriptionPowUnsupported(
+    ControlFlowDescriptionOperationUnsupportedBase
+):
+    pass
+
+
+class ControlFlowDescriptionBitorUnsupported(
+    ControlFlowDescriptionOperationUnsupportedBase
+):
+    pass
+
+
+class ControlFlowDescriptionBitandUnsupported(
+    ControlFlowDescriptionOperationUnsupportedBase
+):
+    pass
+
+
+class ControlFlowDescriptionBitxorUnsupported(
+    ControlFlowDescriptionOperationUnsupportedBase
+):
+    pass
+
+
+class ControlFlowDescriptionLshiftUnsupported(
+    ControlFlowDescriptionOperationUnsupportedBase
+):
+    pass
+
+
+class ControlFlowDescriptionRshiftUnsupported(
+    ControlFlowDescriptionOperationUnsupportedBase
+):
+    pass
+
+
+class ControlFlowDescriptionMatmultUnsupported(
+    ControlFlowDescriptionOperationUnsupportedBase
+):
+    pass
+
+
+#     Part of "Nuitka", an optimizing Python compiler that is compatible and
+#     integrates with CPython, but also works on its own.
+#
+#     Licensed under the Apache License, Version 2.0 (the "License");
+#     you may not use this file except in compliance with the License.
+#     You may obtain a copy of the License at
+#
+#        http://www.apache.org/licenses/LICENSE-2.0
+#
+#     Unless required by applicable law or agreed to in writing, software
+#     distributed under the License is distributed on an "AS IS" BASIS,
+#     WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+#     See the License for the specific language governing permissions and
+#     limitations under the License.

nuitka/nodes/shapes/IteratorShapes.py

@@ -0,0 +1,71 @@
+#     Copyright 2025, Kay Hayen, mailto:kay.hayen@gmail.com find license text at end of file
+
+
+""" Iterator shapes that commonly appear. """
+
+from .ControlFlowDescriptions import ControlFlowDescriptionFullEscape
+from .ShapeMixins import ShapeIteratorMixin
+from .StandardShapes import ShapeBase, tshape_unknown
+
+
+class ShapeIterator(ShapeBase, ShapeIteratorMixin):
+    """Iterator created by iter with 2 arguments, TODO: could be way more specific."""
+
+    __slots__ = ()
+
+    @staticmethod
+    def isShapeIterator():
+        return None
+
+    @staticmethod
+    def hasShapeSlotBool():
+        return None
+
+    @staticmethod
+    def hasShapeSlotLen():
+        return None
+
+    @staticmethod
+    def hasShapeSlotInt():
+        return None
+
+    @staticmethod
+    def hasShapeSlotLong():
+        return None
+
+    @staticmethod
+    def hasShapeSlotFloat():
+        return None
+
+    @staticmethod
+    def getShapeIter():
+        return tshape_iterator
+
+    @staticmethod
+    def getOperationUnaryReprEscape():
+        return ControlFlowDescriptionFullEscape
+
+    def getOperationUnaryAddShape(self):
+        # TODO: Move prepared values to separate module
+        return tshape_unknown, ControlFlowDescriptionFullEscape
+
+    def getOperationUnarySubShape(self):
+        return tshape_unknown, ControlFlowDescriptionFullEscape
+
+
+tshape_iterator = ShapeIterator()
+
+#     Part of "Nuitka", an optimizing Python compiler that is compatible and
+#     integrates with CPython, but also works on its own.
+#
+#     Licensed under the Apache License, Version 2.0 (the "License");
+#     you may not use this file except in compliance with the License.
+#     You may obtain a copy of the License at
+#
+#        http://www.apache.org/licenses/LICENSE-2.0
+#
+#     Unless required by applicable law or agreed to in writing, software
+#     distributed under the License is distributed on an "AS IS" BASIS,
+#     WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+#     See the License for the specific language governing permissions and
+#     limitations under the License.

nuitka/nodes/shapes/ShapeMixins.py

@@ -0,0 +1,255 @@
+#     Copyright 2025, Kay Hayen, mailto:kay.hayen@gmail.com find license text at end of file
+
+
+""" Mixins to use for composing type shapes.
+
+"""
+
+from .ControlFlowDescriptions import (
+    ControlFlowDescriptionAddUnsupported,
+    ControlFlowDescriptionElementBasedEscape,
+    ControlFlowDescriptionNoEscape,
+    ControlFlowDescriptionSubUnsupported,
+)
+from .StandardShapes import tshape_unknown
+
+
+class ShapeContainerMixin(object):
+    """Mixin that defines the common container shape functions."""
+
+    # Mixins are required to define empty slots
+    __slots__ = ()
+
+    @staticmethod
+    def hasShapeSlotBool():
+        return True
+
+    @staticmethod
+    def hasShapeSlotLen():
+        return True
+
+    @staticmethod
+    def hasShapeSlotContains():
+        return True
+
+    @staticmethod
+    def hasShapeSlotIter():
+        return True
+
+    @staticmethod
+    def hasShapeSlotNext():
+        return False
+
+    @staticmethod
+    def hasShapeModule():
+        return False
+
+    @staticmethod
+    def getOperationUnaryReprEscape():
+        return ControlFlowDescriptionElementBasedEscape
+
+    @staticmethod
+    def hasShapeTrustedAttributes():
+        return True
+
+
+class ShapeContainerMutableMixin(ShapeContainerMixin):
+    # Mixins are required to define empty slots
+    __slots__ = ()
+
+    @staticmethod
+    def hasShapeSlotHash():
+        return False
+
+
+class ShapeContainerImmutableMixin(ShapeContainerMixin):
+    # Mixins are required to define empty slots
+    __slots__ = ()
+
+    @staticmethod
+    def hasShapeSlotHash():
+        return True
+
+
+class ShapeNotContainerMixin(object):
+    # Mixins are required to define empty slots
+    __slots__ = ()
+
+    @staticmethod
+    def hasShapeSlotBool():
+        return True
+
+    @staticmethod
+    def hasShapeSlotLen():
+        return False
+
+    @staticmethod
+    def hasShapeSlotIter():
+        return False
+
+    @staticmethod
+    def hasShapeSlotNext():
+        return False
+
+    @staticmethod
+    def hasShapeSlotContains():
+        return False
+
+    @staticmethod
+    def hasShapeModule():
+        return False
+
+    @staticmethod
+    def getOperationUnaryReprEscape():
+        return ControlFlowDescriptionNoEscape
+
+
+class ShapeNotNumberMixin(object):
+    """Mixin that defines the number slots to be set."""
+
+    # Mixins are required to define empty slots
+    __slots__ = ()
+
+    @staticmethod
+    def hasShapeSlotBool():
+        return True
+
+    @staticmethod
+    def hasShapeSlotAbs():
+        return False
+
+    @staticmethod
+    def hasShapeSlotInt():
+        return False
+
+    @staticmethod
+    def hasShapeSlotLong():
+        return False
+
+    @staticmethod
+    def hasShapeSlotFloat():
+        return False
+
+    @staticmethod
+    def hasShapeSlotComplex():
+        return False
+
+    # TODO: Seems misplaced
+    @staticmethod
+    def hasShapeModule():
+        return False
+
+    @staticmethod
+    def getOperationUnaryAddShape():
+        return tshape_unknown, ControlFlowDescriptionAddUnsupported
+
+    @staticmethod
+    def getOperationUnarySubShape():
+        return tshape_unknown, ControlFlowDescriptionSubUnsupported
+
+
+class ShapeNumberMixin(object):
+    """Mixin that defines the number slots to be set."""
+
+    # Mixins are required to define empty slots
+    __slots__ = ()
+
+    @staticmethod
+    def hasShapeSlotBool():
+        return True
+
+    @staticmethod
+    def hasShapeSlotAbs():
+        return True
+
+    @staticmethod
+    def hasShapeSlotInt():
+        return True
+
+    @staticmethod
+    def hasShapeSlotLong():
+        return True
+
+    @staticmethod
+    def hasShapeSlotFloat():
+        return True
+
+    @staticmethod
+    def hasShapeSlotComplex():
+        return True
+
+    @staticmethod
+    def hasShapeSlotHash():
+        return True
+
+    @staticmethod
+    def hasShapeModule():
+        return False
+
+    @staticmethod
+    def hasShapeTrustedAttributes():
+        return True
+
+    @staticmethod
+    def getOperationUnaryReprEscape():
+        return ControlFlowDescriptionNoEscape
+
+    def getOperationUnaryAddShape(self):
+        return self, ControlFlowDescriptionNoEscape
+
+    def getOperationUnarySubShape(self):
+        return self, ControlFlowDescriptionNoEscape
+
+
+class ShapeIteratorMixin(ShapeNotContainerMixin):
+    # Mixins are required to define empty slots
+    __slots__ = ()
+
+    @staticmethod
+    def isShapeIterator():
+        return True
+
+    @staticmethod
+    def getIteratedShape():
+        return None
+
+    @staticmethod
+    def hasShapeSlotIter():
+        return True
+
+    @staticmethod
+    def hasShapeSlotNext():
+        return True
+
+    @staticmethod
+    def hasShapeSlotNextCode():
+        """Does next execute code, i.e. control flow escaped.
+
+        For most known iterators that is not the case, only the generic
+        tshape_iterator needs to say "do not know", aka None.
+        """
+        return False
+
+    @staticmethod
+    def hasShapeSlotContains():
+        return True
+
+    @staticmethod
+    def hasShapeSlotHash():
+        return True
+
+
+#     Part of "Nuitka", an optimizing Python compiler that is compatible and
+#     integrates with CPython, but also works on its own.
+#
+#     Licensed under the Apache License, Version 2.0 (the "License");
+#     you may not use this file except in compliance with the License.
+#     You may obtain a copy of the License at
+#
+#        http://www.apache.org/licenses/LICENSE-2.0
+#
+#     Unless required by applicable law or agreed to in writing, software
+#     distributed under the License is distributed on an "AS IS" BASIS,
+#     WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+#     See the License for the specific language governing permissions and
+#     limitations under the License.