command-instance-manager-test.cpp

Go to the documentation of this file.

/*
  CommandInstanceManager(Test)  -  verify helper for setup of actual command definitions

  Copyright (C)         Lumiera.org
    2017,               Hermann Vosseler <Ichthyostega@web.de>

  This program 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.

  This program is distributed in the hope that it will be useful,
  but WITHOUT ANY WARRANTY; without even the implied warranty of
  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  GNU General Public License for more details.

  You should have received a copy of the GNU General Public License
  along with this program; if not, write to the Free Software
  Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.

* *****************************************************/

#include "lib/test/run.hpp"
#include "steam/control/test-dummy-commands.hpp"
#include "steam/control/command-instance-manager.hpp"
#include "lib/format-string.hpp"
#include "lib/format-cout.hpp"
#include "lib/iter-stack.hpp"
#include "lib/util.hpp"

#include <algorithm>
#include <cstdlib>
#include <utility>
#include <string>
#include <deque>


namespace steam {
namespace control {
namespace test {
  
  using lib::Literal;
  using std::string;
  using util::_Fmt;
  using std::move;
  using std::rand;
  
  using LERR_(LIFECYCLE);
  using LERR_(INVALID_COMMAND);
  using LERR_(DUPLICATE_COMMAND);
  using LERR_(UNBOUND_ARGUMENTS);
  
  
  namespace  { // Test fixture....
    
    const Symbol COMMAND_PROTOTYPE  = test_Dummy_command1;
    const string INVOCATION_ID = "CommandInstanceManager_test";
    
    class Fixture
      : public CommandDispatch
      {
        std::deque<Command> queue_;
        
        
        /* == Interface: CommandDispatch == */
        
        void
        clear()  override
          {
            queue_.clear();
          }
        
        void
        enqueue (Command&& cmd)  override
          {
            queue_.emplace_front (move (cmd));
          }
        
      public:
        bool
        contains (Command const& ref)
          {
            return queue_.end()!= std::find_if (queue_.begin()
                                               ,queue_.end()
                                               ,[=](Command const& elm)
                                                    {
                                                      return elm == ref;
                                                    });
          }
        
        void
        invokeAll()
          {
            for (Command& cmd : queue_)
              cmd();
            clear();
          }
      };
  }
  
  
  
  /***********************************************************************/
  class CommandInstanceManager_test : public Test
    {
      
      virtual void
      run (Arg)
        {
          verify_simpleUsage();
          verify_extendedUsage();
          verify_instanceIdentity();
          verify_duplicates();
          verify_lifecycle();
          verify_fallback();
        }
      
      
      void
      verify_simpleUsage()
        {
          Fixture fixture;
          CommandInstanceManager iManager{fixture};
          CHECK (not iManager.contains (COMMAND_PROTOTYPE));
          
          int r1{rand()%1000}, r2{rand()%2000};
          command1::check_ = 0; // commands will add to this on invocation
          
          iManager.bindAndDispatch (COMMAND_PROTOTYPE, Rec{r1});
          CHECK (not iManager.contains (COMMAND_PROTOTYPE));
          
          Command com{COMMAND_PROTOTYPE};
          com.bind(r2);
          CHECK (com.canExec());
          
          iManager.dispatch (COMMAND_PROTOTYPE);
          CHECK (not iManager.contains (COMMAND_PROTOTYPE));
          
          // an anonymous clone instance was dispatched,
          // thus re-binding the arguments won't interfere with execution
          com.bind(-1);
          
          CHECK (command1::check_ == 0);       // nothing invoked yet
          fixture.invokeAll();
          CHECK (command1::check_ == r1 + r2); // both instances were invoked with their specific arguments
          
          // clean-up: we have bound arguments on the global prototype
          com.unbind();
        }
      
      
      void
      verify_extendedUsage()
        {
          Fixture fixture;
          CommandInstanceManager iManager{fixture};
          Symbol instanceID = iManager.newInstance (COMMAND_PROTOTYPE, INVOCATION_ID);
          CHECK (iManager.contains (instanceID));
          
          Command cmd = iManager.getInstance (instanceID);
          CHECK (cmd);
          CHECK (not cmd.canExec());
          
          cmd.bind(42);
          CHECK (cmd.canExec());
          
          iManager.dispatch (instanceID);
          CHECK (fixture.contains (cmd));
          CHECK (not iManager.contains (instanceID));
          VERIFY_ERROR (LIFECYCLE, iManager.getInstance (instanceID));
          
          command1::check_ = 0;
          fixture.invokeAll();
          CHECK (command1::check_ == 42); // the dispatched instance was executed
        }
      
      
      
      void
      verify_instanceIdentity()
        {
          Fixture fixture;
          CommandInstanceManager iManager{fixture};
          Symbol i1 = iManager.newInstance (COMMAND_PROTOTYPE, "i1");
          Symbol i2 = iManager.newInstance (COMMAND_PROTOTYPE, "i2");
          
          Command c11 = iManager.getInstance (i1);
          Command c12 = iManager.getInstance (i1);
          CHECK (c11 == c12);
          CHECK (c11.isValid());
          CHECK (not c11.canExec());
          
          int r1{rand()%100}, r2{rand()%200}, r3{rand()%300};
          command1::check_ = 0; // commands will add to this on invocation
          
          c11.bind (r1);
          CHECK (c12.canExec());
          CHECK (c11.canExec());
          
          Command c2 = iManager.getInstance (i2);
          CHECK (c2 != c11);
          CHECK (c2 != c12);
          c2.bind (r2);
          
          CHECK (iManager.contains (i1));
          CHECK (iManager.contains (i2));
          CHECK (not fixture.contains (c11));
          CHECK (not fixture.contains (c12));
          CHECK (not fixture.contains (c2));
          
          iManager.dispatch (i1);
          CHECK (not iManager.contains (i1));
          CHECK (    iManager.contains (i2));
          CHECK (    fixture.contains (c11));
          CHECK (    fixture.contains (c12));
          CHECK (not fixture.contains (c2));
          
          CHECK (command1::check_ == 0);
          
          Symbol i11 = iManager.newInstance (COMMAND_PROTOTYPE, "i1");
          CHECK (i11 == i1);
          CHECK ((const char*)i11 == (const char*) i1);
          
          // but the instances themselves are disjoint
          Command c13 = iManager.getInstance (i1);
          CHECK (c13 != c11);
          CHECK (c13 != c12);
          CHECK (c11.canExec());
          CHECK (not c13.canExec());
          
          c13.bind (r3);
          CHECK (c13.canExec());
          
          CHECK (command1::check_ == 0);
          c12();
          CHECK (command1::check_ == 0+r1);
          
          // even a command still in instance manager can be invoked
          c2();
          CHECK (command1::check_ == 0+r1+r2);
          
          CHECK (    iManager.contains (i1));
          CHECK (    iManager.contains (i2));
          CHECK (    fixture.contains (c11));
          CHECK (    fixture.contains (c12));
          CHECK (not fixture.contains (c2));
          
          iManager.dispatch (i2);
          iManager.dispatch (i11);
          CHECK (not iManager.contains (i1));
          CHECK (not iManager.contains (i2));
          CHECK (    fixture.contains (c11));
          CHECK (    fixture.contains (c12));
          CHECK (    fixture.contains (c13));
          CHECK (    fixture.contains (c2));
          
          // if we continue to hold onto an instance,
          // we can do anything with it. Like re-binding arguments.
          c2.bind (47);
          c2();
          c13();
          c13();
          CHECK (command1::check_ == 0+r1+r2+47+r3+r3);
          
          c11.undo();
          CHECK (command1::check_ == 0);
          c2.undo();
          CHECK (command1::check_ == 0+r1+r2);       // undo() restores the value captured before second invocation of c2()
          c12.undo();                                // c11 and c12 refer to the same instance, which was invoked first
          CHECK (command1::check_ == 0);
        }
      
      
      void
      verify_duplicates()
        {
          Fixture fixture;
          CommandInstanceManager iManager{fixture};
          Symbol i1 = iManager.newInstance (COMMAND_PROTOTYPE, "i1");
          Symbol i2 = iManager.newInstance (COMMAND_PROTOTYPE, "i2");
          
          VERIFY_ERROR (DUPLICATE_COMMAND, iManager.newInstance (COMMAND_PROTOTYPE, "i1"));
          VERIFY_ERROR (DUPLICATE_COMMAND, iManager.newInstance (COMMAND_PROTOTYPE, "i2"));
          
          iManager.bindAndDispatch (i1, {-1}); // bind and dispatch i1, thus i1 is ready for new cycle

          iManager.newInstance (COMMAND_PROTOTYPE, "i1"); // open new cycle for i1
          VERIFY_ERROR (DUPLICATE_COMMAND, iManager.newInstance (COMMAND_PROTOTYPE, "i2"));
          
          CHECK (iManager.getInstance (i1));
          CHECK (iManager.getInstance (i2));
        }
      
      
      void
      verify_lifecycle()
        {
          Fixture fixture;
          CommandInstanceManager iManager{fixture};
          
          // a manually constructed ID is unknown of course
          Symbol instanceID{COMMAND_PROTOTYPE, INVOCATION_ID};
          VERIFY_ERROR (INVALID_COMMAND, iManager.getInstance (instanceID));
          VERIFY_ERROR (INVALID_COMMAND, iManager.dispatch (instanceID));
          
          Symbol i2 = iManager.newInstance (COMMAND_PROTOTYPE, INVOCATION_ID);
          CHECK (i2 == instanceID);
          CHECK (iManager.getInstance (instanceID));
          
          
          Command cmd = iManager.getInstance (instanceID);
          CHECK (cmd);
          CHECK (not cmd.canExec());
          
          VERIFY_ERROR (UNBOUND_ARGUMENTS, iManager.dispatch (instanceID));
          VERIFY_ERROR (DUPLICATE_COMMAND, iManager.newInstance (COMMAND_PROTOTYPE, INVOCATION_ID));
          CHECK (iManager.contains (instanceID)); // errors have not messed up anything
          
          cmd.bind(23);
          CHECK (cmd.canExec());
          iManager.dispatch (instanceID);
          
          CHECK (not iManager.contains (instanceID));
          VERIFY_ERROR (LIFECYCLE, iManager.getInstance (instanceID));
          VERIFY_ERROR (LIFECYCLE, iManager.dispatch (instanceID));
          CHECK (instanceID == iManager.newInstance (COMMAND_PROTOTYPE, INVOCATION_ID));
        }
      
      
      void
      verify_fallback()
        {
          Fixture fixture;
          CommandInstanceManager iManager{fixture};
          
          CHECK (not iManager.contains (COMMAND_PROTOTYPE));
          Command cmd = iManager.getInstance (COMMAND_PROTOTYPE);
          
          CHECK (cmd.isValid());
          CHECK (not cmd.isAnonymous());
          CHECK (cmd == Command::get(COMMAND_PROTOTYPE));
          CHECK (cmd == Command{COMMAND_PROTOTYPE});
          
          cmd.bind(-12);
          CHECK (cmd.canExec());
          CHECK (not fixture.contains(cmd));
          
          iManager.dispatch (COMMAND_PROTOTYPE);
          CHECK (fixture.contains(cmd));   // an equivalent clone was enqueued
          
          command1::check_ = 0;
          fixture.invokeAll();
          CHECK (command1::check_ == -12); // the clone copy was executed
          
          // clean-up: we have bound arguments on the global prototype
          cmd.unbind();
        }
    };
  
  
  LAUNCHER (CommandInstanceManager_test, "unit controller");
  
  
}}} // namespace steam::control::test