Line data    Source code

       1           0 : // Distributed under the MIT License.
       2             : // See LICENSE.txt for details.
       3             : 
       4             : #pragma once
       5             : 
       6             : #include <type_traits>
       7             : 
       8             : #include "Utilities/Gsl.hpp"
       9             : #include "Utilities/TMPL.hpp"
      10             : #include "Utilities/TypeTraits/IsA.hpp"
      11             : 
      12           0 : namespace protocols {
      13             : /// Protocol for a struct with a static `apply` function returning and
      14             : /// taking arguments based on tags in `return_tags` and
      15             : /// `argument_tags` type aliases.
      16             : ///
      17             : /// \snippet Test_StaticReturnApplyable.cpp StaticReturnApplyable
      18           1 : struct StaticReturnApplyable {
      19             :   template <typename ConformingType>
      20           0 :   struct test {
      21           0 :     using argument_tags = typename ConformingType::argument_tags;
      22           0 :     using return_tags = typename ConformingType::return_tags;
      23             :     static_assert(tt::is_a_v<tmpl::list, argument_tags>);
      24             :     static_assert(tt::is_a_v<tmpl::list, return_tags>);
      25             : 
      26             :     static_assert(
      27             :         std::is_same_v<return_tags, tmpl::remove_duplicates<return_tags>>,
      28             :         "return_tags should not contain duplicates.");
      29             :     // Duplicates in argument_tags are OK.
      30             :   };
      31             : };
      32             : 
      33             : }  // namespace protocols