2020-05-25 08:02:21 +04:00
|
|
|
//! Selections are the primary editing construct. Even a single cursor is defined as an empty
|
|
|
|
//! single selection range.
|
|
|
|
//!
|
|
|
|
//! All positioning is done via `char` offsets into the buffer.
|
2020-05-28 09:59:50 +04:00
|
|
|
use crate::{Assoc, ChangeSet};
|
2020-05-25 08:02:21 +04:00
|
|
|
use smallvec::{smallvec, SmallVec};
|
|
|
|
|
|
|
|
#[inline]
|
|
|
|
fn abs_difference(x: usize, y: usize) -> usize {
|
|
|
|
if x < y {
|
|
|
|
y - x
|
|
|
|
} else {
|
|
|
|
x - y
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
/// A single selection range. Anchor-inclusive, head-exclusive.
|
|
|
|
#[derive(Debug, Clone, Copy, PartialEq, Eq)]
|
|
|
|
pub struct Range {
|
|
|
|
// TODO: optimize into u32
|
|
|
|
/// The anchor of the range: the side that doesn't move when extending.
|
|
|
|
pub anchor: usize,
|
|
|
|
/// The head of the range, moved when extending.
|
|
|
|
pub head: usize,
|
|
|
|
}
|
|
|
|
|
|
|
|
impl Range {
|
|
|
|
pub fn new(anchor: usize, head: usize) -> Self {
|
|
|
|
Self { anchor, head }
|
|
|
|
}
|
|
|
|
|
|
|
|
/// Start of the range.
|
|
|
|
#[inline]
|
2020-05-28 09:45:44 +04:00
|
|
|
#[must_use]
|
2020-05-25 08:02:21 +04:00
|
|
|
pub fn from(&self) -> usize {
|
|
|
|
std::cmp::min(self.anchor, self.head)
|
|
|
|
}
|
|
|
|
|
|
|
|
/// End of the range.
|
|
|
|
#[inline]
|
2020-05-28 09:45:44 +04:00
|
|
|
#[must_use]
|
2020-05-25 08:02:21 +04:00
|
|
|
pub fn to(&self) -> usize {
|
|
|
|
std::cmp::max(self.anchor, self.head)
|
|
|
|
}
|
|
|
|
|
|
|
|
/// `true` when head and anchor are at the same position.
|
|
|
|
#[inline]
|
|
|
|
pub fn is_empty(&self) -> bool {
|
|
|
|
self.anchor == self.head
|
|
|
|
}
|
|
|
|
|
|
|
|
/// Check two ranges for overlap.
|
2020-05-28 09:45:44 +04:00
|
|
|
#[must_use]
|
2020-05-25 08:02:21 +04:00
|
|
|
pub fn overlaps(&self, other: &Self) -> bool {
|
|
|
|
// cursor overlap is checked differently
|
|
|
|
if self.is_empty() {
|
|
|
|
self.from() <= other.to()
|
|
|
|
} else {
|
|
|
|
self.from() < other.to()
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2020-09-28 20:00:35 +04:00
|
|
|
pub fn contains(&self, pos: usize) -> bool {
|
|
|
|
if self.is_empty() {
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
|
|
|
if self.anchor < self.head {
|
|
|
|
self.anchor <= pos && pos < self.head
|
|
|
|
} else {
|
|
|
|
self.head < pos && pos <= self.anchor
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2020-05-28 09:59:50 +04:00
|
|
|
/// Map a range through a set of changes. Returns a new range representing the same position
|
|
|
|
/// after the changes are applied.
|
|
|
|
pub fn map(self, changes: &ChangeSet) -> Self {
|
2020-09-05 17:01:05 +04:00
|
|
|
let anchor = changes.map_pos(self.anchor, Assoc::After);
|
|
|
|
let head = changes.map_pos(self.head, Assoc::After);
|
2020-05-28 09:59:50 +04:00
|
|
|
|
|
|
|
// TODO: possibly unnecessary
|
|
|
|
if self.anchor == anchor && self.head == head {
|
|
|
|
return self;
|
|
|
|
}
|
|
|
|
Self { anchor, head }
|
|
|
|
}
|
2020-05-25 08:02:21 +04:00
|
|
|
|
|
|
|
/// Extend the range to cover at least `from` `to`.
|
2020-05-28 09:45:44 +04:00
|
|
|
#[must_use]
|
2020-05-25 08:02:21 +04:00
|
|
|
pub fn extend(&self, from: usize, to: usize) -> Self {
|
|
|
|
if from <= self.anchor && to >= self.anchor {
|
|
|
|
return Range {
|
|
|
|
anchor: from,
|
|
|
|
head: to,
|
|
|
|
};
|
|
|
|
}
|
|
|
|
|
|
|
|
Range {
|
|
|
|
anchor: self.anchor,
|
|
|
|
head: if abs_difference(from, self.anchor) > abs_difference(to, self.anchor) {
|
|
|
|
from
|
|
|
|
} else {
|
|
|
|
to
|
|
|
|
},
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
// groupAt
|
|
|
|
}
|
|
|
|
|
|
|
|
/// A selection consists of one or more selection ranges.
|
2020-06-07 19:31:11 +04:00
|
|
|
#[derive(Debug, Clone)]
|
2020-05-25 08:02:21 +04:00
|
|
|
pub struct Selection {
|
|
|
|
// TODO: decide how many ranges to inline SmallVec<[Range; 1]>
|
2020-09-13 18:38:54 +04:00
|
|
|
ranges: SmallVec<[Range; 1]>,
|
|
|
|
primary_index: usize,
|
2020-05-25 08:02:21 +04:00
|
|
|
}
|
|
|
|
|
|
|
|
impl Selection {
|
|
|
|
// eq
|
2020-05-28 09:45:44 +04:00
|
|
|
|
|
|
|
#[must_use]
|
2020-05-25 08:02:21 +04:00
|
|
|
pub fn primary(&self) -> Range {
|
|
|
|
self.ranges[self.primary_index]
|
|
|
|
}
|
|
|
|
|
2020-09-07 12:08:28 +04:00
|
|
|
#[must_use]
|
|
|
|
pub fn cursor(&self) -> usize {
|
|
|
|
self.primary().head
|
|
|
|
}
|
|
|
|
|
2020-05-25 08:02:21 +04:00
|
|
|
/// Ensure selection containing only the primary selection.
|
2020-05-28 09:45:44 +04:00
|
|
|
pub fn into_single(self) -> Self {
|
2020-05-25 08:02:21 +04:00
|
|
|
if self.ranges.len() == 1 {
|
|
|
|
self
|
|
|
|
} else {
|
|
|
|
Self {
|
2020-05-26 13:11:11 +04:00
|
|
|
ranges: smallvec![self.ranges[self.primary_index]],
|
2020-05-25 08:02:21 +04:00
|
|
|
primary_index: 0,
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
// add_range // push
|
|
|
|
// replace_range
|
|
|
|
|
2020-05-28 09:59:50 +04:00
|
|
|
/// Map selections over a set of changes. Useful for adjusting the selection position after
|
|
|
|
/// applying changes to a document.
|
|
|
|
pub fn map(self, changes: &ChangeSet) -> Self {
|
|
|
|
if changes.is_empty() {
|
|
|
|
return self;
|
|
|
|
}
|
|
|
|
|
|
|
|
Self::new(
|
|
|
|
self.ranges
|
|
|
|
.into_iter()
|
|
|
|
.map(|range| range.map(changes))
|
|
|
|
.collect(),
|
|
|
|
self.primary_index,
|
|
|
|
)
|
|
|
|
}
|
|
|
|
|
2020-09-07 12:08:28 +04:00
|
|
|
pub fn ranges(&self) -> &[Range] {
|
|
|
|
&self.ranges
|
|
|
|
}
|
|
|
|
|
2020-05-28 09:45:44 +04:00
|
|
|
#[must_use]
|
2020-05-25 08:02:21 +04:00
|
|
|
/// Constructs a selection holding a single range.
|
|
|
|
pub fn single(anchor: usize, head: usize) -> Self {
|
|
|
|
Self {
|
2020-05-26 13:11:11 +04:00
|
|
|
ranges: smallvec![Range { anchor, head }],
|
2020-05-25 08:02:21 +04:00
|
|
|
primary_index: 0,
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2020-05-28 09:45:44 +04:00
|
|
|
#[must_use]
|
2020-05-26 13:11:11 +04:00
|
|
|
pub fn new(ranges: SmallVec<[Range; 1]>, primary_index: usize) -> Self {
|
2020-05-28 09:45:44 +04:00
|
|
|
fn normalize(mut ranges: SmallVec<[Range; 1]>, mut primary_index: usize) -> Selection {
|
2020-05-25 08:02:21 +04:00
|
|
|
let primary = ranges[primary_index];
|
2020-05-28 09:45:44 +04:00
|
|
|
ranges.sort_unstable_by_key(Range::from);
|
|
|
|
primary_index = ranges.iter().position(|&range| range == primary).unwrap();
|
2020-05-25 08:02:21 +04:00
|
|
|
|
2020-05-26 13:11:11 +04:00
|
|
|
let mut result: SmallVec<[Range; 1]> = SmallVec::new();
|
2020-05-25 08:02:21 +04:00
|
|
|
|
|
|
|
// TODO: we could do with one vec by removing elements as we mutate
|
|
|
|
|
|
|
|
for (i, range) in ranges.into_iter().enumerate() {
|
|
|
|
// if previous value exists
|
|
|
|
if let Some(prev) = result.last_mut() {
|
|
|
|
// and we overlap it
|
|
|
|
if range.overlaps(prev) {
|
|
|
|
let from = prev.from();
|
|
|
|
let to = std::cmp::max(range.to(), prev.to());
|
|
|
|
|
|
|
|
if i <= primary_index {
|
|
|
|
primary_index -= 1
|
|
|
|
}
|
|
|
|
|
|
|
|
// merge into previous
|
|
|
|
if range.anchor > range.head {
|
|
|
|
prev.anchor = to;
|
|
|
|
prev.head = from;
|
|
|
|
} else {
|
|
|
|
prev.anchor = from;
|
|
|
|
prev.head = to;
|
|
|
|
}
|
|
|
|
continue;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
result.push(range)
|
|
|
|
}
|
|
|
|
|
|
|
|
Selection {
|
|
|
|
ranges: result,
|
|
|
|
primary_index,
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2020-09-13 18:38:54 +04:00
|
|
|
// fast path for a single selection (cursor)
|
|
|
|
if ranges.len() == 1 {
|
|
|
|
return Selection {
|
|
|
|
ranges,
|
|
|
|
primary_index: 0,
|
|
|
|
};
|
|
|
|
}
|
|
|
|
|
2020-05-25 08:02:21 +04:00
|
|
|
// TODO: only normalize if needed (any ranges out of order)
|
|
|
|
normalize(ranges, primary_index)
|
|
|
|
}
|
2020-09-07 12:08:28 +04:00
|
|
|
|
|
|
|
/// Takes a closure and maps each selection over the closure.
|
2020-09-12 18:52:38 +04:00
|
|
|
pub fn transform<F>(&self, f: F) -> Self
|
2020-09-07 12:08:28 +04:00
|
|
|
where
|
|
|
|
F: Fn(Range) -> Range,
|
|
|
|
{
|
2020-09-12 18:52:38 +04:00
|
|
|
Self::new(
|
|
|
|
self.ranges.iter().copied().map(f).collect(),
|
|
|
|
self.primary_index,
|
|
|
|
)
|
2020-09-07 12:08:28 +04:00
|
|
|
}
|
2020-05-25 08:02:21 +04:00
|
|
|
}
|
|
|
|
|
|
|
|
// TODO: checkSelection -> check if valid for doc length
|
|
|
|
|
|
|
|
#[cfg(test)]
|
|
|
|
mod test {
|
|
|
|
use super::*;
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn test_create_normalizes_and_merges() {
|
|
|
|
let sel = Selection::new(
|
2020-05-26 13:11:11 +04:00
|
|
|
smallvec![
|
2020-05-25 08:02:21 +04:00
|
|
|
Range::new(10, 12),
|
|
|
|
Range::new(6, 7),
|
|
|
|
Range::new(4, 5),
|
|
|
|
Range::new(3, 4),
|
|
|
|
Range::new(0, 6),
|
|
|
|
Range::new(7, 8),
|
|
|
|
Range::new(9, 13),
|
|
|
|
Range::new(13, 14),
|
|
|
|
],
|
|
|
|
0,
|
|
|
|
);
|
|
|
|
|
|
|
|
let res = sel
|
|
|
|
.ranges
|
|
|
|
.into_iter()
|
|
|
|
.map(|range| format!("{}/{}", range.anchor, range.head))
|
|
|
|
.collect::<Vec<String>>()
|
|
|
|
.join(",");
|
|
|
|
|
|
|
|
assert_eq!(res, "0/6,6/7,7/8,9/13,13/14");
|
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn test_create_merges_adjacent_points() {
|
|
|
|
let sel = Selection::new(
|
2020-05-26 13:11:11 +04:00
|
|
|
smallvec![
|
2020-05-25 08:02:21 +04:00
|
|
|
Range::new(10, 12),
|
|
|
|
Range::new(12, 12),
|
|
|
|
Range::new(12, 12),
|
|
|
|
Range::new(10, 10),
|
|
|
|
Range::new(8, 10),
|
|
|
|
],
|
|
|
|
0,
|
|
|
|
);
|
|
|
|
|
|
|
|
let res = sel
|
|
|
|
.ranges
|
|
|
|
.into_iter()
|
|
|
|
.map(|range| format!("{}/{}", range.anchor, range.head))
|
|
|
|
.collect::<Vec<String>>()
|
|
|
|
.join(",");
|
|
|
|
|
|
|
|
assert_eq!(res, "8/10,10/12");
|
|
|
|
}
|
2020-09-28 20:00:35 +04:00
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn test_contains() {
|
|
|
|
let range = Range::new(10, 12);
|
|
|
|
|
|
|
|
assert_eq!(range.contains(9), false);
|
|
|
|
assert_eq!(range.contains(10), true);
|
|
|
|
assert_eq!(range.contains(11), true);
|
|
|
|
assert_eq!(range.contains(12), false);
|
|
|
|
assert_eq!(range.contains(13), false);
|
|
|
|
|
|
|
|
let range = Range::new(9, 6);
|
|
|
|
assert_eq!(range.contains(9), true);
|
|
|
|
assert_eq!(range.contains(7), true);
|
|
|
|
assert_eq!(range.contains(6), false);
|
|
|
|
}
|
|
|
|
|
2020-05-25 08:02:21 +04:00
|
|
|
}
|