1 #include <petscsys.h> 2 3 void testValidHeaders(PetscRandom r, PetscViewer v, PetscDraw d, PetscDrawAxis a) { 4 /* incorrect */ 5 PetscValidHeaderSpecificType(r, PETSC_VIEWER_CLASSID, 0, DMDA); 6 PetscValidHeaderSpecificType(v, PETSC_DRAW_CLASSID, 0, DMDA); 7 PetscValidHeaderSpecificType(d, PETSC_DRAWAXIS_CLASSID, 0, DMDA); 8 PetscValidHeaderSpecificType(a, PETSC_RANDOM_CLASSID, 0, DMDA); 9 10 /* correct */ 11 PetscValidHeaderSpecificType(r, PETSC_RANDOM_CLASSID, 1, DMDA); 12 PetscValidHeaderSpecificType(v, PETSC_VIEWER_CLASSID, 2, DMDA); 13 PetscValidHeaderSpecificType(d, PETSC_DRAW_CLASSID, 3, DMDA); 14 PetscValidHeaderSpecificType(a, PETSC_DRAWAXIS_CLASSID, 4, DMDA); 15 16 /* incorrect */ 17 PetscValidHeaderSpecific(r, PETSC_DRAW_CLASSID, 0); 18 PetscValidHeaderSpecific(v, PETSC_DRAWAXIS_CLASSID, 0); 19 PetscValidHeaderSpecific(d, PETSC_RANDOM_CLASSID, 0); 20 PetscValidHeaderSpecific(a, PETSC_VIEWER_CLASSID, 0); 21 22 /* correct */ 23 PetscValidHeaderSpecific(r, PETSC_RANDOM_CLASSID, 1); 24 PetscValidHeaderSpecific(v, PETSC_VIEWER_CLASSID, 2); 25 PetscValidHeaderSpecific(d, PETSC_DRAW_CLASSID, 3); 26 PetscValidHeaderSpecific(a, PETSC_DRAWAXIS_CLASSID, 4); 27 28 /* incorrect */ 29 PetscValidHeader(r, 55); 30 PetscValidHeader(v, 56); 31 PetscValidHeader(d, 57); 32 PetscValidHeader(a, 58); 33 34 /* correct */ 35 PetscValidHeader(r, 1); 36 PetscValidHeader(v, 2); 37 PetscValidHeader(d, 3); 38 PetscValidHeader(a, 4); 39 return; 40 } 41