#![allow(non_upper_case_globals)]

use bitflags::bitflags;
use swc_common::add_bitflags;

impl Default for TypeFacts {
    fn default() -> Self {
        Self::None
    }
}

bitflags! {
    pub struct TypeFacts: u32 {
        const None = 0;
        /// typeof x === "string"
        const TypeofEQString = 1 << 0;
        /// typeof x === "number"
        const TypeofEQNumber = 1 << 1;
        /// typeof x === "bigint"
        const TypeofEQBigInt = 1 << 2;
        /// typeof x === "boolean"
        const TypeofEQBoolean = 1 << 3;
        /// typeof x === "symbol"
        const TypeofEQSymbol = 1 << 4;
        /// typeof x === "object"
        const TypeofEQObject = 1 << 5;
        /// typeof x === "function"
        const TypeofEQFunction = 1 << 6;
        /// typeof x === "xxx"
        const TypeofEQHostObject = 1 << 7;
        /// typeof x !== "string"
        const TypeofNEString = 1 << 8;
        /// typeof x !== "number"
        const TypeofNENumber = 1 << 9;
        /// typeof x !== "bigint"
        const TypeofNEBigInt = 1 << 10;
        /// typeof x !== "boolean"
        const TypeofNEBoolean = 1 << 11;
        /// typeof x !== "symbol"
        const TypeofNESymbol = 1 << 12;
        /// typeof x !== "object"
        const TypeofNEObject = 1 << 13;
        /// typeof x !== "function"
        const TypeofNEFunction = 1 << 14;
        /// typeof x !== "xxx"
        const TypeofNEHostObject = 1 << 15;
        /// x === undefined
        const EQUndefined = 1 << 16;
        /// x === null
        const EQNull = 1 << 17;
        /// x === undefined / x === null
        const EQUndefinedOrNull = 1 << 18;
        /// x !== undefined
        const NEUndefined = 1 << 19;
        /// x !== null
        const NENull = 1 << 20;
        /// x != undefined / x != null
        const NEUndefinedOrNull = 1 << 21;
        /// x
        const Truthy = 1 << 22;
        /// !x
        const Falsy = 1 << 23;
        const All = (1 << 24) - 1;
    }
}

add_bitflags!(
    TypeFacts,
    // Handled by bitflags! macro.
    // Values { None: 0 },
    /// Line separators
    Values {},
    /// Delimiters
    Values {
        BaseStringStrictFacts: TypeofEQString
            | TypeofNENumber
            | TypeofNEBigInt
            | TypeofNEBoolean
            | TypeofNESymbol
            | TypeofNEObject
            | TypeofNEFunction
            | TypeofNEHostObject
            | NEUndefined
            | NENull
            | NEUndefinedOrNull,
        BaseStringFacts: BaseStringStrictFacts | EQUndefined | EQNull | EQUndefinedOrNull | Falsy,
        StringStrictFacts: BaseStringStrictFacts | Truthy | Falsy,
        StringFacts: BaseStringFacts | Truthy,
        EmptyStringStrictFacts: BaseStringStrictFacts | Falsy,
        EmptyStringFacts: BaseStringFacts,
        NonEmptyStringStrictFacts: BaseStringStrictFacts | Truthy,
        NonEmptyStringFacts: BaseStringFacts | Truthy,
        BaseNumberStrictFacts: TypeofEQNumber
            | TypeofNEString
            | TypeofNEBigInt
            | TypeofNEBoolean
            | TypeofNESymbol
            | TypeofNEObject
            | TypeofNEFunction
            | TypeofNEHostObject
            | NEUndefined
            | NENull
            | NEUndefinedOrNull,
        BaseNumberFacts: BaseNumberStrictFacts | EQUndefined | EQNull | EQUndefinedOrNull | Falsy,
        NumberStrictFacts: BaseNumberStrictFacts | Truthy | Falsy,
        NumberFacts: BaseNumberFacts | Truthy,
        ZeroNumberStrictFacts: BaseNumberStrictFacts | Falsy,
        ZeroNumberFacts: BaseNumberFacts,
        NonZeroNumberStrictFacts: BaseNumberStrictFacts | Truthy,
        NonZeroNumberFacts: BaseNumberFacts | Truthy,
        BaseBigIntStrictFacts: TypeofEQBigInt
            | TypeofNEString
            | TypeofNENumber
            | TypeofNEBoolean
            | TypeofNESymbol
            | TypeofNEObject
            | TypeofNEFunction
            | TypeofNEHostObject
            | NEUndefined
            | NENull
            | NEUndefinedOrNull,
        BaseBigIntFacts: BaseBigIntStrictFacts | EQUndefined | EQNull | EQUndefinedOrNull | Falsy,
        BigIntStrictFacts: BaseBigIntStrictFacts | Truthy | Falsy,
        BigIntFacts: BaseBigIntFacts | Truthy,
        ZeroBigIntStrictFacts: BaseBigIntStrictFacts | Falsy,
        ZeroBigIntFacts: BaseBigIntFacts,
        NonZeroBigIntStrictFacts: BaseBigIntStrictFacts | Truthy,
        NonZeroBigIntFacts: BaseBigIntFacts | Truthy,
        BaseBooleanStrictFacts: TypeofEQBoolean
            | TypeofNEString
            | TypeofNENumber
            | TypeofNEBigInt
            | TypeofNESymbol
            | TypeofNEObject
            | TypeofNEFunction
            | TypeofNEHostObject
            | NEUndefined
            | NENull
            | NEUndefinedOrNull,
        BaseBooleanFacts: BaseBooleanStrictFacts | EQUndefined | EQNull | EQUndefinedOrNull | Falsy,
        BooleanStrictFacts: BaseBooleanStrictFacts | Truthy | Falsy,
        BooleanFacts: BaseBooleanFacts | Truthy,
        FalseStrictFacts: BaseBooleanStrictFacts | Falsy,
        FalseFacts: BaseBooleanFacts,
        TrueStrictFacts: BaseBooleanStrictFacts | Truthy,
        TrueFacts: BaseBooleanFacts | Truthy,
        SymbolStrictFacts: TypeofEQSymbol
            | TypeofNEString
            | TypeofNENumber
            | TypeofNEBigInt
            | TypeofNEBoolean
            | TypeofNEObject
            | TypeofNEFunction
            | TypeofNEHostObject
            | NEUndefined
            | NENull
            | NEUndefinedOrNull
            | Truthy,
        SymbolFacts: SymbolStrictFacts | EQUndefined | EQNull | EQUndefinedOrNull | Falsy,
        ObjectStrictFacts: TypeofEQObject
            | TypeofEQHostObject
            | TypeofNEString
            | TypeofNENumber
            | TypeofNEBigInt
            | TypeofNEBoolean
            | TypeofNESymbol
            | TypeofNEFunction
            | NEUndefined
            | NENull
            | NEUndefinedOrNull
            | Truthy,
        ObjectFacts: ObjectStrictFacts | EQUndefined | EQNull | EQUndefinedOrNull | Falsy,
        FunctionStrictFacts: TypeofEQFunction
            | TypeofEQHostObject
            | TypeofNEString
            | TypeofNENumber
            | TypeofNEBigInt
            | TypeofNEBoolean
            | TypeofNESymbol
            | TypeofNEObject
            | NEUndefined
            | NENull
            | NEUndefinedOrNull
            | Truthy,
        FunctionFacts: FunctionStrictFacts | EQUndefined | EQNull | EQUndefinedOrNull | Falsy,
        UndefinedFacts: TypeofNEString
            | TypeofNENumber
            | TypeofNEBigInt
            | TypeofNEBoolean
            | TypeofNESymbol
            | TypeofNEObject
            | TypeofNEFunction
            | TypeofNEHostObject
            | EQUndefined
            | EQUndefinedOrNull
            | NENull
            | Falsy,
        NullFacts: TypeofEQObject
            | TypeofNEString
            | TypeofNENumber
            | TypeofNEBigInt
            | TypeofNEBoolean
            | TypeofNESymbol
            | TypeofNEFunction
            | TypeofNEHostObject
            | EQNull
            | EQUndefinedOrNull
            | NEUndefined
            | Falsy,
        EmptyObjectStrictFacts: TypeFacts::All.bits
            & !(TypeFacts::EQUndefined.bits | TypeFacts::EQNull.bits | TypeFacts::EQUndefinedOrNull.bits),
        EmptyObjectFacts: All,
    },
);

impl TypeFacts {
    pub fn typeof_eq(s: &str) -> Option<Self> {
        Some(match s {
            "string" => TypeFacts::BaseStringStrictFacts,
            "number" => TypeFacts::BaseNumberStrictFacts,
            "bigint" => TypeFacts::BaseBigIntStrictFacts,
            "boolean" => TypeFacts::BaseBooleanStrictFacts,
            "symbol" => TypeFacts::SymbolStrictFacts,
            "undefined" => TypeFacts::EQUndefined,
            "object" => {
                TypeFacts::TypeofEQObject
                    | TypeFacts::TypeofNEString
                    | TypeFacts::TypeofNENumber
                    | TypeFacts::TypeofNEBigInt
                    | TypeFacts::TypeofNEBoolean
                    | TypeFacts::TypeofNESymbol
                    | TypeFacts::TypeofNEFunction
                    | TypeFacts::NEUndefined
            }
            "function" => {
                TypeFacts::TypeofEQFunction
                    | TypeFacts::TypeofNEString
                    | TypeFacts::TypeofNENumber
                    | TypeFacts::TypeofNEBigInt
                    | TypeFacts::TypeofNEBoolean
                    | TypeFacts::TypeofNESymbol
                    | TypeFacts::TypeofNEObject
                    | TypeFacts::NEUndefined
                    | TypeFacts::NENull
                    | TypeFacts::NEUndefinedOrNull
                    | TypeFacts::Truthy
            }
            _ => return None,
        })
    }

    pub fn typeof_neq(s: &str) -> Option<Self> {
        Some(match s {
            "string" => TypeFacts::TypeofNEString,
            "number" => TypeFacts::TypeofNENumber,
            "bigint" => TypeFacts::TypeofNEBigInt,
            "boolean" => TypeFacts::TypeofNEBoolean,
            "symbol" => TypeFacts::TypeofNESymbol,
            "undefined" => TypeFacts::NEUndefined,
            "object" => TypeFacts::TypeofNEObject,
            "function" => TypeFacts::TypeofNEFunction,
            _ => return None,
        })
    }
}