#include <petscsys.h>

void testValidHeaders(PetscRandom r, PetscViewer v, PetscDraw d, PetscDrawAxis a) {
  /* incorrect */
  PetscValidHeaderSpecificType(r, PETSC_VIEWER_CLASSID, 0, DMDA);
  PetscValidHeaderSpecificType(v, PETSC_DRAW_CLASSID, 0, DMDA);
  PetscValidHeaderSpecificType(d, PETSC_DRAWAXIS_CLASSID, 0, DMDA);
  PetscValidHeaderSpecificType(a, PETSC_RANDOM_CLASSID, 0, DMDA);

  /* correct */
  PetscValidHeaderSpecificType(r, PETSC_RANDOM_CLASSID, 1, DMDA);
  PetscValidHeaderSpecificType(v, PETSC_VIEWER_CLASSID, 2, DMDA);
  PetscValidHeaderSpecificType(d, PETSC_DRAW_CLASSID, 3, DMDA);
  PetscValidHeaderSpecificType(a, PETSC_DRAWAXIS_CLASSID, 4, DMDA);

  /* incorrect */
  PetscValidHeaderSpecific(r, PETSC_DRAW_CLASSID, 0);
  PetscValidHeaderSpecific(v, PETSC_DRAWAXIS_CLASSID, 0);
  PetscValidHeaderSpecific(d, PETSC_RANDOM_CLASSID, 0);
  PetscValidHeaderSpecific(a, PETSC_VIEWER_CLASSID, 0);

  /* correct */
  PetscValidHeaderSpecific(r, PETSC_RANDOM_CLASSID, 1);
  PetscValidHeaderSpecific(v, PETSC_VIEWER_CLASSID, 2);
  PetscValidHeaderSpecific(d, PETSC_DRAW_CLASSID, 3);
  PetscValidHeaderSpecific(a, PETSC_DRAWAXIS_CLASSID, 4);

  /* incorrect */
  PetscValidHeader(r, 55);
  PetscValidHeader(v, 56);
  PetscValidHeader(d, 57);
  PetscValidHeader(a, 58);

  /* correct */
  PetscValidHeader(r, 1);
  PetscValidHeader(v, 2);
  PetscValidHeader(d, 3);
  PetscValidHeader(a, 4);
  return;
}