component.h

/*****************************************************************************
 * VCLib                                                                     *
 * Visual Computing Library                                                  *
 *                                                                           *
 * Copyright(C) 2021-2025                                                    *
 * Visual Computing Lab                                                      *
 * ISTI - Italian National Research Council                                  *
 *                                                                           *
 * All rights reserved.                                                      *
 *                                                                           *
 * This program is free software; you can redistribute it and/or modify      *
 * it under the terms of the Mozilla Public License Version 2.0 as published *
 * by the Mozilla Foundation; either version 2 of the License, or            *
 * (at your option) any later version.                                       *
 *                                                                           *
 * This program is distributed in the hope that it will be useful,           *
 * but WITHOUT ANY WARRANTY; without even the implied warranty of            *
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the              *
 * Mozilla Public License Version 2.0                                        *
 * (https://www.mozilla.org/en-US/MPL/2.0/) for more details.                *
 ****************************************************************************/
 
#ifndef VCL_CONCEPTS_MESH_COMPONENTS_COMPONENT_H
#define VCL_CONCEPTS_MESH_COMPONENTS_COMPONENT_H
 
#include <vclib/types.h>
 
namespace vcl::comp {
 
template<typename T>
concept ComponentConcept = requires {
    { RemoveRef<T>::COMPONENT_ID } -> std::same_as<const uint&>;
};
 
template<typename T>
concept IsVerticalComponent =
    ComponentConcept<T> && RemoveRef<T>::IS_VERTICAL == true && requires {
        typename RemoveRef<T>::DataValueType;
        { RemoveRef<T>::IS_VERTICAL } -> std::same_as<const bool&>;
    };
 
template<typename T>
concept IsOptionalComponent =
    IsVerticalComponent<T> && RemoveRef<T>::IS_OPTIONAL == true && requires {
        { RemoveRef<T>::IS_OPTIONAL } -> std::same_as<const bool&>;
    };
 
template<typename T>
concept HasInitMemberFunction = ComponentConcept<T> && requires (T&& obj) {
    { obj.init() } -> std::same_as<void>;
};
 
template<typename T>
concept HasIsAvailableMemberFunction =
    ComponentConcept<T> && requires (T&& obj) {
        { obj.isAvailable() } -> std::same_as<bool>;
    };
 
template<typename T>
concept IsTiedToVertexNumber =
    ComponentConcept<T> && RemoveRef<T>::TIED_TO_VERTEX_NUMBER;
 
template<typename T, typename R>
concept HasReferencesOfType =
    ComponentConcept<T> &&
    std::is_base_of<ReferencesComponentTriggerer<RemoveRef<R>>, RemoveRef<T>>::
        value;
 
template<typename T, typename R>
concept HasOptionalReferencesOfType =
    HasReferencesOfType<T, R> && IsOptionalComponent<T>;
 
template<typename T, typename R>
concept HasPointersOfType = HasReferencesOfType<T, R> && requires (T&& obj) {
    obj.template pointers<RemoveRef<R>>();
};
 
template<typename T, typename R>
concept HasOptionalPointersOfType =
    IsOptionalComponent<T> && HasPointersOfType<T, R>;
 
template<typename T, typename R>
concept HasIndicesOfType = HasReferencesOfType<T, R> && requires (T&& obj) {
    obj.template indices<RemoveRef<R>>();
};
 
template<typename T, typename R>
concept HasOptionalIndicesOfType =
    IsOptionalComponent<T> && HasIndicesOfType<T, R>;
 
// ======== Has Component Concepts ======== //
// Concepts that needs to be called on a type T that has the "Components" type
// defined as a TypeWrapper of components. The type T is generally a Mesh or a
// MeshElement.
 
template<typename T, uint COMP_ID>
concept HasComponentOfType = detail::
    ComponentOfTypePred<COMP_ID, typename RemoveRef<T>::Components>::value;
 
template<typename T, uint COMP_ID>
concept HasVerticalComponentOfType =
    HasComponentOfType<T, COMP_ID> &&
    IsVerticalComponent<
        ComponentOfType<COMP_ID, typename RemoveRef<T>::Components>>;
 
template<typename T, uint COMP_ID>
concept HasOptionalComponentOfType =
    HasComponentOfType<T, COMP_ID> &&
    IsOptionalComponent<
        ComponentOfType<COMP_ID, typename RemoveRef<T>::Components>>;
 
} // namespace vcl::comp
 
#endif // VCL_CONCEPTS_MESH_COMPONENTS_COMPONENT_H