helix-mirror/helix-core/src/state.rs

161 lines
4.6 KiB
Rust
Raw Normal View History

use crate::graphemes::{nth_next_grapheme_boundary, nth_prev_grapheme_boundary, RopeGraphemes};
use crate::{Buffer, Rope, RopeSlice, Selection, SelectionRange};
/// A state represents the current editor state of a single buffer.
pub struct State {
2020-06-01 12:42:28 +04:00
doc: Buffer,
selection: Selection,
}
2020-06-01 12:42:28 +04:00
#[derive(Copy, Clone, PartialEq, Eq)]
pub enum Direction {
Forward,
Backward,
}
#[derive(Copy, Clone, PartialEq, Eq)]
pub enum Granularity {
Character,
Word,
Line,
// LineBoundary
}
impl State {
2020-05-28 09:45:44 +04:00
#[must_use]
2020-06-01 12:42:28 +04:00
pub fn new(doc: Buffer) -> Self {
Self {
2020-06-01 12:42:28 +04:00
doc,
selection: Selection::single(0, 0),
}
}
// TODO: buf/selection accessors
// update/transact:
// update(desc) => transaction ? transaction.doc() for applied doc
// transaction.apply(doc)
// doc.transact(fn -> ... end)
// replaceSelection (transaction that replaces selection)
// changeByRange
// changes
// slice
//
// getters:
// tabSize
// indentUnit
// languageDataAt()
//
// config:
// indentation
// tabSize
// lineUnit
// syntax
// foldable
// changeFilter/transactionFilter
2020-06-01 12:42:28 +04:00
pub fn move_pos(
&self,
pos: usize,
dir: Direction,
granularity: Granularity,
n: usize,
) -> usize {
let text = &self.doc.contents;
match (dir, granularity) {
(Direction::Backward, Granularity::Character) => {
nth_prev_grapheme_boundary(&text.slice(..), pos, n)
}
(Direction::Forward, Granularity::Character) => {
nth_next_grapheme_boundary(&text.slice(..), pos, n)
}
_ => pos,
}
}
pub fn move_selection(
&self,
sel: Selection,
dir: Direction,
granularity: Granularity,
// TODO: n
) -> Selection {
// TODO: move all selections according to normal cursor move semantics by collapsing it
// into cursors and moving them vertically
let ranges = sel.ranges.into_iter().map(|range| {
// let pos = if !range.is_empty() {
// // if selection already exists, bump it to the start or end of current select first
// if dir == Direction::Backward {
// range.from()
// } else {
// range.to()
// }
// } else {
2020-06-02 05:32:21 +04:00
let pos = self.move_pos(range.head, dir, granularity, 1);
2020-06-01 12:42:28 +04:00
// };
SelectionRange::new(pos, pos)
});
Selection::new(ranges.collect(), sel.primary_index)
// TODO: update selection in state via transaction
}
pub fn extend_selection(
&self,
sel: Selection,
dir: Direction,
granularity: Granularity,
n: usize,
) -> Selection {
let ranges = sel.ranges.into_iter().map(|range| {
let pos = self.move_pos(range.head, dir, granularity, n);
SelectionRange::new(range.anchor, pos)
});
Selection::new(ranges.collect(), sel.primary_index)
// TODO: update selection in state via transaction
}
}
/// Coordinates are a 0-indexed line and column pair.
type Coords = (usize, usize); // line, col
/// Convert a character index to (line, column) coordinates.
pub fn coords_at_pos(text: &RopeSlice, pos: usize) -> Coords {
let line = text.char_to_line(pos);
let line_start = text.line_to_char(line);
let col = RopeGraphemes::new(&text.slice(line_start..pos)).count();
(line, col)
}
/// Convert (line, column) coordinates to a character index.
pub fn pos_at_coords(text: &RopeSlice, coords: Coords) -> usize {
let (line, col) = coords;
let line_start = text.line_to_char(line);
nth_next_grapheme_boundary(text, line_start, col)
}
#[cfg(test)]
mod test {
use super::*;
#[test]
fn test_coords_at_pos() {
let text = Rope::from("ḧëḷḷö\nẅöṛḷḋ");
assert_eq!(coords_at_pos(&text.slice(..), 0), (0, 0));
assert_eq!(coords_at_pos(&text.slice(..), 5), (0, 5)); // position on \n
assert_eq!(coords_at_pos(&text.slice(..), 6), (1, 0)); // position on w
assert_eq!(coords_at_pos(&text.slice(..), 11), (1, 5)); // position on d
}
#[test]
fn test_pos_at_coords() {
let text = Rope::from("ḧëḷḷö\nẅöṛḷḋ");
assert_eq!(pos_at_coords(&text.slice(..), (0, 0)), 0);
assert_eq!(pos_at_coords(&text.slice(..), (0, 5)), 5); // position on \n
assert_eq!(pos_at_coords(&text.slice(..), (1, 0)), 6); // position on w
assert_eq!(pos_at_coords(&text.slice(..), (1, 5)), 11); // position on d
}
}