Document 'promotedto', 'deprecatedby' and 'obsoletedby' <extension> attributes

This commit is contained in:
Petr Kraus 2018-03-26 14:17:15 +02:00
parent cbb743537e
commit fe20b27df1
2 changed files with 21 additions and 0 deletions

View File

@ -1137,6 +1137,15 @@ be implemented against.
tag:feature tags. When the extension tag is just reserving an extension
number, and no interfaces are yet defined, use `supported="disabled"` to
indicate this extension should never be processed.
* attr:promotedto - optional. A Vulkan version or a name of an extension
that this extension was _promoted_ to; e.g. 'VK_VERSION_1_1', or
'VK_KHR_draw_indirect_county'.
* attr:deprecatedby - optional. A Vulkan version or a name of an extension
that _deprecates_ this extension. It may be an empty string. e.g.
'VK_VERSION_1_1', or 'VK_EXT_debug_utils', or ''.
* attr:obsoletedby - optional. A Vulkan version or a name of an extension
that _obsoletes_ this extension. It may be an empty string. e.g.
'VK_VERSION_1_1', or 'VK_KHR_maintenance1', or ''.
* attr:comment - optional. Arbitrary string (unused).

View File

@ -421,6 +421,15 @@ Extensions = element extensions {
# "1.1". Defaults to "1.0".
# supported - profile name(s) supporting this extension, e.g. 'vulkan'
# or 'disabled' to never generate output.
# promotedto - Vulkan version or a name of an extension that this
# extension was promoted to; e.g. 'VK_VERSION_1_1', or
# 'VK_KHR_draw_indirect_county'
# deprecatedby - Vulkan version or a name of an extension that deprecates
# this extension. It may be empty string.
# e.g. 'VK_VERSION_1_1', or 'VK_EXT_debug_utils', or ''
# obsoletedby - Vulkan version or a name of an extension that obsoletes
# this extension. It may be empty string.
# e.g. 'VK_VERSION_1_1', or 'VK_EXT_debug_utils', or ''
# In addition, <require> / <remove> tags also support an api attribute:
# api - only require/remove these features for the matching API.
# Not a regular expression.
@ -435,6 +444,9 @@ Extension = element extension {
attribute requires { text } ? ,
attribute requiresCore { text } ? ,
attribute supported { StringGroup } ? ,
attribute promotedto { text } ? ,
attribute deprecatedby { text } ? ,
attribute obsoletedby { text } ? ,
Comment ? ,
(
element require {