Class Args

Bcore/src/main/cpp/Dobby/tests/catch.hpp:5400–5415

Transport for raw args (copied from main args, or supplied via init list for testing)

// Transport for raw args (copied from main args, or supplied via init list for testing)
class Args {
  friend TokenStream;
  std::string m_exeName;
  std::vector<std::string> m_args;

public:
  Args(int argc, char const *const *argv) : m_exeName(argv[0]), m_args(argv + 1, argv + argc) {
  }

  Args(std::initializer_list<std::string> args) : m_exeName(*args.begin()), m_args(args.begin() + 1, args.end()) {
  }

  auto exeName() const -> std::string {
    return m_exeName;
  }
};

// Wraps a token coming from a token stream. These may not directly correspond to strings as a single string
// may encode an option + its argument if the : or = form is used