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