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