ActionList.hpp

Go to the documentation of this file. Or view the newest version in sPHENIX GitHub for file ActionList.hpp

// This file is part of the Acts project.
//
// Copyright (C) 2016-2018 CERN for the benefit of the Acts project
//
// This Source Code Form is subject to the terms of the Mozilla Public
// License, v. 2.0. If a copy of the MPL was not distributed with this
// file, You can obtain one at http://mozilla.org/MPL/2.0/.

#pragma once

#include "Acts/Propagator/detail/action_list_implementation.hpp"
#include "Acts/Propagator/detail/action_signature_check.hpp"
#include "Acts/Utilities/detail/Extendable.hpp"
#include "Acts/Utilities/detail/MPL/all_of.hpp"
#include "Acts/Utilities/detail/MPL/has_duplicates.hpp"
#include "Acts/Utilities/detail/MPL/type_collector.hpp"

#include <boost/hana/type.hpp>
#include <boost/hana/unpack.hpp>

namespace hana = boost::hana;

namespace Acts {

template <typename... actors_t>
struct ActionList : public detail::Extendable<actors_t...> {
 private:
  static_assert(not detail::has_duplicates_v<actors_t...>,
                "same action type specified several times");

  using detail::Extendable<actors_t...>::tuple;

 public:
  // This uses the type collector and unpacks using the `R` meta funciton
  template <template <typename...> class R>
  using result_type = typename decltype(hana::unpack(
      detail::type_collector_t<detail::result_type_extractor, actors_t...>,
      hana::template_<R>))::type;

  using detail::Extendable<actors_t...>::get;

  ActionList() = default;

  ActionList(const ActionList<actors_t...>& actors) = default;

  ActionList(ActionList<actors_t...>&& actors) = default;

  ActionList<actors_t...>& operator=(const ActionList<actors_t...>& actors) =
      default;

  ActionList<actors_t...>& operator=(ActionList<actors_t...>&& actors) =
      default;

  template <typename propagator_state_t, typename stepper_t, typename result_t>
  void operator()(propagator_state_t& state, const stepper_t& stepper,
                  result_t& result) const {
    // clang-format off
    static_assert(detail::all_of_v<detail::action_signature_check_v<actors_t, 
                                      propagator_state_t, stepper_t>...>,
                  "not all actors support the method signature");
    // clang-format on

    using impl = detail::action_list_impl<actors_t...>;
    impl::action(tuple(), state, stepper, result);
  }
};

}  // namespace Acts