123 lines
2.8 KiB
Rust
123 lines
2.8 KiB
Rust
use std::panic::Location;
|
|
use std::sync::Arc;
|
|
|
|
use crate::{Detail, How, IntoContext};
|
|
|
|
pub trait Explain: Sized {
|
|
type Output;
|
|
|
|
#[track_caller]
|
|
#[must_use]
|
|
fn context(self, context: impl IntoContext) -> Self::Output;
|
|
|
|
#[inline]
|
|
#[track_caller]
|
|
#[must_use]
|
|
fn frame(self, context: impl IntoContext) -> Self::Output {
|
|
let mut context = context.into_context();
|
|
|
|
context.extra.reserve(if cfg!(feature = "extra-backtrace") {
|
|
2
|
|
} else {
|
|
1
|
|
});
|
|
context.extra.push(Detail::Location(*Location::caller()));
|
|
#[cfg(feature = "extra-backtrace")]
|
|
context.extra.push(Detail::backtrace());
|
|
|
|
self.context(context)
|
|
}
|
|
}
|
|
|
|
impl Explain for How {
|
|
type Output = Self;
|
|
|
|
#[inline(always)]
|
|
#[track_caller]
|
|
fn context(mut self, context: impl IntoContext) -> Self {
|
|
self.push_context(context.into_context());
|
|
self
|
|
}
|
|
}
|
|
|
|
/*impl<E> Explain for E
|
|
where
|
|
E: std::error::Error,
|
|
{
|
|
type Output = How;
|
|
|
|
#[inline(always)]
|
|
#[track_caller]
|
|
fn context(self, context: impl IntoContext) -> Self::Output {
|
|
How::new(self.to_string()).context(context)
|
|
}
|
|
}*/
|
|
|
|
impl<T, E> Explain for Result<T, E>
|
|
where
|
|
E: std::error::Error + 'static,
|
|
{
|
|
type Output = Result<T, How>;
|
|
|
|
#[inline(always)]
|
|
#[track_caller]
|
|
fn context(self, context: impl IntoContext) -> Self::Output {
|
|
#[cold]
|
|
#[track_caller]
|
|
fn into_and_context<E, C>(e: E, c: C) -> How
|
|
where
|
|
E: std::error::Error + 'static,
|
|
C: IntoContext,
|
|
{
|
|
match typeid_cast::cast(e) {
|
|
Ok(e) => e,
|
|
// TODO: specialize on Send + Sync at runtime or compile time (possibly via
|
|
// specialization)
|
|
//Err(e) => How::new(Context(ContextInner::Elem(Detail::Error(Arc::new(e))))),
|
|
Err(e) => How::new(e.to_string()),
|
|
}
|
|
.context(c)
|
|
}
|
|
match self {
|
|
Ok(t) => Ok(t),
|
|
Err(e) => Err(into_and_context(e, context)),
|
|
}
|
|
}
|
|
}
|
|
|
|
impl<E> Explain for Arc<E>
|
|
where
|
|
E: std::error::Error + Send + Sync + 'static,
|
|
{
|
|
type Output = How;
|
|
|
|
#[inline]
|
|
#[track_caller]
|
|
fn context(self, context: impl IntoContext) -> Self::Output {
|
|
How::new(self).context(context)
|
|
}
|
|
}
|
|
|
|
impl Explain for Arc<dyn std::error::Error + Send + Sync> {
|
|
type Output = How;
|
|
|
|
#[inline]
|
|
#[track_caller]
|
|
fn context(self, context: impl IntoContext) -> Self::Output {
|
|
How::new(self).context(context)
|
|
}
|
|
}
|
|
|
|
impl<T> Explain for Option<T> {
|
|
type Output = Result<T, How>;
|
|
|
|
#[inline(always)]
|
|
#[track_caller]
|
|
fn context(self, context: impl IntoContext) -> Self::Output {
|
|
match self {
|
|
Some(t) => Ok(t),
|
|
None => Err(How::new(context)),
|
|
}
|
|
}
|
|
}
|