undefined. If storage has already been allocated, does nothing. */
void allocate(unsigned level);
undefined. If storage has already been allocated, does nothing. */
void allocate(unsigned level);
/** Updates the contents of a face. Storage must be defined beforehand.
The image data must have dimensions and format matching the defined
storage. */
void image(TextureCubeFace face, unsigned level, const void *data);
/** Updates the contents of a face. Storage must be defined beforehand.
The image data must have dimensions and format matching the defined
storage. */
void image(TextureCubeFace face, unsigned level, const void *data);
DEPRECATED void image(TextureCubeFace face, unsigned level,
PixelComponents comp, DataType type, const void *data);
DEPRECATED void image(TextureCubeFace face, unsigned level,
PixelComponents comp, DataType type, const void *data);