AbortList.hpp

Go to the documentation of this file. Or view the newest version in sPHENIX GitHub for file AbortList.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/abort_condition_signature_check.hpp"
#include "Acts/Propagator/detail/abort_list_implementation.hpp"
#include "Acts/Utilities/detail/Extendable.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... aborters_t>
struct AbortList : public detail::Extendable<aborters_t...> {
 private:
  static_assert(not detail::has_duplicates_v<aborters_t...>,
                "same aborter type specified several times");

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

 public:
  // This uses the type collector
  using result_type = typename decltype(hana::unpack(
      detail::type_collector_t<detail::action_type_extractor, aborters_t...>,
      hana::template_<AbortList>))::type;

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

  AbortList() = default;

  AbortList(const AbortList<aborters_t...>& aborters) = default;

  AbortList(AbortList<aborters_t...>&& aborters) = default;

  AbortList<aborters_t...>& operator=(
      const AbortList<aborters_t...>& aborters) = default;

  AbortList<aborters_t...>& operator=(AbortList<aborters_t...>&& aborters) =
      default;

  AbortList(const std::tuple<aborters_t...>& aborters)
      : detail::Extendable<aborters_t...>(aborters) {}

  AbortList(std::tuple<aborters_t...>&& aborters)
      : detail::Extendable<aborters_t...>(std::move(aborters)) {}

  template <typename... appendices_t>
  AbortList<aborters_t..., appendices_t...> append(appendices_t... aps) const {
    auto catTuple =
        std::tuple_cat(tuple(), std::tuple<appendices_t...>(aps...));
    return AbortList<aborters_t..., appendices_t...>(std::move(catTuple));
  }

  template <typename result_t, typename propagator_state_t, typename stepper_t>
  bool operator()(const result_t& result, propagator_state_t& state,
                  const stepper_t& stepper) const {
    // clang-format off
    static_assert(detail::all_of_v<concept::abort_condition_signature_check_v<
                        aborters_t,
                        propagator_state_t, stepper_t>...>,
                  "not all aborters support the specified input");
    // clang-format on

    return detail::abort_list_impl<aborters_t...>::check(tuple(), result, state,
                                                         stepper);
  }
};

}  // namespace Acts