23 #define BOOST_BIND_GLOBAL_PLACEHOLDERS
24 #include <boost/io/ios_state.hpp>
25 #include <boost/property_tree/json_parser.hpp>
26 #include <boost/property_tree/ptree.hpp>
27 #include <boost/property_tree/xml_parser.hpp>
28 #undef BOOST_BIND_GLOBAL_PLACEHOLDERS
63 u.reserve(input.size());
64 for (
const auto c : input)
81 u.append(
"\\textbackslash{}");
117 has_only_whitespace(std::istream &in)
128 if ((c !=
' ') && (c !=
'\t'))
137 std::unique_ptr<PatternBase>
140 std::unique_ptr<PatternBase> p;
192 if (
dynamic_cast<const Integer *
>(
this) !=
nullptr)
194 else if (
dynamic_cast<const Double *
>(
this) !=
nullptr)
196 else if (
dynamic_cast<const Bool *
>(
this) !=
nullptr)
198 else if (
dynamic_cast<const Anything *
>(
this) !=
nullptr)
201 return sizeof(*this) + 32;
213 , upper_bound(upper_bound)
221 std::istringstream str(test_string);
227 if (!has_only_whitespace(str))
301 std::unique_ptr<PatternBase>
309 std::unique_ptr<Integer>
327 return std::make_unique<Integer>();
329 is.ignore(strlen(
"..."));
332 return std::make_unique<Integer>();
337 return std::make_unique<Integer>();
340 return std::unique_ptr<Integer>();
352 , upper_bound(upper_bound)
360 std::istringstream str(test_string);
367 if (!has_only_whitespace(str))
424 description <<
"A floating point number v such that ";
442 return "A floating point number";
450 description <<
"A floating point number @f$v@f$ such that @f$";
469 return "A floating point number";
480 std::unique_ptr<PatternBase>
488 std::unique_ptr<Double>
493 description_init_str.size(),
494 description_init_str) != 0)
495 return std::unique_ptr<Double>();
497 return std::unique_ptr<Double>();
499 std::string temp =
description.substr(description_init_str.size());
501 return std::make_unique<Double>(1.0,
504 if (temp.find(
"...") != std::string::npos)
505 temp.replace(temp.find(
"..."), 3,
" ");
509 std::istringstream is(temp);
510 if (0 == temp.compare(0, std::strlen(
" -MAX_DOUBLE"),
" -MAX_DOUBLE"))
511 is.ignore(std::strlen(
" -MAX_DOUBLE"));
516 return std::unique_ptr<Double>();
535 while (
sequence.find(
" |") != std::string::npos)
537 while (
sequence.find(
"| ") != std::string::npos)
549 while ((tmp.size() != 0) && (std::isspace(tmp.front()) != 0))
553 while (tmp.find(
'|') != std::string::npos)
555 if (test_string == std::string(tmp, 0, tmp.find(
'|')))
558 tmp.erase(0, tmp.find(
'|') + 1);
562 while ((tmp.size() != 0) && (std::isspace(tmp.back()) != 0))
563 tmp.erase(tmp.end() - 1);
566 if (test_string == tmp)
610 std::unique_ptr<PatternBase>
626 std::unique_ptr<Selection>
638 return std::make_unique<Selection>(
sequence);
641 return std::unique_ptr<Selection>();
653 const unsigned int min_elements,
654 const unsigned int max_elements,
655 const std::string &separator)
657 , min_elements(min_elements)
658 , max_elements(max_elements)
659 , separator(separator)
664 ExcMessage(
"The separator must have a non-zero length."));
670 : pattern(other.pattern->clone())
671 , min_elements(other.min_elements)
672 , max_elements(other.max_elements)
673 , separator(other.separator)
696 const std::vector<std::string> split_list =
704 for (
const std::string &
string : split_list)
705 if (
pattern->match(
string) ==
false)
723 <<
pattern->description(style) <<
">"
743 <<
pattern->description(style) <<
"]";
757 std::unique_ptr<PatternBase>
760 return std::unique_ptr<PatternBase>(
774 std::unique_ptr<List>
787 std::getline(is, str,
'>');
791 is.ignore(strlen(
" of length "));
793 return std::make_unique<List>(*base_pattern);
795 is.ignore(strlen(
"..."));
797 return std::make_unique<List>(*base_pattern,
min_elements);
799 is.ignore(strlen(
" (inclusive) separated by <"));
806 return std::make_unique<List>(*base_pattern,
812 return std::unique_ptr<List>();
825 const unsigned int min_elements,
826 const unsigned int max_elements,
827 const std::string &separator,
828 const std::string &key_value_separator)
829 : key_pattern(p_key.clone())
830 , value_pattern(p_value.clone())
831 , min_elements(min_elements)
832 , max_elements(max_elements)
833 , separator(separator)
834 , key_value_separator(key_value_separator)
839 ExcMessage(
"The separator must have a non-zero length."));
841 ExcMessage(
"The key_value_separator must have a non-zero length."));
844 "The separator can not be the same of the key_value_separator "
845 "since that is used as the separator between the two elements "
846 "of <key:value> pairs"));
852 : key_pattern(other.key_pattern->clone())
853 , value_pattern(other.value_pattern->clone())
854 , min_elements(other.min_elements)
855 , max_elements(other.max_elements)
856 , separator(other.separator)
857 , key_value_separator(other.key_value_separator)
865 std::vector<std::string> split_list =
871 for (
const auto &key_value_pair : split_list)
873 std::vector<std::string> pair =
877 if (pair.size() != 2)
927 <<
" and each value is ["
942 std::unique_ptr<PatternBase>
957 return (
sizeof(*
this) +
979 std::getline(is, key,
'>');
986 std::getline(is, value,
'>');
991 is.ignore(strlen(
" of length "));
995 is.ignore(strlen(
"..."));
1001 is.ignore(strlen(
" (inclusive) separated by <"));
1016 return std::unique_ptr<Map>();
1056 const std::string & separator)
1057 : separator(separator)
1060 ExcMessage(
"The Patterns list must have a non-zero length."));
1062 ExcMessage(
"The separator must have a non-zero length."));
1064 for (
unsigned int i = 0; i < ps.size(); ++i)
1071 const char * separator)
1072 :
Tuple(ps, std::string(separator))
1078 : separator(other.separator)
1081 for (
unsigned int i = 0; i < other.
patterns.size(); ++i)
1090 std::vector<std::string> split_list =
1092 if (split_list.size() !=
patterns.size())
1095 for (
unsigned int i = 0; i <
patterns.size(); ++i)
1116 <<
"> elements <" <<
patterns[0]->description(style)
1118 for (
unsigned int i = 1; i <
patterns.size(); ++i)
1137 <<
patterns[0]->description(style) <<
"]";
1138 for (
unsigned int i = 1; i <
patterns.size(); ++i)
1141 <<
patterns[i]->description(style) <<
"]";
1156 std::unique_ptr<PatternBase>
1172 std::unique_ptr<Tuple>
1179 std::vector<std::unique_ptr<PatternBase>>
patterns;
1185 std::getline(is, len,
'>');
1188 ExcMessage(
"Provide at least 1 element in the tuple."));
1191 is.ignore(strlen(
" elements <"));
1193 std::string element;
1194 std::getline(is, element,
'>');
1197 for (
unsigned int i = 1; i < n_elements; ++i)
1199 is.ignore(strlen(
", <"));
1200 std::getline(is, element,
'>');
1204 is.ignore(strlen(
" separated by <"));
1215 return std::unique_ptr<Tuple>();
1241 Assert(seq.find(
',') == std::string::npos,
1245 while (
sequence.find(
" |") != std::string::npos)
1247 while (
sequence.find(
"| ") != std::string::npos)
1256 std::string tmp = test_string_list;
1257 std::vector<std::string> split_names;
1260 while (tmp.size() != 0)
1265 if (name.find(
',') != std::string::npos)
1267 name.erase(name.find(
','), std::string::npos);
1268 tmp.erase(0, tmp.find(
',') + 1);
1273 while ((name.size() != 0) && (std::isspace(name.front()) != 0))
1275 while ((name.size() != 0) && (std::isspace(name.back()) != 0))
1276 name.erase(name.size() - 1, 1);
1278 split_names.push_back(name);
1283 for (
const auto &test_string : split_names)
1285 bool string_found =
false;
1288 while (tmp.find(
'|') != std::string::npos)
1290 if (test_string == std::string(tmp, 0, tmp.find(
'|')))
1296 string_found =
true;
1300 tmp.erase(0, tmp.find(
'|') + 1);
1304 if (test_string == tmp)
1305 string_found =
true;
1334 description <<
"A comma-separated list of any of "
1351 std::unique_ptr<PatternBase>
1367 std::unique_ptr<MultipleSelection>
1379 return std::make_unique<MultipleSelection>(
sequence);
1382 return std::unique_ptr<MultipleSelection>();
1412 return "A boolean value (true or false)";
1424 std::unique_ptr<PatternBase>
1427 return std::unique_ptr<PatternBase>(
new Bool());
1432 std::unique_ptr<Bool>
1438 return std::make_unique<Bool>();
1440 return std::unique_ptr<Bool>();
1473 return "Any string";
1485 std::unique_ptr<PatternBase>
1488 return std::unique_ptr<PatternBase>(
new Anything());
1493 std::unique_ptr<Anything>
1499 return std::make_unique<Anything>();
1501 return std::unique_ptr<Anything>();
1545 return "an input filename";
1547 return "an output filename";
1559 std::unique_ptr<PatternBase>
1567 std::unique_ptr<FileName>
1587 return std::make_unique<FileName>(type);
1590 return std::unique_ptr<FileName>();
1623 return "A directory name";
1635 std::unique_ptr<PatternBase>
1643 std::unique_ptr<DirectoryName>
1649 return std::make_unique<DirectoryName>();
1651 return std::unique_ptr<DirectoryName>();
static std::unique_ptr< Anything > create(const std::string &description)
virtual bool match(const std::string &test_string) const override
static const char * description_init
virtual std::string description(const OutputStyle style=Machine) const override
virtual std::unique_ptr< PatternBase > clone() const override
virtual std::string description(const OutputStyle style=Machine) const override
static const char * description_init
virtual std::unique_ptr< PatternBase > clone() const override
static std::unique_ptr< Bool > create(const std::string &description)
virtual std::unique_ptr< PatternBase > clone() const override
static const char * description_init
virtual std::string description(const OutputStyle style=Machine) const override
static std::unique_ptr< DirectoryName > create(const std::string &description)
virtual bool match(const std::string &test_string) const override
static std::unique_ptr< Double > create(const std::string &description)
static const char * description_init
virtual std::unique_ptr< PatternBase > clone() const override
Double(const double lower_bound=min_double_value, const double upper_bound=max_double_value)
static const double max_double_value
static const double min_double_value
virtual std::string description(const OutputStyle style=Machine) const override
virtual bool match(const std::string &test_string) const override
virtual bool match(const std::string &test_string) const override
FileName(const FileType type=input)
static const char * description_init
virtual std::unique_ptr< PatternBase > clone() const override
static std::unique_ptr< FileName > create(const std::string &description)
virtual std::string description(const OutputStyle style=Machine) const override
static std::unique_ptr< Integer > create(const std::string &description)
static const char * description_init
virtual std::unique_ptr< PatternBase > clone() const override
Integer(const int lower_bound=min_int_value, const int upper_bound=max_int_value)
static const int min_int_value
virtual std::string description(const OutputStyle style=Machine) const override
virtual bool match(const std::string &test_string) const override
static const int max_int_value
const unsigned int max_elements
static const char * description_init
const unsigned int min_elements
std::unique_ptr< PatternBase > pattern
const std::string separator
std::size_t memory_consumption() const override
static std::unique_ptr< List > create(const std::string &description)
virtual std::string description(const OutputStyle style=Machine) const override
const PatternBase & get_base_pattern() const
virtual bool match(const std::string &test_string) const override
const std::string & get_separator() const
List(const PatternBase &base_pattern, const unsigned int min_elements=0, const unsigned int max_elements=max_int_value, const std::string &separator=",")
static const unsigned int max_int_value
virtual std::unique_ptr< PatternBase > clone() const override
static std::unique_ptr< Map > create(const std::string &description)
std::unique_ptr< PatternBase > value_pattern
const unsigned int min_elements
const PatternBase & get_key_pattern() const
virtual bool match(const std::string &test_string) const override
Map(const PatternBase &key_pattern, const PatternBase &value_pattern, const unsigned int min_elements=0, const unsigned int max_elements=max_int_value, const std::string &separator=",", const std::string &key_value_separator=":")
const unsigned int max_elements
virtual std::unique_ptr< PatternBase > clone() const override
const PatternBase & get_value_pattern() const
const std::string & get_separator() const
virtual std::string description(const OutputStyle style=Machine) const override
static const unsigned int max_int_value
std::unique_ptr< PatternBase > key_pattern
const std::string separator
std::size_t memory_consumption() const override
static const char * description_init
const std::string & get_key_value_separator() const
const std::string key_value_separator
MultipleSelection(const std::string &seq)
static std::unique_ptr< MultipleSelection > create(const std::string &description)
virtual bool match(const std::string &test_string) const override
virtual std::unique_ptr< PatternBase > clone() const override
static const char * description_init
std::size_t memory_consumption() const override
virtual std::string description(const OutputStyle style=Machine) const override
virtual std::size_t memory_consumption() const
static const char * description_init
virtual std::string description(const OutputStyle style=Machine) const override
virtual std::unique_ptr< PatternBase > clone() const override
virtual bool match(const std::string &test_string) const override
static std::unique_ptr< Selection > create(const std::string &description)
std::size_t memory_consumption() const override
Selection(const std::string &seq)
virtual bool match(const std::string &test_string) const override
Tuple(const std::vector< std::unique_ptr< PatternBase >> &patterns, const std::string &separator=":")
std::size_t memory_consumption() const override
static std::unique_ptr< Tuple > create(const std::string &description)
std::vector< std::unique_ptr< PatternBase > > patterns
virtual std::unique_ptr< PatternBase > clone() const override
const std::string separator
static const char * description_init
const std::string & get_separator() const
const PatternBase & get_pattern(const unsigned int i) const
virtual std::string description(const OutputStyle style=Machine) const override
#define DEAL_II_NAMESPACE_OPEN
#define DEAL_II_NAMESPACE_CLOSE
static ::ExceptionBase & ExcInvalidRange(int arg1, int arg2)
#define Assert(cond, exc)
static ::ExceptionBase & ExcNotImplemented()
static ::ExceptionBase & ExcCommasNotAllowed(int arg1)
static ::ExceptionBase & ExcInvalidRange(int arg1, int arg2)
static ::ExceptionBase & ExcMessage(std::string arg1)
#define AssertThrow(cond, exc)
std::enable_if_t< std::is_fundamental< T >::value, std::size_t > memory_consumption(const T &t)
std::string escape(const std::string &input, const PatternBase::OutputStyle style)
std::unique_ptr< PatternBase > pattern_factory(const std::string &description)
SymmetricTensor< 2, dim, Number > d(const Tensor< 2, dim, Number > &F, const Tensor< 2, dim, Number > &dF_dt)
std::vector< std::string > split_string_list(const std::string &s, const std::string &delimiter=",")
std::string replace_in_string(const std::string &input, const std::string &from, const std::string &to)
Iterator lower_bound(Iterator first, Iterator last, const T &val)
int string_to_int(const std::string &s)