summaryrefslogtreecommitdiff
path: root/libcult/cult/cli/options-parser.hxx
diff options
context:
space:
mode:
Diffstat (limited to 'libcult/cult/cli/options-parser.hxx')
-rw-r--r--libcult/cult/cli/options-parser.hxx570
1 files changed, 570 insertions, 0 deletions
diff --git a/libcult/cult/cli/options-parser.hxx b/libcult/cult/cli/options-parser.hxx
new file mode 100644
index 0000000..4068fa6
--- /dev/null
+++ b/libcult/cult/cli/options-parser.hxx
@@ -0,0 +1,570 @@
+// file : cult/cli/options-parser.hxx
+// author : Boris Kolpackov <boris@kolpackov.net>
+// copyright : Copyright (c) 2005-2010 Boris Kolpackov
+// license : GNU GPL v2 + exceptions; see accompanying LICENSE file
+
+#ifndef CULT_CLI_OPTIONS_PARSER_HXX
+#define CULT_CLI_OPTIONS_PARSER_HXX
+
+#include <cult/types.hxx>
+
+#include <cult/containers/map.hxx>
+#include <cult/containers/vector.hxx>
+
+#include <cult/trace/stream.hxx>
+
+#include <cult/cli/exceptions.hxx>
+#include <cult/cli/scanner.hxx>
+#include <cult/cli/options-spec.hxx>
+
+#include <sstream>
+
+//@! which types should be NonCopyable
+
+namespace Cult
+{
+ namespace CLI
+ {
+ struct UnknownMode
+ {
+ enum Value
+ {
+ skip,
+ stop,
+ fail
+ };
+ };
+
+ template <typename T>
+ struct OptionParserBase
+ {
+ T
+ parse (Char const* o, Scanner& s);
+ };
+
+ template <typename Spec>
+ struct OptionParser: OptionParserBase<typename Spec::Type>
+ {
+ OptionParser (Spec const&)
+ {
+ }
+ };
+
+ template<Char const* o, typename T>
+ class OptionParser<OptionSpec<o, Containers::Vector<T> > >
+ {
+ public:
+ OptionParser (OptionSpec<o, Containers::Vector<T> > const&)
+ : impl_ (OptionSpec<o, T> ())
+ {
+ }
+
+ T
+ parse (Char const* k, Scanner& s)
+ {
+ return impl_.parse (k, s);
+ }
+
+ private:
+ OptionParser<OptionSpec<o, T> > impl_;
+ };
+
+ struct OptionParserBooleanBase
+ {
+ Boolean
+ parse (Char const*, Scanner& s);
+ };
+
+ template<Char const* o>
+ struct OptionParser<OptionSpec<o, Boolean> >: OptionParserBooleanBase
+ {
+ OptionParser (OptionSpec<o, Boolean> const&)
+ {
+ }
+ };
+
+ struct OptionParserStringBase
+ {
+ String
+ parse (Char const*, Scanner& s);
+ };
+
+ template<Char const* o>
+ struct OptionParser<OptionSpec<o, String> >: OptionParserStringBase
+ {
+ OptionParser (OptionSpec<o, String> const&)
+ {
+ }
+ };
+
+ //
+ //
+ //
+
+ class OptionsParserBase
+ {
+ protected:
+ struct GlueBase
+ {
+ // I am using Void* here to (significantly) reduce the length
+ // on the object file symbols.
+ //
+ virtual Void
+ operator() (Char const*, Scanner&, Void* options) = 0;
+ };
+
+ static Trace::Stream tout;
+ };
+
+ template <typename Spec>
+ class OptionsParser : OptionsParserBase
+ {
+ typedef
+ Containers::Map<String, Evptr<GlueBase> >
+ Map;
+
+ template <typename>
+ struct Glue;
+
+ template <Char const* k, typename T>
+ struct Glue<OptionSpec<k, T> > : GlueBase
+ {
+ Glue (OptionSpec<k, T> const& spec)
+ : parser_ (spec)
+ {
+ }
+
+ virtual Void
+ operator() (Char const* o, Scanner& scan, Void* options)
+ {
+ typedef typename Spec::Options Options;
+
+ Options& ops (*reinterpret_cast<Options*> (options));
+
+ ops.template value<k> () = parser_.parse (o, scan);
+ }
+
+ private:
+ OptionParser<OptionSpec<k, T> > parser_;
+ };
+
+ //@@ It's bad that I also have to specialize Glue. Need to redesign
+ // this.
+ //
+ template <Char const* k, typename T>
+ struct Glue<OptionSpec<k, Containers::Vector<T> > > : GlueBase
+ {
+ Glue (OptionSpec<k, Containers::Vector<T> > const& spec)
+ : parser_ (spec)
+ {
+ }
+
+ virtual Void
+ operator() (Char const* o, Scanner& scan, Void* options)
+ {
+ typedef typename Spec::Options Options;
+
+ Options& ops (*reinterpret_cast<Options*> (options));
+
+ ops.template value<k> ().push_back (parser_.parse (o, scan));
+ }
+
+ private:
+ OptionParser<OptionSpec<k, Containers::Vector<T> > > parser_;
+ };
+
+
+ // Option-specific specializations of some functions.
+ //
+ template <typename>
+ struct S_
+ {
+ // This is a "specialization" for when type is Bits::Null.
+ //
+ static Void
+ add_parser (Spec const&, Map&)
+ {
+ }
+
+ static Void
+ set_default (typename Spec::Options&, Spec const&)
+ {
+ }
+ };
+
+ template <Char const* k, typename T>
+ struct S_<OptionSpec<k, T> >
+ {
+ static Void
+ add_parser (Spec const& spec, Map& map)
+ {
+ if (k[0] != '\0')
+ {
+ OptionSpec<k, T> const& os (spec.template option<k> ());
+ map[os.name ()] = new Glue<OptionSpec<k, T> > (os);
+ }
+ }
+
+ static Void
+ set_default (typename Spec::Options& o, Spec const& s)
+ {
+ o.template value<k> () = s.template option<k> ().default_value ();
+ }
+ };
+
+ public:
+
+ OptionsParser (Spec const& spec)
+ : spec_ (spec)
+ {
+ S_<typename Spec::o01>::add_parser (spec_, map_);
+ S_<typename Spec::o02>::add_parser (spec_, map_);
+ S_<typename Spec::o03>::add_parser (spec_, map_);
+ S_<typename Spec::o04>::add_parser (spec_, map_);
+ S_<typename Spec::o05>::add_parser (spec_, map_);
+ S_<typename Spec::o06>::add_parser (spec_, map_);
+ S_<typename Spec::o07>::add_parser (spec_, map_);
+ S_<typename Spec::o08>::add_parser (spec_, map_);
+ S_<typename Spec::o09>::add_parser (spec_, map_);
+ S_<typename Spec::o10>::add_parser (spec_, map_);
+ S_<typename Spec::o11>::add_parser (spec_, map_);
+ S_<typename Spec::o12>::add_parser (spec_, map_);
+ S_<typename Spec::o13>::add_parser (spec_, map_);
+ S_<typename Spec::o14>::add_parser (spec_, map_);
+ S_<typename Spec::o15>::add_parser (spec_, map_);
+ S_<typename Spec::o16>::add_parser (spec_, map_);
+ S_<typename Spec::o17>::add_parser (spec_, map_);
+ S_<typename Spec::o18>::add_parser (spec_, map_);
+ S_<typename Spec::o19>::add_parser (spec_, map_);
+ S_<typename Spec::o20>::add_parser (spec_, map_);
+ S_<typename Spec::o21>::add_parser (spec_, map_);
+ S_<typename Spec::o22>::add_parser (spec_, map_);
+ S_<typename Spec::o23>::add_parser (spec_, map_);
+ S_<typename Spec::o24>::add_parser (spec_, map_);
+ S_<typename Spec::o25>::add_parser (spec_, map_);
+ S_<typename Spec::o26>::add_parser (spec_, map_);
+ S_<typename Spec::o27>::add_parser (spec_, map_);
+ S_<typename Spec::o28>::add_parser (spec_, map_);
+ S_<typename Spec::o29>::add_parser (spec_, map_);
+ S_<typename Spec::o30>::add_parser (spec_, map_);
+ S_<typename Spec::o31>::add_parser (spec_, map_);
+ S_<typename Spec::o32>::add_parser (spec_, map_);
+ S_<typename Spec::o33>::add_parser (spec_, map_);
+ S_<typename Spec::o34>::add_parser (spec_, map_);
+ S_<typename Spec::o35>::add_parser (spec_, map_);
+ S_<typename Spec::o36>::add_parser (spec_, map_);
+ S_<typename Spec::o37>::add_parser (spec_, map_);
+ S_<typename Spec::o38>::add_parser (spec_, map_);
+ S_<typename Spec::o39>::add_parser (spec_, map_);
+ S_<typename Spec::o40>::add_parser (spec_, map_);
+ S_<typename Spec::o41>::add_parser (spec_, map_);
+ S_<typename Spec::o42>::add_parser (spec_, map_);
+ S_<typename Spec::o43>::add_parser (spec_, map_);
+ S_<typename Spec::o44>::add_parser (spec_, map_);
+ S_<typename Spec::o45>::add_parser (spec_, map_);
+ S_<typename Spec::o46>::add_parser (spec_, map_);
+ S_<typename Spec::o47>::add_parser (spec_, map_);
+ S_<typename Spec::o48>::add_parser (spec_, map_);
+ S_<typename Spec::o49>::add_parser (spec_, map_);
+ S_<typename Spec::o50>::add_parser (spec_, map_);
+ S_<typename Spec::o51>::add_parser (spec_, map_);
+ S_<typename Spec::o52>::add_parser (spec_, map_);
+ S_<typename Spec::o53>::add_parser (spec_, map_);
+ S_<typename Spec::o54>::add_parser (spec_, map_);
+ S_<typename Spec::o55>::add_parser (spec_, map_);
+ S_<typename Spec::o56>::add_parser (spec_, map_);
+ S_<typename Spec::o57>::add_parser (spec_, map_);
+ S_<typename Spec::o58>::add_parser (spec_, map_);
+ S_<typename Spec::o59>::add_parser (spec_, map_);
+ S_<typename Spec::o60>::add_parser (spec_, map_);
+ S_<typename Spec::o61>::add_parser (spec_, map_);
+ S_<typename Spec::o62>::add_parser (spec_, map_);
+ S_<typename Spec::o63>::add_parser (spec_, map_);
+ S_<typename Spec::o64>::add_parser (spec_, map_);
+ S_<typename Spec::o65>::add_parser (spec_, map_);
+ S_<typename Spec::o66>::add_parser (spec_, map_);
+ S_<typename Spec::o67>::add_parser (spec_, map_);
+ S_<typename Spec::o68>::add_parser (spec_, map_);
+ S_<typename Spec::o69>::add_parser (spec_, map_);
+ S_<typename Spec::o70>::add_parser (spec_, map_);
+ S_<typename Spec::o71>::add_parser (spec_, map_);
+ S_<typename Spec::o72>::add_parser (spec_, map_);
+ S_<typename Spec::o73>::add_parser (spec_, map_);
+ S_<typename Spec::o74>::add_parser (spec_, map_);
+ S_<typename Spec::o75>::add_parser (spec_, map_);
+ S_<typename Spec::o76>::add_parser (spec_, map_);
+ S_<typename Spec::o77>::add_parser (spec_, map_);
+ S_<typename Spec::o78>::add_parser (spec_, map_);
+ S_<typename Spec::o79>::add_parser (spec_, map_);
+ S_<typename Spec::o80>::add_parser (spec_, map_);
+ S_<typename Spec::o81>::add_parser (spec_, map_);
+ S_<typename Spec::o82>::add_parser (spec_, map_);
+ S_<typename Spec::o83>::add_parser (spec_, map_);
+ S_<typename Spec::o84>::add_parser (spec_, map_);
+ S_<typename Spec::o85>::add_parser (spec_, map_);
+ S_<typename Spec::o86>::add_parser (spec_, map_);
+ S_<typename Spec::o87>::add_parser (spec_, map_);
+ S_<typename Spec::o88>::add_parser (spec_, map_);
+ S_<typename Spec::o89>::add_parser (spec_, map_);
+ S_<typename Spec::o90>::add_parser (spec_, map_);
+ S_<typename Spec::o91>::add_parser (spec_, map_);
+ S_<typename Spec::o92>::add_parser (spec_, map_);
+ S_<typename Spec::o93>::add_parser (spec_, map_);
+ S_<typename Spec::o94>::add_parser (spec_, map_);
+ S_<typename Spec::o95>::add_parser (spec_, map_);
+ S_<typename Spec::o96>::add_parser (spec_, map_);
+ S_<typename Spec::o97>::add_parser (spec_, map_);
+ S_<typename Spec::o98>::add_parser (spec_, map_);
+ S_<typename Spec::o99>::add_parser (spec_, map_);
+ S_<typename Spec::o100>::add_parser (spec_, map_);
+ }
+
+
+ typename Spec::Options
+ parse (Scanner& scan,
+ UnknownMode::Value option_mode = UnknownMode::fail,
+ UnknownMode::Value argument_mode = UnknownMode::stop)
+ {
+ typename Spec::Options ops;
+
+ S_<typename Spec::o01>::set_default (ops, spec_);
+ S_<typename Spec::o02>::set_default (ops, spec_);
+ S_<typename Spec::o03>::set_default (ops, spec_);
+ S_<typename Spec::o04>::set_default (ops, spec_);
+ S_<typename Spec::o05>::set_default (ops, spec_);
+ S_<typename Spec::o06>::set_default (ops, spec_);
+ S_<typename Spec::o07>::set_default (ops, spec_);
+ S_<typename Spec::o08>::set_default (ops, spec_);
+ S_<typename Spec::o09>::set_default (ops, spec_);
+ S_<typename Spec::o10>::set_default (ops, spec_);
+ S_<typename Spec::o11>::set_default (ops, spec_);
+ S_<typename Spec::o12>::set_default (ops, spec_);
+ S_<typename Spec::o13>::set_default (ops, spec_);
+ S_<typename Spec::o14>::set_default (ops, spec_);
+ S_<typename Spec::o15>::set_default (ops, spec_);
+ S_<typename Spec::o16>::set_default (ops, spec_);
+ S_<typename Spec::o17>::set_default (ops, spec_);
+ S_<typename Spec::o18>::set_default (ops, spec_);
+ S_<typename Spec::o19>::set_default (ops, spec_);
+ S_<typename Spec::o20>::set_default (ops, spec_);
+ S_<typename Spec::o21>::set_default (ops, spec_);
+ S_<typename Spec::o22>::set_default (ops, spec_);
+ S_<typename Spec::o23>::set_default (ops, spec_);
+ S_<typename Spec::o24>::set_default (ops, spec_);
+ S_<typename Spec::o25>::set_default (ops, spec_);
+ S_<typename Spec::o26>::set_default (ops, spec_);
+ S_<typename Spec::o27>::set_default (ops, spec_);
+ S_<typename Spec::o28>::set_default (ops, spec_);
+ S_<typename Spec::o29>::set_default (ops, spec_);
+ S_<typename Spec::o30>::set_default (ops, spec_);
+ S_<typename Spec::o31>::set_default (ops, spec_);
+ S_<typename Spec::o32>::set_default (ops, spec_);
+ S_<typename Spec::o33>::set_default (ops, spec_);
+ S_<typename Spec::o34>::set_default (ops, spec_);
+ S_<typename Spec::o35>::set_default (ops, spec_);
+ S_<typename Spec::o36>::set_default (ops, spec_);
+ S_<typename Spec::o37>::set_default (ops, spec_);
+ S_<typename Spec::o38>::set_default (ops, spec_);
+ S_<typename Spec::o39>::set_default (ops, spec_);
+ S_<typename Spec::o40>::set_default (ops, spec_);
+ S_<typename Spec::o41>::set_default (ops, spec_);
+ S_<typename Spec::o42>::set_default (ops, spec_);
+ S_<typename Spec::o43>::set_default (ops, spec_);
+ S_<typename Spec::o44>::set_default (ops, spec_);
+ S_<typename Spec::o45>::set_default (ops, spec_);
+ S_<typename Spec::o46>::set_default (ops, spec_);
+ S_<typename Spec::o47>::set_default (ops, spec_);
+ S_<typename Spec::o48>::set_default (ops, spec_);
+ S_<typename Spec::o49>::set_default (ops, spec_);
+ S_<typename Spec::o50>::set_default (ops, spec_);
+ S_<typename Spec::o51>::set_default (ops, spec_);
+ S_<typename Spec::o52>::set_default (ops, spec_);
+ S_<typename Spec::o53>::set_default (ops, spec_);
+ S_<typename Spec::o54>::set_default (ops, spec_);
+ S_<typename Spec::o55>::set_default (ops, spec_);
+ S_<typename Spec::o56>::set_default (ops, spec_);
+ S_<typename Spec::o57>::set_default (ops, spec_);
+ S_<typename Spec::o58>::set_default (ops, spec_);
+ S_<typename Spec::o59>::set_default (ops, spec_);
+ S_<typename Spec::o60>::set_default (ops, spec_);
+ S_<typename Spec::o61>::set_default (ops, spec_);
+ S_<typename Spec::o62>::set_default (ops, spec_);
+ S_<typename Spec::o63>::set_default (ops, spec_);
+ S_<typename Spec::o64>::set_default (ops, spec_);
+ S_<typename Spec::o65>::set_default (ops, spec_);
+ S_<typename Spec::o66>::set_default (ops, spec_);
+ S_<typename Spec::o67>::set_default (ops, spec_);
+ S_<typename Spec::o68>::set_default (ops, spec_);
+ S_<typename Spec::o69>::set_default (ops, spec_);
+ S_<typename Spec::o70>::set_default (ops, spec_);
+ S_<typename Spec::o71>::set_default (ops, spec_);
+ S_<typename Spec::o72>::set_default (ops, spec_);
+ S_<typename Spec::o73>::set_default (ops, spec_);
+ S_<typename Spec::o74>::set_default (ops, spec_);
+ S_<typename Spec::o75>::set_default (ops, spec_);
+ S_<typename Spec::o76>::set_default (ops, spec_);
+ S_<typename Spec::o77>::set_default (ops, spec_);
+ S_<typename Spec::o78>::set_default (ops, spec_);
+ S_<typename Spec::o79>::set_default (ops, spec_);
+ S_<typename Spec::o80>::set_default (ops, spec_);
+ S_<typename Spec::o81>::set_default (ops, spec_);
+ S_<typename Spec::o82>::set_default (ops, spec_);
+ S_<typename Spec::o83>::set_default (ops, spec_);
+ S_<typename Spec::o84>::set_default (ops, spec_);
+ S_<typename Spec::o85>::set_default (ops, spec_);
+ S_<typename Spec::o86>::set_default (ops, spec_);
+ S_<typename Spec::o87>::set_default (ops, spec_);
+ S_<typename Spec::o88>::set_default (ops, spec_);
+ S_<typename Spec::o89>::set_default (ops, spec_);
+ S_<typename Spec::o90>::set_default (ops, spec_);
+ S_<typename Spec::o91>::set_default (ops, spec_);
+ S_<typename Spec::o92>::set_default (ops, spec_);
+ S_<typename Spec::o93>::set_default (ops, spec_);
+ S_<typename Spec::o94>::set_default (ops, spec_);
+ S_<typename Spec::o95>::set_default (ops, spec_);
+ S_<typename Spec::o96>::set_default (ops, spec_);
+ S_<typename Spec::o97>::set_default (ops, spec_);
+ S_<typename Spec::o98>::set_default (ops, spec_);
+ S_<typename Spec::o99>::set_default (ops, spec_);
+ S_<typename Spec::o100>::set_default (ops, spec_);
+
+ for (Char const* s (scan.peek ()); s != Scanner::eos; s = scan.peek ())
+ {
+ tout << "looking at \"" << s << "\"";
+
+ //@@ Std::
+ //
+ if (strcmp (s, "--") == 0)
+ {
+ // We don't want to remove '--' if our option mode is skip.
+ //
+ if (option_mode == UnknownMode::skip)
+ scan.skip ();
+ else
+ scan.next ();
+
+ break;
+ }
+
+ typename Map::ConstIterator it (map_.find (s));
+
+ if (it != map_.end ())
+ {
+ tout << "found parser for \"" << s << "\"";
+
+ s = scan.next ();
+ (*(it->second)) (s, scan, &ops);
+ }
+ else if (s[0] == '-')
+ {
+ // Unknown option.
+ //
+ switch (option_mode)
+ {
+ case UnknownMode::skip:
+ {
+ scan.skip ();
+ continue;
+ }
+ case UnknownMode::stop:
+ {
+ break;
+ }
+ case UnknownMode::fail:
+ {
+ throw UnexpectedOption (s);
+ }
+ }
+
+ break; // stop case
+ }
+ else
+ {
+ // Something else.
+ //
+ switch (argument_mode)
+ {
+ case UnknownMode::skip:
+ {
+ scan.skip ();
+ continue;
+ }
+ case UnknownMode::stop:
+ {
+ break;
+ }
+ case UnknownMode::fail:
+ {
+ throw UnexpectedArgument (s);
+ }
+ }
+
+ break; // stop case
+ }
+ }
+
+ return ops;
+ }
+
+ private:
+ Map map_;
+ Spec spec_;
+ };
+
+ //
+ //
+ //
+
+ template <typename Spec>
+ typename Spec::Options
+ parse (Spec const& s,
+ Arguments& args,
+ UnknownMode::Value option_mode = UnknownMode::fail,
+ UnknownMode::Value argument_mode = UnknownMode::stop)
+ {
+ Scanner scan (args, Scanner::Action::erase);
+ OptionsParser<Spec> parser (s);
+
+ return parser.parse (scan, option_mode, argument_mode);
+ }
+
+ template <typename Options>
+ Options
+ parse (Arguments& args,
+ UnknownMode::Value option_mode = UnknownMode::fail,
+ UnknownMode::Value argument_mode = UnknownMode::stop)
+ {
+ OptionsSpec<Options> spec;
+ return parse (spec, args, option_mode, argument_mode);
+ }
+
+ template <typename Spec>
+ typename Spec::Options
+ parse (Spec const& s,
+ Int& argc,
+ Char** argv,
+ UnknownMode::Value option_mode = UnknownMode::fail,
+ UnknownMode::Value argument_mode = UnknownMode::stop)
+ {
+ BasicArguments args (argc, argv);
+ return parse (s, args, option_mode, argument_mode);
+ }
+
+ template <typename Options>
+ Options
+ parse (Int& argc,
+ Char** argv,
+ UnknownMode::Value option_mode = UnknownMode::fail,
+ UnknownMode::Value argument_mode = UnknownMode::stop)
+ {
+ OptionsSpec<Options> spec;
+
+ return parse (spec, argc, argv, option_mode, argument_mode);
+ }
+ }
+}
+
+#include <cult/cli/options-parser.ixx>
+#include <cult/cli/options-parser.txx>
+
+#endif // CULT_CLI_OPTIONS_PARSER_HXX