diff options
Diffstat (limited to 'src/options/options_set_option_template.cpp')
-rw-r--r-- | src/options/options_set_option_template.cpp | 52 |
1 files changed, 0 insertions, 52 deletions
diff --git a/src/options/options_set_option_template.cpp b/src/options/options_set_option_template.cpp deleted file mode 100644 index aa56163f2..000000000 --- a/src/options/options_set_option_template.cpp +++ /dev/null @@ -1,52 +0,0 @@ -/********************* */ -/*! \file options_set_option_template.cpp - ** \verbatim - ** Top contributors (to current version): - ** Tim King, Paul Meng - ** This file is part of the CVC4 project. - ** Copyright (c) 2009-2017 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.\endverbatim - ** - ** \brief Implementation of OptionsHandler::setOption. - ** - ** This template file is expanded into the cpp implementation of - ** OptionsHandler::setOption. The file is essentially the contents - ** of the ${smt_setoption_handlers} variable in the options/mkoptions - ** script. This variable depends on all options files. To generate this file, - ** first generate options/summary.sed. - **/ - - -#include <string> -#include <sstream> - -#include "base/modal_exception.h" -#include "base/output.h" -#include "options/option_exception.h" -#include "options/options.h" -#include "options/options_handler.h" - -${include_all_option_headers} -${option_handler_includes} - -#line 35 "${template}" - -using namespace std; - -namespace CVC4 { - -void Options::setOption(const std::string& key, const std::string& optionarg) -{ - options::OptionsHandler* handler = d_handler; - Trace("options") << "SMT setOption(" << key << ", " << optionarg << ")" << endl; - - ${smt_setoption_handlers} - -#line 48 "${template}" - - throw UnrecognizedOptionException(key); -} - -}/* CVC4 namespace */ |