command-storage-holder.hpp

Go to the documentation of this file.

/*
  COMMAND-STORAGE-HOLDER.hpp  -  specifically typed container for storage of command arguments

   Copyright (C)
     2009,            Hermann Vosseler <Ichthyostega@web.de>

  **Lumiera** is free software; you can redistribute it and/or modify it
  under the terms of the GNU General Public License as published by the
  Free Software Foundation; either version 2 of the License, or (at your
  option) any later version. See the file COPYING for further details.

*/


#ifndef CONTROL_COMMAND_STORAGE_HOLDER_H
#define CONTROL_COMMAND_STORAGE_HOLDER_H

#include "lib/typed-allocation-manager.hpp"
#include "steam/control/command-op-closure.hpp"
#include "steam/control/memento-tie.hpp"
#include "steam/control/command-impl-clone-builder.hpp"
#include "lib/opaque-holder.hpp"

#include <string>



namespace steam {
namespace control {
  namespace err = lumiera::error;
  
  using lib::InPlaceBuffer;
  using std::string;
  
  
  
  
  
  template<typename SIG, typename MEM>
  class StorageHolder
    : public CmdClosure
    {
      using ArgHolder = OpClosure<SIG>;
      using MemHolder = MementoTie<SIG,MEM>;
      
      using ArgumentBuff = InPlaceBuffer<ArgHolder>;
      using  MementoBuff = InPlaceBuffer<MemHolder>;
      
      using ArgTuple = typename ArgHolder::ArgTuple;
      using Args     = typename lib::meta::RebindTupleTypes<ArgTuple>::Seq; // std::tuple<ARGS...> to Types<ARGS...>
      
      
      /* ====== in-place storage buffers ====== */
      
      ArgumentBuff arguments_;
      MementoBuff  memento_;
      
      
      
      /* ==== proxied CmdClosure interface ==== */
      
    public:
      virtual bool
      isValid ()  const override
        {
          return arguments_->isValid();
        }
      
      virtual bool
      isCaptured() const override
        {
          return memento_->isValid();
        }

      
      
      virtual void
      bindArguments (Arguments& args)  override
        {
          storeTuple (args.get<ArgTuple>());
        }
      
      virtual void
      bindArguments (lib::diff::Rec const&  paramData)  override
        {
          storeTuple (buildTuple<Args> (paramData));
        }
      
      virtual void
      unbindArguments()  override
        {
          clearStorage();
        }
      
      
      virtual void
      invoke (CmdFunctor const& func)  override
        {
          if (!isValid())
            throw err::State{"Lifecycle error: can't bind functor, "
                             "command arguments not yet provided"
                            , LERR_(UNBOUND_ARGUMENTS)};
          
          arguments_->invoke(func);
        }
      
      
      virtual
      operator string()  const override
        {
          return "Command-State{ arguments="
               + (arguments_->isValid()? string(*arguments_) : "unbound")
               + ", "+string(*memento_)+"}"
               ;
        }
      
      
      
      StorageHolder ()
        : arguments_()
        , memento_()
        { }
      
      StorageHolder (StorageHolder const& oAh)
        : arguments_()
        , memento_()
        {
          if (oAh.arguments_->isValid())  // don't clone garbage from invalid arguments 
            arguments_.template create<ArgHolder> (*oAh.arguments_);
          
          // memento can be cloned as-is, irrespective of activation state 
          memento_.template  create<MemHolder> (*oAh.memento_);
        }
      
      
      StorageHolder& operator= (StorageHolder const&)  = delete;
      
      
      
      void
      accept (CommandImplCloneBuilder& visitor)  const override
        {
          visitor.buildCloneContext (*this);
        }
      
      
      bool canUndo () const { return memento_->isValid();   }
      bool empty ()   const { return !arguments_->isValid(); }
      
      
      void
      storeTuple (ArgTuple const& argTup)
        {
          arguments_.template create<ArgHolder> (argTup);
        }
      
      void
      clearStorage ()
        {
          arguments_.template create<ArgHolder>();
          memento_->clear();
        }
      
      
      typedef typename CommandSignature<SIG,MEM>::OperateSig SIG_op;
      typedef typename CommandSignature<SIG,MEM>::CaptureSig SIG_cap;
      typedef typename CommandSignature<SIG,MEM>::UndoOp_Sig SIG_undo;
      
      MementoTie<SIG,MEM>&
      tie (function<SIG_undo> const& undoFunc,
           function<SIG_cap> const& captureFunc)
        {
          return memento_.template create<MemHolder> (undoFunc,captureFunc);
        }
      
      MementoTie<SIG,MEM>&
      getMementoWiring ()
        {
          return *memento_;
        }
      
      
      
      MEM&
      memento ()
        {
          return memento_->getState();
        }
    };
    
  
  
}} // namespace steam::control
#endif /*CONTROL_COMMAND_STORAGE_HOLDER_H*/