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_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 propagator_state_t, typename stepper_t,
            typename navigator_t, typename result_t, typename... Args>
  bool operator()(propagator_state_t& state, const stepper_t& stepper,
                  const navigator_t& navigator, const result_t& result,
                  Args&&... args) const {
    using impl = detail::abort_list_impl<aborters_t...>;
    return impl::check(tuple(), state, stepper, navigator, result,
                       std::forward<Args>(args)...);
  }
};


}  // namespace Acts