xref: /petsc/src/sys/tests/linter/testValidHeaders.c (revision 447bcd8fae0acafb34f76e22d0a980ee3af1ea6c)

#include <petsc/private/drawimpl.h>
#include <petsc/private/viewerimpl.h>
#include <petsc/private/randomimpl.h>

#ifndef DMDA
  #define DMDA "da"
#endif

PetscErrorCode 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 0;
}