rstm-actors 0.1.0

This crate focuses on building concrete implementations for Turing Machines.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48

/*
    Appellation: error <module>
    Contrib: FL03 <jo3mccain@icloud.com>
*/
//! This module defines the custom error type for handling various actor-related errors.
#[cfg(feature = "alloc")]
use alloc::{boxed::Box, string::String};

/// A type alias for a [`Result`](core::result::Result) that uses the custom [`Error`] type
pub type Result<T> = core::result::Result<T, Error>;

/// the various errors that can occur in the state module
#[derive(Debug, thiserror::Error)]
pub enum Error {
    #[cfg(feature = "alloc")]
    #[error("[Execution Error] {0}")]
    ExecutionError(String),
    #[error("The actor is halted and should be terminated.")]
    Halted,
    #[error("The actor is not ready to process inputs.")]
    NotReady,
    #[error("The actor has no program loaded.")]
    NoProgram,
    #[error("The actor has no inputs to process.")]
    NoInputs,
    #[error("An infinite loop was detected during execution.")]
    InfiniteLoop,
    #[error("No rule found")]
    NoRuleFound,
    #[error("No symbol found at position {0}.")]
    NoSymbolFound(usize),
    #[error(transparent)]
    CoreError(#[from] rstm_core::Error),
    #[error(transparent)]
    ProgramsError(#[from] rstm_programs::Error),
    #[error(transparent)]
    StateError(#[from] rstm_state::StateError),
}

#[cfg(feature = "alloc")]
impl From<Error> for rstm_core::Error {
    fn from(err: Error) -> Self {
        match err {
            Error::CoreError(e) => e,
            e => rstm_core::Error::BoxError(Box::new(e)),
        }
    }
}