rhai/examples/repl.rs

175 lines
4.7 KiB
Rust
Raw Normal View History

2020-03-25 04:51:13 +01:00
use rhai::{Engine, EvalAltResult, Position, Scope, AST};
2020-03-16 05:41:19 +01:00
#[cfg(not(feature = "no_optimize"))]
use rhai::OptimizationLevel;
use std::{
io::{stdin, stdout, Write},
iter,
};
2017-10-15 17:50:39 +02:00
fn print_error(input: &str, err: EvalAltResult) {
2020-03-24 10:30:04 +01:00
let lines: Vec<_> = input.trim().split('\n').collect();
let line_no = if lines.len() > 1 {
match err.position() {
p if p.is_none() => "".to_string(),
p if p.is_eof() => format!("{}: ", lines.len()),
p => format!("{}: ", p.line().unwrap()),
}
} else {
"".to_string()
};
// Print error
2020-03-25 04:51:13 +01:00
let pos = err.position();
let pos_text = format!(" ({})", pos);
2020-03-22 14:03:58 +01:00
2020-03-25 04:51:13 +01:00
let pos = if pos.is_eof() {
let last = lines[lines.len() - 1];
Position::new(lines.len(), last.len() + 1)
} else {
pos
};
2020-03-22 14:03:58 +01:00
2020-03-25 04:51:13 +01:00
match pos {
p if p.is_eof() => panic!("should not be EOF"),
p if p.is_none() => {
// No position
println!("{}", err);
}
p => {
// Specific position
println!("{}{}", line_no, lines[p.line().unwrap() - 1]);
2020-03-17 10:33:37 +01:00
let err_text = match err {
EvalAltResult::ErrorRuntime(err, _) if !err.is_empty() => {
format!("Runtime error: {}", err)
}
2020-03-25 04:51:13 +01:00
err => err.to_string(),
2020-03-17 10:33:37 +01:00
};
println!(
2020-04-02 16:37:35 +02:00
"{0:>1$} {2}",
"^",
line_no.len() + p.position().unwrap(),
2020-03-17 10:33:37 +01:00
err_text.replace(&pos_text, "")
);
}
}
}
fn print_help() {
println!("help => print this help");
println!("quit, exit => quit");
println!("ast => print the last AST");
println!("astu => print the last raw, un-optimized AST");
println!(r"end a line with '\' to continue to the next line.");
println!();
}
fn main() {
2017-12-20 12:16:14 +01:00
let mut engine = Engine::new();
#[cfg(not(feature = "no_optimize"))]
engine.set_optimization_level(OptimizationLevel::None);
2017-12-20 12:16:14 +01:00
let mut scope = Scope::new();
2017-10-15 17:50:39 +02:00
let mut input = String::new();
let mut ast_u: Option<AST> = None;
let mut ast: Option<AST> = None;
2017-10-15 17:50:39 +02:00
println!("Rhai REPL tool");
println!("==============");
print_help();
2017-12-20 12:16:14 +01:00
loop {
print!("rhai> ");
2017-12-20 12:16:14 +01:00
stdout().flush().expect("couldn't flush stdout");
2020-03-02 08:19:59 +01:00
input.clear();
loop {
if let Err(err) = stdin().read_line(&mut input) {
panic!("input error: {}", err);
}
let line = input.as_str().trim_end();
// Allow line continuation
if line.ends_with('\\') {
let len = line.len();
input.truncate(len - 1);
input.push('\n');
} else {
break;
}
print!("> ");
stdout().flush().expect("couldn't flush stdout");
2017-12-20 12:16:14 +01:00
}
2017-10-15 17:50:39 +02:00
let script = input.trim();
// Implement standard commands
match script {
"help" => {
print_help();
continue;
}
"exit" | "quit" => break, // quit
"astu" => {
if matches!(&ast_u, Some(_)) {
// print the last un-optimized AST
println!("{:#?}", ast_u.as_ref().unwrap());
} else {
println!("()");
}
continue;
}
"ast" => {
2020-03-14 16:40:30 +01:00
if matches!(&ast, Some(_)) {
// print the last AST
println!("{:#?}", ast.as_ref().unwrap());
} else {
println!("()");
}
continue;
}
_ => (),
}
if let Err(err) = engine
.compile_with_scope(&scope, &script)
.map_err(EvalAltResult::ErrorParsing)
.and_then(|r| {
ast_u = Some(r);
2020-03-22 14:03:58 +01:00
#[cfg(not(feature = "no_optimize"))]
{
engine.set_optimization_level(OptimizationLevel::Full);
2020-03-24 10:30:04 +01:00
ast = Some(engine.optimize_ast(&scope, ast_u.as_ref().unwrap()));
2020-03-22 14:03:58 +01:00
engine.set_optimization_level(OptimizationLevel::None);
}
#[cfg(feature = "no_optimize")]
{
ast = ast_u.clone();
}
2020-03-17 10:33:37 +01:00
engine
.consume_ast_with_scope(&mut scope, true, ast.as_ref().unwrap())
.or_else(|err| match err {
EvalAltResult::Return(_, _) => Ok(()),
err => Err(err),
})
})
{
2020-03-24 10:30:04 +01:00
println!();
print_error(&input, err);
2020-03-24 10:30:04 +01:00
println!();
2017-12-20 12:16:14 +01:00
}
}
2017-10-15 17:50:39 +02:00
}