2013-04-06 03:31:01 +04:00
|
|
|
/* This Source Code Form is subject to the terms of the Mozilla Public
|
|
|
|
* License, v. 2.0. If a copy of the MPL was not distributed with this
|
|
|
|
* file, You can obtain one at http://mozilla.org/MPL/2.0/. */
|
|
|
|
|
2015-05-05 17:11:30 +03:00
|
|
|
use num_lib;
|
|
|
|
use std::cmp::{self, max, min};
|
2013-11-01 03:34:14 +04:00
|
|
|
use std::fmt;
|
2015-05-05 17:11:30 +03:00
|
|
|
use std::iter;
|
2015-03-18 20:25:00 +03:00
|
|
|
use std::marker::PhantomData;
|
2015-05-05 17:11:30 +03:00
|
|
|
use std::num;
|
2015-04-23 02:24:21 +03:00
|
|
|
use std::ops;
|
2014-05-14 00:43:27 +04:00
|
|
|
|
2015-05-05 17:11:30 +03:00
|
|
|
pub trait Int:
|
|
|
|
Copy
|
|
|
|
+ ops::Add<Self, Output=Self>
|
|
|
|
+ ops::Sub<Self, Output=Self>
|
|
|
|
+ cmp::Ord
|
|
|
|
{
|
|
|
|
fn zero() -> Self;
|
|
|
|
fn one() -> Self;
|
|
|
|
fn max_value() -> Self;
|
|
|
|
fn from_usize(n: usize) -> Option<Self>;
|
|
|
|
}
|
|
|
|
impl Int for isize {
|
|
|
|
fn zero() -> isize { 0 }
|
|
|
|
fn one() -> isize { 1 }
|
|
|
|
fn max_value() -> isize { ::std::isize::MAX }
|
|
|
|
fn from_usize(n: usize) -> Option<isize> { num_lib::NumCast::from(n) }
|
|
|
|
}
|
|
|
|
impl Int for usize {
|
|
|
|
fn zero() -> usize { 0 }
|
|
|
|
fn one() -> usize { 1 }
|
|
|
|
fn max_value() -> usize { ::std::usize::MAX }
|
|
|
|
fn from_usize(n: usize) -> Option<usize> { Some(n) }
|
|
|
|
}
|
|
|
|
|
2014-05-14 00:43:27 +04:00
|
|
|
/// An index type to be used by a `Range`
|
2015-02-12 03:24:45 +03:00
|
|
|
pub trait RangeIndex: Int + fmt::Debug {
|
2015-01-31 14:27:49 +03:00
|
|
|
type Index;
|
|
|
|
fn new(x: Self::Index) -> Self;
|
|
|
|
fn get(self) -> Self::Index;
|
2014-05-14 00:43:27 +04:00
|
|
|
}
|
|
|
|
|
2015-03-28 22:58:02 +03:00
|
|
|
impl RangeIndex for isize {
|
|
|
|
type Index = isize;
|
2014-05-14 00:43:27 +04:00
|
|
|
#[inline]
|
2015-03-28 22:58:02 +03:00
|
|
|
fn new(x: isize) -> isize { x }
|
2014-05-14 00:43:27 +04:00
|
|
|
|
|
|
|
#[inline]
|
2015-03-28 22:58:02 +03:00
|
|
|
fn get(self) -> isize { self }
|
2014-05-14 00:43:27 +04:00
|
|
|
}
|
|
|
|
|
2015-04-08 11:06:09 +03:00
|
|
|
impl RangeIndex for usize {
|
|
|
|
type Index = usize;
|
|
|
|
#[inline]
|
|
|
|
fn new(x: usize) -> usize { x }
|
|
|
|
|
|
|
|
#[inline]
|
|
|
|
fn get(self) -> usize { self }
|
|
|
|
}
|
|
|
|
|
2014-05-14 00:43:27 +04:00
|
|
|
/// Implements a range index type with operator overloads
|
|
|
|
#[macro_export]
|
2014-05-16 02:37:37 +04:00
|
|
|
macro_rules! int_range_index {
|
2015-03-18 20:25:00 +03:00
|
|
|
($(#[$attr:meta])* struct $Self_:ident($T:ty)) => (
|
2015-02-12 03:24:45 +03:00
|
|
|
#[derive(Clone, PartialEq, PartialOrd, Eq, Ord, Debug, Copy)]
|
2014-05-14 00:43:27 +04:00
|
|
|
$(#[$attr])*
|
2015-03-18 20:25:00 +03:00
|
|
|
pub struct $Self_(pub $T);
|
2014-05-14 00:43:27 +04:00
|
|
|
|
2015-03-18 20:25:00 +03:00
|
|
|
impl $Self_ {
|
2014-05-14 00:43:27 +04:00
|
|
|
#[inline]
|
2015-03-28 22:58:02 +03:00
|
|
|
pub fn to_usize(self) -> usize {
|
|
|
|
self.get() as usize
|
2014-05-14 00:43:27 +04:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2015-03-18 20:25:00 +03:00
|
|
|
impl RangeIndex for $Self_ {
|
2015-01-31 14:27:49 +03:00
|
|
|
type Index = $T;
|
2014-12-18 14:42:50 +03:00
|
|
|
#[inline]
|
2015-03-18 20:25:00 +03:00
|
|
|
fn new(x: $T) -> $Self_ {
|
|
|
|
$Self_(x)
|
2014-12-18 14:42:50 +03:00
|
|
|
}
|
|
|
|
|
|
|
|
#[inline]
|
|
|
|
fn get(self) -> $T {
|
2015-03-18 20:25:00 +03:00
|
|
|
match self { $Self_(x) => x }
|
2014-12-18 14:42:50 +03:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2015-05-05 17:11:30 +03:00
|
|
|
impl $crate::range::Int for $Self_ {
|
|
|
|
fn zero() -> $Self_ { $Self_($crate::range::Int::zero()) }
|
|
|
|
fn one() -> $Self_ { $Self_($crate::range::Int::one()) }
|
|
|
|
fn max_value() -> $Self_ { $Self_($crate::range::Int::max_value()) }
|
|
|
|
fn from_usize(n: usize) -> Option<$Self_> { $crate::range::Int::from_usize(n).map($Self_) }
|
2014-12-18 04:45:49 +03:00
|
|
|
}
|
2014-05-16 02:37:37 +04:00
|
|
|
|
2015-05-05 17:11:30 +03:00
|
|
|
impl ::std::ops::Add<$Self_> for $Self_ {
|
2015-03-18 20:25:00 +03:00
|
|
|
type Output = $Self_;
|
2015-01-28 04:15:50 +03:00
|
|
|
|
2014-05-14 00:43:27 +04:00
|
|
|
#[inline]
|
2015-03-18 20:25:00 +03:00
|
|
|
fn add(self, other: $Self_) -> $Self_ {
|
|
|
|
$Self_(self.get() + other.get())
|
2014-05-14 00:43:27 +04:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2015-05-05 17:11:30 +03:00
|
|
|
impl ::std::ops::Sub<$Self_> for $Self_ {
|
2015-03-18 20:25:00 +03:00
|
|
|
type Output = $Self_;
|
2015-01-28 04:15:50 +03:00
|
|
|
|
2014-05-14 00:43:27 +04:00
|
|
|
#[inline]
|
2015-03-18 20:25:00 +03:00
|
|
|
fn sub(self, other: $Self_) -> $Self_ {
|
|
|
|
$Self_(self.get() - other.get())
|
2014-05-14 00:43:27 +04:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2015-05-05 17:11:30 +03:00
|
|
|
impl ::std::ops::Neg for $Self_ {
|
2015-03-18 20:25:00 +03:00
|
|
|
type Output = $Self_;
|
2015-01-28 04:15:50 +03:00
|
|
|
|
2014-05-14 00:43:27 +04:00
|
|
|
#[inline]
|
2015-03-18 20:25:00 +03:00
|
|
|
fn neg(self) -> $Self_ {
|
|
|
|
$Self_(-self.get())
|
2014-05-14 00:43:27 +04:00
|
|
|
}
|
|
|
|
}
|
2014-10-14 04:36:40 +04:00
|
|
|
)
|
2012-11-13 00:08:38 +04:00
|
|
|
}
|
|
|
|
|
2014-05-14 00:43:27 +04:00
|
|
|
/// A range of indices
|
2015-07-15 23:04:55 +03:00
|
|
|
#[derive(Clone, RustcEncodable, Copy, Deserialize, Serialize)]
|
2014-05-14 00:43:27 +04:00
|
|
|
pub struct Range<I> {
|
2014-05-16 02:37:37 +04:00
|
|
|
begin: I,
|
|
|
|
length: I,
|
2012-11-13 00:08:38 +04:00
|
|
|
}
|
|
|
|
|
2015-02-12 03:24:45 +03:00
|
|
|
impl<I: RangeIndex> fmt::Debug for Range<I> {
|
2014-03-19 20:35:17 +04:00
|
|
|
fn fmt(&self, f: &mut fmt::Formatter) -> fmt::Result {
|
2015-01-28 04:15:50 +03:00
|
|
|
write!(f, "[{:?} .. {:?})", self.begin(), self.end())
|
2013-11-01 03:34:14 +04:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2014-05-14 00:43:27 +04:00
|
|
|
/// An iterator over each index in a range
|
|
|
|
pub struct EachIndex<T, I> {
|
2015-04-23 02:24:21 +03:00
|
|
|
it: ops::Range<T>,
|
2015-03-18 20:25:00 +03:00
|
|
|
phantom: PhantomData<I>,
|
2014-05-14 00:43:27 +04:00
|
|
|
}
|
|
|
|
|
2015-01-31 14:27:49 +03:00
|
|
|
pub fn each_index<T: Int, I: RangeIndex<Index=T>>(start: I, stop: I) -> EachIndex<T, I> {
|
2015-04-23 02:24:21 +03:00
|
|
|
EachIndex { it: start.get()..stop.get(), phantom: PhantomData }
|
2014-05-14 00:43:27 +04:00
|
|
|
}
|
|
|
|
|
2015-05-05 17:11:30 +03:00
|
|
|
impl<T: Int, I: RangeIndex<Index=T>> Iterator for EachIndex<T, I>
|
|
|
|
where T: Int + num::One + iter::Step, for<'a> &'a T: ops::Add<&'a T, Output = T> {
|
2015-01-28 04:15:50 +03:00
|
|
|
type Item = I;
|
|
|
|
|
2013-10-29 00:31:44 +04:00
|
|
|
#[inline]
|
2014-05-14 00:43:27 +04:00
|
|
|
fn next(&mut self) -> Option<I> {
|
2015-05-05 17:11:30 +03:00
|
|
|
self.it.next().map(RangeIndex::new)
|
2014-05-14 00:43:27 +04:00
|
|
|
}
|
|
|
|
|
|
|
|
#[inline]
|
2015-03-28 22:58:02 +03:00
|
|
|
fn size_hint(&self) -> (usize, Option<usize>) {
|
2014-05-14 00:43:27 +04:00
|
|
|
self.it.size_hint()
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2015-01-31 14:27:49 +03:00
|
|
|
impl<I: RangeIndex> Range<I> {
|
2014-05-16 02:37:37 +04:00
|
|
|
/// Create a new range from beginning and length offsets. This could be
|
|
|
|
/// denoted as `[begin, begin + length)`.
|
|
|
|
///
|
2014-09-18 04:05:29 +04:00
|
|
|
/// ~~~ignore
|
2014-05-16 02:37:37 +04:00
|
|
|
/// |-- begin ->|-- length ->|
|
|
|
|
/// | | |
|
|
|
|
/// <- o - - - - - +============+ - - - ->
|
|
|
|
/// ~~~
|
2014-05-14 00:43:27 +04:00
|
|
|
#[inline]
|
2014-05-16 02:37:37 +04:00
|
|
|
pub fn new(begin: I, length: I) -> Range<I> {
|
|
|
|
Range { begin: begin, length: length }
|
2012-11-13 00:08:38 +04:00
|
|
|
}
|
|
|
|
|
2013-10-29 00:31:44 +04:00
|
|
|
#[inline]
|
2014-05-14 00:43:27 +04:00
|
|
|
pub fn empty() -> Range<I> {
|
2014-12-18 14:42:50 +03:00
|
|
|
Range::new(Int::zero(), Int::zero())
|
2012-11-13 00:08:38 +04:00
|
|
|
}
|
|
|
|
|
2014-05-16 02:37:37 +04:00
|
|
|
/// The index offset to the beginning of the range.
|
|
|
|
///
|
2014-09-18 04:05:29 +04:00
|
|
|
/// ~~~ignore
|
2014-05-16 02:37:37 +04:00
|
|
|
/// |-- begin ->|
|
|
|
|
/// | |
|
|
|
|
/// <- o - - - - - +============+ - - - ->
|
|
|
|
/// ~~~
|
2013-10-29 00:31:44 +04:00
|
|
|
#[inline]
|
2014-05-16 02:37:37 +04:00
|
|
|
pub fn begin(&self) -> I { self.begin }
|
|
|
|
|
|
|
|
/// The index offset from the beginning to the end of the range.
|
|
|
|
///
|
2014-09-18 04:05:29 +04:00
|
|
|
/// ~~~ignore
|
2014-05-16 02:37:37 +04:00
|
|
|
/// |-- length ->|
|
|
|
|
/// | |
|
|
|
|
/// <- o - - - - - +============+ - - - ->
|
|
|
|
/// ~~~
|
2013-10-29 00:31:44 +04:00
|
|
|
#[inline]
|
2014-05-16 02:37:37 +04:00
|
|
|
pub fn length(&self) -> I { self.length }
|
|
|
|
|
|
|
|
/// The index offset to the end of the range.
|
|
|
|
///
|
2014-09-18 04:05:29 +04:00
|
|
|
/// ~~~ignore
|
2014-05-16 02:37:37 +04:00
|
|
|
/// |--------- end --------->|
|
|
|
|
/// | |
|
|
|
|
/// <- o - - - - - +============+ - - - ->
|
|
|
|
/// ~~~
|
2013-10-29 00:31:44 +04:00
|
|
|
#[inline]
|
2014-05-16 02:37:37 +04:00
|
|
|
pub fn end(&self) -> I { self.begin + self.length }
|
|
|
|
|
|
|
|
/// `true` if the index is between the beginning and the end of the range.
|
|
|
|
///
|
2014-09-18 04:05:29 +04:00
|
|
|
/// ~~~ignore
|
2014-05-16 02:37:37 +04:00
|
|
|
/// false true false
|
|
|
|
/// | | |
|
|
|
|
/// <- o - - + - - +=====+======+ - + - ->
|
|
|
|
/// ~~~
|
2013-10-29 00:31:44 +04:00
|
|
|
#[inline]
|
2014-05-14 00:43:27 +04:00
|
|
|
pub fn contains(&self, i: I) -> bool {
|
2012-11-19 03:29:17 +04:00
|
|
|
i >= self.begin() && i < self.end()
|
|
|
|
}
|
|
|
|
|
2014-05-16 02:37:37 +04:00
|
|
|
/// `true` if the offset from the beginning to the end of the range is zero.
|
2013-10-29 00:31:44 +04:00
|
|
|
#[inline]
|
2013-06-28 02:45:46 +04:00
|
|
|
pub fn is_empty(&self) -> bool {
|
2014-12-18 14:42:50 +03:00
|
|
|
self.length() == Int::zero()
|
2013-06-28 02:45:46 +04:00
|
|
|
}
|
|
|
|
|
2014-05-16 02:37:37 +04:00
|
|
|
/// Shift the entire range by the supplied index delta.
|
|
|
|
///
|
2014-09-18 04:05:29 +04:00
|
|
|
/// ~~~ignore
|
2014-05-16 02:37:37 +04:00
|
|
|
/// |-- delta ->|
|
|
|
|
/// | |
|
|
|
|
/// <- o - +============+ - - - - - | - - - ->
|
|
|
|
/// |
|
|
|
|
/// <- o - - - - - - - +============+ - - - ->
|
|
|
|
/// ~~~
|
2013-10-29 00:31:44 +04:00
|
|
|
#[inline]
|
2014-05-16 02:37:37 +04:00
|
|
|
pub fn shift_by(&mut self, delta: I) {
|
|
|
|
self.begin = self.begin + delta;
|
2012-11-13 00:08:38 +04:00
|
|
|
}
|
|
|
|
|
2014-05-16 02:37:37 +04:00
|
|
|
/// Extend the end of the range by the supplied index delta.
|
|
|
|
///
|
2014-09-18 04:05:29 +04:00
|
|
|
/// ~~~ignore
|
2014-05-16 02:37:37 +04:00
|
|
|
/// |-- delta ->|
|
|
|
|
/// | |
|
|
|
|
/// <- o - - - - - +====+ - - - - - | - - - ->
|
|
|
|
/// |
|
|
|
|
/// <- o - - - - - +================+ - - - ->
|
|
|
|
/// ~~~
|
2013-10-29 00:31:44 +04:00
|
|
|
#[inline]
|
2014-05-16 02:37:37 +04:00
|
|
|
pub fn extend_by(&mut self, delta: I) {
|
|
|
|
self.length = self.length + delta;
|
2012-11-13 00:08:38 +04:00
|
|
|
}
|
|
|
|
|
2014-05-16 02:37:37 +04:00
|
|
|
/// Move the end of the range to the target index.
|
|
|
|
///
|
2014-09-18 04:05:29 +04:00
|
|
|
/// ~~~ignore
|
2014-05-16 02:37:37 +04:00
|
|
|
/// target
|
|
|
|
/// |
|
|
|
|
/// <- o - - - - - +====+ - - - - - | - - - ->
|
|
|
|
/// |
|
|
|
|
/// <- o - - - - - +================+ - - - ->
|
|
|
|
/// ~~~
|
2013-10-29 00:31:44 +04:00
|
|
|
#[inline]
|
2014-05-16 02:37:37 +04:00
|
|
|
pub fn extend_to(&mut self, target: I) {
|
|
|
|
self.length = target - self.begin;
|
2012-11-13 00:08:38 +04:00
|
|
|
}
|
|
|
|
|
2014-05-16 02:37:37 +04:00
|
|
|
/// Adjust the beginning offset and the length by the supplied deltas.
|
2013-10-29 00:31:44 +04:00
|
|
|
#[inline]
|
2014-05-16 02:37:37 +04:00
|
|
|
pub fn adjust_by(&mut self, begin_delta: I, length_delta: I) {
|
|
|
|
self.begin = self.begin + begin_delta;
|
|
|
|
self.length = self.length + length_delta;
|
2012-11-13 00:08:38 +04:00
|
|
|
}
|
|
|
|
|
2014-05-16 02:37:37 +04:00
|
|
|
/// Set the begin and length values.
|
2013-10-29 00:31:44 +04:00
|
|
|
#[inline]
|
2014-05-16 02:37:37 +04:00
|
|
|
pub fn reset(&mut self, begin: I, length: I) {
|
|
|
|
self.begin = begin;
|
|
|
|
self.length = length;
|
2012-11-13 00:08:38 +04:00
|
|
|
}
|
2012-11-19 06:31:01 +04:00
|
|
|
|
2013-10-29 00:31:44 +04:00
|
|
|
#[inline]
|
2014-05-14 00:43:27 +04:00
|
|
|
pub fn intersect(&self, other: &Range<I>) -> Range<I> {
|
2013-06-28 02:45:46 +04:00
|
|
|
let begin = max(self.begin(), other.begin());
|
|
|
|
let end = min(self.end(), other.end());
|
|
|
|
|
|
|
|
if end < begin {
|
|
|
|
Range::empty()
|
|
|
|
} else {
|
|
|
|
Range::new(begin, end - begin)
|
|
|
|
}
|
|
|
|
}
|
2014-05-16 02:37:37 +04:00
|
|
|
}
|
|
|
|
|
|
|
|
/// Methods for `Range`s with indices based on integer values
|
2015-01-31 14:27:49 +03:00
|
|
|
impl<T: Int, I: RangeIndex<Index=T>> Range<I> {
|
2014-05-16 02:37:37 +04:00
|
|
|
/// Returns an iterater that increments over `[begin, end)`.
|
|
|
|
#[inline]
|
|
|
|
pub fn each_index(&self) -> EachIndex<T, I> {
|
|
|
|
each_index(self.begin(), self.end())
|
|
|
|
}
|
|
|
|
|
|
|
|
#[inline]
|
|
|
|
pub fn is_valid_for_string(&self, s: &str) -> bool {
|
|
|
|
let s_len = s.len();
|
2015-05-05 17:11:30 +03:00
|
|
|
match Int::from_usize(s_len) {
|
2014-05-16 02:37:37 +04:00
|
|
|
Some(len) => {
|
2014-12-18 14:42:50 +03:00
|
|
|
let len = RangeIndex::new(len);
|
2014-05-16 02:37:37 +04:00
|
|
|
self.begin() < len
|
|
|
|
&& self.end() <= len
|
|
|
|
&& self.length() <= len
|
|
|
|
},
|
|
|
|
None => {
|
2015-01-28 04:15:50 +03:00
|
|
|
debug!("Range<T>::is_valid_for_string: string length \
|
|
|
|
(len={:?}) is longer than the max value for the range \
|
|
|
|
index (max={:?})", s_len,
|
2014-05-16 02:37:37 +04:00
|
|
|
{
|
2014-12-18 14:42:50 +03:00
|
|
|
let max: T = Int::max_value();
|
|
|
|
let val: I = RangeIndex::new(max);
|
2014-05-16 02:37:37 +04:00
|
|
|
val
|
|
|
|
});
|
|
|
|
false
|
|
|
|
},
|
|
|
|
}
|
|
|
|
}
|
2012-11-13 00:08:38 +04:00
|
|
|
}
|