// Copyright (c) 2021 Soni L.
//
// Licensed under the MIT license.
// Documentation and comments licensed under CC BY-SA 4.0.

use ::std::marker::PhantomData;
use ::std::ops::Bound;
use ::std::ops::RangeBounds;

use ::iosonism::error::RangeError;
use ::iosonism::error::ReadError;
use ::iosonism::strcursor::StringReader;

/// An error callback.
pub trait ErrorFunc<'a, C: StringReader<'a>> {
    fn call<'b>(context: &C, ty: ErrorType<'b>);
}

/// An implementation of various Iosonism errors that calls T.
pub struct ErrorCall<T>(PhantomData<T>);

#[non_exhaustive]
#[derive(PartialEq, Debug)]
pub enum ErrorType<'a> {
    InvalidInteger(&'a str),
    ExpectedInteger,
    InvalidFloat(&'a str),
    ExpectedFloat,
    InvalidBool(&'a str),
    ExpectedBool,
    ExpectedStartOfQuote,
    ExpectedEndOfQuote,
    InvalidEscape(&'a str),
    ExpectedSymbol(&'a str),
    RangeErrori32(RangeErrorT<i32>),
    RangeErrori64(RangeErrorT<i64>),
    RangeErrorf32(RangeErrorT<f32>),
    RangeErrorf64(RangeErrorT<f64>),
}

#[derive(PartialEq, Debug)]
pub struct RangeErrorT<T> {
    pub value: T,
    pub start: Bound<T>,
    pub end: Bound<T>,
}

impl<T> ::std::fmt::Display for ErrorCall<T> {
    fn fmt(&self, f: &mut ::std::fmt::Formatter) -> ::std::fmt::Result {
        write!(f, "error!")
    }
}

impl<T> ::std::fmt::Debug for ErrorCall<T> {
    fn fmt(&self, f: &mut ::std::fmt::Formatter) -> ::std::fmt::Result {
        write!(f, "ErrorCall")
    }
}

impl<T> ::std::error::Error for ErrorCall<T> {
}

impl<'a, C, R, T> RangeError<'a, C, i32, R> for ErrorCall<T>
where C: StringReader<'a>, R: RangeBounds<i32>, T: ErrorFunc<'a, C> {
    fn value_not_in_range(context: &C, from: &i32, range: &R) -> Self {
        T::call(context, ErrorType::RangeErrori32(RangeErrorT {
            value: *from,
            start: range.start_bound().cloned(),
            end: range.end_bound().cloned(),
        }));
        Self(PhantomData)
    }
}

impl<'a, C, R, T> RangeError<'a, C, i64, R> for ErrorCall<T>
where C: StringReader<'a>, R: RangeBounds<i64>, T: ErrorFunc<'a, C> {
    fn value_not_in_range(context: &C, from: &i64, range: &R) -> Self {
        T::call(context, ErrorType::RangeErrori64(RangeErrorT {
            value: *from,
            start: range.start_bound().cloned(),
            end: range.end_bound().cloned(),
        }));
        Self(PhantomData)
    }
}

impl<'a, C, R, T> RangeError<'a, C, f32, R> for ErrorCall<T>
where C: StringReader<'a>, R: RangeBounds<f32>, T: ErrorFunc<'a, C> {
    fn value_not_in_range(context: &C, from: &f32, range: &R) -> Self {
        T::call(context, ErrorType::RangeErrorf32(RangeErrorT {
            value: *from,
            start: range.start_bound().cloned(),
            end: range.end_bound().cloned(),
        }));
        Self(PhantomData)
    }
}

impl<'a, C, R, T> RangeError<'a, C, f64, R> for ErrorCall<T>
where C: StringReader<'a>, R: RangeBounds<f64>, T: ErrorFunc<'a, C> {
    fn value_not_in_range(context: &C, from: &f64, range: &R) -> Self {
        T::call(context, ErrorType::RangeErrorf64(RangeErrorT {
            value: *from,
            start: range.start_bound().cloned(),
            end: range.end_bound().cloned(),
        }));
        Self(PhantomData)
    }
}

impl<'a, C: StringReader<'a>, T> ReadError<'a, C> for ErrorCall<T>
where T: ErrorFunc<'a, C> {
    fn invalid_integer(context: &C, from: &str) -> Self {
        T::call(context, ErrorType::InvalidInteger(from));
        Self(PhantomData)
    }
    fn expected_integer(context: &C) -> Self {
        T::call(context, ErrorType::ExpectedInteger);
        Self(PhantomData)
    }
    fn invalid_float(context: &C, from: &str) -> Self {
        T::call(context, ErrorType::InvalidFloat(from));
        Self(PhantomData)
    }
    fn expected_float(context: &C) -> Self {
        T::call(context, ErrorType::ExpectedFloat);
        Self(PhantomData)
    }
    fn invalid_bool(context: &C, from: &str) -> Self {
        T::call(context, ErrorType::InvalidBool(from));
        Self(PhantomData)
    }
    fn expected_bool(context: &C) -> Self {
        T::call(context, ErrorType::ExpectedBool);
        Self(PhantomData)
    }
    fn expected_start_of_quote(context: &C) -> Self {
        T::call(context, ErrorType::ExpectedStartOfQuote);
        Self(PhantomData)
    }
    fn expected_end_of_quote(context: &C) -> Self {
        T::call(context, ErrorType::ExpectedEndOfQuote);
        Self(PhantomData)
    }
    fn invalid_escape(context: &C, from: &str) -> Self {
        T::call(context, ErrorType::InvalidEscape(from));
        Self(PhantomData)
    }
    fn expected_symbol(context: &C, from: &str) -> Self {
        T::call(context, ErrorType::ExpectedSymbol(from));
        Self(PhantomData)
    }
}