From c63e92b9ef52bcf31bc5bd4281f6388562d335ef Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Vladim=C3=ADr=20Vondru=C5=A1?= Date: Thu, 27 Apr 2017 00:01:06 +0200 Subject: [PATCH] Updates for ASTC texture support in ES 3.2. --- src/Magnum/PixelFormat.h | 56 +++++++++++++++++++------------------- src/Magnum/TextureFormat.h | 56 +++++++++++++++++++------------------- 2 files changed, 56 insertions(+), 56 deletions(-) diff --git a/src/Magnum/PixelFormat.h b/src/Magnum/PixelFormat.h index bac21b03a..503811d02 100644 --- a/src/Magnum/PixelFormat.h +++ b/src/Magnum/PixelFormat.h @@ -830,7 +830,7 @@ enum class CompressedPixelFormat: GLenum { * @requires_extension Extension @extension2{KHR,texture_compression_astc_ldr,texture_compression_astc_hdr} * @requires_extension Extension @extension{KHR,texture_compression_astc_hdr} * for 3D textures and HDR profile - * @requires_es_extension Extension @extension{ANDROID,extension_pack_es31a}/ + * @requires_gles32 Extension @extension{ANDROID,extension_pack_es31a} / * @extension2{KHR,texture_compression_astc_ldr,texture_compression_astc_hdr} * @requires_es_extension Extension @extension2{KHR,texture_compression_astc_hdr,texture_compression_astc_hdr} * for 3D textures and HDR profile @@ -844,7 +844,7 @@ enum class CompressedPixelFormat: GLenum { * @requires_extension Extension @extension2{KHR,texture_compression_astc_ldr,texture_compression_astc_hdr} * @requires_extension Extension @extension{KHR,texture_compression_astc_hdr} * for 3D textures and HDR profile - * @requires_es_extension Extension @extension{ANDROID,extension_pack_es31a}/ + * @requires_gles32 Extension @extension{ANDROID,extension_pack_es31a} / * @extension2{KHR,texture_compression_astc_ldr,texture_compression_astc_hdr} * @requires_es_extension Extension @extension2{KHR,texture_compression_astc_hdr,texture_compression_astc_hdr} * for 3D textures and HDR profile @@ -858,7 +858,7 @@ enum class CompressedPixelFormat: GLenum { * @requires_extension Extension @extension2{KHR,texture_compression_astc_ldr,texture_compression_astc_hdr} * @requires_extension Extension @extension{KHR,texture_compression_astc_hdr} * for 3D textures and HDR profile - * @requires_es_extension Extension @extension{ANDROID,extension_pack_es31a}/ + * @requires_gles32 Extension @extension{ANDROID,extension_pack_es31a} / * @extension2{KHR,texture_compression_astc_ldr,texture_compression_astc_hdr} * @requires_es_extension Extension @extension2{KHR,texture_compression_astc_hdr,texture_compression_astc_hdr} * for 3D textures and HDR profile @@ -872,7 +872,7 @@ enum class CompressedPixelFormat: GLenum { * @requires_extension Extension @extension2{KHR,texture_compression_astc_ldr,texture_compression_astc_hdr} * @requires_extension Extension @extension{KHR,texture_compression_astc_hdr} * for 3D textures and HDR profile - * @requires_es_extension Extension @extension{ANDROID,extension_pack_es31a}/ + * @requires_gles32 Extension @extension{ANDROID,extension_pack_es31a} / * @extension2{KHR,texture_compression_astc_ldr,texture_compression_astc_hdr} * @requires_es_extension Extension @extension2{KHR,texture_compression_astc_hdr,texture_compression_astc_hdr} * for 3D textures and HDR profile @@ -886,7 +886,7 @@ enum class CompressedPixelFormat: GLenum { * @requires_extension Extension @extension2{KHR,texture_compression_astc_ldr,texture_compression_astc_hdr} * @requires_extension Extension @extension{KHR,texture_compression_astc_hdr} * for 3D textures and HDR profile - * @requires_es_extension Extension @extension{ANDROID,extension_pack_es31a}/ + * @requires_gles32 Extension @extension{ANDROID,extension_pack_es31a} / * @extension2{KHR,texture_compression_astc_ldr,texture_compression_astc_hdr} * @requires_es_extension Extension @extension2{KHR,texture_compression_astc_hdr,texture_compression_astc_hdr} * for 3D textures and HDR profile @@ -900,7 +900,7 @@ enum class CompressedPixelFormat: GLenum { * @requires_extension Extension @extension2{KHR,texture_compression_astc_ldr,texture_compression_astc_hdr} * @requires_extension Extension @extension{KHR,texture_compression_astc_hdr} * for 3D textures and HDR profile - * @requires_es_extension Extension @extension{ANDROID,extension_pack_es31a}/ + * @requires_gles32 Extension @extension{ANDROID,extension_pack_es31a} / * @extension2{KHR,texture_compression_astc_ldr,texture_compression_astc_hdr} * @requires_es_extension Extension @extension2{KHR,texture_compression_astc_hdr,texture_compression_astc_hdr} * for 3D textures and HDR profile @@ -914,7 +914,7 @@ enum class CompressedPixelFormat: GLenum { * @requires_extension Extension @extension2{KHR,texture_compression_astc_ldr,texture_compression_astc_hdr} * @requires_extension Extension @extension{KHR,texture_compression_astc_hdr} * for 3D textures and HDR profile - * @requires_es_extension Extension @extension{ANDROID,extension_pack_es31a}/ + * @requires_gles32 Extension @extension{ANDROID,extension_pack_es31a} / * @extension2{KHR,texture_compression_astc_ldr,texture_compression_astc_hdr} * @requires_es_extension Extension @extension2{KHR,texture_compression_astc_hdr,texture_compression_astc_hdr} * for 3D textures and HDR profile @@ -928,7 +928,7 @@ enum class CompressedPixelFormat: GLenum { * @requires_extension Extension @extension2{KHR,texture_compression_astc_ldr,texture_compression_astc_hdr} * @requires_extension Extension @extension{KHR,texture_compression_astc_hdr} * for 3D textures and HDR profile - * @requires_es_extension Extension @extension{ANDROID,extension_pack_es31a}/ + * @requires_gles32 Extension @extension{ANDROID,extension_pack_es31a} / * @extension2{KHR,texture_compression_astc_ldr,texture_compression_astc_hdr} * @requires_es_extension Extension @extension2{KHR,texture_compression_astc_hdr,texture_compression_astc_hdr} * for 3D textures and HDR profile @@ -942,7 +942,7 @@ enum class CompressedPixelFormat: GLenum { * @requires_extension Extension @extension2{KHR,texture_compression_astc_ldr,texture_compression_astc_hdr} * @requires_extension Extension @extension{KHR,texture_compression_astc_hdr} * for 3D textures and HDR profile - * @requires_es_extension Extension @extension{ANDROID,extension_pack_es31a}/ + * @requires_gles32 Extension @extension{ANDROID,extension_pack_es31a} / * @extension2{KHR,texture_compression_astc_ldr,texture_compression_astc_hdr} * @requires_es_extension Extension @extension2{KHR,texture_compression_astc_hdr,texture_compression_astc_hdr} * for 3D textures and HDR profile @@ -956,7 +956,7 @@ enum class CompressedPixelFormat: GLenum { * @requires_extension Extension @extension2{KHR,texture_compression_astc_ldr,texture_compression_astc_hdr} * @requires_extension Extension @extension{KHR,texture_compression_astc_hdr} * for 3D textures and HDR profile - * @requires_es_extension Extension @extension{ANDROID,extension_pack_es31a}/ + * @requires_gles32 Extension @extension{ANDROID,extension_pack_es31a} / * @extension2{KHR,texture_compression_astc_ldr,texture_compression_astc_hdr} * @requires_es_extension Extension @extension2{KHR,texture_compression_astc_hdr,texture_compression_astc_hdr} * for 3D textures and HDR profile @@ -970,7 +970,7 @@ enum class CompressedPixelFormat: GLenum { * @requires_extension Extension @extension2{KHR,texture_compression_astc_ldr,texture_compression_astc_hdr} * @requires_extension Extension @extension{KHR,texture_compression_astc_hdr} * for 3D textures and HDR profile - * @requires_es_extension Extension @extension{ANDROID,extension_pack_es31a}/ + * @requires_gles32 Extension @extension{ANDROID,extension_pack_es31a} / * @extension2{KHR,texture_compression_astc_ldr,texture_compression_astc_hdr} * @requires_es_extension Extension @extension2{KHR,texture_compression_astc_hdr,texture_compression_astc_hdr} * for 3D textures and HDR profile @@ -984,7 +984,7 @@ enum class CompressedPixelFormat: GLenum { * @requires_extension Extension @extension2{KHR,texture_compression_astc_ldr,texture_compression_astc_hdr} * @requires_extension Extension @extension{KHR,texture_compression_astc_hdr} * for 3D textures and HDR profile - * @requires_es_extension Extension @extension{ANDROID,extension_pack_es31a}/ + * @requires_gles32 Extension @extension{ANDROID,extension_pack_es31a} / * @extension2{KHR,texture_compression_astc_ldr,texture_compression_astc_hdr} * @requires_es_extension Extension @extension2{KHR,texture_compression_astc_hdr,texture_compression_astc_hdr} * for 3D textures and HDR profile @@ -998,7 +998,7 @@ enum class CompressedPixelFormat: GLenum { * @requires_extension Extension @extension2{KHR,texture_compression_astc_ldr,texture_compression_astc_hdr} * @requires_extension Extension @extension{KHR,texture_compression_astc_hdr} * for 3D textures and HDR profile - * @requires_es_extension Extension @extension{ANDROID,extension_pack_es31a}/ + * @requires_gles32 Extension @extension{ANDROID,extension_pack_es31a} / * @extension2{KHR,texture_compression_astc_ldr,texture_compression_astc_hdr} * @requires_es_extension Extension @extension2{KHR,texture_compression_astc_hdr,texture_compression_astc_hdr} * for 3D textures and HDR profile @@ -1012,7 +1012,7 @@ enum class CompressedPixelFormat: GLenum { * @requires_extension Extension @extension2{KHR,texture_compression_astc_ldr,texture_compression_astc_hdr} * @requires_extension Extension @extension{KHR,texture_compression_astc_hdr} * for 3D textures and HDR profile - * @requires_es_extension Extension @extension{ANDROID,extension_pack_es31a}/ + * @requires_gles32 Extension @extension{ANDROID,extension_pack_es31a} / * @extension2{KHR,texture_compression_astc_ldr,texture_compression_astc_hdr} * @requires_es_extension Extension @extension2{KHR,texture_compression_astc_hdr,texture_compression_astc_hdr} * for 3D textures and HDR profile @@ -1026,7 +1026,7 @@ enum class CompressedPixelFormat: GLenum { * @requires_extension Extension @extension2{KHR,texture_compression_astc_ldr,texture_compression_astc_hdr} * @requires_extension Extension @extension{KHR,texture_compression_astc_hdr} * for 3D textures and HDR profile - * @requires_es_extension Extension @extension{ANDROID,extension_pack_es31a}/ + * @requires_gles32 Extension @extension{ANDROID,extension_pack_es31a} / * @extension2{KHR,texture_compression_astc_ldr,texture_compression_astc_hdr} * @requires_es_extension Extension @extension2{KHR,texture_compression_astc_hdr,texture_compression_astc_hdr} * for 3D textures and HDR profile @@ -1040,7 +1040,7 @@ enum class CompressedPixelFormat: GLenum { * @requires_extension Extension @extension2{KHR,texture_compression_astc_ldr,texture_compression_astc_hdr} * @requires_extension Extension @extension{KHR,texture_compression_astc_hdr} * for 3D textures and HDR profile - * @requires_es_extension Extension @extension{ANDROID,extension_pack_es31a}/ + * @requires_gles32 Extension @extension{ANDROID,extension_pack_es31a} / * @extension2{KHR,texture_compression_astc_ldr,texture_compression_astc_hdr} * @requires_es_extension Extension @extension2{KHR,texture_compression_astc_hdr,texture_compression_astc_hdr} * for 3D textures and HDR profile @@ -1054,7 +1054,7 @@ enum class CompressedPixelFormat: GLenum { * @requires_extension Extension @extension2{KHR,texture_compression_astc_ldr,texture_compression_astc_hdr} * @requires_extension Extension @extension{KHR,texture_compression_astc_hdr} * for 3D textures and HDR profile - * @requires_es_extension Extension @extension{ANDROID,extension_pack_es31a}/ + * @requires_gles32 Extension @extension{ANDROID,extension_pack_es31a} / * @extension2{KHR,texture_compression_astc_ldr,texture_compression_astc_hdr} * @requires_es_extension Extension @extension2{KHR,texture_compression_astc_hdr,texture_compression_astc_hdr} * for 3D textures and HDR profile @@ -1068,7 +1068,7 @@ enum class CompressedPixelFormat: GLenum { * @requires_extension Extension @extension2{KHR,texture_compression_astc_ldr,texture_compression_astc_hdr} * @requires_extension Extension @extension{KHR,texture_compression_astc_hdr} * for 3D textures and HDR profile - * @requires_es_extension Extension @extension{ANDROID,extension_pack_es31a}/ + * @requires_gles32 Extension @extension{ANDROID,extension_pack_es31a} / * @extension2{KHR,texture_compression_astc_ldr,texture_compression_astc_hdr} * @requires_es_extension Extension @extension2{KHR,texture_compression_astc_hdr,texture_compression_astc_hdr} * for 3D textures and HDR profile @@ -1082,7 +1082,7 @@ enum class CompressedPixelFormat: GLenum { * @requires_extension Extension @extension2{KHR,texture_compression_astc_ldr,texture_compression_astc_hdr} * @requires_extension Extension @extension{KHR,texture_compression_astc_hdr} * for 3D textures and HDR profile - * @requires_es_extension Extension @extension{ANDROID,extension_pack_es31a}/ + * @requires_gles32 Extension @extension{ANDROID,extension_pack_es31a} / * @extension2{KHR,texture_compression_astc_ldr,texture_compression_astc_hdr} * @requires_es_extension Extension @extension2{KHR,texture_compression_astc_hdr,texture_compression_astc_hdr} * for 3D textures and HDR profile @@ -1096,7 +1096,7 @@ enum class CompressedPixelFormat: GLenum { * @requires_extension Extension @extension2{KHR,texture_compression_astc_ldr,texture_compression_astc_hdr} * @requires_extension Extension @extension{KHR,texture_compression_astc_hdr} * for 3D textures and HDR profile - * @requires_es_extension Extension @extension{ANDROID,extension_pack_es31a}/ + * @requires_gles32 Extension @extension{ANDROID,extension_pack_es31a} / * @extension2{KHR,texture_compression_astc_ldr,texture_compression_astc_hdr} * @requires_es_extension Extension @extension2{KHR,texture_compression_astc_hdr,texture_compression_astc_hdr} * for 3D textures and HDR profile @@ -1110,7 +1110,7 @@ enum class CompressedPixelFormat: GLenum { * @requires_extension Extension @extension2{KHR,texture_compression_astc_ldr,texture_compression_astc_hdr} * @requires_extension Extension @extension{KHR,texture_compression_astc_hdr} * for 3D textures and HDR profile - * @requires_es_extension Extension @extension{ANDROID,extension_pack_es31a}/ + * @requires_gles32 Extension @extension{ANDROID,extension_pack_es31a} / * @extension2{KHR,texture_compression_astc_ldr,texture_compression_astc_hdr} * @requires_es_extension Extension @extension2{KHR,texture_compression_astc_hdr,texture_compression_astc_hdr} * for 3D textures and HDR profile @@ -1124,7 +1124,7 @@ enum class CompressedPixelFormat: GLenum { * @requires_extension Extension @extension2{KHR,texture_compression_astc_ldr,texture_compression_astc_hdr} * @requires_extension Extension @extension{KHR,texture_compression_astc_hdr} * for 3D textures and HDR profile - * @requires_es_extension Extension @extension{ANDROID,extension_pack_es31a}/ + * @requires_gles32 Extension @extension{ANDROID,extension_pack_es31a} / * @extension2{KHR,texture_compression_astc_ldr,texture_compression_astc_hdr} * @requires_es_extension Extension @extension2{KHR,texture_compression_astc_hdr,texture_compression_astc_hdr} * for 3D textures and HDR profile @@ -1138,7 +1138,7 @@ enum class CompressedPixelFormat: GLenum { * @requires_extension Extension @extension2{KHR,texture_compression_astc_ldr,texture_compression_astc_hdr} * @requires_extension Extension @extension{KHR,texture_compression_astc_hdr} * for 3D textures and HDR profile - * @requires_es_extension Extension @extension{ANDROID,extension_pack_es31a}/ + * @requires_gles32 Extension @extension{ANDROID,extension_pack_es31a} / * @extension2{KHR,texture_compression_astc_ldr,texture_compression_astc_hdr} * @requires_es_extension Extension @extension2{KHR,texture_compression_astc_hdr,texture_compression_astc_hdr} * for 3D textures and HDR profile @@ -1152,7 +1152,7 @@ enum class CompressedPixelFormat: GLenum { * @requires_extension Extension @extension2{KHR,texture_compression_astc_ldr,texture_compression_astc_hdr} * @requires_extension Extension @extension{KHR,texture_compression_astc_hdr} * for 3D textures and HDR profile - * @requires_es_extension Extension @extension{ANDROID,extension_pack_es31a}/ + * @requires_gles32 Extension @extension{ANDROID,extension_pack_es31a} / * @extension2{KHR,texture_compression_astc_ldr,texture_compression_astc_hdr} * @requires_es_extension Extension @extension2{KHR,texture_compression_astc_hdr,texture_compression_astc_hdr} * for 3D textures and HDR profile @@ -1166,7 +1166,7 @@ enum class CompressedPixelFormat: GLenum { * @requires_extension Extension @extension2{KHR,texture_compression_astc_ldr,texture_compression_astc_hdr} * @requires_extension Extension @extension{KHR,texture_compression_astc_hdr} * for 3D textures and HDR profile - * @requires_es_extension Extension @extension{ANDROID,extension_pack_es31a}/ + * @requires_gles32 Extension @extension{ANDROID,extension_pack_es31a} / * @extension2{KHR,texture_compression_astc_ldr,texture_compression_astc_hdr} * @requires_es_extension Extension @extension2{KHR,texture_compression_astc_hdr,texture_compression_astc_hdr} * for 3D textures and HDR profile @@ -1180,7 +1180,7 @@ enum class CompressedPixelFormat: GLenum { * @requires_extension Extension @extension2{KHR,texture_compression_astc_ldr,texture_compression_astc_hdr} * @requires_extension Extension @extension{KHR,texture_compression_astc_hdr} * for 3D textures and HDR profile - * @requires_es_extension Extension @extension{ANDROID,extension_pack_es31a}/ + * @requires_gles32 Extension @extension{ANDROID,extension_pack_es31a} / * @extension2{KHR,texture_compression_astc_ldr,texture_compression_astc_hdr} * @requires_es_extension Extension @extension2{KHR,texture_compression_astc_hdr,texture_compression_astc_hdr} * for 3D textures and HDR profile @@ -1194,7 +1194,7 @@ enum class CompressedPixelFormat: GLenum { * @requires_extension Extension @extension2{KHR,texture_compression_astc_ldr,texture_compression_astc_hdr} * @requires_extension Extension @extension{KHR,texture_compression_astc_hdr} * for 3D textures and HDR profile - * @requires_es_extension Extension @extension{ANDROID,extension_pack_es31a}/ + * @requires_gles32 Extension @extension{ANDROID,extension_pack_es31a} / * @extension2{KHR,texture_compression_astc_ldr,texture_compression_astc_hdr} * @requires_es_extension Extension @extension2{KHR,texture_compression_astc_hdr,texture_compression_astc_hdr} * for 3D textures and HDR profile @@ -1208,7 +1208,7 @@ enum class CompressedPixelFormat: GLenum { * @requires_extension Extension @extension2{KHR,texture_compression_astc_ldr,texture_compression_astc_hdr} * @requires_extension Extension @extension{KHR,texture_compression_astc_hdr} * for 3D textures and HDR profile - * @requires_es_extension Extension @extension{ANDROID,extension_pack_es31a}/ + * @requires_gles32 Extension @extension{ANDROID,extension_pack_es31a} / * @extension2{KHR,texture_compression_astc_ldr,texture_compression_astc_hdr} * @requires_es_extension Extension @extension2{KHR,texture_compression_astc_hdr,texture_compression_astc_hdr} * for 3D textures and HDR profile diff --git a/src/Magnum/TextureFormat.h b/src/Magnum/TextureFormat.h index 2693852fc..5dfe2c5df 100644 --- a/src/Magnum/TextureFormat.h +++ b/src/Magnum/TextureFormat.h @@ -1082,7 +1082,7 @@ enum class TextureFormat: GLenum { * @requires_extension Extension @extension2{KHR,texture_compression_astc_ldr,texture_compression_astc_hdr} * @requires_extension Extension @extension{KHR,texture_compression_astc_hdr} * for 3D textures and HDR profile - * @requires_es_extension Extension @extension{ANDROID,extension_pack_es31a}/ + * @requires_gles32 Extension @extension{ANDROID,extension_pack_es31a} / * @extension2{KHR,texture_compression_astc_ldr,texture_compression_astc_hdr} * @requires_es_extension Extension @extension2{KHR,texture_compression_astc_hdr,texture_compression_astc_hdr} * for 3D textures and HDR profile @@ -1096,7 +1096,7 @@ enum class TextureFormat: GLenum { * @requires_extension Extension @extension2{KHR,texture_compression_astc_ldr,texture_compression_astc_hdr} * @requires_extension Extension @extension{KHR,texture_compression_astc_hdr} * for 3D textures and HDR profile - * @requires_es_extension Extension @extension{ANDROID,extension_pack_es31a}/ + * @requires_gles32 Extension @extension{ANDROID,extension_pack_es31a} / * @extension2{KHR,texture_compression_astc_ldr,texture_compression_astc_hdr} * @requires_es_extension Extension @extension2{KHR,texture_compression_astc_hdr,texture_compression_astc_hdr} * for 3D textures and HDR profile @@ -1110,7 +1110,7 @@ enum class TextureFormat: GLenum { * @requires_extension Extension @extension2{KHR,texture_compression_astc_ldr,texture_compression_astc_hdr} * @requires_extension Extension @extension{KHR,texture_compression_astc_hdr} * for 3D textures and HDR profile - * @requires_es_extension Extension @extension{ANDROID,extension_pack_es31a}/ + * @requires_gles32 Extension @extension{ANDROID,extension_pack_es31a} / * @extension2{KHR,texture_compression_astc_ldr,texture_compression_astc_hdr} * @requires_es_extension Extension @extension2{KHR,texture_compression_astc_hdr,texture_compression_astc_hdr} * for 3D textures and HDR profile @@ -1124,7 +1124,7 @@ enum class TextureFormat: GLenum { * @requires_extension Extension @extension2{KHR,texture_compression_astc_ldr,texture_compression_astc_hdr} * @requires_extension Extension @extension{KHR,texture_compression_astc_hdr} * for 3D textures and HDR profile - * @requires_es_extension Extension @extension{ANDROID,extension_pack_es31a}/ + * @requires_gles32 Extension @extension{ANDROID,extension_pack_es31a} / * @extension2{KHR,texture_compression_astc_ldr,texture_compression_astc_hdr} * @requires_es_extension Extension @extension2{KHR,texture_compression_astc_hdr,texture_compression_astc_hdr} * for 3D textures and HDR profile @@ -1138,7 +1138,7 @@ enum class TextureFormat: GLenum { * @requires_extension Extension @extension2{KHR,texture_compression_astc_ldr,texture_compression_astc_hdr} * @requires_extension Extension @extension{KHR,texture_compression_astc_hdr} * for 3D textures and HDR profile - * @requires_es_extension Extension @extension{ANDROID,extension_pack_es31a}/ + * @requires_gles32 Extension @extension{ANDROID,extension_pack_es31a} / * @extension2{KHR,texture_compression_astc_ldr,texture_compression_astc_hdr} * @requires_es_extension Extension @extension2{KHR,texture_compression_astc_hdr,texture_compression_astc_hdr} * for 3D textures and HDR profile @@ -1152,7 +1152,7 @@ enum class TextureFormat: GLenum { * @requires_extension Extension @extension2{KHR,texture_compression_astc_ldr,texture_compression_astc_hdr} * @requires_extension Extension @extension{KHR,texture_compression_astc_hdr} * for 3D textures and HDR profile - * @requires_es_extension Extension @extension{ANDROID,extension_pack_es31a}/ + * @requires_gles32 Extension @extension{ANDROID,extension_pack_es31a} / * @extension2{KHR,texture_compression_astc_ldr,texture_compression_astc_hdr} * @requires_es_extension Extension @extension2{KHR,texture_compression_astc_hdr,texture_compression_astc_hdr} * for 3D textures and HDR profile @@ -1166,7 +1166,7 @@ enum class TextureFormat: GLenum { * @requires_extension Extension @extension2{KHR,texture_compression_astc_ldr,texture_compression_astc_hdr} * @requires_extension Extension @extension{KHR,texture_compression_astc_hdr} * for 3D textures and HDR profile - * @requires_es_extension Extension @extension{ANDROID,extension_pack_es31a}/ + * @requires_gles32 Extension @extension{ANDROID,extension_pack_es31a} / * @extension2{KHR,texture_compression_astc_ldr,texture_compression_astc_hdr} * @requires_es_extension Extension @extension2{KHR,texture_compression_astc_hdr,texture_compression_astc_hdr} * for 3D textures and HDR profile @@ -1180,7 +1180,7 @@ enum class TextureFormat: GLenum { * @requires_extension Extension @extension2{KHR,texture_compression_astc_ldr,texture_compression_astc_hdr} * @requires_extension Extension @extension{KHR,texture_compression_astc_hdr} * for 3D textures and HDR profile - * @requires_es_extension Extension @extension{ANDROID,extension_pack_es31a}/ + * @requires_gles32 Extension @extension{ANDROID,extension_pack_es31a} / * @extension2{KHR,texture_compression_astc_ldr,texture_compression_astc_hdr} * @requires_es_extension Extension @extension2{KHR,texture_compression_astc_hdr,texture_compression_astc_hdr} * for 3D textures and HDR profile @@ -1194,7 +1194,7 @@ enum class TextureFormat: GLenum { * @requires_extension Extension @extension2{KHR,texture_compression_astc_ldr,texture_compression_astc_hdr} * @requires_extension Extension @extension{KHR,texture_compression_astc_hdr} * for 3D textures and HDR profile - * @requires_es_extension Extension @extension{ANDROID,extension_pack_es31a}/ + * @requires_gles32 Extension @extension{ANDROID,extension_pack_es31a} / * @extension2{KHR,texture_compression_astc_ldr,texture_compression_astc_hdr} * @requires_es_extension Extension @extension2{KHR,texture_compression_astc_hdr,texture_compression_astc_hdr} * for 3D textures and HDR profile @@ -1208,7 +1208,7 @@ enum class TextureFormat: GLenum { * @requires_extension Extension @extension2{KHR,texture_compression_astc_ldr,texture_compression_astc_hdr} * @requires_extension Extension @extension{KHR,texture_compression_astc_hdr} * for 3D textures and HDR profile - * @requires_es_extension Extension @extension{ANDROID,extension_pack_es31a}/ + * @requires_gles32 Extension @extension{ANDROID,extension_pack_es31a} / * @extension2{KHR,texture_compression_astc_ldr,texture_compression_astc_hdr} * @requires_es_extension Extension @extension2{KHR,texture_compression_astc_hdr,texture_compression_astc_hdr} * for 3D textures and HDR profile @@ -1222,7 +1222,7 @@ enum class TextureFormat: GLenum { * @requires_extension Extension @extension2{KHR,texture_compression_astc_ldr,texture_compression_astc_hdr} * @requires_extension Extension @extension{KHR,texture_compression_astc_hdr} * for 3D textures and HDR profile - * @requires_es_extension Extension @extension{ANDROID,extension_pack_es31a}/ + * @requires_gles32 Extension @extension{ANDROID,extension_pack_es31a} / * @extension2{KHR,texture_compression_astc_ldr,texture_compression_astc_hdr} * @requires_es_extension Extension @extension2{KHR,texture_compression_astc_hdr,texture_compression_astc_hdr} * for 3D textures and HDR profile @@ -1236,7 +1236,7 @@ enum class TextureFormat: GLenum { * @requires_extension Extension @extension2{KHR,texture_compression_astc_ldr,texture_compression_astc_hdr} * @requires_extension Extension @extension{KHR,texture_compression_astc_hdr} * for 3D textures and HDR profile - * @requires_es_extension Extension @extension{ANDROID,extension_pack_es31a}/ + * @requires_gles32 Extension @extension{ANDROID,extension_pack_es31a} / * @extension2{KHR,texture_compression_astc_ldr,texture_compression_astc_hdr} * @requires_es_extension Extension @extension2{KHR,texture_compression_astc_hdr,texture_compression_astc_hdr} * for 3D textures and HDR profile @@ -1250,7 +1250,7 @@ enum class TextureFormat: GLenum { * @requires_extension Extension @extension2{KHR,texture_compression_astc_ldr,texture_compression_astc_hdr} * @requires_extension Extension @extension{KHR,texture_compression_astc_hdr} * for 3D textures and HDR profile - * @requires_es_extension Extension @extension{ANDROID,extension_pack_es31a}/ + * @requires_gles32 Extension @extension{ANDROID,extension_pack_es31a} / * @extension2{KHR,texture_compression_astc_ldr,texture_compression_astc_hdr} * @requires_es_extension Extension @extension2{KHR,texture_compression_astc_hdr,texture_compression_astc_hdr} * for 3D textures and HDR profile @@ -1264,7 +1264,7 @@ enum class TextureFormat: GLenum { * @requires_extension Extension @extension2{KHR,texture_compression_astc_ldr,texture_compression_astc_hdr} * @requires_extension Extension @extension{KHR,texture_compression_astc_hdr} * for 3D textures and HDR profile - * @requires_es_extension Extension @extension{ANDROID,extension_pack_es31a}/ + * @requires_gles32 Extension @extension{ANDROID,extension_pack_es31a} / * @extension2{KHR,texture_compression_astc_ldr,texture_compression_astc_hdr} * @requires_es_extension Extension @extension2{KHR,texture_compression_astc_hdr,texture_compression_astc_hdr} * for 3D textures and HDR profile @@ -1278,7 +1278,7 @@ enum class TextureFormat: GLenum { * @requires_extension Extension @extension2{KHR,texture_compression_astc_ldr,texture_compression_astc_hdr} * @requires_extension Extension @extension{KHR,texture_compression_astc_hdr} * for 3D textures and HDR profile - * @requires_es_extension Extension @extension{ANDROID,extension_pack_es31a}/ + * @requires_gles32 Extension @extension{ANDROID,extension_pack_es31a} / * @extension2{KHR,texture_compression_astc_ldr,texture_compression_astc_hdr} * @requires_es_extension Extension @extension2{KHR,texture_compression_astc_hdr,texture_compression_astc_hdr} * for 3D textures and HDR profile @@ -1292,7 +1292,7 @@ enum class TextureFormat: GLenum { * @requires_extension Extension @extension2{KHR,texture_compression_astc_ldr,texture_compression_astc_hdr} * @requires_extension Extension @extension{KHR,texture_compression_astc_hdr} * for 3D textures and HDR profile - * @requires_es_extension Extension @extension{ANDROID,extension_pack_es31a}/ + * @requires_gles32 Extension @extension{ANDROID,extension_pack_es31a} / * @extension2{KHR,texture_compression_astc_ldr,texture_compression_astc_hdr} * @requires_es_extension Extension @extension2{KHR,texture_compression_astc_hdr,texture_compression_astc_hdr} * for 3D textures and HDR profile @@ -1306,7 +1306,7 @@ enum class TextureFormat: GLenum { * @requires_extension Extension @extension2{KHR,texture_compression_astc_ldr,texture_compression_astc_hdr} * @requires_extension Extension @extension{KHR,texture_compression_astc_hdr} * for 3D textures and HDR profile - * @requires_es_extension Extension @extension{ANDROID,extension_pack_es31a}/ + * @requires_gles32 Extension @extension{ANDROID,extension_pack_es31a} / * @extension2{KHR,texture_compression_astc_ldr,texture_compression_astc_hdr} * @requires_es_extension Extension @extension2{KHR,texture_compression_astc_hdr,texture_compression_astc_hdr} * for 3D textures and HDR profile @@ -1320,7 +1320,7 @@ enum class TextureFormat: GLenum { * @requires_extension Extension @extension2{KHR,texture_compression_astc_ldr,texture_compression_astc_hdr} * @requires_extension Extension @extension{KHR,texture_compression_astc_hdr} * for 3D textures and HDR profile - * @requires_es_extension Extension @extension{ANDROID,extension_pack_es31a}/ + * @requires_gles32 Extension @extension{ANDROID,extension_pack_es31a} / * @extension2{KHR,texture_compression_astc_ldr,texture_compression_astc_hdr} * @requires_es_extension Extension @extension2{KHR,texture_compression_astc_hdr,texture_compression_astc_hdr} * for 3D textures and HDR profile @@ -1334,7 +1334,7 @@ enum class TextureFormat: GLenum { * @requires_extension Extension @extension2{KHR,texture_compression_astc_ldr,texture_compression_astc_hdr} * @requires_extension Extension @extension{KHR,texture_compression_astc_hdr} * for 3D textures and HDR profile - * @requires_es_extension Extension @extension{ANDROID,extension_pack_es31a}/ + * @requires_gles32 Extension @extension{ANDROID,extension_pack_es31a} / * @extension2{KHR,texture_compression_astc_ldr,texture_compression_astc_hdr} * @requires_es_extension Extension @extension2{KHR,texture_compression_astc_hdr,texture_compression_astc_hdr} * for 3D textures and HDR profile @@ -1348,7 +1348,7 @@ enum class TextureFormat: GLenum { * @requires_extension Extension @extension2{KHR,texture_compression_astc_ldr,texture_compression_astc_hdr} * @requires_extension Extension @extension{KHR,texture_compression_astc_hdr} * for 3D textures and HDR profile - * @requires_es_extension Extension @extension{ANDROID,extension_pack_es31a}/ + * @requires_gles32 Extension @extension{ANDROID,extension_pack_es31a} / * @extension2{KHR,texture_compression_astc_ldr,texture_compression_astc_hdr} * @requires_es_extension Extension @extension2{KHR,texture_compression_astc_hdr,texture_compression_astc_hdr} * for 3D textures and HDR profile @@ -1362,7 +1362,7 @@ enum class TextureFormat: GLenum { * @requires_extension Extension @extension2{KHR,texture_compression_astc_ldr,texture_compression_astc_hdr} * @requires_extension Extension @extension{KHR,texture_compression_astc_hdr} * for 3D textures and HDR profile - * @requires_es_extension Extension @extension{ANDROID,extension_pack_es31a}/ + * @requires_gles32 Extension @extension{ANDROID,extension_pack_es31a} / * @extension2{KHR,texture_compression_astc_ldr,texture_compression_astc_hdr} * @requires_es_extension Extension @extension2{KHR,texture_compression_astc_hdr,texture_compression_astc_hdr} * for 3D textures and HDR profile @@ -1376,7 +1376,7 @@ enum class TextureFormat: GLenum { * @requires_extension Extension @extension2{KHR,texture_compression_astc_ldr,texture_compression_astc_hdr} * @requires_extension Extension @extension{KHR,texture_compression_astc_hdr} * for 3D textures and HDR profile - * @requires_es_extension Extension @extension{ANDROID,extension_pack_es31a}/ + * @requires_gles32 Extension @extension{ANDROID,extension_pack_es31a} / * @extension2{KHR,texture_compression_astc_ldr,texture_compression_astc_hdr} * @requires_es_extension Extension @extension2{KHR,texture_compression_astc_hdr,texture_compression_astc_hdr} * for 3D textures and HDR profile @@ -1390,7 +1390,7 @@ enum class TextureFormat: GLenum { * @requires_extension Extension @extension2{KHR,texture_compression_astc_ldr,texture_compression_astc_hdr} * @requires_extension Extension @extension{KHR,texture_compression_astc_hdr} * for 3D textures and HDR profile - * @requires_es_extension Extension @extension{ANDROID,extension_pack_es31a}/ + * @requires_gles32 Extension @extension{ANDROID,extension_pack_es31a} / * @extension2{KHR,texture_compression_astc_ldr,texture_compression_astc_hdr} * @requires_es_extension Extension @extension2{KHR,texture_compression_astc_hdr,texture_compression_astc_hdr} * for 3D textures and HDR profile @@ -1404,7 +1404,7 @@ enum class TextureFormat: GLenum { * @requires_extension Extension @extension2{KHR,texture_compression_astc_ldr,texture_compression_astc_hdr} * @requires_extension Extension @extension{KHR,texture_compression_astc_hdr} * for 3D textures and HDR profile - * @requires_es_extension Extension @extension{ANDROID,extension_pack_es31a}/ + * @requires_gles32 Extension @extension{ANDROID,extension_pack_es31a} / * @extension2{KHR,texture_compression_astc_ldr,texture_compression_astc_hdr} * @requires_es_extension Extension @extension2{KHR,texture_compression_astc_hdr,texture_compression_astc_hdr} * for 3D textures and HDR profile @@ -1418,7 +1418,7 @@ enum class TextureFormat: GLenum { * @requires_extension Extension @extension2{KHR,texture_compression_astc_ldr,texture_compression_astc_hdr} * @requires_extension Extension @extension{KHR,texture_compression_astc_hdr} * for 3D textures and HDR profile - * @requires_es_extension Extension @extension{ANDROID,extension_pack_es31a}/ + * @requires_gles32 Extension @extension{ANDROID,extension_pack_es31a} / * @extension2{KHR,texture_compression_astc_ldr,texture_compression_astc_hdr} * @requires_es_extension Extension @extension2{KHR,texture_compression_astc_hdr,texture_compression_astc_hdr} * for 3D textures and HDR profile @@ -1432,7 +1432,7 @@ enum class TextureFormat: GLenum { * @requires_extension Extension @extension2{KHR,texture_compression_astc_ldr,texture_compression_astc_hdr} * @requires_extension Extension @extension{KHR,texture_compression_astc_hdr} * for 3D textures and HDR profile - * @requires_es_extension Extension @extension{ANDROID,extension_pack_es31a}/ + * @requires_gles32 Extension @extension{ANDROID,extension_pack_es31a} / * @extension2{KHR,texture_compression_astc_ldr,texture_compression_astc_hdr} * @requires_es_extension Extension @extension2{KHR,texture_compression_astc_hdr,texture_compression_astc_hdr} * for 3D textures and HDR profile @@ -1446,7 +1446,7 @@ enum class TextureFormat: GLenum { * @requires_extension Extension @extension2{KHR,texture_compression_astc_ldr,texture_compression_astc_hdr} * @requires_extension Extension @extension{KHR,texture_compression_astc_hdr} * for 3D textures and HDR profile - * @requires_es_extension Extension @extension{ANDROID,extension_pack_es31a}/ + * @requires_gles32 Extension @extension{ANDROID,extension_pack_es31a} / * @extension2{KHR,texture_compression_astc_ldr,texture_compression_astc_hdr} * @requires_es_extension Extension @extension2{KHR,texture_compression_astc_hdr,texture_compression_astc_hdr} * for 3D textures and HDR profile @@ -1460,7 +1460,7 @@ enum class TextureFormat: GLenum { * @requires_extension Extension @extension2{KHR,texture_compression_astc_ldr,texture_compression_astc_hdr} * @requires_extension Extension @extension{KHR,texture_compression_astc_hdr} * for 3D textures and HDR profile - * @requires_es_extension Extension @extension{ANDROID,extension_pack_es31a}/ + * @requires_gles32 Extension @extension{ANDROID,extension_pack_es31a} / * @extension2{KHR,texture_compression_astc_ldr,texture_compression_astc_hdr} * @requires_es_extension Extension @extension2{KHR,texture_compression_astc_hdr,texture_compression_astc_hdr} * for 3D textures and HDR profile