// Copyright 2019 The xi-editor Authors.
//
// Licensed under the Apache License, Version 2.0 (the "License");
// you may not use this file except in compliance with the License.
// You may obtain a copy of the License at
//
//     http://www.apache.org/licenses/LICENSE-2.0
//
// Unless required by applicable law or agreed to in writing, software
// distributed under the License is distributed on an "AS IS" BASIS,
// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
// See the License for the specific language governing permissions and
// limitations under the License.

//! An environment which is passed downward into the widget tree.

////use std::collections::HashMap;
////use std::fmt::{Debug, Formatter};
use core::marker::PhantomData;////
////use std::marker::PhantomData;
////use std::ops::Deref;
////use std::sync::Arc;

use crate::kurbo::{Point, Rect, Size};
use crate::piet::{Color}; ////
////use crate::piet::{Color, LinearGradient};

////use crate::localization::L10nManager;
use crate::Data;

/// An environment passed down through all widget traversals.
///
/// All widget methods have access to an environment, and it is passed
/// downwards during traversals.
///
/// A widget can retrieve theme parameters (colors, dimensions, etc.). In
/// addition, it can pass custom data down to all descendants. An important
/// example of the latter is setting a value for enabled/disabled status
/// so that an entire subtree can be disabled ("grayed out") with one
/// setting.
#[derive(Clone, Copy)] ////
///#[derive(Clone)]
pub struct Env {} ////
////pub struct Env(Arc<EnvImpl>);

/*
#[derive(Clone)]
struct EnvImpl {
    map: HashMap<String, Value>,
    l10n: Arc<L10nManager>,
}
*/

/// A typed key.
///
/// This lets you retrieve values of a given type. The parameter
/// implements [`ValueType`]. For "expensive" types, this is a reference,
/// so the type for a string is `Key<&str>`.
///
/// [`ValueType`]: trait.ValueType.html
pub struct Key<T> {
    #[allow(dead_code)] ////
    key: &'static str,
    value_type: PhantomData<T>,
}

type MaxStringValue = heapless::consts::U20; //// Max length of string values
type String = heapless::String::<MaxStringValue>; ////

////TODO: Sync with piet-embedded-graphics/src/text.rs
////pub type FontType<'a> = fonts::Font12x16::<'a, Rgb565>;
//pub const FONT_WIDTH:  u16  = 12;
pub const FONT_HEIGHT: u16  = 16;
pub const FONT_NAME:   &str = &"Font12x16";
pub const TEXT_SIZE_NORMAL: f64 = FONT_HEIGHT as f64;

pub const WINDOW_WIDTH:  u16 = 240;  //// 240x240 screen for PineTime
pub const WINDOW_HEIGHT: u16 = 240;

pub const WINDOW_BACKGROUND_COLOR: Color = Color::BLACK;
pub const LABEL_COLOR:  Color = Color::WHITE;
pub const BORDER:       Color = Color::WHITE;
//pub const BORDER_LIGHT: Color = Color::WHITE;
//pub const BUTTON_LIGHT: Color = Color::BLACK;
//pub const BUTTON_DARK:  Color = Color::BLACK;

// we could do some serious deriving here: the set of types that can be stored
// could be defined per-app
// Also consider Box<Any> (though this would also impact debug).
/// A dynamic type representing all values that can be stored in an environment.
#[derive(Clone)]
pub enum Value {
    Point(Point),
    Size(Size),
    Rect(Rect),
    Color(Color),
    ////LinearGradient(Arc<LinearGradient>),
    Float(f64),
    UnsignedInt(u64),
    String(String),
}

/// Values which can be stored in an environment.
///
/// Note that for "expensive" types this is the reference. For example,
/// for strings, this trait is implemented on `&'a str`. The trait is
/// parametrized on a lifetime so that it can be used for references in
/// this way.
pub trait ValueType<'a>: Sized {
    /// The corresponding owned type.
    type Owned: Into<Value>;

    /// Attempt to convert the generic `Value` into this type.
    fn try_from_value(v: &'a Value) -> Result<Self, EnvError>;
}

/// The error type for environment access.
///
/// This error is expected to happen rarely, if ever, as it only
/// happens when the string part of keys collide but the types
/// mismatch.
///
/// TODO: replace with a less stringly-typed object.
pub type EnvError = String;

impl Env {
    /// Gets a value from the environment, expecting it to be present.
    ///
    /// Note that the return value is a reference for "expensive" types such
    /// as strings, but an ordinary value for "cheap" types such as numbers
    /// and colors.
    ///
    /// # Panics
    ///
    /// Panics if the key is not found, or if it is present with the wrong type.
    pub fn get<'a, V: ValueType<'a>>(&'a self, _key: Key<V>) -> V {
        panic!("no env get"); ////TODO
        /* ////
        if let Some(value) = self.0.map.get(key.key) {
            value.to_inner_unchecked()
        } else {
            panic!("key for {} not found", key.key)
        }
        */ ////
    }

    /// Gets a value from the environment.
    ///
    /// # Panics
    ///
    /// Panics if the value for the key is found, but has the wrong type.
    pub fn try_get<'a, V: ValueType<'a>>(&'a self, _key: Key<V>) -> Option<V> {
        assert!(false, "no env try_get"); ////TODO
        None ////
        /*
        self.0
            .map
            .get(key.key)
            .map(|value| value.to_inner_unchecked())
        */
    }

    /// Adds a key/value, acting like a builder.
    #[allow(unused_mut)] ////
    pub fn adding<'a, V: ValueType<'a>>(mut self, _key: Key<V>, _value: impl Into<V::Owned>) -> Env {
        assert!(false, "no env add"); ////TODO
        ////let env = Arc::make_mut(&mut self.0);
        ////env.map.insert(key.into(), value.into().into());
        self
    }

    /// Sets a value in an environment.
    ///
    /// # Panics
    ///
    /// Panics if the environment already has a value for the key, but it is
    /// of a different type.
    pub fn set<'a, V: ValueType<'a>>(&'a mut self, _key: Key<V>, _value: impl Into<V::Owned>) {
        assert!(false, "no env set"); ////TODO
        /* ////
        let env = Arc::make_mut(&mut self.0);
        let value = value.into().into();
        let key = key.into();
        // TODO: use of Entry might be more efficient
        if let Some(existing) = env.map.get(&key) {
            if !existing.is_same_type(&value) {
                panic!(
                    "Invalid type for key '{}': {:?} differs in kind from {:?}",
                    key, existing, value
                );
            }
        }
        env.map.insert(key, value);
        */ ////
    }

    /*
    /// Returns a reference to the [`L10nManager`], which handles localization
    /// resources.
    ///
    /// [`L10nManager`]: struct.L10nManager.html
    pub(crate) fn localization_manager(&self) -> &L10nManager {
        &self.0.l10n
    }
    */
}

/* ////
impl Debug for Value {
    fn fmt(&self, f: &mut Formatter) -> std::fmt::Result {
        match self {
            Value::Point(p) => write!(f, "Point {:?}", p),
            Value::Size(s) => write!(f, "Size {:?}", s),
            Value::Rect(r) => write!(f, "Rect {:?}", r),
            Value::Color(c) => write!(f, "Color {:?}", c),
            // TODO: make PaintBrush impl debug?
            Value::LinearGradient(g) => write!(f, "LinearGradient {:?}", g),
            Value::Float(x) => write!(f, "Float {}", x),
            Value::UnsignedInt(x) => write!(f, "UnsignedInt {}", x),
            Value::String(s) => write!(f, "String {:?}", s),
        }
    }
}
*/ ////

impl<T> Key<T> {
    /// Create a new strongly typed `Key` with the given string value.
    /// The type of the key will be inferred.
    ///
    /// # Examples
    ///
    /// ```
    /// use druid::Key;
    /// use druid::piet::Color;
    ///
    /// let float_key: Key<f64> = Key::new("a.very.good.float");
    /// let color_key: Key<Color> = Key::new("a.very.nice.color");
    /// ```
    pub const fn new(key: &'static str) -> Self {
        Key {
            key,
            value_type: PhantomData,
        }
    }
}

impl Value {
    /// Get a reference to the inner object.
    ///
    /// # Panics
    ///
    /// Panics when the value variant doesn't match the provided type.
    pub fn to_inner_unchecked<'a, V: ValueType<'a>>(&'a self) -> V {
        match ValueType::try_from_value(self) {
            Ok(v) => v,
            Err(s) => panic!("{}", s),
        }
    }

    #[allow(dead_code)] ////
    fn is_same_type(&self, other: &Value) -> bool {
        use Value::*;
        match (self, other) {
            (Point(_), Point(_)) => true,
            (Size(_), Size(_)) => true,
            (Rect(_), Rect(_)) => true,
            (Color(_), Color(_)) => true,
            ////(LinearGradient(_), LinearGradient(_)) => true,
            (Float(_), Float(_)) => true,
            (UnsignedInt(_), UnsignedInt(_)) => true,
            (String(_), String(_)) => true,
            _ => false,
        }
    }
}

impl Data for Value {
    fn same(&self, other: &Value) -> bool {
        use Value::*;
        match (self, other) {
            (Point(p1), Point(p2)) => p1.x.same(&p2.x) && p1.y.same(&p2.y),
            (Rect(r1), Rect(r2)) => {
                r1.x0.same(&r2.x0) && r1.y0.same(&r2.y0) && r1.x1.same(&r2.x1) && r1.y1.same(&r2.y1)
            }
            (Size(s1), Size(s2)) => s1.width.same(&s2.width) && s1.height.same(&s2.height),
            (Color(c1), Color(c2)) => c1.as_rgba_u32() == c2.as_rgba_u32(),
            ////(LinearGradient(g1), LinearGradient(g2)) => Arc::ptr_eq(g1, g2),
            (Float(f1), Float(f2)) => f1.same(&f2),
            (UnsignedInt(f1), UnsignedInt(f2)) => f1.same(&f2),
            (String(s1), String(s2)) => s1 == s2,
            _ => false,
        }
    }
}

impl Data for Env {
    fn same(&self, _other: &Env) -> bool {
        true ////TODO
        ////Arc::ptr_eq(&self.0, &other.0) || self.0.deref().same(other.0.deref())
    }
}

/* ////
impl Data for EnvImpl {
    fn same(&self, other: &EnvImpl) -> bool {
        self.map.len() == other.map.len()
            && self
                .map
                .iter()
                .all(|(k, v1)| other.map.get(k).map(|v2| v1.same(v2)).unwrap_or(false))
    }
}

impl Default for Env {
    fn default() -> Self {
        let l10n = L10nManager::new(vec!["builtin.ftl".into()], "./resources/i18n/");
        let inner = EnvImpl {
            l10n: Arc::new(l10n),
            map: HashMap::new(),
        };
        Env(Arc::new(inner))
    }
}

impl<T> From<Key<T>> for String {
    fn from(src: Key<T>) -> String {
        String::from(src.key)
    }
}

/// Use this macro for types which are cheap to clone (ie all `Copy` types).
macro_rules! impl_value_type_owned {
    ($ty:ty, $var:ident) => {
        impl<'a> ValueType<'a> for $ty {
            type Owned = $ty;
            fn try_from_value(value: &Value) -> Result<Self, EnvError> {
                match value {
                    Value::$var(f) => Ok(f.to_owned()),
                    other => Err(format!(
                        "incorrect Value type. Expected {}, found {:?}",
                        stringify!($var),
                        other
                    )),
                }
            }
        }

        impl Into<Value> for $ty {
            fn into(self) -> Value {
                Value::$var(self)
            }
        }
    };
}

/// Use this macro for types which require allocation but are not too
/// expensive to clone.
macro_rules! impl_value_type_borrowed {
    ($ty:ty, $owned:ty, $var:ident) => {
        impl<'a> ValueType<'a> for &'a $ty {
            type Owned = $owned;
            fn try_from_value(value: &'a Value) -> Result<Self, EnvError> {
                match value {
                    Value::$var(f) => Ok(f),
                    other => Err(format!(
                        "incorrect Value type. Expected {}, found {:?}",
                        stringify!($var),
                        other
                    )),
                }
            }
        }

        impl Into<Value> for $owned {
            fn into(self) -> Value {
                Value::$var(self)
            }
        }
    };
}

/// Use this macro for types that would be expensive to clone; they
/// are stored as an `Arc<>`.
macro_rules! impl_value_type_arc {
    ($ty:ty, $var:ident) => {
        impl<'a> ValueType<'a> for &'a $ty {
            type Owned = $ty;
            fn try_from_value(value: &'a Value) -> Result<Self, EnvError> {
                match value {
                    Value::$var(f) => Ok(f),
                    other => Err(format!(
                        "incorrect Value type. Expected {}, found {:?}",
                        stringify!($var),
                        other
                    )),
                }
            }
        }

        impl Into<Value> for $ty {
            fn into(self) -> Value {
                Value::$var(Arc::new(self))
            }
        }

        impl Into<Value> for Arc<$ty> {
            fn into(self) -> Value {
                Value::$var(self)
            }
        }
    };
}

impl_value_type_owned!(f64, Float);
impl_value_type_owned!(u64, UnsignedInt);
impl_value_type_owned!(Color, Color);
impl_value_type_owned!(Rect, Rect);
impl_value_type_owned!(Point, Point);
impl_value_type_owned!(Size, Size);
impl_value_type_borrowed!(str, String, String);
impl_value_type_arc!(LinearGradient, LinearGradient);
*/