30 std::sort(numbers.begin(), numbers.end());
39 for(std::vector<unsigned>::const_iterator it = numbers.begin();
43 const auto number = *it;
44 const auto next = std::next(it);
47 if(next != numbers.end() && *next <= number + 1)
67 if(next != numbers.end())
78 std::vector<unsigned> &numbers,
85 "unterminated number range '" + std::to_string(*(++numbers.rbegin())) +
104 "lower bound must not be larger than upper bound '" +
108 numbers.push_back(
i);
117 std::vector<unsigned> numbers(1, 0);
123 if(
'0' <=
c &&
c <=
'9')
125 numbers.back() *= 10;
126 numbers.back() +=
c -
'0';
133 numbers.push_back(0);
142 "lower bound missing in number range '" +
number_range +
"'");
144 numbers.push_back(0);
151 std::string(
"character '") +
c +
"' not allowed in number range");
ait supplies three of the four components needed: an abstract interpreter (in this case handling func...
Thrown when failing to deserialize a value from some low level format, like JSON or raw bytes.
#define PRECONDITION(CONDITION)
#define POSTCONDITION(CONDITION)