Convert IntervalSet value to Ranges value.
| 413 | |
| 414 | // Convert IntervalSet value to Ranges value. |
| 415 | Value::Ranges intervalSetToRanges(const IntervalSet<uint64_t>& set) |
| 416 | { |
| 417 | Value::Ranges ranges; |
| 418 | |
| 419 | foreach (const Interval<uint64_t>& interval, set) { |
| 420 | Value::Range* range = ranges.add_range(); |
| 421 | range->set_begin(interval.lower()); |
| 422 | range->set_end(interval.upper() - 1); |
| 423 | } |
| 424 | |
| 425 | return ranges; |
| 426 | } |
| 427 | |
| 428 | |
| 429 | ostream& operator<<(ostream& stream, const Value::Ranges& ranges) |
no outgoing calls