2017-06-13 00:04:24 +02:00
|
|
|
// v1.0
|
|
|
|
// See https://github.com/philsquared/Clara
|
|
|
|
|
|
|
|
#ifndef CATCH_CLARA_HPP_INCLUDED
|
|
|
|
#define CATCH_CLARA_HPP_INCLUDED
|
|
|
|
|
|
|
|
#include <cassert>
|
|
|
|
#include <ostream>
|
|
|
|
#include <sstream>
|
|
|
|
#include <vector>
|
|
|
|
#include <memory>
|
|
|
|
#include <set>
|
|
|
|
#include <algorithm>
|
|
|
|
|
|
|
|
#ifndef CLARA_CONFIG_CONSOLE_WIDTH
|
|
|
|
#define CLARA_CONFIG_CONSOLE_WIDTH 80
|
|
|
|
#endif
|
|
|
|
|
|
|
|
namespace Catch {
|
|
|
|
namespace clara {
|
|
|
|
|
|
|
|
// Included from TextFlow.hpp
|
|
|
|
namespace TextFlow {
|
|
|
|
|
|
|
|
inline auto isWhitespace( char c ) -> bool {
|
|
|
|
static std::string chars = " \t\n\r";
|
|
|
|
return chars.find( c ) != std::string::npos;
|
|
|
|
}
|
|
|
|
inline auto isBreakableBefore( char c ) -> bool {
|
|
|
|
static std::string chars = "[({<|";
|
|
|
|
return chars.find( c ) != std::string::npos;
|
|
|
|
}
|
|
|
|
inline auto isBreakableAfter( char c ) -> bool {
|
|
|
|
static std::string chars = "])}>.,:;*+-=&/\\";
|
|
|
|
return chars.find( c ) != std::string::npos;
|
|
|
|
}
|
|
|
|
|
|
|
|
class Columns;
|
|
|
|
|
|
|
|
class Column {
|
|
|
|
std::vector<std::string> m_strings;
|
|
|
|
size_t m_width = CLARA_CONFIG_CONSOLE_WIDTH;
|
|
|
|
size_t m_indent = 0;
|
|
|
|
size_t m_initialIndent = std::string::npos;
|
|
|
|
|
|
|
|
public:
|
|
|
|
class iterator {
|
|
|
|
friend Column;
|
|
|
|
|
|
|
|
Column const& m_column;
|
|
|
|
size_t m_stringIndex = 0;
|
|
|
|
size_t m_pos = 0;
|
|
|
|
|
|
|
|
size_t m_len;
|
|
|
|
bool m_suffix = false;
|
|
|
|
|
|
|
|
iterator( Column const& column, size_t stringIndex )
|
|
|
|
: m_column( column ),
|
|
|
|
m_stringIndex( stringIndex )
|
|
|
|
{}
|
|
|
|
|
|
|
|
auto line() const -> std::string const& { return m_column.m_strings[m_stringIndex]; }
|
|
|
|
|
|
|
|
auto isBoundary( size_t at ) const -> bool {
|
|
|
|
assert( at > 0 );
|
|
|
|
assert( at <= line().size() );
|
|
|
|
|
|
|
|
return at == line().size() ||
|
|
|
|
( isWhitespace( line()[at] ) && !isWhitespace( line()[at-1] ) ) ||
|
|
|
|
isBreakableBefore( line()[at] ) ||
|
|
|
|
isBreakableAfter( line()[at-1] );
|
|
|
|
}
|
|
|
|
|
|
|
|
void calcLength() {
|
|
|
|
assert( m_stringIndex < m_column.m_strings.size() );
|
|
|
|
|
|
|
|
m_suffix = false;
|
|
|
|
auto width = m_column.m_width-indent();
|
|
|
|
if( line().size() < m_pos + width ) {
|
|
|
|
m_len = line().size() - m_pos;
|
|
|
|
}
|
|
|
|
else {
|
|
|
|
size_t len = width;
|
|
|
|
while (len > 0 && !isBoundary(m_pos + len))
|
|
|
|
--len;
|
|
|
|
while (len > 0 && isWhitespace( line()[m_pos + len - 1] ))
|
|
|
|
--len;
|
|
|
|
|
|
|
|
if (len > 0) {
|
|
|
|
m_len = len;
|
|
|
|
} else {
|
|
|
|
m_suffix = true;
|
|
|
|
m_len = width - 1;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
auto indent() const -> size_t {
|
|
|
|
auto initial = m_pos == 0 && m_stringIndex == 0 ? m_column.m_initialIndent : std::string::npos;
|
|
|
|
return initial == std::string::npos ? m_column.m_indent : initial;
|
|
|
|
}
|
|
|
|
|
|
|
|
auto addIndentAndSuffix(std::string const &plain) const -> std::string {
|
|
|
|
return std::string( indent(), ' ' ) + (m_suffix ? plain + "-" : plain);
|
|
|
|
}
|
|
|
|
|
|
|
|
public:
|
|
|
|
explicit iterator( Column const& column ) : m_column( column ) {
|
|
|
|
assert( m_column.m_width > m_column.m_indent );
|
|
|
|
assert( m_column.m_initialIndent == std::string::npos || m_column.m_width > m_column.m_initialIndent );
|
|
|
|
calcLength();
|
|
|
|
if( m_len == 0 )
|
|
|
|
m_stringIndex++; // Empty string
|
|
|
|
}
|
|
|
|
|
|
|
|
auto operator *() const -> std::string {
|
|
|
|
assert( m_stringIndex < m_column.m_strings.size() );
|
|
|
|
assert( m_pos < line().size() );
|
|
|
|
if( m_pos + m_column.m_width < line().size() )
|
|
|
|
return addIndentAndSuffix(line().substr(m_pos, m_len));
|
|
|
|
else
|
|
|
|
return addIndentAndSuffix(line().substr(m_pos));
|
|
|
|
}
|
|
|
|
|
|
|
|
auto operator ++() -> iterator& {
|
|
|
|
m_pos += m_len;
|
|
|
|
while( m_pos < line().size() && isWhitespace( line()[m_pos] ) )
|
|
|
|
++m_pos;
|
|
|
|
|
|
|
|
if( m_pos == line().size() ) {
|
|
|
|
m_pos = 0;
|
|
|
|
++m_stringIndex;
|
|
|
|
}
|
|
|
|
if( m_stringIndex < m_column.m_strings.size() )
|
|
|
|
calcLength();
|
|
|
|
return *this;
|
|
|
|
}
|
|
|
|
auto operator ++(int) -> iterator {
|
|
|
|
iterator prev( *this );
|
|
|
|
operator++();
|
|
|
|
return prev;
|
|
|
|
}
|
|
|
|
|
|
|
|
auto operator ==( iterator const& other ) const -> bool {
|
|
|
|
return
|
|
|
|
m_pos == other.m_pos &&
|
|
|
|
m_stringIndex == other.m_stringIndex &&
|
|
|
|
&m_column == &other.m_column;
|
|
|
|
}
|
|
|
|
auto operator !=( iterator const& other ) const -> bool {
|
|
|
|
return !operator==( other );
|
|
|
|
}
|
|
|
|
};
|
|
|
|
using const_iterator = iterator;
|
|
|
|
|
|
|
|
explicit Column( std::string const& text ) { m_strings.push_back( text ); }
|
|
|
|
|
|
|
|
auto width( size_t newWidth ) -> Column& {
|
|
|
|
assert( newWidth > 0 );
|
|
|
|
m_width = newWidth;
|
|
|
|
return *this;
|
|
|
|
}
|
|
|
|
auto indent( size_t newIndent ) -> Column& {
|
|
|
|
m_indent = newIndent;
|
|
|
|
return *this;
|
|
|
|
}
|
|
|
|
auto initialIndent( size_t newIndent ) -> Column& {
|
|
|
|
m_initialIndent = newIndent;
|
|
|
|
return *this;
|
|
|
|
}
|
|
|
|
|
|
|
|
auto width() const -> size_t { return m_width; }
|
|
|
|
auto begin() const -> iterator { return iterator( *this ); }
|
|
|
|
auto end() const -> iterator { return iterator( *this, m_strings.size() ); }
|
|
|
|
|
|
|
|
inline friend std::ostream& operator << ( std::ostream& os, Column const& col ) {
|
|
|
|
bool first = true;
|
|
|
|
for( auto line : col ) {
|
|
|
|
if( first )
|
|
|
|
first = false;
|
|
|
|
else
|
|
|
|
os << "\n";
|
|
|
|
os << line;
|
|
|
|
}
|
|
|
|
return os;
|
|
|
|
}
|
|
|
|
|
|
|
|
auto operator + ( Column const& other ) -> Columns;
|
|
|
|
|
|
|
|
auto toString() const -> std::string {
|
|
|
|
std::ostringstream oss;
|
|
|
|
oss << *this;
|
|
|
|
return oss.str();
|
|
|
|
}
|
|
|
|
};
|
|
|
|
|
|
|
|
class Spacer : public Column {
|
|
|
|
|
|
|
|
public:
|
|
|
|
Spacer( size_t spaceWidth ) : Column( "" ) {
|
|
|
|
width( spaceWidth );
|
|
|
|
}
|
|
|
|
};
|
|
|
|
|
|
|
|
class Columns {
|
|
|
|
std::vector<Column> m_columns;
|
|
|
|
|
|
|
|
public:
|
|
|
|
|
|
|
|
class iterator {
|
|
|
|
friend Columns;
|
|
|
|
struct EndTag {};
|
|
|
|
|
|
|
|
std::vector<Column> const& m_columns;
|
|
|
|
std::vector<Column::iterator> m_iterators;
|
|
|
|
size_t m_activeIterators;
|
|
|
|
|
|
|
|
iterator( Columns const& columns, EndTag )
|
|
|
|
: m_columns( columns.m_columns ),
|
|
|
|
m_activeIterators( 0 )
|
|
|
|
{
|
|
|
|
m_iterators.reserve( m_columns.size() );
|
|
|
|
|
|
|
|
for( auto const& col : m_columns )
|
|
|
|
m_iterators.push_back( col.end() );
|
|
|
|
}
|
|
|
|
|
|
|
|
public:
|
|
|
|
iterator( Columns const& columns )
|
|
|
|
: m_columns( columns.m_columns ),
|
|
|
|
m_activeIterators( m_columns.size() )
|
|
|
|
{
|
|
|
|
m_iterators.reserve( m_columns.size() );
|
|
|
|
|
|
|
|
for( auto const& col : m_columns )
|
|
|
|
m_iterators.push_back( col.begin() );
|
|
|
|
}
|
|
|
|
|
|
|
|
auto operator ==( iterator const& other ) const -> bool {
|
|
|
|
return m_iterators == other.m_iterators;
|
|
|
|
}
|
|
|
|
auto operator !=( iterator const& other ) const -> bool {
|
|
|
|
return m_iterators != other.m_iterators;
|
|
|
|
}
|
|
|
|
auto operator *() const -> std::string {
|
|
|
|
std::string row, padding;
|
|
|
|
|
|
|
|
for( size_t i = 0; i < m_columns.size(); ++i ) {
|
|
|
|
auto width = m_columns[i].width();
|
|
|
|
if( m_iterators[i] != m_columns[i].end() ) {
|
|
|
|
std::string col = *m_iterators[i];
|
|
|
|
row += padding + col;
|
|
|
|
if( col.size() < width )
|
|
|
|
padding = std::string( width - col.size(), ' ' );
|
|
|
|
else
|
|
|
|
padding = "";
|
|
|
|
}
|
|
|
|
else {
|
|
|
|
padding += std::string( width, ' ' );
|
|
|
|
}
|
|
|
|
}
|
|
|
|
return row;
|
|
|
|
}
|
|
|
|
auto operator ++() -> iterator& {
|
|
|
|
for( size_t i = 0; i < m_columns.size(); ++i ) {
|
|
|
|
if (m_iterators[i] != m_columns[i].end())
|
|
|
|
++m_iterators[i];
|
|
|
|
}
|
|
|
|
return *this;
|
|
|
|
}
|
|
|
|
auto operator ++(int) -> iterator {
|
|
|
|
iterator prev( *this );
|
|
|
|
operator++();
|
|
|
|
return prev;
|
|
|
|
}
|
|
|
|
};
|
|
|
|
using const_iterator = iterator;
|
|
|
|
|
|
|
|
auto begin() const -> iterator { return iterator( *this ); }
|
|
|
|
auto end() const -> iterator { return iterator( *this, iterator::EndTag() ); }
|
|
|
|
|
|
|
|
auto operator += ( Column const& col ) -> Columns& {
|
|
|
|
m_columns.push_back( col );
|
|
|
|
return *this;
|
|
|
|
}
|
|
|
|
auto operator + ( Column const& col ) -> Columns {
|
|
|
|
Columns combined = *this;
|
|
|
|
combined += col;
|
|
|
|
return combined;
|
|
|
|
}
|
|
|
|
|
|
|
|
inline friend std::ostream& operator << ( std::ostream& os, Columns const& cols ) {
|
|
|
|
|
|
|
|
bool first = true;
|
|
|
|
for( auto line : cols ) {
|
|
|
|
if( first )
|
|
|
|
first = false;
|
|
|
|
else
|
|
|
|
os << "\n";
|
|
|
|
os << line;
|
|
|
|
}
|
|
|
|
return os;
|
|
|
|
}
|
|
|
|
|
|
|
|
auto toString() const -> std::string {
|
|
|
|
std::ostringstream oss;
|
|
|
|
oss << *this;
|
|
|
|
return oss.str();
|
|
|
|
}
|
|
|
|
};
|
|
|
|
|
|
|
|
inline auto Column::operator + ( Column const& other ) -> Columns {
|
|
|
|
Columns cols;
|
|
|
|
cols += *this;
|
|
|
|
cols += other;
|
|
|
|
return cols;
|
|
|
|
}
|
|
|
|
|
|
|
|
} // namespace TextFlow
|
|
|
|
|
|
|
|
namespace detail {
|
|
|
|
|
|
|
|
// Traits for extracting arg and return type of lambdas (for single argument lambdas)
|
|
|
|
template<typename L>
|
|
|
|
struct UnaryLambdaTraits : UnaryLambdaTraits<decltype(&L::operator())> {};
|
|
|
|
|
|
|
|
template<typename ClassT, typename ReturnT, typename... Args>
|
|
|
|
struct UnaryLambdaTraits<ReturnT(ClassT::*)(Args...) const> {
|
|
|
|
static const bool isValid = false;
|
|
|
|
};
|
|
|
|
|
|
|
|
template<typename ClassT, typename ReturnT, typename ArgT>
|
|
|
|
struct UnaryLambdaTraits<ReturnT(ClassT::*)(ArgT) const> {
|
|
|
|
static const bool isValid = true;
|
|
|
|
using ArgType = typename std::remove_const<typename std::remove_reference<ArgT>::type>::type;;
|
|
|
|
using ReturnType = ReturnT;
|
|
|
|
};
|
|
|
|
|
|
|
|
class TokenStream;
|
|
|
|
|
|
|
|
// 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 *argv[]) {
|
|
|
|
m_exeName = argv[0];
|
|
|
|
for (int i = 1; i < argc; ++i)
|
|
|
|
m_args.push_back(argv[i]);
|
|
|
|
}
|
|
|
|
|
|
|
|
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
|
|
|
|
enum class TokenType {
|
|
|
|
Option, Argument
|
|
|
|
};
|
|
|
|
struct Token {
|
|
|
|
TokenType type;
|
|
|
|
std::string token;
|
|
|
|
};
|
|
|
|
|
|
|
|
// Abstracts iterators into args as a stream of tokens, with option arguments uniformly handled
|
|
|
|
class TokenStream {
|
|
|
|
using Iterator = std::vector<std::string>::const_iterator;
|
|
|
|
Iterator it;
|
|
|
|
Iterator itEnd;
|
|
|
|
std::vector<Token> m_tokenBuffer;
|
|
|
|
|
|
|
|
void loadBuffer() {
|
|
|
|
m_tokenBuffer.resize(0);
|
|
|
|
|
|
|
|
// Skip any empty strings
|
|
|
|
while (it != itEnd && it->empty())
|
|
|
|
++it;
|
|
|
|
|
|
|
|
if (it != itEnd) {
|
|
|
|
auto const &next = *it;
|
|
|
|
if (next[0] == '-' || next[0] == '/') {
|
|
|
|
auto delimiterPos = next.find_first_of(" :=");
|
|
|
|
if (delimiterPos != std::string::npos) {
|
|
|
|
m_tokenBuffer.push_back({TokenType::Option, next.substr(0, delimiterPos)});
|
|
|
|
m_tokenBuffer.push_back({TokenType::Argument, next.substr(delimiterPos + 1)});
|
|
|
|
} else {
|
|
|
|
if (next[1] != '-' && next.size() > 2) {
|
|
|
|
std::string opt = "- ";
|
|
|
|
for (size_t i = 1; i < next.size(); ++i) {
|
|
|
|
opt[1] = next[i];
|
|
|
|
m_tokenBuffer.push_back({TokenType::Option, opt});
|
|
|
|
}
|
|
|
|
} else {
|
|
|
|
m_tokenBuffer.push_back({TokenType::Option, next});
|
|
|
|
}
|
|
|
|
}
|
|
|
|
} else {
|
|
|
|
m_tokenBuffer.push_back({TokenType::Argument, next});
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
public:
|
|
|
|
explicit TokenStream(Args const &args) : TokenStream(args.m_args.begin(), args.m_args.end()) {}
|
|
|
|
|
|
|
|
TokenStream(Iterator it, Iterator itEnd) : it(it), itEnd(itEnd) {
|
|
|
|
loadBuffer();
|
|
|
|
}
|
|
|
|
|
|
|
|
explicit operator bool() const {
|
|
|
|
return !m_tokenBuffer.empty() || it != itEnd;
|
|
|
|
}
|
|
|
|
|
|
|
|
auto count() const -> size_t { return m_tokenBuffer.size() + (itEnd - it); }
|
|
|
|
|
|
|
|
auto operator*() const -> Token {
|
|
|
|
assert(!m_tokenBuffer.empty());
|
|
|
|
return m_tokenBuffer.front();
|
|
|
|
}
|
|
|
|
|
|
|
|
auto operator->() const -> Token const * {
|
|
|
|
assert(!m_tokenBuffer.empty());
|
|
|
|
return &m_tokenBuffer.front();
|
|
|
|
}
|
|
|
|
|
|
|
|
auto operator++() -> TokenStream & {
|
|
|
|
if (m_tokenBuffer.size() >= 2) {
|
|
|
|
m_tokenBuffer.erase(m_tokenBuffer.begin());
|
|
|
|
} else {
|
|
|
|
if (it != itEnd)
|
|
|
|
++it;
|
|
|
|
loadBuffer();
|
|
|
|
}
|
|
|
|
return *this;
|
|
|
|
}
|
|
|
|
};
|
|
|
|
|
|
|
|
|
|
|
|
class ResultBase {
|
|
|
|
public:
|
|
|
|
enum Type {
|
|
|
|
Ok, LogicError, RuntimeError
|
|
|
|
};
|
|
|
|
|
|
|
|
protected:
|
|
|
|
ResultBase(Type type) : m_type(type) {}
|
|
|
|
|
|
|
|
virtual void enforceOk() const = 0;
|
|
|
|
|
|
|
|
Type m_type;
|
|
|
|
};
|
|
|
|
|
|
|
|
template<typename T>
|
|
|
|
class ResultValueBase : public ResultBase {
|
|
|
|
public:
|
|
|
|
auto value() const -> T const & {
|
|
|
|
enforceOk();
|
|
|
|
return m_value;
|
|
|
|
}
|
|
|
|
|
|
|
|
protected:
|
|
|
|
ResultValueBase(Type type) : ResultBase(type) {}
|
|
|
|
|
|
|
|
ResultValueBase(ResultValueBase const &other) : ResultBase(other) {
|
|
|
|
if (m_type == ResultBase::Ok)
|
|
|
|
new(&m_value) T(other.m_value);
|
|
|
|
}
|
|
|
|
|
|
|
|
ResultValueBase(Type type, T const &value)
|
|
|
|
: ResultBase(Ok) {
|
|
|
|
new(&m_value) T(value);
|
|
|
|
}
|
|
|
|
|
|
|
|
auto operator=(ResultValueBase const &other) -> ResultValueBase & {
|
|
|
|
if (m_type == ResultBase::Ok)
|
|
|
|
m_value.~T();
|
|
|
|
ResultBase::operator=(other);
|
|
|
|
if (m_type == ResultBase::Ok)
|
|
|
|
new(&m_value) T(other.m_value);
|
|
|
|
return *this;
|
|
|
|
}
|
|
|
|
|
|
|
|
~ResultValueBase() {
|
|
|
|
if (m_type == Ok)
|
|
|
|
m_value.~T();
|
|
|
|
}
|
|
|
|
|
|
|
|
union {
|
|
|
|
T m_value;
|
|
|
|
};
|
|
|
|
};
|
|
|
|
|
|
|
|
template<>
|
|
|
|
class ResultValueBase<void> : public ResultBase {
|
|
|
|
protected:
|
|
|
|
using ResultBase::ResultBase;
|
|
|
|
};
|
|
|
|
|
|
|
|
template<typename T = void>
|
|
|
|
class BasicResult : public ResultValueBase<T> {
|
|
|
|
public:
|
|
|
|
template<typename U>
|
|
|
|
explicit BasicResult(BasicResult<U> const &other)
|
|
|
|
: ResultValueBase<T>(other.type()),
|
|
|
|
m_errorMessage(other.errorMessage()) {
|
|
|
|
assert(type() != ResultBase::Ok);
|
|
|
|
}
|
|
|
|
|
|
|
|
static auto ok() -> BasicResult { return {ResultBase::Ok}; }
|
|
|
|
|
|
|
|
template<typename U>
|
|
|
|
static auto ok(U const &value) -> BasicResult { return {ResultBase::Ok, value}; }
|
|
|
|
|
|
|
|
static auto logicError(std::string const &message) -> BasicResult { return {ResultBase::LogicError, message}; }
|
|
|
|
|
|
|
|
static auto runtimeError(std::string const &message) -> BasicResult {
|
|
|
|
return {ResultBase::RuntimeError, message};
|
|
|
|
}
|
|
|
|
|
|
|
|
explicit operator bool() const { return m_type == ResultBase::Ok; }
|
|
|
|
|
|
|
|
auto type() const -> ResultBase::Type { return m_type; }
|
|
|
|
|
|
|
|
auto errorMessage() const -> std::string { return m_errorMessage; }
|
|
|
|
|
|
|
|
protected:
|
|
|
|
virtual void enforceOk() const {
|
|
|
|
// !TBD: If no exceptions, std::terminate here or something
|
|
|
|
switch (m_type) {
|
|
|
|
case ResultBase::LogicError:
|
|
|
|
throw std::logic_error(m_errorMessage);
|
|
|
|
case ResultBase::RuntimeError:
|
|
|
|
throw std::runtime_error(m_errorMessage);
|
|
|
|
case ResultBase::Ok:
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
std::string m_errorMessage; // Only populated if resultType is an error
|
|
|
|
|
|
|
|
BasicResult(ResultBase::Type type, std::string const &message)
|
|
|
|
: ResultValueBase<T>(type),
|
|
|
|
m_errorMessage(message) {
|
|
|
|
assert(m_type != ResultBase::Ok);
|
|
|
|
}
|
|
|
|
|
|
|
|
using ResultValueBase<T>::ResultValueBase;
|
|
|
|
using ResultBase::m_type;
|
|
|
|
};
|
|
|
|
|
|
|
|
enum class ParseResultType {
|
|
|
|
Matched, NoMatch, ShortCircuitAll, ShortCircuitSame
|
|
|
|
};
|
|
|
|
|
|
|
|
class ParseState {
|
|
|
|
public:
|
|
|
|
|
|
|
|
ParseState(ParseResultType type, TokenStream const &remainingTokens)
|
|
|
|
: m_type(type),
|
|
|
|
m_remainingTokens(remainingTokens) {}
|
|
|
|
|
|
|
|
auto type() const -> ParseResultType { return m_type; }
|
|
|
|
|
|
|
|
auto remainingTokens() const -> TokenStream { return m_remainingTokens; }
|
|
|
|
|
|
|
|
private:
|
|
|
|
ParseResultType m_type;
|
|
|
|
TokenStream m_remainingTokens;
|
|
|
|
};
|
|
|
|
|
|
|
|
using Result = BasicResult<void>;
|
|
|
|
using ParserResult = BasicResult<ParseResultType>;
|
|
|
|
using InternalParseResult = BasicResult<ParseState>;
|
|
|
|
|
|
|
|
struct HelpColumns {
|
|
|
|
std::string left;
|
|
|
|
std::string right;
|
|
|
|
};
|
|
|
|
|
|
|
|
template<typename T>
|
|
|
|
inline auto convertInto(std::string const &source, T& target) -> ParserResult {
|
|
|
|
std::stringstream ss;
|
|
|
|
ss << source;
|
|
|
|
ss >> target;
|
|
|
|
if (ss.fail())
|
|
|
|
return ParserResult::runtimeError("Unable to convert '" + source + "' to destination type");
|
|
|
|
else
|
|
|
|
return ParserResult::ok(ParseResultType::Matched);
|
|
|
|
}
|
|
|
|
inline auto convertInto(std::string const &source, std::string& target) -> ParserResult {
|
|
|
|
target = source;
|
|
|
|
return ParserResult::ok(ParseResultType::Matched);
|
|
|
|
}
|
|
|
|
|
|
|
|
inline auto convertInto(std::string const &source, bool &target) -> ParserResult {
|
|
|
|
std::string srcLC = source;
|
|
|
|
std::transform(srcLC.begin(), srcLC.end(), srcLC.begin(), ::tolower);
|
|
|
|
if (srcLC == "y" || srcLC == "1" || srcLC == "true" || srcLC == "yes" || srcLC == "on")
|
|
|
|
target = true;
|
|
|
|
else if (srcLC == "n" || srcLC == "0" || srcLC == "false" || srcLC == "no" || srcLC == "off")
|
|
|
|
target = false;
|
|
|
|
else
|
|
|
|
return ParserResult::runtimeError("Expected a boolean value but did not recognise: '" + source + "'");
|
|
|
|
return ParserResult::ok(ParseResultType::Matched);
|
|
|
|
}
|
|
|
|
|
|
|
|
struct BoundRefBase {
|
|
|
|
BoundRefBase() = default;
|
|
|
|
|
|
|
|
BoundRefBase(BoundRefBase const &) = delete;
|
|
|
|
|
|
|
|
BoundRefBase(BoundRefBase &&) = delete;
|
|
|
|
|
|
|
|
BoundRefBase &operator=(BoundRefBase const &) = delete;
|
|
|
|
|
|
|
|
BoundRefBase &operator=(BoundRefBase &&) = delete;
|
|
|
|
|
|
|
|
virtual ~BoundRefBase() = default;
|
|
|
|
|
|
|
|
virtual auto isFlag() const -> bool = 0;
|
|
|
|
|
|
|
|
virtual auto isContainer() const -> bool { return false; }
|
|
|
|
|
|
|
|
virtual auto setValue(std::string const &arg) -> ParserResult = 0;
|
|
|
|
|
|
|
|
virtual auto setFlag(bool flag) -> ParserResult = 0;
|
|
|
|
};
|
|
|
|
|
|
|
|
struct BoundValueRefBase : BoundRefBase {
|
|
|
|
auto isFlag() const -> bool override { return false; }
|
|
|
|
|
|
|
|
auto setFlag(bool) -> ParserResult override {
|
|
|
|
return ParserResult::logicError("Flags can only be set on boolean fields");
|
|
|
|
}
|
|
|
|
};
|
|
|
|
|
|
|
|
struct BoundFlagRefBase : BoundRefBase {
|
|
|
|
auto isFlag() const -> bool override { return true; }
|
|
|
|
|
|
|
|
auto setValue(std::string const &arg) -> ParserResult override {
|
|
|
|
bool flag;
|
|
|
|
auto result = convertInto(arg, flag);
|
|
|
|
if (result)
|
|
|
|
setFlag(flag);
|
|
|
|
return result;
|
|
|
|
}
|
|
|
|
};
|
|
|
|
|
|
|
|
template<typename T>
|
|
|
|
struct BoundRef : BoundValueRefBase {
|
|
|
|
T &m_ref;
|
|
|
|
|
|
|
|
explicit BoundRef(T &ref) : m_ref(ref) {}
|
|
|
|
|
|
|
|
auto setValue(std::string const &arg) -> ParserResult override {
|
|
|
|
return convertInto(arg, m_ref);
|
|
|
|
}
|
|
|
|
};
|
|
|
|
|
|
|
|
template<typename T>
|
|
|
|
struct BoundRef<std::vector<T>> : BoundValueRefBase {
|
|
|
|
std::vector<T> &m_ref;
|
|
|
|
|
|
|
|
explicit BoundRef(std::vector<T> &ref) : m_ref(ref) {}
|
|
|
|
|
|
|
|
auto isContainer() const -> bool override { return true; }
|
|
|
|
|
|
|
|
auto setValue(std::string const &arg) -> ParserResult override {
|
|
|
|
T temp;
|
|
|
|
auto result = convertInto(arg, temp);
|
|
|
|
if (result)
|
|
|
|
m_ref.push_back(temp);
|
|
|
|
return result;
|
|
|
|
}
|
|
|
|
};
|
|
|
|
|
|
|
|
struct BoundFlagRef : BoundFlagRefBase {
|
|
|
|
bool &m_ref;
|
|
|
|
|
|
|
|
explicit BoundFlagRef(bool &ref) : m_ref(ref) {}
|
|
|
|
|
|
|
|
auto setFlag(bool flag) -> ParserResult override {
|
|
|
|
m_ref = flag;
|
|
|
|
return ParserResult::ok(ParseResultType::Matched);
|
|
|
|
}
|
|
|
|
};
|
|
|
|
|
|
|
|
template<typename ReturnType>
|
|
|
|
struct LambdaInvoker {
|
|
|
|
static_assert(std::is_same<ReturnType, ParserResult>::value, "Lambda must return void or clara::ParserResult");
|
|
|
|
|
|
|
|
template<typename L, typename ArgType>
|
|
|
|
static auto invoke(L const &lambda, ArgType const &arg) -> ParserResult {
|
|
|
|
return lambda(arg);
|
|
|
|
}
|
|
|
|
};
|
|
|
|
|
|
|
|
template<>
|
|
|
|
struct LambdaInvoker<void> {
|
|
|
|
template<typename L, typename ArgType>
|
|
|
|
static auto invoke(L const &lambda, ArgType const &arg) -> ParserResult {
|
|
|
|
lambda(arg);
|
|
|
|
return ParserResult::ok(ParseResultType::Matched);
|
|
|
|
}
|
|
|
|
};
|
|
|
|
|
|
|
|
template<typename ArgType, typename L>
|
|
|
|
inline auto invokeLambda(L const &lambda, std::string const &arg) -> ParserResult {
|
|
|
|
ArgType temp;
|
|
|
|
auto result = convertInto(arg, temp);
|
|
|
|
return !result
|
|
|
|
? result
|
|
|
|
: LambdaInvoker<typename UnaryLambdaTraits<L>::ReturnType>::invoke(lambda, temp);
|
|
|
|
};
|
|
|
|
|
|
|
|
|
|
|
|
template<typename L>
|
|
|
|
struct BoundLambda : BoundValueRefBase {
|
|
|
|
L m_lambda;
|
|
|
|
|
|
|
|
static_assert( UnaryLambdaTraits<L>::isValid, "Supplied lambda must take exactly one argument" );
|
|
|
|
explicit BoundLambda(L const &lambda) : m_lambda(lambda) {}
|
|
|
|
|
|
|
|
auto setValue(std::string const &arg) -> ParserResult override {
|
|
|
|
return invokeLambda<typename UnaryLambdaTraits<L>::ArgType>(m_lambda, arg);
|
|
|
|
}
|
|
|
|
};
|
|
|
|
|
|
|
|
template<typename L>
|
|
|
|
struct BoundFlagLambda : BoundFlagRefBase {
|
|
|
|
L m_lambda;
|
|
|
|
|
|
|
|
static_assert( UnaryLambdaTraits<L>::isValid, "Supplied lambda must take exactly one argument" );
|
|
|
|
static_assert( std::is_same<typename UnaryLambdaTraits<L>::ArgType, bool>::value, "flags must be boolean" );
|
|
|
|
|
|
|
|
explicit BoundFlagLambda(L const &lambda) : m_lambda(lambda) {}
|
|
|
|
|
|
|
|
auto setFlag(bool flag) -> ParserResult override {
|
|
|
|
return LambdaInvoker<typename UnaryLambdaTraits<L>::ReturnType>::invoke(m_lambda, flag);
|
|
|
|
}
|
|
|
|
};
|
|
|
|
|
|
|
|
enum class Optionality {
|
|
|
|
Optional, Required
|
|
|
|
};
|
|
|
|
|
|
|
|
struct Parser;
|
|
|
|
|
|
|
|
class ParserBase {
|
|
|
|
public:
|
|
|
|
virtual auto validate() const -> Result { return Result::ok(); }
|
|
|
|
|
|
|
|
virtual auto parse( std::string const& exeName, TokenStream const &tokens) const -> InternalParseResult = 0;
|
|
|
|
|
|
|
|
virtual auto cardinality() const -> size_t { return 1; }
|
|
|
|
|
|
|
|
auto parse(Args const &args) const -> InternalParseResult {
|
|
|
|
return parse( args.exeName(), TokenStream(args));
|
|
|
|
}
|
|
|
|
};
|
|
|
|
|
|
|
|
template<typename DerivedT>
|
|
|
|
class ComposableParserImpl : public ParserBase {
|
|
|
|
public:
|
|
|
|
template<typename T>
|
|
|
|
auto operator+(T const &other) const -> Parser;
|
|
|
|
};
|
|
|
|
|
|
|
|
// Common code and state for Args and Opts
|
|
|
|
template<typename DerivedT>
|
|
|
|
class ParserRefImpl : public ComposableParserImpl<DerivedT> {
|
|
|
|
protected:
|
|
|
|
Optionality m_optionality = Optionality::Optional;
|
|
|
|
std::shared_ptr<BoundRefBase> m_ref;
|
|
|
|
std::string m_hint;
|
|
|
|
std::string m_description;
|
|
|
|
|
|
|
|
explicit ParserRefImpl(std::shared_ptr<BoundRefBase> const &ref) : m_ref(ref) {}
|
|
|
|
|
|
|
|
public:
|
|
|
|
template<typename T>
|
|
|
|
ParserRefImpl(T &ref, std::string const &hint) : m_ref(std::make_shared<BoundRef<T>>(ref)), m_hint(hint) {}
|
|
|
|
|
|
|
|
template<typename LambdaT>
|
|
|
|
ParserRefImpl(LambdaT const &ref, std::string const &hint) : m_ref(std::make_shared<BoundLambda<LambdaT>>(ref)),
|
|
|
|
m_hint(hint) {}
|
|
|
|
|
|
|
|
auto operator()(std::string const &description) -> DerivedT & {
|
|
|
|
m_description = description;
|
|
|
|
return static_cast<DerivedT &>( *this );
|
|
|
|
}
|
|
|
|
|
|
|
|
auto optional() -> DerivedT & {
|
|
|
|
m_optionality = Optionality::Optional;
|
|
|
|
return static_cast<DerivedT &>( *this );
|
|
|
|
};
|
|
|
|
|
|
|
|
auto required() -> DerivedT & {
|
|
|
|
m_optionality = Optionality::Required;
|
|
|
|
return static_cast<DerivedT &>( *this );
|
|
|
|
};
|
|
|
|
|
|
|
|
auto isOptional() const -> bool {
|
|
|
|
return m_optionality == Optionality::Optional;
|
|
|
|
}
|
|
|
|
|
|
|
|
auto cardinality() const -> size_t override {
|
|
|
|
if (m_ref->isContainer())
|
|
|
|
return 0;
|
|
|
|
else
|
|
|
|
return 1;
|
|
|
|
}
|
|
|
|
|
|
|
|
auto hint() const -> std::string { return m_hint; }
|
|
|
|
};
|
|
|
|
|
|
|
|
class ExeName : public ComposableParserImpl<ExeName> {
|
|
|
|
std::shared_ptr<std::string> m_name;
|
|
|
|
std::shared_ptr<BoundRefBase> m_ref;
|
|
|
|
|
|
|
|
template<typename LambdaT>
|
|
|
|
static auto makeRef(LambdaT const &lambda) -> std::shared_ptr<BoundRefBase> {
|
|
|
|
return std::make_shared<BoundLambda<LambdaT>>(lambda);
|
|
|
|
}
|
|
|
|
|
|
|
|
public:
|
|
|
|
ExeName() : m_name(std::make_shared<std::string>("<executable>")) {}
|
|
|
|
|
|
|
|
explicit ExeName(std::string &ref) : ExeName() {
|
|
|
|
m_ref = std::make_shared<BoundRef<std::string>>( ref );
|
|
|
|
}
|
|
|
|
|
|
|
|
template<typename LambdaT>
|
|
|
|
explicit ExeName( LambdaT const& lambda ) : ExeName() {
|
|
|
|
m_ref = std::make_shared<BoundLambda<LambdaT>>( lambda );
|
|
|
|
}
|
|
|
|
|
|
|
|
// The exe name is not parsed out of the normal tokens, but is handled specially
|
|
|
|
auto parse( std::string const&, TokenStream const &tokens ) const -> InternalParseResult override {
|
|
|
|
return InternalParseResult::ok(ParseState(ParseResultType::NoMatch, tokens));
|
|
|
|
}
|
|
|
|
|
|
|
|
auto name() const -> std::string { return *m_name; }
|
|
|
|
auto set( std::string const& newName ) -> ParserResult {
|
|
|
|
|
|
|
|
auto lastSlash = newName.find_last_of( "\\/" );
|
|
|
|
auto filename = (lastSlash == std::string::npos)
|
|
|
|
? newName
|
|
|
|
: newName.substr( lastSlash+1 );
|
|
|
|
|
|
|
|
*m_name = filename;
|
|
|
|
if( m_ref )
|
|
|
|
return m_ref->setValue( filename );
|
|
|
|
else
|
|
|
|
return ParserResult::ok( ParseResultType::Matched );
|
|
|
|
}
|
|
|
|
};
|
|
|
|
|
|
|
|
class Arg : public ParserRefImpl<Arg> {
|
|
|
|
public:
|
|
|
|
using ParserRefImpl::ParserRefImpl;
|
|
|
|
|
|
|
|
auto parse( std::string const&, TokenStream const &tokens ) const -> InternalParseResult override {
|
2017-06-13 09:29:56 +02:00
|
|
|
auto validationResult = validate();
|
|
|
|
if (!validationResult)
|
|
|
|
return InternalParseResult(validationResult);
|
2017-06-13 00:04:24 +02:00
|
|
|
|
|
|
|
auto remainingTokens = tokens;
|
|
|
|
auto const &token = *remainingTokens;
|
|
|
|
if (token.type != TokenType::Argument)
|
|
|
|
return InternalParseResult::ok(ParseState(ParseResultType::NoMatch, remainingTokens));
|
|
|
|
|
2017-06-13 09:29:56 +02:00
|
|
|
auto result = m_ref->setValue(remainingTokens->token);
|
2017-06-13 00:04:24 +02:00
|
|
|
if (!result)
|
|
|
|
return InternalParseResult(result);
|
|
|
|
else
|
|
|
|
return InternalParseResult::ok(ParseState(ParseResultType::Matched, ++remainingTokens));
|
|
|
|
}
|
|
|
|
};
|
|
|
|
|
|
|
|
inline auto normaliseOpt(std::string const &optName) -> std::string {
|
|
|
|
if (optName[0] == '/')
|
|
|
|
return "-" + optName.substr(1);
|
|
|
|
else
|
|
|
|
return optName;
|
|
|
|
}
|
|
|
|
|
|
|
|
class Opt : public ParserRefImpl<Opt> {
|
|
|
|
protected:
|
|
|
|
std::vector<std::string> m_optNames;
|
|
|
|
|
|
|
|
public:
|
|
|
|
using ParserRefImpl::ParserRefImpl;
|
|
|
|
|
|
|
|
template<typename LambdaT>
|
|
|
|
explicit Opt( LambdaT const &ref ) : ParserRefImpl(std::make_shared<BoundFlagLambda<LambdaT>>(ref)) {}
|
|
|
|
|
|
|
|
explicit Opt( bool &ref ) : ParserRefImpl(std::make_shared<BoundFlagRef>(ref)) {}
|
|
|
|
|
|
|
|
auto operator[](std::string const &optName) -> Opt & {
|
|
|
|
m_optNames.push_back(optName);
|
|
|
|
return *this;
|
|
|
|
}
|
|
|
|
|
|
|
|
auto getHelpColumns() const -> std::vector<HelpColumns> {
|
|
|
|
std::ostringstream oss;
|
|
|
|
bool first = true;
|
|
|
|
for (auto const &opt : m_optNames) {
|
|
|
|
if (first)
|
|
|
|
first = false;
|
|
|
|
else
|
|
|
|
oss << ", ";
|
|
|
|
oss << opt;
|
|
|
|
}
|
|
|
|
if (!m_hint.empty())
|
|
|
|
oss << " <" << m_hint << ">";
|
|
|
|
return {{oss.str(), m_description}};
|
|
|
|
}
|
|
|
|
|
|
|
|
auto isMatch(std::string const &optToken) const -> bool {
|
|
|
|
#ifdef CLARA_PLATFORM_WINDOWS
|
|
|
|
auto normalisedToken = normaliseOpt( optToken );
|
|
|
|
#else
|
|
|
|
auto const &normalisedToken = optToken;
|
|
|
|
#endif
|
|
|
|
for (auto const &name : m_optNames) {
|
|
|
|
if (normaliseOpt(name) == normalisedToken)
|
|
|
|
return true;
|
|
|
|
}
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
|
|
|
using ParserBase::parse;
|
|
|
|
|
|
|
|
auto parse( std::string const& exeName, TokenStream const &tokens ) const -> InternalParseResult override {
|
|
|
|
auto result = validate();
|
|
|
|
if (!result)
|
|
|
|
return InternalParseResult(result);
|
|
|
|
|
|
|
|
auto remainingTokens = tokens;
|
|
|
|
if (remainingTokens && remainingTokens->type == TokenType::Option) {
|
|
|
|
auto const &token = *remainingTokens;
|
|
|
|
if (isMatch(token.token)) {
|
|
|
|
if (m_ref->isFlag()) {
|
|
|
|
auto result = m_ref->setFlag(true);
|
|
|
|
if (!result)
|
|
|
|
return InternalParseResult(result);
|
|
|
|
if (result.value() == ParseResultType::ShortCircuitAll)
|
|
|
|
return InternalParseResult::ok(ParseState(result.value(), remainingTokens));
|
|
|
|
} else {
|
|
|
|
++remainingTokens;
|
|
|
|
if (!remainingTokens)
|
|
|
|
return InternalParseResult::runtimeError("Expected argument following " + token.token);
|
|
|
|
auto const &argToken = *remainingTokens;
|
|
|
|
if (argToken.type != TokenType::Argument)
|
|
|
|
return InternalParseResult::runtimeError("Expected argument following " + token.token);
|
|
|
|
auto result = m_ref->setValue(argToken.token);
|
|
|
|
if (!result)
|
|
|
|
return InternalParseResult(result);
|
|
|
|
if (result.value() == ParseResultType::ShortCircuitAll)
|
|
|
|
return InternalParseResult::ok(ParseState(result.value(), remainingTokens));
|
|
|
|
}
|
|
|
|
return InternalParseResult::ok(ParseState(ParseResultType::Matched, ++remainingTokens));
|
|
|
|
}
|
|
|
|
}
|
|
|
|
return InternalParseResult::ok(ParseState(ParseResultType::NoMatch, remainingTokens));
|
|
|
|
}
|
|
|
|
|
|
|
|
auto validate() const -> Result override {
|
|
|
|
if (m_optNames.empty())
|
|
|
|
return Result::logicError("No options supplied to Opt");
|
|
|
|
for (auto const &name : m_optNames) {
|
|
|
|
if (name.empty())
|
|
|
|
return Result::logicError("Option name cannot be empty");
|
|
|
|
if (name[0] != '-' && name[0] != '/')
|
|
|
|
return Result::logicError("Option name must begin with '-' or '/'");
|
|
|
|
}
|
|
|
|
return ParserRefImpl::validate();
|
|
|
|
}
|
|
|
|
};
|
|
|
|
|
|
|
|
struct Help : Opt {
|
|
|
|
Help( bool &showHelpFlag )
|
|
|
|
: Opt([&]( bool flag ) {
|
|
|
|
showHelpFlag = flag;
|
|
|
|
return ParserResult::ok(ParseResultType::ShortCircuitAll);
|
|
|
|
})
|
|
|
|
{
|
|
|
|
static_cast<Opt &>(*this)
|
|
|
|
("display usage information")
|
|
|
|
["-?"]["-h"]["--help"]
|
|
|
|
.optional();
|
|
|
|
}
|
|
|
|
};
|
|
|
|
|
|
|
|
|
|
|
|
struct Parser : ParserBase {
|
|
|
|
|
|
|
|
mutable ExeName m_exeName;
|
|
|
|
std::vector<Opt> m_options;
|
|
|
|
std::vector<Arg> m_args;
|
|
|
|
|
|
|
|
auto operator+=(ExeName const &exeName) -> Parser & {
|
|
|
|
m_exeName = exeName;
|
|
|
|
return *this;
|
|
|
|
}
|
|
|
|
|
|
|
|
auto operator+=(Arg const &arg) -> Parser & {
|
|
|
|
m_args.push_back(arg);
|
|
|
|
return *this;
|
|
|
|
}
|
|
|
|
|
|
|
|
auto operator+=(Opt const &opt) -> Parser & {
|
|
|
|
m_options.push_back(opt);
|
|
|
|
return *this;
|
|
|
|
}
|
|
|
|
|
|
|
|
auto operator+=(Parser const &other) -> Parser & {
|
|
|
|
m_options.insert(m_options.end(), other.m_options.begin(), other.m_options.end());
|
|
|
|
m_args.insert(m_args.end(), other.m_args.begin(), other.m_args.end());
|
|
|
|
return *this;
|
|
|
|
}
|
|
|
|
|
|
|
|
template<typename T>
|
|
|
|
auto operator+(T const &other) const -> Parser {
|
|
|
|
return Parser(*this) += other;
|
|
|
|
}
|
|
|
|
|
|
|
|
auto getHelpColumns() const -> std::vector<HelpColumns> {
|
|
|
|
std::vector<HelpColumns> cols;
|
|
|
|
for (auto const &o : m_options) {
|
|
|
|
auto childCols = o.getHelpColumns();
|
|
|
|
cols.insert(cols.end(), childCols.begin(), childCols.end());
|
|
|
|
}
|
|
|
|
return cols;
|
|
|
|
}
|
|
|
|
|
|
|
|
void writeToStream(std::ostream &os) const {
|
|
|
|
if (!m_exeName.name().empty()) {
|
|
|
|
os << "usage:\n" << " " << m_exeName.name() << " ";
|
|
|
|
bool required = true, first = true;
|
|
|
|
for (auto const &arg : m_args) {
|
|
|
|
if (first)
|
|
|
|
first = false;
|
|
|
|
else
|
|
|
|
os << " ";
|
|
|
|
if (arg.isOptional() && required) {
|
|
|
|
os << "[";
|
|
|
|
required = false;
|
|
|
|
}
|
|
|
|
os << "<" << arg.hint() << ">";
|
|
|
|
if (arg.cardinality() == 0)
|
|
|
|
os << " ... ";
|
|
|
|
}
|
|
|
|
if (!required)
|
|
|
|
os << "]";
|
|
|
|
if (!m_options.empty())
|
|
|
|
os << " options";
|
|
|
|
os << "\n\nwhere options are:" << std::endl;
|
|
|
|
}
|
|
|
|
|
|
|
|
auto rows = getHelpColumns();
|
|
|
|
size_t optWidth = 0;
|
|
|
|
for (auto const &cols : rows)
|
|
|
|
optWidth = std::max(optWidth, cols.left.size() + 2);
|
|
|
|
|
|
|
|
for (auto const &cols : rows) {
|
|
|
|
auto row =
|
|
|
|
TextFlow::Column(cols.left).width(optWidth).indent(2) +
|
|
|
|
TextFlow::Spacer(4) +
|
|
|
|
TextFlow::Column(cols.right).width(73 - optWidth);
|
|
|
|
os << row << std::endl;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
friend auto operator<<(std::ostream &os, Parser const &parser) -> std::ostream & {
|
|
|
|
parser.writeToStream(os);
|
|
|
|
return os;
|
|
|
|
}
|
|
|
|
|
|
|
|
auto validate() const -> Result override {
|
|
|
|
for (auto const &opt : m_options) {
|
|
|
|
auto result = opt.validate();
|
|
|
|
if (!result)
|
|
|
|
return result;
|
|
|
|
}
|
|
|
|
for (auto const &arg : m_args) {
|
|
|
|
auto result = arg.validate();
|
|
|
|
if (!result)
|
|
|
|
return result;
|
|
|
|
}
|
|
|
|
return Result::ok();
|
|
|
|
}
|
|
|
|
|
|
|
|
using ParserBase::parse;
|
|
|
|
|
|
|
|
auto parse( std::string const& exeName, TokenStream const &tokens) const -> InternalParseResult override {
|
|
|
|
std::vector<ParserBase const *> allParsers;
|
|
|
|
allParsers.reserve(m_args.size() + m_options.size());
|
|
|
|
std::set<ParserBase const *> requiredParsers;
|
|
|
|
|
|
|
|
for (auto const &opt : m_options) {
|
|
|
|
allParsers.push_back(&opt);
|
|
|
|
if (!opt.isOptional())
|
|
|
|
requiredParsers.insert(&opt);
|
|
|
|
}
|
|
|
|
|
|
|
|
size_t optionalArgs = 0;
|
|
|
|
for (auto const &arg : m_args) {
|
|
|
|
allParsers.push_back(&arg);
|
|
|
|
if (!arg.isOptional()) {
|
|
|
|
if (optionalArgs > 0)
|
|
|
|
return InternalParseResult::logicError(
|
|
|
|
"Required arguments must preceed any optional arguments");
|
|
|
|
else
|
|
|
|
++optionalArgs;
|
|
|
|
requiredParsers.insert(&arg);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
m_exeName.set( exeName );
|
|
|
|
|
|
|
|
auto result = InternalParseResult::ok(ParseState(ParseResultType::NoMatch, tokens));
|
|
|
|
while (result.value().remainingTokens()) {
|
|
|
|
int remainingTokenCount = result.value().remainingTokens().count();
|
|
|
|
for (auto parser : allParsers) {
|
|
|
|
result = parser->parse( exeName, result.value().remainingTokens() );
|
|
|
|
if (!result || result.value().type() != ParseResultType::NoMatch) {
|
|
|
|
if (parser->cardinality() == 1)
|
|
|
|
allParsers.erase(std::remove(allParsers.begin(), allParsers.end(), parser),
|
|
|
|
allParsers.end());
|
|
|
|
requiredParsers.erase(parser);
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
if (!result || remainingTokenCount == result.value().remainingTokens().count())
|
|
|
|
return result;
|
|
|
|
}
|
|
|
|
// !TBD Check missing required options
|
|
|
|
return result;
|
|
|
|
}
|
|
|
|
};
|
|
|
|
|
|
|
|
template<typename DerivedT>
|
|
|
|
template<typename T>
|
|
|
|
auto ComposableParserImpl<DerivedT>::operator+(T const &other) const -> Parser {
|
|
|
|
return Parser() + static_cast<DerivedT const &>( *this ) + other;
|
|
|
|
}
|
|
|
|
} // namespace detail
|
|
|
|
|
|
|
|
|
|
|
|
// A Combined parser
|
|
|
|
using detail::Parser;
|
|
|
|
|
|
|
|
// A parser for options
|
|
|
|
using detail::Opt;
|
|
|
|
|
|
|
|
// A parser for arguments
|
|
|
|
using detail::Arg;
|
|
|
|
|
|
|
|
// Wrapper for argc, argv from main()
|
|
|
|
using detail::Args;
|
|
|
|
|
|
|
|
// Specifies the name of the executable
|
|
|
|
using detail::ExeName;
|
|
|
|
|
|
|
|
// Convenience wrapper for option parser that specifies the help option
|
|
|
|
using detail::Help;
|
|
|
|
|
|
|
|
// enum of result types from a parse
|
|
|
|
using detail::ParseResultType;
|
|
|
|
|
|
|
|
// Result type for parser operation
|
|
|
|
using detail::ParserResult;
|
|
|
|
|
|
|
|
|
|
|
|
} // namespace clara
|
|
|
|
} // namespace Catch
|
|
|
|
|
|
|
|
#endif // CATCH_CLARA_HPP_INCLUDED
|