From 28d6e3e6654725ccb092b11925bd618ed95241c7 Mon Sep 17 00:00:00 2001 From: asuessenbach Date: Tue, 25 Feb 2020 13:52:04 +0100 Subject: [PATCH] Extend check for attributes "deprecatedby" and "obsoletedby" to include features as well --- VulkanHppGenerator.cpp | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) diff --git a/VulkanHppGenerator.cpp b/VulkanHppGenerator.cpp index c9599ac..174d8ab 100644 --- a/VulkanHppGenerator.cpp +++ b/VulkanHppGenerator.cpp @@ -3310,16 +3310,18 @@ void VulkanHppGenerator::checkCorrectness() { if (!extension.second.deprecatedBy.empty()) { - check(m_extensions.find(extension.second.deprecatedBy) != m_extensions.end(), extension.second.xmlLine, "extension deprecated by unknown extension <" + extension.second.deprecatedBy + ">"); + check((m_extensions.find(extension.second.deprecatedBy) != m_extensions.end()) || (m_features.find(extension.second.deprecatedBy) != m_features.end()) + , extension.second.xmlLine, "extension deprecated by to unknown extension/version <" + extension.second.promotedTo + ">"); } if (!extension.second.obsoletedBy.empty()) { - check(m_extensions.find(extension.second.obsoletedBy) != m_extensions.end(), extension.second.xmlLine, "extension obsoleted by unknown extension <" + extension.second.obsoletedBy + ">"); + check((m_extensions.find(extension.second.obsoletedBy) != m_extensions.end()) || (m_features.find(extension.second.obsoletedBy) != m_features.end()) + , extension.second.xmlLine, "extension obsoleted by unknown extension/version <" + extension.second.promotedTo + ">"); } if (!extension.second.promotedTo.empty()) { check((m_extensions.find(extension.second.promotedTo) != m_extensions.end()) || (m_features.find(extension.second.promotedTo) != m_features.end()) - , extension.second.xmlLine, "extension promoted to unknown extension <" + extension.second.promotedTo + ">"); + , extension.second.xmlLine, "extension promoted to unknown extension/version <" + extension.second.promotedTo + ">"); } for (auto const& require : extension.second.requires) {