IsUpdater.h

Go to the documentation of this file.

// This file's extension implies that it's C, but it's really -*- C++ -*-.
/*
 * Copyright (C) 2002-2023 CERN for the benefit of the ATLAS collaboration.
 */
#ifndef CXXUTILS_ISUPDATER_H
#define CXXUTILS_ISUPDATER_H
 
 
#include "CxxUtils/concepts.h"
#include <memory>
 
 
#if HAVE_CONCEPTS
 
 
namespace CxxUtils {
namespace detail {
 
 
template <template <class>  class UPDATER>
concept IsUpdater = requires(UPDATER<int> x,
                             const typename UPDATER<int>::Context_t& ctx)
{
  typename UPDATER<int>::Context_t;
  { x.get() } -> std::same_as<const int&>;
  { x.update (std::make_unique<int>(0), ctx) };
  { x.quiescent (ctx) };
  { x.defaultContext() } -> std::convertible_to<typename UPDATER<int>::Context_t>;
};
 
 
} // namespace detail
} // namespace CxxUtils
 
 
#endif
 
 
#endif // not CXXUTILS_ISUPDATER_H