283 PetscErrorCode PetscOptionsValidKey(const char key[], PetscBool *valid)  in PetscOptionsValidKey()  argument
290   PetscAssertPointer(valid, 2);  in PetscOptionsValidKey()
291   *valid = PETSC_FALSE;  in PetscOptionsValidKey()
298   *valid = PETSC_TRUE;  in PetscOptionsValidKey()
463   PetscBool   isdir, alias = PETSC_FALSE, valid;  in PetscOptionsInsertFilePetsc()  local
508           PetscCall(PetscOptionsValidKey(tokens[0], &valid));  in PetscOptionsInsertFilePetsc()
509 …PetscCheck(valid, PETSC_COMM_SELF, PETSC_ERR_ARG_WRONG, "Error in options file %s line %" PetscInt…  in PetscOptionsInsertFilePetsc()
515             PetscCall(PetscOptionsValidKey(tokens[1], &valid));  in PetscOptionsInsertFilePetsc()
516 …PetscCheck(!valid, PETSC_COMM_SELF, PETSC_ERR_ARG_WRONG, "Error in options file %s line %" PetscIn…  in PetscOptionsInsertFilePetsc()
527           PetscCall(PetscOptionsValidKey(tokens[1], &valid));  in PetscOptionsInsertFilePetsc()
528 …PetscCheck(valid, PETSC_COMM_SELF, PETSC_ERR_ARG_WRONG, "Error in options file %s line %" PetscInt…  in PetscOptionsInsertFilePetsc()
530           PetscCall(PetscOptionsValidKey(tokens[2], &valid));  in PetscOptionsInsertFilePetsc()
531 …PetscCheck(valid, PETSC_COMM_SELF, PETSC_ERR_ARG_WRONG, "Error in options file %s line %" PetscInt…  in PetscOptionsInsertFilePetsc()
748     PetscBool valid, eq;  in PetscOptionsProcessPrecedentFlags()  local
750     PetscCall(PetscOptionsValidKey(args[a], &valid));  in PetscOptionsProcessPrecedentFlags()
751     if (!valid) continue;  in PetscOptionsProcessPrecedentFlags()
1064   PetscBool valid;  in PetscOptionsPrefixPush()  local
1072   PetscCall(PetscOptionsValidKey(key, &valid));  in PetscOptionsPrefixPush()
1073 …if (!valid && options->prefixind > 0 && isdigit((int)prefix[0])) valid = PETSC_TRUE; /* If the pre…  in PetscOptionsPrefixPush()
1074 …PetscCheck(valid, PETSC_COMM_SELF, PETSC_ERR_USER, "Given prefix \"%s\" not valid (the first chara…  in PetscOptionsPrefixPush()
1204   PetscBool valid;  in PetscOptionsSetAlias()  local
1210   PetscCall(PetscOptionsValidKey(newname, &valid));  in PetscOptionsSetAlias()
1211   PetscCheck(valid, PETSC_COMM_SELF, PETSC_ERR_ARG_WRONG, "Invalid aliased option %s", newname);  in PetscOptionsSetAlias()
1212   PetscCall(PetscOptionsValidKey(oldname, &valid));  in PetscOptionsSetAlias()
1213   PetscCheck(valid, PETSC_COMM_SELF, PETSC_ERR_ARG_WRONG, "Invalid aliasee option %s", oldname);  in PetscOptionsSetAlias()
1519     PetscBool valid;  in PetscOptionsFindPair()  local
1522     PetscCall(PetscOptionsValidKey(key, &valid));  in PetscOptionsFindPair()
1523 …PetscCheck(valid, PETSC_COMM_SELF, PETSC_ERR_ARG_WRONG, "Invalid option '%s' obtained from pre='%s…  in PetscOptionsFindPair()
1617     PetscBool valid;  in PetscOptionsFindPairPrefix_Private()  local
1620     PetscCall(PetscOptionsValidKey(key, &valid));  in PetscOptionsFindPairPrefix_Private()
1621 …PetscCheck(valid, PETSC_COMM_SELF, PETSC_ERR_ARG_WRONG, "Invalid option '%s' obtained from pre='%s…  in PetscOptionsFindPairPrefix_Private()