Activity.inl

/*
 * Copyright(c) Sophist Solutions, Inc. 1990-2025.  All rights reserved
 */
 
namespace Stroika::Foundation::Execution {
 
    /*
     ********************************************************************************
     ************************************** Activity ********************************
     ********************************************************************************
     */
    template <convertible_to<Characters::String> STRINGISH_T>
    constexpr Activity<STRINGISH_T>::Activity (const STRINGISH_T& arg)
        requires (is_array_v<STRINGISH_T>)
    {
        Assert (size (arg) == size (fArg_));
        for (size_t i = 0; i < size (arg); ++i) {
            fArg_[i] = arg[i];
        }
    }
    template <convertible_to<Characters::String> STRINGISH_T>
    constexpr Activity<STRINGISH_T>::Activity (const STRINGISH_T& arg)
        requires (not is_array_v<STRINGISH_T>)
        : fArg_{arg}
    {
    }
    template <convertible_to<Characters::String> CTOR_ARG>
    Characters::String Activity<CTOR_ARG>::AsString () const
    {
        return fArg_;
    }
 
    /*
     ********************************************************************************
     ************************ LazyEvalActivity<CTOR_ARG> ****************************
     ********************************************************************************
     */
    template <typename CTOR_ARG>
    constexpr LazyEvalActivity<CTOR_ARG>::LazyEvalActivity (const CTOR_ARG& arg)
        requires (is_invocable_r_v<Characters::String, CTOR_ARG>)
        : fArg_{arg}
    {
    }
    template <typename CTOR_ARG>
    Characters::String LazyEvalActivity<CTOR_ARG>::AsString () const
    {
        return fArg_ (); // what makes this more efficient is that we can just capture data in a lambda (by reference)
                         // and just invoke that logic during exception processing when we need to convert the activity to a string rep
    }
    /*
     ********************************************************************************
     *************************** DeclareActivity<ACTIVITY> **************************
     ********************************************************************************
     */
    template <typename ACTIVITY>
    inline DeclareActivity<ACTIVITY>::DeclareActivity (const ACTIVITY* activity) noexcept
        : fNewTopOfStackElt_{activity, Private_::Activities_::sTop_}
    {
        // no locks needed because the variables are thread local
        if (activity != nullptr) {
            Private_::Activities_::sTop_ = &fNewTopOfStackElt_;
        }
    }
    template <typename ACTIVITY>
    inline DeclareActivity<ACTIVITY>::~DeclareActivity ()
    {
        if (fNewTopOfStackElt_.fActivity != nullptr) {
            // no locks needed because the variables are thread local
            Assert (Private_::Activities_::sTop_ == &fNewTopOfStackElt_);
            Private_::Activities_::sTop_ = Private_::Activities_::sTop_->fPrev;
        }
    }
 
}