kure2-cli 0.3.0

REPL for the Kure2 DSL
Documentation 
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

use std::{cell::RefCell, io, ops, rc::Rc};

use kure2_cli::{Repl, repl_helper::ReplHelper};
use rustyline::{Editor, error::ReadlineError};

fn main() -> io::Result<()> {
    let mut rl = Editor::new().unwrap();
    let mut stdout = io::stdout();

    let repl = Repl::new();
    repl.welcome(&mut stdout)?;

    let repl = Rc::new(RefCell::new(repl));
    rl.set_helper(Some(ReplHelper::new(repl.clone())));

    loop {
        let line = match rl.readline("> ") {
            Ok(line) => {
                rl.add_history_entry(line.as_str()).unwrap();
                line
            }
            Err(ReadlineError::Interrupted) | Err(ReadlineError::Eof) => break,
            Err(err) => panic!("Error reading line: {err}"),
        };

        let res = repl.borrow_mut().process_input(&line, &mut stdout)?;

        match res {
            ops::ControlFlow::Continue(()) => continue,
            ops::ControlFlow::Break(()) => break,
        }
    }

    Ok(())
}