ExecutionFlowManager.h

Go to the documentation of this file.

#ifndef EXECUTIONFLOWMANAGER_H_
#define EXECUTIONFLOWMANAGER_H_

#include "ControlFlowGraph.h"

namespace concurrency
{

  namespace recursive_CF
  {

    struct IExecutionFlowManager {
      virtual ~IExecutionFlowManager() {}
    };

    class ExecutionFlowManager : public CommonMessaging<IExecutionFlowManager>
    {
    public:
      ExecutionFlowManager() : m_name( "ExecutionFlowManager" ), m_CFGraph( 0 ){};
      ~ExecutionFlowManager() override = default;
      void initialize( ControlFlowGraph* graph,
                       const std::unordered_map<std::string, unsigned int>& algname_index_map );
      inline ControlFlowGraph* getCFGraph() const { return m_CFGraph; }
      void updateEventState( AlgsExecutionStates& algo_states, std::vector<int>& node_decisions ) const;
      bool rootDecisionResolved( const std::vector<int>& node_decisions ) const;
      void printEventState( std::stringstream& ss, AlgsExecutionStates& states, const std::vector<int>& node_decisions,
                            const unsigned int& recursionLevel ) const
      {
        m_CFGraph->printState( ss, states, node_decisions, recursionLevel );
      }
      const std::string& name() const override { return m_name; }
      SmartIF<ISvcLocator>& serviceLocator() const override { return m_CFGraph->serviceLocator(); }

    private:
      std::string m_name;
      ControlFlowGraph* m_CFGraph;
    };
  } // namespace recursive_CF
} // namespace concurrency

#endif /* EXECUTIONFLOWMANAGER_H_ */