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