Cython 3.2.0__cp39-abi3-win32.whl

Cython/Compiler/FlowControl.pxd

@@ -0,0 +1,97 @@
+cimport cython
+
+from .Visitor cimport CythonTransform, TreeVisitor
+
+cdef class ControlBlock:
+    cdef public set children
+    cdef public set parents
+    cdef public set positions
+    cdef public list stats
+    cdef public dict gen
+    cdef public set bounded
+
+    # Big integer bitsets
+    cdef public object i_input
+    cdef public object i_output
+    cdef public object i_gen
+    cdef public object i_kill
+    cdef public object i_state
+
+    cpdef bint empty(self)
+    cpdef detach(self)
+    cpdef add_child(self, block)
+
+cdef class ExitBlock(ControlBlock):
+    cpdef bint empty(self)
+
+cdef class NameAssignment:
+    cdef public bint is_arg
+    cdef public bint is_deletion
+    cdef public object lhs
+    cdef public object rhs
+    cdef public object entry
+    cdef public object pos
+    cdef public set refs
+    cdef public object bit
+    cdef public object inferred_type
+    cdef public object rhs_scope
+
+cdef class AssignmentList:
+    cdef public object bit
+    cdef public object mask
+    cdef public list stats
+
+cdef class AssignmentCollector(TreeVisitor):
+    cdef list assignments
+
+@cython.final
+cdef class ControlFlow:
+    cdef public set blocks
+    cdef public set entries
+    cdef public list loops
+    cdef public list exceptions
+
+    cdef public ControlBlock entry_point
+    cdef public ExitBlock exit_point
+    cdef public ControlBlock block
+
+    cdef public dict assmts
+
+    cdef public Py_ssize_t in_try_block
+
+    cpdef newblock(self, ControlBlock parent=*)
+    cpdef nextblock(self, ControlBlock parent=*)
+    cpdef bint is_tracked(self, entry)
+    cpdef bint is_statically_assigned(self, entry)
+    cpdef mark_position(self, node)
+    cpdef mark_assignment(self, lhs, rhs, entry, rhs_scope=*)
+    cpdef mark_argument(self, lhs, rhs, entry)
+    cpdef mark_deletion(self, node, entry)
+    cpdef mark_reference(self, node, entry)
+    cpdef normalize(self)
+    cpdef initialize(self)
+    cpdef set map_one(self, istate, entry)
+    cdef reaching_definitions(self)
+
+cdef class Uninitialized:
+    pass
+
+cdef class Unknown:
+    pass
+
+cdef class MessageCollection:
+    cdef set messages
+
+@cython.final
+cdef class ControlFlowAnalysis(CythonTransform):
+    cdef object gv_ctx
+    cdef object constant_folder
+    cdef set reductions
+    cdef list stack  # a stack of (env, flow) tuples
+    cdef object env
+    cdef ControlFlow flow
+    cdef object object_expr
+    cdef bint in_inplace_assignment
+
+    cpdef mark_assignment(self, lhs, rhs=*, rhs_scope=*)
+    cpdef mark_position(self, node)