Corrected handling of attribute "depends" of <require> sections on extending enums. (#1517)

This commit is contained in:
Andreas Süßenbach 2023-02-22 16:20:44 +01:00 committed by GitHub
parent 3853394ffa
commit 2207dc92c6
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 94 additions and 47 deletions

View File

@ -882,14 +882,39 @@ void VulkanHppGenerator::checkEnumCorrectness() const
{ {
if ( !v.protect.empty() ) if ( !v.protect.empty() )
{ {
#if !defined(NDEBUG)
bool checked = false;
#endif
auto extIt = m_extensions.find( v.extension ); auto extIt = m_extensions.find( v.extension );
assert( extIt != m_extensions.end() ); assert( extIt != m_extensions.end() );
auto platformIt = m_platforms.find( extIt->second.platform ); auto platformIt = m_platforms.find( extIt->second.platform );
assert( platformIt != m_platforms.end() ); if ( platformIt != m_platforms.end() )
checkForError( v.protect == platformIt->second.protect, {
v.xmlLine, checkForError( v.protect == platformIt->second.protect,
"attribute <protect> of enum value <" + v.name + "> is \"" + v.protect + "\" but corresponding extension <" + v.extension + v.xmlLine,
"> belongs to platform <" + platformIt->first + "> with protection \"" + platformIt->second.protect + "\"" ); "attribute <protect> of enum value <" + v.name + "> is \"" + v.protect + "\" but corresponding extension <" + v.extension +
"> belongs to platform <" + platformIt->first + "> with protection \"" + platformIt->second.protect + "\"" );
#if !defined( NDEBUG )
checked = true;
#endif
}
for ( auto const & depends : v.depends )
{
extIt = m_extensions.find( depends );
assert( extIt != m_extensions.end() );
platformIt = m_platforms.find( extIt->second.platform );
if ( platformIt != m_platforms.end() )
{
checkForError( v.protect == platformIt->second.protect,
v.xmlLine,
"attribute <protect> of enum value <" + v.name + "> is \"" + v.protect + "\" but corresponding extension <" + v.extension +
"> belongs to platform <" + platformIt->first + "> with protection \"" + platformIt->second.protect + "\"" );
#if !defined( NDEBUG )
checked = true;
#endif
}
}
assert( checked );
} }
} }
} }
@ -10062,8 +10087,19 @@ std::pair<std::string, std::string> VulkanHppGenerator::getPoolTypeAndName( std:
std::string VulkanHppGenerator::getProtect( EnumValueData const & evd ) const std::string VulkanHppGenerator::getProtect( EnumValueData const & evd ) const
{ {
assert( evd.protect.empty() || ( evd.protect == getProtectFromTitle( evd.extension ) ) ); if ( evd.protect.empty() )
return evd.protect.empty() ? getProtectFromTitle( evd.extension ) : evd.protect; {
std::string protect = getProtectFromTitle( evd.extension );
for ( auto dependsIt = evd.depends.begin(); protect.empty() && dependsIt != evd.depends.end(); ++dependsIt )
{
protect = getProtectFromTitle( *dependsIt );
}
return protect;
}
else
{
return evd.protect;
}
} }
std::string VulkanHppGenerator::getProtectFromPlatform( std::string const & platform ) const std::string VulkanHppGenerator::getProtectFromPlatform( std::string const & platform ) const
@ -10718,7 +10754,7 @@ void VulkanHppGenerator::readEnumsEnum( tinyxml2::XMLElement const * element, st
checkForError( name.starts_with( prefix ), line, "encountered enum value <" + name + "> that does not begin with expected prefix <" + prefix + ">" ); checkForError( name.starts_with( prefix ), line, "encountered enum value <" + name + "> that does not begin with expected prefix <" + prefix + ">" );
checkForError( bitpos.empty() ^ value.empty(), line, "invalid set of attributes for enum <" + name + ">" ); checkForError( bitpos.empty() ^ value.empty(), line, "invalid set of attributes for enum <" + name + ">" );
enumIt->second.addEnumValue( line, name, protect, !bitpos.empty(), "" ); enumIt->second.addEnumValue( line, name, protect, !bitpos.empty(), "", {} );
} }
} }
@ -10934,7 +10970,7 @@ void VulkanHppGenerator::readExtensionsExtensionRequire( tinyxml2::XMLElement co
} }
else if ( value == "enum" ) else if ( value == "enum" )
{ {
readRequireEnum( child, extensionIt->first ); readRequireEnum( child, extensionIt->first, depends );
} }
else if ( value == "type" ) else if ( value == "type" )
{ {
@ -11091,7 +11127,7 @@ void VulkanHppGenerator::readFeatureRequire( tinyxml2::XMLElement const * elemen
} }
else if ( value == "enum" ) else if ( value == "enum" )
{ {
readRequireEnum( child, "" ); readRequireEnum( child, "", {} );
} }
else if ( value == "type" ) else if ( value == "type" )
{ {
@ -11594,7 +11630,7 @@ void VulkanHppGenerator::readRequireCommandRemove( tinyxml2::XMLElement const *
} }
} }
void VulkanHppGenerator::readRequireEnum( tinyxml2::XMLElement const * element, std::string const & extensionName ) void VulkanHppGenerator::readRequireEnum( tinyxml2::XMLElement const * element, std::string const & extensionName, std::vector<std::string> const & depends )
{ {
int line = element->GetLineNum(); int line = element->GetLineNum();
std::map<std::string, std::string> attributes = getAttributes( element ); std::map<std::string, std::string> attributes = getAttributes( element );
@ -11733,7 +11769,7 @@ void VulkanHppGenerator::readRequireEnum( tinyxml2::XMLElement const * element,
checkForError( bitpos.empty() + offset.empty() + value.empty() == 2, checkForError( bitpos.empty() + offset.empty() + value.empty() == 2,
line, line,
"exactly one out of bitpos = <" + bitpos + ">, offset = <" + offset + ">, and value = <" + value + "> are supposed to be empty" ); "exactly one out of bitpos = <" + bitpos + ">, offset = <" + offset + ">, and value = <" + value + "> are supposed to be empty" );
enumIt->second.addEnumValue( element->GetLineNum(), name, protect, !bitpos.empty(), extensionName ); enumIt->second.addEnumValue( element->GetLineNum(), name, protect, !bitpos.empty(), extensionName, depends );
} }
else if ( value.empty() ) else if ( value.empty() )
{ {
@ -13072,12 +13108,12 @@ void VulkanHppGenerator::EnumData::addEnumAlias( int line, std::string const & n
} }
void VulkanHppGenerator::EnumData::addEnumValue( void VulkanHppGenerator::EnumData::addEnumValue(
int line, std::string const & valueName, std::string const & protect, bool bitpos, std::string const & extension ) int line, std::string const & valueName, std::string const & protect, bool bitpos, std::string const & extension, std::vector<std::string> const & depends )
{ {
auto valueIt = std::find_if( values.begin(), values.end(), [&valueName]( EnumValueData const & evd ) { return evd.name == valueName; } ); auto valueIt = std::find_if( values.begin(), values.end(), [&valueName]( EnumValueData const & evd ) { return evd.name == valueName; } );
if ( valueIt == values.end() ) if ( valueIt == values.end() )
{ {
values.emplace_back( line, valueName, protect, extension, bitpos ); values.emplace_back( line, valueName, protect, extension, depends, bitpos );
} }
} }

View File

@ -200,22 +200,33 @@ private:
struct EnumValueData struct EnumValueData
{ {
EnumValueData( int line, std::string const & name_, std::string const & protect_, std::string const & extension_, bool singleBit_ ) EnumValueData( int line,
: name( name_ ), extension( extension_ ), protect( protect_ ), singleBit( singleBit_ ), xmlLine( line ) std::string const & name_,
std::string const & protect_,
std::string const & extension_,
std::vector<std::string> const & depends_,
bool singleBit_ )
: name( name_ ), depends( depends_ ), extension( extension_ ), protect( protect_ ), singleBit( singleBit_ ), xmlLine( line )
{ {
} }
std::string name; std::string name;
std::string extension; std::vector<std::string> depends;
std::string protect; std::string extension;
bool singleBit; std::string protect;
int xmlLine; bool singleBit;
int xmlLine;
}; };
struct EnumData struct EnumData
{ {
void addEnumAlias( int line, std::string const & name, std::string const & alias ); void addEnumAlias( int line, std::string const & name, std::string const & alias );
void addEnumValue( int line, std::string const & valueName, std::string const & protect, bool bitpos, std::string const & extension ); void addEnumValue( int line,
std::string const & valueName,
std::string const & protect,
bool bitpos,
std::string const & extension,
std::vector<std::string> const & depends );
std::string alias = {}; // alias for this enum std::string alias = {}; // alias for this enum
std::map<std::string, EnumAliasData> aliases = {}; // aliases for the values std::map<std::string, EnumAliasData> aliases = {}; // aliases for the values
@ -950,31 +961,31 @@ private:
void readRegistry( tinyxml2::XMLElement const * element ); void readRegistry( tinyxml2::XMLElement const * element );
void readRequireCommand( tinyxml2::XMLElement const * element, std::string const & title, RequireData & requireData ); void readRequireCommand( tinyxml2::XMLElement const * element, std::string const & title, RequireData & requireData );
void readRequireCommandRemove( tinyxml2::XMLElement const * element ); void readRequireCommandRemove( tinyxml2::XMLElement const * element );
void readRequireEnum( tinyxml2::XMLElement const * element, std::string const & extensionName ); void readRequireEnum( tinyxml2::XMLElement const * element, std::string const & extensionName, std::vector<std::string> const & depends );
void readRequireEnumRemove( tinyxml2::XMLElement const * element ); void readRequireEnumRemove( tinyxml2::XMLElement const * element );
void readRequireTypeRemove( tinyxml2::XMLElement const * element ); void readRequireTypeRemove( tinyxml2::XMLElement const * element );
void readSPIRVCapabilities( tinyxml2::XMLElement const * element ); void readSPIRVCapabilities( tinyxml2::XMLElement const * element );
void readSPIRVCapabilitiesSPIRVCapability( tinyxml2::XMLElement const * element ); void readSPIRVCapabilitiesSPIRVCapability( tinyxml2::XMLElement const * element );
void readSPIRVCapabilitiesSPIRVCapabilityEnable( tinyxml2::XMLElement const * element ); void readSPIRVCapabilitiesSPIRVCapabilityEnable( tinyxml2::XMLElement const * element );
void readSPIRVCapabilitiesSPIRVCapabilityEnableExtension( int xmlLine, std::map<std::string, std::string> const & attributes ); void readSPIRVCapabilitiesSPIRVCapabilityEnableExtension( int xmlLine, std::map<std::string, std::string> const & attributes );
void readSPIRVCapabilitiesSPIRVCapabilityEnableProperty( int xmlLine, std::map<std::string, std::string> const & attributes ); void readSPIRVCapabilitiesSPIRVCapabilityEnableProperty( int xmlLine, std::map<std::string, std::string> const & attributes );
void readSPIRVCapabilitiesSPIRVCapabilityEnableStruct( int xmlLine, std::map<std::string, std::string> const & attributes ); void readSPIRVCapabilitiesSPIRVCapabilityEnableStruct( int xmlLine, std::map<std::string, std::string> const & attributes );
void readSPIRVCapabilitiesSPIRVCapabilityEnableVersion( int xmlLine, std::map<std::string, std::string> const & attributes ); void readSPIRVCapabilitiesSPIRVCapabilityEnableVersion( int xmlLine, std::map<std::string, std::string> const & attributes );
void readSPIRVExtensions( tinyxml2::XMLElement const * element ); void readSPIRVExtensions( tinyxml2::XMLElement const * element );
void readSPIRVExtensionsExtension( tinyxml2::XMLElement const * element ); void readSPIRVExtensionsExtension( tinyxml2::XMLElement const * element );
void readSPIRVExtensionsExtensionEnable( tinyxml2::XMLElement const * element ); void readSPIRVExtensionsExtensionEnable( tinyxml2::XMLElement const * element );
void readTags( tinyxml2::XMLElement const * element ); void readTags( tinyxml2::XMLElement const * element );
void readTagsTag( tinyxml2::XMLElement const * element ); void readTagsTag( tinyxml2::XMLElement const * element );
void readTypes( tinyxml2::XMLElement const * element ); void readTypes( tinyxml2::XMLElement const * element );
void readTypesType( tinyxml2::XMLElement const * element ); void readTypesType( tinyxml2::XMLElement const * element );
void readTypesTypeBasetype( tinyxml2::XMLElement const * element, std::map<std::string, std::string> const & attributes ); void readTypesTypeBasetype( tinyxml2::XMLElement const * element, std::map<std::string, std::string> const & attributes );
void readTypesTypeBitmask( tinyxml2::XMLElement const * element, std::map<std::string, std::string> const & attributes ); void readTypesTypeBitmask( tinyxml2::XMLElement const * element, std::map<std::string, std::string> const & attributes );
void readTypesTypeDefine( tinyxml2::XMLElement const * element, std::map<std::string, std::string> const & attributes ); void readTypesTypeDefine( tinyxml2::XMLElement const * element, std::map<std::string, std::string> const & attributes );
void readTypesTypeEnum( tinyxml2::XMLElement const * element, std::map<std::string, std::string> const & attributes ); void readTypesTypeEnum( tinyxml2::XMLElement const * element, std::map<std::string, std::string> const & attributes );
void readTypesTypeFuncpointer( tinyxml2::XMLElement const * element, std::map<std::string, std::string> const & attributes ); void readTypesTypeFuncpointer( tinyxml2::XMLElement const * element, std::map<std::string, std::string> const & attributes );
void readTypesTypeHandle( tinyxml2::XMLElement const * element, std::map<std::string, std::string> const & attributes ); void readTypesTypeHandle( tinyxml2::XMLElement const * element, std::map<std::string, std::string> const & attributes );
void readTypesTypeInclude( tinyxml2::XMLElement const * element, std::map<std::string, std::string> const & attributes ); void readTypesTypeInclude( tinyxml2::XMLElement const * element, std::map<std::string, std::string> const & attributes );
void readTypesTypeRequires( tinyxml2::XMLElement const * element, std::map<std::string, std::string> const & attributes ); void readTypesTypeRequires( tinyxml2::XMLElement const * element, std::map<std::string, std::string> const & attributes );
void readTypesTypeStruct( tinyxml2::XMLElement const * element, bool isUnion, std::map<std::string, std::string> const & attributes ); void readTypesTypeStruct( tinyxml2::XMLElement const * element, bool isUnion, std::map<std::string, std::string> const & attributes );
void readTypesTypeStructMember( tinyxml2::XMLElement const * element, std::vector<MemberData> & members, bool isUnion ); void readTypesTypeStructMember( tinyxml2::XMLElement const * element, std::vector<MemberData> & members, bool isUnion );
void readTypesTypeStructMemberEnum( tinyxml2::XMLElement const * element, MemberData & memberData ); void readTypesTypeStructMemberEnum( tinyxml2::XMLElement const * element, MemberData & memberData );