1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
|
// -*- coding: utf-8 -*-
//
// Copyright 2021 Michael Büsch <m@bues.ch>
//
// Licensed under the Apache License version 2.0
// or the MIT license, at your option.
// SPDX-License-Identifier: Apache-2.0 OR MIT
//
use std::{
collections::HashSet,
ops::{
Bound,
Range,
RangeBounds,
},
};
/// Get the `(start, end)` bounds from a `RangeBounds<usize>` trait.
/// `start` is inclusive and `end` is exclusive.
#[inline]
pub fn get_bounds(range: &impl RangeBounds<usize>, length: usize) -> (usize, usize) {
let start = match range.start_bound() {
Bound::Included(x) => *x,
Bound::Excluded(_) =>
panic!("get_bounds: Start bound must be inclusive or unbounded."),
Bound::Unbounded => 0,
};
let end = match range.end_bound() {
Bound::Included(x) => {
assert!(*x < usize::MAX);
*x + 1 // to excluded
},
Bound::Excluded(x) => *x,
Bound::Unbounded => length,
};
(start, end)
}
/// Check if `range` overlaps any range in `ranges`.
#[inline]
pub fn overlaps_any(ranges: &HashSet<Range<usize>>,
range: &impl RangeBounds<usize>) -> bool {
let (start, end) = get_bounds(range, usize::MAX);
for r in ranges {
if end > r.start && start < r.end {
return true;
}
}
false
}
#[cfg(test)]
mod tests {
use super::*;
#[test]
fn test_get_bounds() {
assert_eq!(get_bounds(&(10..20), usize::MAX), (10, 20));
assert_eq!(get_bounds(&(10..20), 0), (10, 20));
assert_eq!(get_bounds(&(10..=20), 0), (10, 21));
assert_eq!(get_bounds(&(..20), 0), (0, 20));
assert_eq!(get_bounds(&(..=20), 0), (0, 21));
assert_eq!(get_bounds(&(10..), 42), (10, 42));
assert_eq!(get_bounds(&(..), 42), (0, 42));
}
#[test]
#[should_panic(expected="< usize::MAX")]
fn test_get_bounds_end_panic() {
get_bounds(&(..=usize::MAX), 0);
}
#[test]
fn test_overlaps_any() {
let mut a = HashSet::new();
a.insert(0..1);
a.insert(4..6);
assert!(overlaps_any(&a, &(0..1)));
assert!(!overlaps_any(&a, &(1..2)));
assert!(!overlaps_any(&a, &(1..3)));
assert!(!overlaps_any(&a, &(2..4)));
assert!(overlaps_any(&a, &(3..5)));
assert!(overlaps_any(&a, &(4..6)));
assert!(overlaps_any(&a, &(5..7)));
assert!(!overlaps_any(&a, &(6..8)));
assert!(!overlaps_any(&a, &(7..9)));
}
}
// vim: ts=4 sw=4 expandtab
|
