# -*- coding: utf-8 -*-
"""
Clearing Assignments
"""


from mathics.core.assignment import is_protected
from mathics.core.atoms import String
from mathics.core.attributes import (
    A_HOLD_ALL,
    A_HOLD_FIRST,
    A_LISTABLE,
    A_LOCKED,
    A_NO_ATTRIBUTES,
    A_PROTECTED,
    A_READ_PROTECTED,
)
from mathics.core.builtin import Builtin, PostfixOperator
from mathics.core.expression import Expression
from mathics.core.symbols import Atom, Symbol, SymbolNull, symbol_set
from mathics.core.systemsymbols import (
    SymbolContext,
    SymbolContextPath,
    SymbolDownValues,
    SymbolFailed,
    SymbolMessages,
    SymbolNValues,
    SymbolOptions,
    SymbolOwnValues,
    SymbolSubValues,
    SymbolUpValues,
)


class Clear(Builtin):
    """
    <url>
    :WMA link:
    https://reference.wolfram.com/language/ref/Clear.html</url>

    <dl>
      <dt>'Clear'[$symb_1$, $symb_2$, ...]
      <dd>clears all values of the given symbols. The arguments can also be given as strings containing symbol names.
    </dl>

    >> x = 2;
    >> Clear[x]
    >> x
     = x

    >> x = 2;
    >> y = 3;
    >> Clear["Global`*"]
    >> x
     = x
    >> y
     = y

    'ClearAll' may not be called for 'Protected' symbols.
    >> Clear[Sin]
     : Symbol Sin is Protected.
    The values and rules associated with built-in symbols will not get lost when applying 'Clear'
    (after unprotecting them):
    >> Unprotect[Sin]
    >> Clear[Sin]
    >> Sin[Pi]
     = 0

    'Clear' does not remove attributes, messages, options, and default values associated with the symbols. Use 'ClearAll' to do so.
    >> Attributes[r] = {Flat, Orderless};
    >> Clear["r"]
    >> Attributes[r]
     = {Flat, Orderless}
    """

    allow_locked = True
    attributes = A_HOLD_ALL | A_PROTECTED
    messages = {
        "spsym": "Special symbol `1` cannot be cleared.",
    }
    summary_text = "clear all values associated with the LHS or symbol"

    def do_clear(self, definition):
        definition.ownvalues = []
        definition.downvalues = []
        definition.subvalues = []
        definition.upvalues = []
        definition.formatvalues = {}
        definition.nvalues = []

    def eval(self, symbols, evaluation):
        "%(name)s[symbols___]"
        if isinstance(symbols, Symbol):
            symbols = [symbols]
        elif isinstance(symbols, Expression):
            symbols = symbols.get_elements()
        elif isinstance(symbols, String):
            symbols = [symbols]
        else:
            symbols = symbols.get_sequence()

        for symbol in symbols:
            if isinstance(symbol, Symbol):
                symbol_name = symbol.get_name()
                if symbol in (SymbolContext, SymbolContextPath):
                    evaluation.message(self.get_name(), "spsym", symbol)
                    continue
                names = [symbol_name]
            else:
                pattern = symbol.get_string_value()
                if not pattern:
                    evaluation.message(self.get_name(), "ssym", symbol)
                    continue
                if pattern[0] == "`":
                    pattern = evaluation.definitions.get_current_context() + pattern[1:]

                names = evaluation.definitions.get_matching_names(pattern)
            for name in names:
                attributes = evaluation.definitions.get_attributes(name)
                if is_protected(name, evaluation.definitions):
                    evaluation.message(self.get_name(), "wrsym", Symbol(name))
                    continue
                if not self.allow_locked and A_LOCKED & attributes:
                    evaluation.message(self.get_name(), "locked", Symbol(name))
                    continue
                # remove the cache for the definition first.
                evaluation.definitions.clear_cache(name)
                definition = evaluation.definitions.get_user_definition(name)
                self.do_clear(definition)

        return SymbolNull


class ClearAll(Clear):
    """
    <url>
    :WMA link:
    https://reference.wolfram.com/language/ref/ClearAll.html</url>

    <dl>
      <dt>'ClearAll'[$symb_1$, $symb_2$, ...]
      <dd>clears all values, attributes, messages and options associated with the given symbols.
      The arguments can also be given as strings containing symbol names.
    </dl>

    >> x = 2;
    >> ClearAll[x]
    >> x
     = x
    >> Attributes[r] = {Flat, Orderless};
    >> ClearAll[r]
    >> Attributes[r]
     = {}

    'ClearAll' may not be called for 'Protected' or 'Locked' symbols.
    >> Attributes[lock] = {Locked};
    >> ClearAll[lock]
     : Symbol lock is locked.
    """

    allow_locked = False
    summary_text = "clear all values, definitions, messages and defaults for symbols"

    def do_clear(self, definition):
        super(ClearAll, self).do_clear(definition)
        definition.attributes = A_NO_ATTRIBUTES
        definition.messages = []
        definition.options = []
        definition.defaultvalues = []


class Remove(Builtin):
    """
    <url>
    :WMA link:
    https://reference.wolfram.com/language/ref/Remove.html</url>

    <dl>
      <dt>'Remove'[$x$]
      <dd>removes the definition associated to $x$.
    </dl>

    >> a := 2
    >> Names["Global`a"]
     = {a}
    >> Remove[a]
    >> Names["Global`a"]
     = {}
    """

    attributes = A_HOLD_ALL | A_LOCKED | A_PROTECTED

    summary_text = "remove the definition of a symbol"

    def eval(self, symb, evaluation):
        """Remove[symb_]"""
        if isinstance(symb, Symbol):
            evaluation.definitions.reset_user_definition(symb.name)
        elif isinstance(symb, String):
            evaluation.definitions.reset_user_definition(symb.value)
        else:
            evaluation.message(self.get_name(), "ssym", symb)
        return SymbolNull


class Unset(PostfixOperator):
    """
    <url>
    :WMA link:
    https://reference.wolfram.com/language/ref/Unset.html</url>

    <dl>
      <dt>'Unset'[$x$]
      <dt>'$x$=.'
      <dd>removes any value belonging to $x$.
    </dl>

    >> a = 2
     = 2
    >> a =.
    >> a
     = a

    Unsetting an already unset or never defined variable will not change anything:
    >> a =.
    >> b =.

    'Unset' can unset particular function values. It will print a message if no corresponding rule is found.
    >> f[x_] =.
     : Assignment on f for f[x_] not found.
     = $Failed
    >> f[x_] := x ^ 2
    >> f[3]
     = 9
    >> f[x_] =.
    >> f[3]
     = f[3]

    You can also unset 'OwnValues', 'DownValues', 'SubValues', and 'UpValues' directly. This is equivalent to setting them to '{}'.
    >> f[x_] = x; f[0] = 1;
    >> DownValues[f] =.
    >> f[2]
     = f[2]

    'Unset' threads over lists:
    >> a = b = 3;
    >> {a, {b}} =.
     = {Null, {Null}}
    """

    attributes = A_HOLD_FIRST | A_LISTABLE | A_PROTECTED | A_READ_PROTECTED

    messages = {
        "norep": "Assignment on `2` for `1` not found.",
        "usraw": "Cannot unset raw object `1`.",
    }
    summary_text = "unset a value of the LHS"

    def eval(self, expr, evaluation):
        "Unset[expr_]"

        head = expr.get_head()
        if head in SYSTEM_SYMBOL_VALUES:
            if len(expr.elements) != 1:
                evaluation.message_args(expr.get_head_name(), len(expr.elements), 1)
                return SymbolFailed
            symbol = expr.elements[0].get_name()
            if not symbol:
                evaluation.message(expr.get_head_name(), "fnsym", expr)
                return SymbolFailed
            if head is SymbolOptions:
                empty = {}
            else:
                empty = []
            evaluation.definitions.set_values(symbol, expr.get_head_name(), empty)
            return SymbolNull
        name = expr.get_lookup_name()
        if not name:
            evaluation.message("Unset", "usraw", expr)
            return SymbolFailed
        if not evaluation.definitions.unset(name, expr):
            if not isinstance(expr, Atom):
                evaluation.message("Unset", "norep", expr, Symbol(name))
                return SymbolFailed
        return SymbolNull


SYSTEM_SYMBOL_VALUES = symbol_set(
    SymbolDownValues,
    SymbolMessages,
    SymbolNValues,
    SymbolOptions,
    SymbolOwnValues,
    SymbolSubValues,
    SymbolUpValues,
)
