close #42
This commit is contained in:
@@ -936,3 +936,29 @@ fn insert_row_above_3() {
|
|||||||
let cell = grid.get_cell("B1").as_ref().expect("Just set it");
|
let cell = grid.get_cell("B1").as_ref().expect("Just set it");
|
||||||
assert_eq!(cell.to_string(), "=A1");
|
assert_eq!(cell.to_string(), "=A1");
|
||||||
}
|
}
|
||||||
|
|
||||||
|
#[test]
|
||||||
|
fn cell_eval_depth() {
|
||||||
|
use crate::app::mode::*;
|
||||||
|
let mut app= App::new();
|
||||||
|
|
||||||
|
app.grid.set_cell("A0", 1.);
|
||||||
|
app.grid.set_cell("A1", "=A0+$A$0".to_string());
|
||||||
|
|
||||||
|
app.grid.mv_cursor_to(0, 1);
|
||||||
|
app.mode = Mode::Chord(Chord::new('y'));
|
||||||
|
Mode::process_key(&mut app, 'y');
|
||||||
|
Mode::process_key(&mut app, 'j');
|
||||||
|
app.mode = Mode::Chord(Chord::new('5'));
|
||||||
|
Mode::process_key(&mut app, 'p');
|
||||||
|
|
||||||
|
assert_eq!(app.grid.cursor(), (0, 7));
|
||||||
|
|
||||||
|
let c = app.grid.get_cell("A6").as_ref().expect("Just set it");
|
||||||
|
|
||||||
|
assert_eq!(c.to_string(), "=A5+$A$0");
|
||||||
|
|
||||||
|
let res = app.grid.evaluate(&c.to_string()).expect("Should evaluate");
|
||||||
|
assert_eq!(res, 7.);
|
||||||
|
}
|
||||||
|
|
||||||
|
|||||||
@@ -6,7 +6,8 @@ use crate::app::logic::{calc::Grid, cell::CellType};
|
|||||||
|
|
||||||
pub struct CallbackContext<'a> {
|
pub struct CallbackContext<'a> {
|
||||||
variables: &'a Grid,
|
variables: &'a Grid,
|
||||||
eval_depth: RwLock<usize>,
|
eval_breadcrumbs: RwLock<Vec<String>>,
|
||||||
|
compute_cache: RwLock<HashMap<String, Value>>,
|
||||||
functions: HashMap<String, Function<DefaultNumericTypes>>,
|
functions: HashMap<String, Function<DefaultNumericTypes>>,
|
||||||
|
|
||||||
/// True if builtin functions are disabled.
|
/// True if builtin functions are disabled.
|
||||||
@@ -139,10 +140,11 @@ impl<'a> CallbackContext<'a> {
|
|||||||
|
|
||||||
pub fn new(grid: &'a Grid) -> Self {
|
pub fn new(grid: &'a Grid) -> Self {
|
||||||
Self {
|
Self {
|
||||||
eval_depth: RwLock::new(0),
|
|
||||||
variables: grid,
|
variables: grid,
|
||||||
functions: Self::get_functions(),
|
functions: Self::get_functions(),
|
||||||
without_builtin_functions: false,
|
without_builtin_functions: false,
|
||||||
|
eval_breadcrumbs: RwLock::new(Vec::new()),
|
||||||
|
compute_cache: RwLock::new(HashMap::new()),
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
@@ -151,27 +153,46 @@ impl<'a> Context for CallbackContext<'a> {
|
|||||||
type NumericTypes = DefaultNumericTypes;
|
type NumericTypes = DefaultNumericTypes;
|
||||||
|
|
||||||
fn get_value(&self, identifier: &str) -> Option<Value<Self::NumericTypes>> {
|
fn get_value(&self, identifier: &str) -> Option<Value<Self::NumericTypes>> {
|
||||||
const RECURSION_DEPTH_LIMIT: usize = 20;
|
|
||||||
|
// check cache
|
||||||
|
if let Ok(cc) = self.compute_cache.read() {
|
||||||
|
if let Some(hit) = cc.get(identifier) {
|
||||||
|
return Some(hit.clone());
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
if let Ok(mut trail) = self.eval_breadcrumbs.write() {
|
||||||
|
let find = trail.iter().filter(|id| *id == identifier).collect::<Vec<&String>>();
|
||||||
|
if find.len() > 0 {
|
||||||
|
// recursion detected
|
||||||
|
return None;
|
||||||
|
} else {
|
||||||
|
trail.push(identifier.to_owned(), );
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
let pre_return = |v: Value| {
|
||||||
|
if let Ok(mut cc) = self.compute_cache.write() {
|
||||||
|
cc.insert(identifier.to_owned(), v.clone());
|
||||||
|
}
|
||||||
|
Some(v)
|
||||||
|
};
|
||||||
|
|
||||||
if let Some(v) = self.variables.get_cell(identifier) {
|
if let Some(v) = self.variables.get_cell(identifier) {
|
||||||
match v {
|
match v {
|
||||||
CellType::Number(n) => return Some(Value::Float(n.to_owned())),
|
CellType::Number(n) => {
|
||||||
CellType::String(s) => return Some(Value::String(s.to_owned())),
|
return pre_return(Value::Float(n.to_owned()));
|
||||||
|
},
|
||||||
|
CellType::String(s) => {
|
||||||
|
return pre_return(Value::String(s.to_owned()));
|
||||||
|
},
|
||||||
CellType::Equation(eq) => {
|
CellType::Equation(eq) => {
|
||||||
if let Ok(mut depth) = self.eval_depth.write() {
|
|
||||||
*depth += 1;
|
|
||||||
if *depth > RECURSION_DEPTH_LIMIT {
|
|
||||||
return None;
|
|
||||||
}
|
|
||||||
} else {
|
|
||||||
// It would be unsafe to continue to process without knowing how
|
|
||||||
// deep we've gone.
|
|
||||||
return None;
|
|
||||||
}
|
|
||||||
// remove the equals sign from the beginning, as that
|
// remove the equals sign from the beginning, as that
|
||||||
// tries to set variables with our evaluation lib
|
// tries to set variables with our evaluation lib
|
||||||
match eval_with_context(&eq[1..], self) {
|
match eval_with_context(&eq[1..], self) {
|
||||||
Ok(e) => return Some(e),
|
Ok(e) => {
|
||||||
|
return pre_return(e)
|
||||||
|
},
|
||||||
Err(e) => {
|
Err(e) => {
|
||||||
match e {
|
match e {
|
||||||
EvalexprError::VariableIdentifierNotFound(_) => {
|
EvalexprError::VariableIdentifierNotFound(_) => {
|
||||||
@@ -196,14 +217,6 @@ impl<'a> Context for CallbackContext<'a> {
|
|||||||
CellType::Number(e) => vals.push(Value::Float(*e)),
|
CellType::Number(e) => vals.push(Value::Float(*e)),
|
||||||
CellType::String(s) => vals.push(Value::String(s.to_owned())),
|
CellType::String(s) => vals.push(Value::String(s.to_owned())),
|
||||||
CellType::Equation(eq) => {
|
CellType::Equation(eq) => {
|
||||||
if let Ok(mut depth) = self.eval_depth.write() {
|
|
||||||
*depth += 1;
|
|
||||||
if *depth > RECURSION_DEPTH_LIMIT {
|
|
||||||
return None;
|
|
||||||
}
|
|
||||||
} else {
|
|
||||||
return None;
|
|
||||||
}
|
|
||||||
if let Ok(val) = eval_with_context(&eq[1..], self) {
|
if let Ok(val) = eval_with_context(&eq[1..], self) {
|
||||||
vals.push(val);
|
vals.push(val);
|
||||||
}
|
}
|
||||||
@@ -239,8 +252,6 @@ impl<'a> Context for CallbackContext<'a> {
|
|||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
/// DOES NOT EVALUATE EQUATIONS!!
|
/// DOES NOT EVALUATE EQUATIONS!!
|
||||||
///
|
///
|
||||||
/// This is used as a pseudo-context, just used for
|
/// This is used as a pseudo-context, just used for
|
||||||
@@ -259,18 +270,10 @@ impl ExtractionContext {
|
|||||||
}
|
}
|
||||||
}
|
}
|
||||||
pub fn dump_vars(&self) -> Vec<String> {
|
pub fn dump_vars(&self) -> Vec<String> {
|
||||||
if let Ok(r) = self.var_registry.read() {
|
if let Ok(r) = self.var_registry.read() { r.clone() } else { Vec::new() }
|
||||||
r.clone()
|
|
||||||
} else {
|
|
||||||
Vec::new()
|
|
||||||
}
|
|
||||||
}
|
}
|
||||||
pub fn dump_fns(&self) -> Vec<String> {
|
pub fn dump_fns(&self) -> Vec<String> {
|
||||||
if let Ok(r) = self.fn_registry.read() {
|
if let Ok(r) = self.fn_registry.read() { r.clone() } else { Vec::new() }
|
||||||
r.clone()
|
|
||||||
} else {
|
|
||||||
Vec::new()
|
|
||||||
}
|
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
@@ -280,7 +283,9 @@ impl Context for ExtractionContext {
|
|||||||
fn get_value(&self, identifier: &str) -> Option<Value<Self::NumericTypes>> {
|
fn get_value(&self, identifier: &str) -> Option<Value<Self::NumericTypes>> {
|
||||||
if let Ok(mut registry) = self.var_registry.write() {
|
if let Ok(mut registry) = self.var_registry.write() {
|
||||||
registry.push(identifier.to_owned());
|
registry.push(identifier.to_owned());
|
||||||
} else { panic!("The RwLock should always be write-able") }
|
} else {
|
||||||
|
panic!("The RwLock should always be write-able")
|
||||||
|
}
|
||||||
|
|
||||||
Some(Value::Int(1))
|
Some(Value::Int(1))
|
||||||
}
|
}
|
||||||
@@ -293,7 +298,9 @@ impl Context for ExtractionContext {
|
|||||||
let _ = argument;
|
let _ = argument;
|
||||||
if let Ok(mut registry) = self.fn_registry.write() {
|
if let Ok(mut registry) = self.fn_registry.write() {
|
||||||
registry.push(identifier.to_owned())
|
registry.push(identifier.to_owned())
|
||||||
} else { panic!("The RwLock should always be write-able") }
|
} else {
|
||||||
|
panic!("The RwLock should always be write-able")
|
||||||
|
}
|
||||||
// Ok(Value::Int(1))
|
// Ok(Value::Int(1))
|
||||||
unimplemented!("Extracting function identifier not implemented yet")
|
unimplemented!("Extracting function identifier not implemented yet")
|
||||||
}
|
}
|
||||||
|
|||||||
Reference in New Issue
Block a user