static char help[] = "Tests options database";

#include <petscsys.h>

#define PetscTestCheck(expr) PetscCheck(expr, PETSC_COMM_SELF, PETSC_ERR_LIB, "Assertion: `%s' failed.", PetscStringize(expr))

int main(int argc, char **argv)
{
  const char *val;
  PetscBool   has;

  PetscCall(PetscOptionsSetValue(NULL, "-skip_petscrc", NULL));
  PetscCall(PetscOptionsSetValue(NULL, "-use_gpu_aware_mpi", "0"));
  PetscFunctionBeginUser;
  PetscCall(PetscInitialize(&argc, &argv, NULL, help));

  PetscCall(PetscOptionsHasName(NULL, NULL, "-use_gpu_aware_mpi", &has));
  PetscTestCheck(has == PETSC_TRUE);
  PetscCall(PetscOptionsHasName(NULL, NULL, "-abc", &has));
  PetscTestCheck(has == PETSC_FALSE);
  PetscCall(PetscOptionsHasName(NULL, "", "-abc", &has));
  PetscTestCheck(has == PETSC_FALSE);
  PetscCall(PetscOptionsHasName(NULL, "a", "-bc", &has));
  PetscTestCheck(has == PETSC_FALSE);
  PetscCall(PetscOptionsHasName(NULL, "ab", "-c", &has));
  PetscTestCheck(has == PETSC_FALSE);
  PetscCall(PetscOptionsHasName(NULL, "abc", "-", &has));
  PetscTestCheck(has == PETSC_FALSE);

  PetscCall(PetscOptionsSetValue(NULL, "-abc", NULL));
  PetscCall(PetscOptionsHasName(NULL, NULL, "-abc", &has));
  PetscTestCheck(has == PETSC_TRUE);
  PetscCall(PetscOptionsHasName(NULL, "", "-abc", &has));
  PetscTestCheck(has == PETSC_TRUE);
  PetscCall(PetscOptionsHasName(NULL, "a", "-bc", &has));
  PetscTestCheck(has == PETSC_TRUE);
  PetscCall(PetscOptionsHasName(NULL, "ab", "-c", &has));
  PetscTestCheck(has == PETSC_TRUE);
  PetscCall(PetscOptionsHasName(NULL, "abc", "-", &has));
  PetscTestCheck(has == PETSC_TRUE);
  PetscCall(PetscOptionsClearValue(NULL, "-abc"));
  PetscCall(PetscOptionsClearValue(NULL, "-ABC"));

  PetscCall(PetscOptionsPrefixPush(NULL, "a"));
  PetscCall(PetscOptionsSetValue(NULL, "-x", NULL));
  PetscCall(PetscOptionsHasName(NULL, NULL, "-ax", &has));
  PetscTestCheck(has == PETSC_TRUE);
  PetscCall(PetscOptionsPrefixPush(NULL, "b"));
  PetscCall(PetscOptionsSetValue(NULL, "-xy", NULL));
  PetscCall(PetscOptionsHasName(NULL, NULL, "-abxy", &has));
  PetscTestCheck(has == PETSC_TRUE);
  PetscCall(PetscOptionsPrefixPop(NULL));
  PetscCall(PetscOptionsPrefixPush(NULL, "c"));
  PetscCall(PetscOptionsSetValue(NULL, "-xz", NULL));
  PetscCall(PetscOptionsHasName(NULL, NULL, "-acxz", &has));
  PetscTestCheck(has == PETSC_TRUE);
  PetscCall(PetscOptionsPrefixPop(NULL));
  PetscCall(PetscOptionsPrefixPop(NULL));
  PetscCall(PetscOptionsClearValue(NULL, "-ax"));
  PetscCall(PetscOptionsClearValue(NULL, "-abxy"));
  PetscCall(PetscOptionsClearValue(NULL, "-acxz"));

  PetscCall(PetscOptionsSetValue(NULL, "-FOO", NULL));
  PetscCall(PetscOptionsSetValue(NULL, "-FOO", "BAR"));
  PetscCall(PetscOptionsSetValue(NULL, "-FOO", NULL));
  PetscCall(PetscOptionsClearValue(NULL, "-FOO"));
  PetscCall(PetscOptionsSetValue(NULL, "-FOO", "BAR"));
  PetscCall(PetscOptionsSetValue(NULL, "-FOO", NULL));
  PetscCall(PetscOptionsSetValue(NULL, "-FOO", "BAR"));
  PetscCall(PetscOptionsClearValue(NULL, "-FOO"));

  {
    char name[] = "-*_42", c;
    for (c = 'a'; c <= 'z'; c++) {
      name[1] = c;
      PetscCall(PetscOptionsHasName(NULL, NULL, name, &has));
      PetscTestCheck(has == PETSC_FALSE);
    }
    for (c = 'a'; c <= 'z'; c++) {
      name[1] = c;
      PetscCall(PetscOptionsHasName(NULL, NULL, name, &has));
      PetscTestCheck(has == PETSC_FALSE);
      PetscCall(PetscOptionsSetValue(NULL, name, NULL));
      PetscCall(PetscOptionsHasName(NULL, NULL, name, &has));
      PetscTestCheck(has == PETSC_TRUE);
    }
    for (c = 'A'; c <= 'Z'; c++) {
      name[1] = c;
      PetscCall(PetscOptionsHasName(NULL, NULL, name, &has));
      PetscTestCheck(has == PETSC_TRUE);
      PetscCall(PetscOptionsClearValue(NULL, name));
      PetscCall(PetscOptionsHasName(NULL, NULL, name, &has));
      PetscTestCheck(has == PETSC_FALSE);
    }
    for (c = 'Z'; c >= 'A'; c--) {
      name[1] = c;
      PetscCall(PetscOptionsHasName(NULL, NULL, name, &has));
      PetscTestCheck(has == PETSC_FALSE);
      PetscCall(PetscOptionsSetValue(NULL, name, NULL));
      PetscCall(PetscOptionsHasName(NULL, NULL, name, &has));
      PetscTestCheck(has == PETSC_TRUE);
    }
    for (c = 'a'; c <= 'z'; c++) {
      name[1] = c;
      PetscCall(PetscOptionsHasName(NULL, NULL, name, &has));
      PetscTestCheck(has == PETSC_TRUE);
      PetscCall(PetscOptionsClearValue(NULL, name));
      PetscCall(PetscOptionsHasName(NULL, NULL, name, &has));
      PetscTestCheck(has == PETSC_FALSE);
    }
    for (c = 'a'; c <= 'z'; c++) {
      name[1] = c;
      PetscCall(PetscOptionsHasName(NULL, NULL, name, &has));
      PetscTestCheck(has == PETSC_FALSE);
    }
  }

  PetscCall(PetscOptionsSetValue(NULL, "-abc_xyz", "123"));
  PetscCall(PetscOptionsFindPair(NULL, NULL, "-abc_xyz", &val, &has));
  PetscTestCheck(has == PETSC_TRUE && !strcmp(val, "123"));
  PetscCall(PetscOptionsFindPair(NULL, NULL, "-abc_42_xyz", &val, &has));
  PetscTestCheck(has == PETSC_TRUE && !strcmp(val, "123"));
  PetscCall(PetscOptionsFindPair(NULL, NULL, "-abc_42_1_xyz", &val, &has));
  PetscTestCheck(has == PETSC_TRUE && !strcmp(val, "123"));
  PetscCall(PetscOptionsFindPair(NULL, NULL, "-abc_42_1_23_xyz", &val, &has));
  PetscTestCheck(has == PETSC_TRUE && !strcmp(val, "123"));
  PetscCall(PetscOptionsFindPair(NULL, NULL, "-abc_42_1_23_456_xyz", &val, &has));
  PetscTestCheck(has == PETSC_TRUE && !strcmp(val, "123"));
  PetscCall(PetscOptionsFindPair(NULL, NULL, "-abc_42_1_23_456_789_xyz", &val, &has));
  PetscTestCheck(has == PETSC_TRUE && !strcmp(val, "123"));
  PetscCall(PetscOptionsFindPair(NULL, NULL, "-abc_xyz_42", &val, &has));
  PetscTestCheck(has == PETSC_FALSE);
  PetscCall(PetscOptionsFindPair(NULL, NULL, "-abc42xyz", &val, &has));
  PetscTestCheck(has == PETSC_FALSE);
  PetscCall(PetscOptionsFindPair(NULL, NULL, "-abc42_xyz", &val, &has));
  PetscTestCheck(has == PETSC_FALSE);
  PetscCall(PetscOptionsFindPair(NULL, NULL, "-abc_42xyz", &val, &has));
  PetscTestCheck(has == PETSC_FALSE);
  PetscCall(PetscOptionsFindPair(NULL, NULL, "-abc0_42_xyz", &val, &has));
  PetscTestCheck(has == PETSC_FALSE);
  PetscCall(PetscOptionsFindPair(NULL, NULL, "-abc_42_0xyz", &val, &has));
  PetscTestCheck(has == PETSC_FALSE);
  PetscCall(PetscOptionsClearValue(NULL, "-abc_xyz"));

  PetscCall(PetscFinalize());
  return 0;
}

/*TEST

   test:
     output_file: output/empty.out

TEST*/