25 int writePNGFile(const char* pOutput, png_uint_32 width, png_uint_32 height,
144     png_uint_32 height = 0;  in read_PNG_File()  local
196         png_get_IHDR(png_ptr, info_ptr, &width, &height, &bit_depth,  in read_PNG_File()
202     pSourceImage = new etc1_byte[stride * height];  in read_PNG_File()
208     for (etc1_uint32 y = 0; y < height; y++) {  in read_PNG_File()
213     *pHeight = height;  in read_PNG_File()
243     png_uint_32 height = 0;  in readPKMFile()  local
265     height = etc1_pkm_get_height(header);  in readPKMFile()
266     encodedSize = etc1_get_encoded_data_size(width, height);  in readPKMFile()
284     pImageData = new png_byte[stride * height];  in readPKMFile()
290     etc1_decode_image(pEncodedData, pImageData, width, height, 3, stride);  in readPKMFile()
297     *pHeight = height;  in readPKMFile()
316     etc1_uint32 height = 0;  in encode()  local
323     if (read_PNG_File(pInput, &pSourceImage, &width, &height)) {  in encode()
327     encodedSize = etc1_get_encoded_data_size(width, height);  in encode()
335             width, height, 3, width * 3, pEncodedData);  in encode()
344         etc1_pkm_format_header(header, width, height);  in encode()
369         if (outWidth != width || outHeight != height) {  in encode()
371                     outWidth, outHeight, width, height);  in encode()
376         etc1_uint32 size = width * height * 3;  in encode()
405 int writePNGFile(const char* pOutput, png_uint_32 width, png_uint_32 height,  in writePNGFile()  argument
430     png_set_IHDR(png_ptr, info_ptr, width, height, 8, PNG_COLOR_TYPE_RGB,  in writePNGFile()
436     for (png_uint_32 y = 0; y < height; y++) {  in writePNGFile()
457     etc1_uint32 height = 0;  in decode()  local
459     if (readPKMFile(pInput, &pImageData, &width, &height)) {  in decode()
463     if (writePNGFile(pOutput, width, height, pImageData, width * 3)) {  in decode()