From 825bc59313338aaec0c449f31779c2352559121b Mon Sep 17 00:00:00 2001 From: asuessenbach Date: Wed, 27 Apr 2022 14:30:52 +0200 Subject: [PATCH] Add check that every member type of a struct that begins with "Vk" is listed in a feature or extension. --- VulkanHppGenerator.cpp | 30 ++++++++++++++++++++++++++++++ 1 file changed, 30 insertions(+) diff --git a/VulkanHppGenerator.cpp b/VulkanHppGenerator.cpp index ecd82e4..810fa77 100644 --- a/VulkanHppGenerator.cpp +++ b/VulkanHppGenerator.cpp @@ -1805,6 +1805,36 @@ void VulkanHppGenerator::checkStructMemberCorrectness( std::string const & { for ( auto const & member : members ) { + // check that all member types are required in some feature or extension + check( + !beginsWith( member.type.type, "Vk" ) || + ( std::find_if( m_features.begin(), + m_features.end(), + [&member]( std::pair const & fd ) + { + return std::find_if( fd.second.requireData.begin(), + fd.second.requireData.end(), + [&member]( RequireData const & rd ) { + return std::find_if( rd.types.begin(), + rd.types.end(), + [&member]( std::string const & t ) { return t == member.type.type; } ) != rd.types.end(); + } ) != fd.second.requireData.end(); + } ) != m_features.end() ) || + ( std::find_if( m_extensions.begin(), + m_extensions.end(), + [&member]( std::pair const & ed ) + { + return std::find_if( ed.second.requireData.begin(), + ed.second.requireData.end(), + [&member]( RequireData const & rd ) { + return std::find_if( rd.types.begin(), + rd.types.end(), + [&member]( std::string const & t ) { return t == member.type.type; } ) != rd.types.end(); + } ) != ed.second.requireData.end(); + } ) != m_extensions.end() ), + member.xmlLine, + "struct member type <" + member.type.type + "> used in struct <" + structureName + "> is never listed for any feature or extension" ); + // if a member specifies a selector, that member is a union and the selector is an enum // check that there's a 1-1 connection between the specified selections and the values of that enum if ( !member.selector.empty() )