use std::fmt::{self, Display, Formatter};

use serde::{Deserialize, Serialize};

use crate::{
    context::Context,
    error::{RuntimeError, ValidationError},
    value::ValueInner,
};

use super::{AbstractNode, Evaluation, Expression, Type, ValueNode, WithPosition};

#[derive(Clone, Debug, Eq, PartialEq, PartialOrd, Ord, Serialize, Deserialize)]
pub struct MapIndex {
    collection: Expression,
    index: Expression,
}

impl MapIndex {
    pub fn new(left: Expression, right: Expression) -> Self {
        Self {
            collection: left,
            index: right,
        }
    }
}

impl AbstractNode for MapIndex {
    fn define_types(&self, _context: &Context) -> Result<(), ValidationError> {
        self.collection.define_types(_context)?;
        self.index.define_types(_context)
    }

    fn validate(&self, context: &Context, _manage_memory: bool) -> Result<(), ValidationError> {
        self.collection.validate(context, _manage_memory)?;

        let collection_type = if let Some(r#type) = self.collection.expected_type(context)? {
            r#type
        } else {
            return Err(ValidationError::ExpectedExpression(
                self.collection.position(),
            ));
        };

        if let (Type::Map(fields), Expression::Identifier(identifier)) =
            (collection_type, &self.index)
        {
            if !fields.contains_key(&identifier.node) {
                return Err(ValidationError::FieldNotFound {
                    identifier: identifier.node.clone(),
                    position: identifier.position,
                });
            }
        }

        if let Expression::Identifier(_) = &self.index {
            Ok(())
        } else {
            self.index.validate(context, _manage_memory)
        }
    }

    fn evaluate(
        self,
        context: &Context,
        _manage_memory: bool,
    ) -> Result<Option<Evaluation>, RuntimeError> {
        let collection_position = self.collection.position();
        let evaluation = self.collection.evaluate(context, _manage_memory)?;
        let collection = if let Some(Evaluation::Return(value)) = evaluation {
            value
        } else {
            return Err(RuntimeError::ValidationFailure(
                ValidationError::ExpectedExpression(collection_position),
            ));
        };

        if let (ValueInner::Map(map), Expression::Identifier(index)) =
            (collection.inner().as_ref(), self.index)
        {
            let eval_option = map
                .get(&index.node)
                .cloned()
                .map(|value| Evaluation::Return(value));

            Ok(eval_option)
        } else {
            Err(RuntimeError::ValidationFailure(
                ValidationError::CannotIndex {
                    r#type: collection.r#type(context)?,
                    position: collection_position,
                },
            ))
        }
    }

    fn expected_type(&self, context: &Context) -> Result<Option<Type>, ValidationError> {
        if let (Expression::Identifier(collection), Expression::Identifier(index)) =
            (&self.collection, &self.index)
        {
            let r#type = if let Some(r#type) = context.get_type(&collection.node)? {
                r#type
            } else {
                return Err(ValidationError::VariableNotFound {
                    identifier: collection.node.clone(),
                    position: collection.position,
                });
            };

            if let Type::Map(map) = r#type {
                return if let Some(r#type) = map.get(&index.node) {
                    Ok(Some(r#type.clone()))
                } else {
                    Err(ValidationError::FieldNotFound {
                        identifier: index.node.clone(),
                        position: index.position,
                    })
                };
            };
        }

        if let (
            Expression::Value(WithPosition {
                node: ValueNode::Map(properties),
                ..
            }),
            Expression::Identifier(index),
        ) = (&self.collection, &self.index)
        {
            for (property, constructor_option, expression) in properties {
                if property == &index.node {
                    return if let Some(constructor) = constructor_option {
                        let r#type = constructor.clone().construct(&context)?;

                        Ok(Some(r#type))
                    } else {
                        expression.expected_type(context)
                    };
                }
            }

            return Ok(None);
        }

        if let (
            Expression::Value(WithPosition {
                node: ValueNode::Structure { fields, .. },
                ..
            }),
            Expression::Identifier(index),
        ) = (&self.collection, &self.index)
        {
            return if let Some(type_result) = fields.iter().find_map(|(property, expression)| {
                if property.node == index.node {
                    Some(expression.expected_type(context))
                } else {
                    None
                }
            }) {
                type_result
            } else {
                Ok(None)
            };
        }

        let collection_type = if let Some(r#type) = self.collection.expected_type(context)? {
            r#type
        } else {
            return Err(ValidationError::ExpectedExpression(
                self.collection.position(),
            ));
        };

        Err(ValidationError::CannotIndex {
            r#type: collection_type,
            position: self.collection.position(),
        })
    }
}

impl Display for MapIndex {
    fn fmt(&self, f: &mut Formatter) -> fmt::Result {
        let MapIndex { collection, index } = self;

        write!(f, "{collection}.{index}")
    }
}