Struct PythonExceptions 

pub struct PythonExceptions { /* private fields */ }

Python exception heap, class policy, chaining, grouping, and handler matching.

Implementations

impl PythonExceptions

pub fn new(max_objects: usize) -> Result<Self, PythonExceptionError>

Construct a bounded Python exception heap.

pub fn define_class( &mut self, cx: &Cx, class: ClassRef, bases: Vec<ClassRef>, ) -> Result<(), ClassError>

Declare an exception class through the Python class system delivered by CLASS_2.

pub fn allocate( &mut self, class: ClassRef, message: impl Into<String>, origin: Origin, ) -> Result<PythonExceptionRef, PythonExceptionError>

Allocate an ordinary exception object with exact traceback origin.

pub fn group( &mut self, class: ClassRef, message: impl Into<String>, members: &[PythonExceptionRef], origin: Origin, ) -> Result<PythonExceptionRef, PythonExceptionError>

Allocate a non-empty exception group and retain members in source order.

pub fn set_cause( &mut self, error: PythonExceptionRef, cause: PythonExceptionRef, ) -> Result<(), PythonExceptionError>

Attach an explicit cause and apply Python’s context-suppression rule.

pub fn set_context( &mut self, error: PythonExceptionRef, context: PythonExceptionRef, ) -> Result<(), PythonExceptionError>

Attach the exception active when another exception was raised.

pub fn raise( &self, cx: &Cx, error: PythonExceptionRef, ) -> Result<Raised, PythonExceptionError>

Convert a managed Python exception to the shared exceptional-completion envelope.

pub fn matches( &self, cx: &mut Cx, raised: &Raised, candidate: ClassRef, budget: ClassMatchBudget, ) -> ClassMatchOutcome

Match a raised completion using bounded class evidence and Python predicate policy.

pub fn split( &mut self, cx: &mut Cx, group: PythonExceptionRef, candidate: ClassRef, budget: ClassMatchBudget, ) -> Result<(Option<PythonExceptionRef>, Option<PythonExceptionRef>), PythonExceptionError>

Split a group by handler class while preserving direct-member order.

pub fn inspect( &self, error: PythonExceptionRef, ) -> Result<&PythonExceptionData, PythonExceptionError>

Return the immutable Python payload for diagnostics and policy checks.

pub fn relations( &self, error: PythonExceptionRef, ) -> Result<Vec<(PythonExceptionRelation, PythonExceptionRef)>, PythonExceptionError>

Return ordered typed relations for diagnostics and subgroup derivation.