Skip to main content

StateTransition

nucleus::error

Trait StateTransition 

Source 
pub trait StateTransition: Debug + Sized {
    // Required methods
    fn can_transition_to(&self, next: &Self) -> bool;
    fn is_terminal(&self) -> bool;

    // Provided method
    fn transition(self, next: Self) -> Result<Self> { ... }
}
Expand description

Common trait for all state machine enums.

Each subsystem (filesystem, security, resources, isolation, network, checkpoint) defines its own state enum with domain-specific transition rules. This trait provides the shared transition() method so each enum only needs to implement can_transition_to().

Required Methods§

Source

fn can_transition_to(&self, next: &Self) -> bool

Return true if moving from self to next is a valid transition.

Source

fn is_terminal(&self) -> bool

Return true if this state is terminal (no forward transitions).

Provided Methods§

Source

fn transition(self, next: Self) -> Result<Self>

Attempt to transition, returning Err(InvalidStateTransition) on failure.

Dyn Compatibility§

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementors§