Cython 3.3.0__cp315-cp315-win_amd64.whl

Cython/Compiler/FlowControl.pxd

@@ -0,0 +1,112 @@
+cimport cython
+
+from .Visitor cimport CythonTransform, TreeVisitor
+
+cdef class ControlBlock:
+    cdef readonly set[ControlBlock] children
+    cdef readonly set[ControlBlock] parents
+    cdef readonly set positions
+    cdef readonly list stats
+    cdef readonly dict gen
+    cdef readonly set bounded
+
+    # Big integer bitsets
+    cdef cython.py_int i_input
+    cdef cython.py_int i_output
+    cdef cython.py_int i_gen
+    cdef cython.py_int i_kill
+    cdef cython.py_int 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 cython.py_int bit
+    cdef public object inferred_type
+    cdef readonly object lhs
+    cdef readonly object rhs
+    cdef readonly object entry
+    cdef readonly object pos
+    cdef readonly set refs
+    cdef readonly object rhs_scope
+    cdef readonly object assignment_type
+
+@cython.final
+cdef class AssignmentList:
+    cdef cython.py_int bit
+    cdef cython.py_int mask
+    cdef list[NameAssignment] stats
+
+cdef class AssignmentCollector(TreeVisitor):
+    cdef list[tuple] assignments
+
+@cython.final
+cdef class LoopDescr:
+    cdef ControlBlock next_block
+    cdef ControlBlock loop_block
+    cdef list[ExceptionDescr] exceptions
+
+@cython.final
+cdef class ExceptionDescr:
+    cdef ControlBlock entry_point
+    cdef ControlBlock finally_enter
+    cdef ControlBlock finally_exit
+
+@cython.final
+cdef class ControlFlow:
+    cdef set[ControlBlock] blocks
+    cdef set entries
+    cdef list[LoopDescr] loops
+    cdef list[ExceptionDescr] exceptions
+
+    cdef ControlBlock entry_point
+    cdef ExitBlock exit_point
+    cdef ControlBlock block
+
+    cdef dict[object, AssignmentList] assmts
+
+    cdef Py_ssize_t in_try_block
+
+    cpdef ControlBlock newblock(self, ControlBlock parent=*)
+    cpdef ControlBlock 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=*, assignment_type=*)
+    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
+    cdef bint in_assignment_expression
+
+    cpdef mark_assignment(self, lhs, rhs=*, rhs_scope=*, assignment_type=*)
+    cpdef mark_position(self, node)