/*
 * Copyright (c) 2021, Sam Atkins <atkinssj@serenityos.org>
 *
 * SPDX-License-Identifier: BSD-2-Clause
 */

#pragma once

#include <AK/NonnullOwnPtr.h>
#include <AK/RefCounted.h>
#include <AK/String.h>
#include <AK/Variant.h>
#include <AK/Vector.h>
#include <LibWeb/CSS/Parser/StyleDeclarationRule.h>

namespace Web::CSS {

class Supports final : public RefCounted<Supports> {
    friend class Parser;

private:
    enum class MatchResult {
        False,
        True,
        Unknown,
    };

    static MatchResult negate(MatchResult value)
    {
        switch (value) {
        case MatchResult::False:
            return MatchResult::True;
        case MatchResult::True:
            return MatchResult::False;
        case MatchResult::Unknown:
            return MatchResult::Unknown;
        }
        VERIFY_NOT_REACHED();
    }

public:
    struct GeneralEnclosed {
    };

    struct Feature {
        // FIXME: Using this internal parser class is a bit of a hack.
        StyleDeclarationRule declaration;
        MatchResult evaluate() const;
    };

    struct Condition;
    struct InParens {
        Variant<NonnullOwnPtr<Condition>, Feature, GeneralEnclosed> value;

        MatchResult evaluate() const;
    };

    struct Condition {
        enum class Type {
            Not,
            And,
            Or,
        };
        Type type;
        Vector<InParens> children;

        MatchResult evaluate() const;
    };

    static NonnullRefPtr<Supports> create(NonnullOwnPtr<Condition>&& condition)
    {
        return adopt_ref(*new Supports(move(condition)));
    }

    bool matches() const { return m_matches; }

private:
    Supports(NonnullOwnPtr<Condition>&&);

    NonnullOwnPtr<Condition> m_condition;
    bool m_matches { false };
};

}