diff options
author | Tim King <taking@cs.nyu.edu> | 2018-01-14 00:59:54 -0800 |
---|---|---|
committer | Andres Noetzli <andres.noetzli@gmail.com> | 2018-01-14 00:59:54 -0800 |
commit | 43c0aaae5bf43f385b1faa598812a238810c4486 (patch) | |
tree | bbe1ea912601d3bf463f0f9299d0f232d6a5727c /src/options/options.h | |
parent | a7dc71b4344cc0573997fcb4134ebf242f59bd7e (diff) |
Removing throw specifiers from OptionsHandler. (#1510)
Diffstat (limited to 'src/options/options.h')
-rw-r--r-- | src/options/options.h | 12 |
1 files changed, 7 insertions, 5 deletions
diff --git a/src/options/options.h b/src/options/options.h index ce0e3c347..608b9906a 100644 --- a/src/options/options.h +++ b/src/options/options.h @@ -321,11 +321,13 @@ public: * * This function uses getopt_long() and is not thread safe. * + * Throws OptionException on failures. + * * Preconditions: options and argv must be non-null. */ static std::vector<std::string> parseOptions(Options* options, - int argc, char* argv[]) - throw(OptionException); + int argc, + char* argv[]); /** * Get the setting for all options. @@ -534,7 +536,6 @@ public: void flushOut(); private: - /** * Internal procedure for implementing the parseOptions function. * Initializes the options object based on the given command-line @@ -543,12 +544,13 @@ public: * * This is not thread safe. * + * Throws OptionException on failures. + * * Preconditions: options, extender and nonoptions are non-null. */ static void parseOptionsRecursive(Options* options, options::ArgumentExtender* extender, - std::vector<std::string>* nonoptions) - throw(OptionException); + std::vector<std::string>* nonoptions); };/* class Options */ }/* CVC4 namespace */ |