320 PetscErrorCode PetscDrawImageCheckFormat(const char *ext[])  in PetscDrawImageCheckFormat()  argument
327   PetscAssertPointer(ext, 1);  in PetscDrawImageCheckFormat()
328   if (!*ext || !**ext) {  in PetscDrawImageCheckFormat()
329     *ext = PetscDrawImageSaveTable[0].extension;  in PetscDrawImageCheckFormat()
333   PetscAssertPointer(*ext, 1);  in PetscDrawImageCheckFormat()
335     PetscCall(PetscStrcasecmp(*ext, PetscDrawImageSaveTable[k].extension, &match));  in PetscDrawImageCheckFormat()
338 …not supported, use .ppm or see PetscDrawSetSave() for what ./configure option you may need", *ext);  in PetscDrawImageCheckFormat()
341 PetscErrorCode PetscDrawImageSave(const char basename[], const char ext[], unsigned char palette[][…  in PetscDrawImageSave()  argument
349   if (ext) PetscAssertPointer(ext, 2);  in PetscDrawImageSave()
353   PetscCall(PetscDrawImageCheckFormat(&ext));  in PetscDrawImageSave()
354   PetscCall(PetscSNPrintf(filename, sizeof(filename), "%s%s", basename, ext));  in PetscDrawImageSave()
356     PetscCall(PetscStrcasecmp(ext, PetscDrawImageSaveTable[k].extension, &match));  in PetscDrawImageSave()
362   SETERRQ(PETSC_COMM_SELF, PETSC_ERR_SUP, "Image extension %s not supported, use .ppm", ext);  in PetscDrawImageSave()
365 PetscErrorCode PetscDrawMovieCheckFormat(const char *ext[])  in PetscDrawMovieCheckFormat()  argument
368   PetscAssertPointer(ext, 1);  in PetscDrawMovieCheckFormat()
369   if (!*ext || !**ext) *ext = ".m4v";  in PetscDrawMovieCheckFormat()