/******************************************************************************

 * Top contributors (to current version):

 *   Mathias Preiner, Aina Niemetz

 *

 * This file is part of the cvc5 project.

 *

 * Copyright (c) 2009-2021 by the authors listed in the file AUTHORS

 * in the top-level source directory and their institutional affiliations.

 * All rights reserved.  See the file COPYING in the top-level source

 * directory for licensing information.

 * ****************************************************************************

 *

 * Contains code for handling command-line options.

 *

 * For each <module>_options.toml configuration file, mkoptions.py

 * expands this template and generates a <module>_options.h file.

 */

#include "cvc5_private.h"

#ifndef CVC5__OPTIONS__PARSER_H

#define CVC5__OPTIONS__PARSER_H

#include "options/options.h"

// clang-format off

// clang-format on

namespace cvc5::options {

// clang-format off

// clang-format on

#if defined(CVC5_MUZZLED) || defined(CVC5_COMPETITION_MODE)

#  define DO_SEMANTIC_CHECKS_BY_DEFAULT false

#else /* CVC5_MUZZLED || CVC5_COMPETITION_MODE */

#  define DO_SEMANTIC_CHECKS_BY_DEFAULT true

#endif /* CVC5_MUZZLED || CVC5_COMPETITION_MODE */

{

// clang-format off

bool filesystemAccess = true;

  bool filesystemAccessWasSetByUser = false;

  std::string forceLogicString;

  bool forceLogicStringWasSetByUser = false;

  bool globalDeclarations = false;

  bool globalDeclarationsWasSetByUser = false;

  bool memoryMap;

  bool memoryMapWasSetByUser = false;

  bool semanticChecks = DO_SEMANTIC_CHECKS_BY_DEFAULT;

  bool semanticChecksWasSetByUser = false;

  bool strictParsing;

  bool strictParsingWasSetByUser = false;

// clang-format on

};

#undef DO_SEMANTIC_CHECKS_BY_DEFAULT

// clang-format off

inline bool filesystemAccess() { return Options::current().parser.filesystemAccess; }

inline std::string forceLogicString() { return Options::current().parser.forceLogicString; }

inline bool globalDeclarations() { return Options::current().parser.globalDeclarations; }

inline bool memoryMap() { return Options::current().parser.memoryMap; }

inline bool semanticChecks() { return Options::current().parser.semanticChecks; }

inline bool strictParsing() { return Options::current().parser.strictParsing; }

// clang-format on

namespace parser

{

// clang-format off

static constexpr const char* filesystemAccess__name = "filesystem-access";

static constexpr const char* forceLogicString__name = "force-logic";

static constexpr const char* globalDeclarations__name = "global-declarations";

static constexpr const char* memoryMap__name = "mmap";

static constexpr const char* semanticChecks__name = "semantic-checks";

static constexpr const char* strictParsing__name = "strict-parsing";

void setDefaultFilesystemAccess(Options& opts, bool value);

void setDefaultForceLogicString(Options& opts, std::string value);

void setDefaultGlobalDeclarations(Options& opts, bool value);

void setDefaultMemoryMap(Options& opts, bool value);

void setDefaultSemanticChecks(Options& opts, bool value);

void setDefaultStrictParsing(Options& opts, bool value);

// clang-format on

}

}  // namespace cvc5::options

#endif /* CVC5__OPTIONS__PARSER_H */