/** @file DList.cpp
 *
 *  @author Roland Conybeare, Dec 2025
 **/

#include "DList.hpp"
#include "list/IPrintable_DList.hpp"
#include "list/IGCObject_DList.hpp"
#include <xo/alloc2/GCObject.hpp>
#include <xo/printable2/Printable.hpp>
#include <xo/facet/FacetRegistry.hpp>
#include <xo/facet/facet_implementation.hpp>
#include <xo/indentlog/print/pretty.hpp>
#include <xo/indentlog/print/tag.hpp>

namespace xo {
    using xo::print::APrintable;
    using xo::mm::AGCObject;
    using xo::facet::FacetRegistry;
    //using xo::facet::typeseq;

    namespace scm {
        static DList s_null(obj<AGCObject>(), nullptr);

        DList *
        DList::_nil()
        {
            return &s_null;
        }

        obj<AGCObject,DList>
        DList::nil()
        {
            return obj<AGCObject,DList>(_nil());
        }

        DList *
        DList::_cons(obj<AAllocator> mm,
                     obj<AGCObject> car,
                     DList * cdr)
        {
            void * mem = mm.alloc_for<DList>();

            return new (mem) DList(car, cdr);
        }

        obj<AGCObject,DList>
        DList::cons(obj<AAllocator> mm,
                    obj<AGCObject> car,
                    DList * cdr)
        {
            return obj<AGCObject,DList>(_cons(mm, car, cdr));
        }

#ifdef OBSOLETE
        DList *
        DList::list(obj<AAllocator> mm,
                    obj<AGCObject> h1)
        {
            void * mem = mm.alloc(typeseq::id<DList>(), sizeof(DList));

            return new (mem) DList(h1, DList::_nil());
        }

        DList *
        DList::list(obj<AAllocator> mm,
                    obj<AGCObject> h1,
                    obj<AGCObject> h2)
        {
            void * mem = mm.alloc(typeseq::id<DList>(), sizeof(DList));

            return new (mem) DList(h1, DList::list(mm, h2));
        }
#endif

        bool
        DList::is_empty() const noexcept
        {
            return this == &s_null;
        }

        auto
        DList::size() const noexcept -> size_type
        {
            const DList * l = this;

            size_type z = 0;

            while (l && l != &s_null) {
                ++z;
                l = l->rest_;
            }

            return z;
        }

        auto
        DList::at(size_type index) const -> obj<AGCObject>
        {
            size_type ix = index;
            const DList * l = this;

            while (l->rest_ && (ix > 0)) {
                --ix;
                l = l->rest_;
            }

            if (ix > 0) {
                assert(l == nullptr);

                throw std::runtime_error
                    (tostr("DList::at: out-of-range index where [0..z) expected",
                           xtag("index", index),
                           xtag("z", this->size())));
            }

            assert(l);

            return l->head_;
        }

        void
        DList::assign_head(obj<AAllocator> mm, obj<AGCObject> rhs)
        {
            scope log(XO_DEBUG(true), xtag("mm.data", mm.data_));

            mm.barrier_assign(this, &head_, rhs);

            //mm.barrier_assign_aux(this,
            //                      head_.iface(), head_.opaque_data_addr(),
            //                      rhs.iface(), rhs.opaque_data());
        }

        // vestigial. used in MockCollector
        void
        DList::assign_head_gc(obj<ACollector> gc, obj<AGCObject> rhs)
        {
            scope log(XO_DEBUG(true), xtag("gc.data", gc.data_));

            mm_do_assign(gc, this, &head_, rhs);
        }

        void
        DList::_assign_rest(obj<AAllocator> mm, DList * rest)
        {
            obj<AGCObject,DList> rest_gco(rest);

            mm.barrier_assign_aux(this,
                                  nullptr /*lhs iface unused*/,
                                  (void**)&(this->rest_),
                                  rest_gco.iface(),
                                  rest);
        }

        bool
        DList::pretty(const ppindentinfo & ppii) const
        {
            /* adapted from ppstate.pretty_struct(), see also */

            using xo::print::ppstate;

            ppstate * pps = ppii.pps();

            if (ppii.upto()) {
                /* perhaps print on one line */
                pps->write("(");

                /* TODO: probably use iterators here, when available */
                const DList * l = this;

                size_t i = 0;
                while (!l->is_empty()) {
                    if (i > 0)
                        pps->write(" ");

                    obj<APrintable> elt
                        = FacetRegistry::instance().variant<APrintable, AGCObject>(l->head_);

                    assert(elt.data());

                    if (!pps->print_upto(elt))
                        return false;

                    l = l->rest_;
                    ++i;
                }

                pps->write(")");
                return true;
            } else {
                pps->write("(...)");
                return false;
            }
        }

        // ----- GCObject facet ------

        DList *
        DList::gco_shallow_move(obj<AGCObjectVisitor> gc) noexcept
        {
            return gc.std_move_for(this);
        }

        void
        DList::visit_gco_children(VisitReason reason, obj<AGCObjectVisitor> gc) noexcept
        {
            gc.visit_child(reason, &head_);
            gc.visit_child(reason, &rest_);
        }
    } /*namespace scm*/
} /*namespace xo*/

/* end DList.cpp */