diff options
author | Morgan Deters <mdeters@gmail.com> | 2012-09-14 15:13:37 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2012-09-14 15:13:37 +0000 |
commit | 080fc73c61ca11a539fd5239146a828e86b9e29a (patch) | |
tree | e85086eafa39013a06b04f7704a17e8a5d977b57 /src/options/options.h | |
parent | 01dfa806851502267e1032483fec48e8b4373634 (diff) |
Fix a few minor issues in options processing, improving usability, consistency, error-reporting, and documentation.
Diffstat (limited to 'src/options/options.h')
-rw-r--r-- | src/options/options.h | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/options/options.h b/src/options/options.h index c966670f5..4f7e2a692 100644 --- a/src/options/options.h +++ b/src/options/options.h @@ -24,6 +24,7 @@ #include <iostream> #include <fstream> #include <string> +#include <vector> #include "options/option_exception.h" #include "util/language.h" @@ -120,8 +121,10 @@ public: /** * Initialize the options based on the given command-line arguments. + * The return value is what's left of the command line (that is, the + * non-option arguments). */ - int parseOptions(int argc, char* argv[]) throw(OptionException); + std::vector<std::string> parseOptions(int argc, char* argv[]) throw(OptionException); /** * Set the output language based on the given string. |