solverforge-solver 0.19.2

Solver engine for SolverForge
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

use std::any::Any;

use crate::runtime_build_error::RuntimeBuildError;

use super::super::{RuntimeInstantiationError, RuntimeInstantiationErrorKind};

/// Typed transport for a reached compiled-runtime execution failure. The
/// configured entrypoint catches only this payload and resumes foreign panics.
#[derive(Debug)]
struct RuntimeExecutionFailure {
    error: RuntimeBuildError,
}

pub(crate) fn take_runtime_execution_failure(
    payload: Box<dyn Any + Send>,
) -> Result<RuntimeBuildError, Box<dyn Any + Send>> {
    payload
        .downcast::<RuntimeExecutionFailure>()
        .map(|failure| failure.error)
}

pub(super) fn map_preparation_error(error: RuntimeInstantiationError) -> RuntimeBuildError {
    match error.kind {
        RuntimeInstantiationErrorKind::SourceBinding { .. }
        | RuntimeInstantiationErrorKind::SourceRefresh { .. } => RuntimeBuildError::Execution {
            phase_index: error.phase_index,
            message: error.to_string(),
        },
        _ => RuntimeBuildError::Preparation {
            phase_index: error.phase_index,
            message: error.to_string(),
        },
    }
}

pub(super) fn panic_execution_error(error: RuntimeInstantiationError) -> ! {
    panic_runtime_execution_error(RuntimeBuildError::Execution {
        phase_index: error.phase_index,
        message: error.to_string(),
    })
}

pub(super) fn panic_runtime_execution_error(error: RuntimeBuildError) -> ! {
    std::panic::panic_any(RuntimeExecutionFailure { error })
}