2023-03-24 19:42:23 -07:00
|
|
|
use std::collections::VecDeque;
|
2023-03-27 22:13:14 -07:00
|
|
|
use std::io::Write;
|
|
|
|
use termion::raw::RawTerminal;
|
|
|
|
use termion::color;
|
|
|
|
use termion::style;
|
|
|
|
|
|
|
|
use crate::parser::substitute;
|
2023-03-24 19:42:23 -07:00
|
|
|
|
|
|
|
|
|
|
|
#[derive(Debug)]
|
|
|
|
pub struct PromptBuffer {
|
|
|
|
// History
|
|
|
|
hist: VecDeque<String>,
|
|
|
|
hist_maxlen: usize,
|
|
|
|
|
|
|
|
// Counts from back of hist.
|
|
|
|
// 0 means "not on history",
|
|
|
|
// 1 means "on last item of history"
|
|
|
|
hist_cursor: usize,
|
|
|
|
|
|
|
|
buffer: String,
|
|
|
|
buffer_changed: bool,
|
2023-03-27 22:13:14 -07:00
|
|
|
cursor: usize,
|
|
|
|
last_print_len: usize
|
2023-03-24 19:42:23 -07:00
|
|
|
}
|
|
|
|
|
|
|
|
impl PromptBuffer {
|
|
|
|
pub fn new(maxlen: usize) -> PromptBuffer {
|
|
|
|
return PromptBuffer {
|
|
|
|
hist: VecDeque::with_capacity(maxlen/2),
|
|
|
|
hist_maxlen: maxlen,
|
|
|
|
hist_cursor: 0,
|
|
|
|
buffer: String::with_capacity(64),
|
2023-03-27 22:13:14 -07:00
|
|
|
buffer_changed: false,
|
|
|
|
cursor: 0,
|
|
|
|
last_print_len: 0,
|
2023-03-24 19:42:23 -07:00
|
|
|
};
|
|
|
|
}
|
|
|
|
|
|
|
|
|
2023-03-27 22:13:14 -07:00
|
|
|
pub fn write_prompt(&mut self, stdout: &mut RawTerminal<std::io::Stdout>) -> Result<(), std::io::Error> {
|
|
|
|
// Draw prettyprinted expression
|
|
|
|
let s = substitute(&self.get_contents(), self.get_cursor_idx());
|
|
|
|
write!(
|
|
|
|
stdout, "\r{}{}==>{}{} {}",
|
|
|
|
style::Bold,
|
|
|
|
color::Fg(color::Blue),
|
|
|
|
color::Fg(color::Reset),
|
|
|
|
style::Reset,
|
|
|
|
s
|
|
|
|
)?;
|
|
|
|
|
|
|
|
// If this string is shorter, clear the remaining old one.
|
|
|
|
if s.chars().count() < self.last_print_len {
|
|
|
|
write!(
|
|
|
|
stdout, "{}{}",
|
|
|
|
" ".repeat(self.last_print_len - s.chars().count()),
|
|
|
|
termion::cursor::Left((self.last_print_len - s.chars().count()) as u16)
|
|
|
|
)?;
|
|
|
|
}
|
|
|
|
|
|
|
|
// Move cursor to correct position
|
|
|
|
if self.cursor != 0 {
|
|
|
|
write!(
|
|
|
|
stdout, "{}",
|
|
|
|
termion::cursor::Left(self.cursor as u16)
|
|
|
|
)?;
|
|
|
|
stdout.flush()?;
|
|
|
|
}
|
|
|
|
self.last_print_len = s.chars().count();
|
|
|
|
|
|
|
|
stdout.flush()?;
|
|
|
|
|
|
|
|
return Ok(());
|
|
|
|
}
|
|
|
|
|
2023-03-24 19:42:23 -07:00
|
|
|
// Prompt methods
|
|
|
|
pub fn get_contents(&self) -> &String {&self.buffer}
|
|
|
|
|
|
|
|
pub fn enter(&mut self) -> String{
|
|
|
|
let s = String::from(self.buffer.trim());
|
|
|
|
self.buffer.clear();
|
|
|
|
self.hist_cursor = 0;
|
|
|
|
self.buffer_changed = false;
|
|
|
|
|
|
|
|
if s != "" { self.hist.push_back(s.clone()); }
|
2023-03-25 10:35:43 -07:00
|
|
|
while self.hist.len() > self.hist_maxlen {
|
|
|
|
self.hist.pop_front();
|
|
|
|
}
|
|
|
|
|
2023-03-24 19:42:23 -07:00
|
|
|
return s;
|
|
|
|
}
|
|
|
|
|
|
|
|
// Buffer manipulation
|
|
|
|
pub fn add_char(&mut self, c: char) {
|
|
|
|
self.buffer_changed = true;
|
2023-03-27 22:13:14 -07:00
|
|
|
|
|
|
|
if self.cursor == 0 {
|
|
|
|
self.buffer.push(c);
|
|
|
|
} else {
|
|
|
|
let l = self.buffer.chars().count();
|
|
|
|
let i = l - self.cursor;
|
|
|
|
self.buffer.insert(i, c);
|
|
|
|
}
|
2023-03-24 19:42:23 -07:00
|
|
|
}
|
|
|
|
pub fn backspace(&mut self) {
|
2023-03-27 22:13:14 -07:00
|
|
|
if self.buffer.len() == 0 { return }
|
|
|
|
self.buffer_changed = true;
|
|
|
|
let l = self.buffer.chars().count();
|
|
|
|
|
|
|
|
if self.cursor == 0 {
|
2023-03-24 19:42:23 -07:00
|
|
|
self.buffer.pop();
|
2023-03-27 22:13:14 -07:00
|
|
|
} else if self.cursor != l {
|
|
|
|
let i = l - self.cursor;
|
|
|
|
self.buffer.remove(i-1);
|
|
|
|
|
|
|
|
if self.cursor >= l {
|
|
|
|
self.cursor = l-1;
|
|
|
|
}
|
2023-03-24 19:42:23 -07:00
|
|
|
}
|
|
|
|
}
|
2023-03-27 22:13:14 -07:00
|
|
|
|
2023-03-24 19:42:23 -07:00
|
|
|
pub fn delete(&mut self) {
|
2023-03-27 22:13:14 -07:00
|
|
|
if self.cursor != 0 {
|
|
|
|
self.cursor -= 1;
|
|
|
|
self.backspace();
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
// Cursor manipulation
|
|
|
|
pub fn cursor_left(&mut self) {
|
|
|
|
let l = self.buffer.chars().count();
|
|
|
|
if self.cursor < l {
|
|
|
|
self.cursor += 1;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
pub fn cursor_right(&mut self) {
|
|
|
|
if self.cursor > 0 {
|
|
|
|
self.cursor -= 1;
|
|
|
|
}
|
2023-03-24 19:42:23 -07:00
|
|
|
}
|
|
|
|
|
2023-03-27 22:13:14 -07:00
|
|
|
pub fn get_cursor(&self) -> usize { self.cursor }
|
|
|
|
pub fn get_cursor_idx(&self) -> usize {
|
|
|
|
let l = self.buffer.chars().count();
|
|
|
|
if l == 0 {0} else {l - self.cursor}
|
|
|
|
}
|
2023-03-24 19:42:23 -07:00
|
|
|
|
|
|
|
// History manipulation
|
|
|
|
pub fn hist_up(&mut self) {
|
|
|
|
if self.buffer_changed && self.buffer.len() != 0 { return; }
|
|
|
|
|
|
|
|
if self.hist_cursor < self.hist.len() {
|
|
|
|
if self.buffer.len() != 0 || !self.buffer_changed {
|
|
|
|
self.hist_cursor += 1;
|
|
|
|
}
|
|
|
|
|
|
|
|
self.buffer_changed = false;
|
|
|
|
if self.hist_cursor == 0 {
|
|
|
|
self.buffer.clear();
|
|
|
|
} else {
|
|
|
|
self.buffer = self.hist[self.hist.len() - self.hist_cursor].clone();
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
pub fn hist_down(&mut self) {
|
|
|
|
if self.buffer_changed && self.buffer.len() != 0 { return; }
|
|
|
|
|
|
|
|
if self.hist_cursor > 0 {
|
|
|
|
self.hist_cursor -= 1;
|
|
|
|
|
|
|
|
self.buffer_changed = false;
|
|
|
|
if self.hist_cursor == 0 {
|
|
|
|
self.buffer.clear();
|
|
|
|
} else {
|
|
|
|
self.buffer = self.hist[self.hist.len() - self.hist_cursor].clone();
|
|
|
|
}
|
|
|
|
} else {
|
|
|
|
self.buffer.clear();
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
}
|