rhai/examples/repl.rs

170 lines
4.4 KiB
Rust
Raw Normal View History

use rhai::{Dynamic, Engine, EvalAltResult, Scope, AST, INT};
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 => 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
match pos {
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();
2020-05-05 09:00:10 +02:00
let mut main_ast: AST = Default::default();
let mut ast_u: AST = Default::default();
let mut ast: AST = Default::default();
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();
if script.is_empty() {
continue;
}
// Implement standard commands
match script {
"help" => {
print_help();
continue;
}
"exit" | "quit" => break, // quit
"astu" => {
// print the last un-optimized AST
println!("{:#?}", &ast_u);
continue;
}
"ast" => {
// print the last AST
println!("{:#?}", &ast);
continue;
}
_ => (),
}
2020-04-13 04:27:08 +02:00
match engine
.compile_with_scope(&scope, &script)
.map_err(|err| err.into())
.and_then(|r| {
2020-04-05 11:44:48 +02:00
ast_u = r.clone();
2020-03-22 14:03:58 +01:00
#[cfg(not(feature = "no_optimize"))]
{
ast = engine.optimize_ast(&scope, r, OptimizationLevel::Full);
2020-03-22 14:03:58 +01:00
}
#[cfg(feature = "no_optimize")]
{
2020-04-05 11:44:48 +02:00
ast = r;
2020-03-22 14:03:58 +01:00
}
// Merge the AST into the main
main_ast = main_ast.merge(&ast);
// Evaluate
2020-04-13 04:27:08 +02:00
engine.eval_ast_with_scope::<Dynamic>(&mut scope, &main_ast)
}) {
2020-04-16 05:57:08 +02:00
Ok(result) if !result.is::<()>() => {
2020-04-13 04:27:08 +02:00
println!("=> {:?}", result);
println!();
}
2020-04-16 05:57:08 +02:00
Ok(_) => (),
2020-04-13 04:27:08 +02:00
Err(err) => {
println!();
print_error(&input, *err);
2020-04-13 04:27:08 +02:00
println!();
}
2017-12-20 12:16:14 +01:00
}
2020-04-13 04:27:08 +02:00
// Throw away all the statements, leaving only the functions
#[cfg(not(feature = "no_function"))]
2020-04-13 04:27:08 +02:00
main_ast.retain_functions();
2017-12-20 12:16:14 +01:00
}
2017-10-15 17:50:39 +02:00
}