FeatureList.hh

Go to the documentation of this file.

/*
 * Copyright (C) 2018 Open Source Robotics Foundation
 *
 * Licensed under the Apache License, Version 2.0 (the "License");
 * you may not use this file except in compliance with the License.
 * You may obtain a copy of the License at
 *
 *     http://www.apache.org/licenses/LICENSE-2.0
 *
 * Unless required by applicable law or agreed to in writing, software
 * distributed under the License is distributed on an "AS IS" BASIS,
 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
 * See the License for the specific language governing permissions and
 * limitations under the License.
 *
*/
 
#ifndef GZ_PHYSICS_FEATURELIST_HH_
#define GZ_PHYSICS_FEATURELIST_HH_
 
#include <tuple>
 
#include <gz/physics/Feature.hh>
 
#if defined(_MSC_VER)
#pragma warning(push)
#pragma warning(disable: 4584)
#endif  // defined(_MSC_VER)
 
namespace gz
{
  namespace physics
  {
    namespace detail
    {
      // Forward declarations
      template <typename...> struct CombineLists;
      template <bool, typename...> struct SelfConflict;
      template <typename> struct IterateList;
    }
 
    template <typename... FeaturesT>
    struct FeatureList : detail::IterateList<TypeList<FeaturesT...>>
    {
      public: using FlatFeatureTypeList =
          typename detail::CombineLists<FeaturesT...>::Result;
 
      public: using Features =
          typename detail::ToTuple<FlatFeatureTypeList>::type;
 
      public: using FeatureTypeList = TypeList<FeaturesT...>;
 
      public: using FeatureTuple = std::tuple<FeaturesT...>;
 
      public: template <typename F>
      static constexpr bool HasFeature();
 
      public: template <typename SomeFeatureList,
                        bool AssertNoConflict = false>
      static constexpr bool ConflictsWith();
 
      public: using RequiredFeatures = void;
 
      // Check that this FeatureList does not contain any self-conflicts.
      static_assert(!detail::SelfConflict<true, FeaturesT...>::value,
          "FeatureList ERROR: YOUR LIST CONTAINS CONFLICTING FEATURES!");
    };
 
    template <typename... ConflictingFeatures>
    struct FeatureWithConflicts;
 
    template <typename... RequiredFeatures>
    struct FeatureWithRequirements;
  }
}
 
#include <gz/physics/detail/FeatureList.hh>
 
#if defined(_MSC_VER)
#pragma warning(pop)
#endif  // defined(_MSC_VER)
#endif  // GZ_PHYSICS_FEATURELIST_HH_