@devaloop/devalang 0.0.1-alpha.15 → 0.0.1-alpha.16

package/rust/core/audio/evaluator.rs

@@ -1,132 +1,263 @@
-use crate::core::{ shared::value::Value, store::variable::VariableTable };
-use crate::core::audio::special::{
-    resolve_env_atom,
-    find_and_eval_first_math_call,
-    find_and_eval_first_easing_call,
-    find_and_eval_first_mod_call,
-};
-
-pub fn evaluate_condition_string(expr: &str, vars: &VariableTable) -> bool {
-    let tokens: Vec<&str> = expr.split_whitespace().collect();
-    if tokens.len() != 3 {
-        return false;
-    }
-
-    let left = tokens[0];
-    let op = tokens[1];
-    let right = tokens[2];
-
-    let left_val = match vars.get(left) {
-        Some(Value::Number(n)) => *n,
-        _ => {
-            return false;
-        }
-    };
-
-    let right_val: f32 = right.parse().unwrap_or(0.0);
-
-    match op {
-        ">" => left_val > right_val,
-        "<" => left_val < right_val,
-        ">=" => left_val >= right_val,
-        "<=" => left_val <= right_val,
-        "==" => (left_val - right_val).abs() < f32::EPSILON,
-        "!=" => (left_val - right_val).abs() > f32::EPSILON,
-        _ => false,
-    }
-}
-
-// Very small expression evaluator for `$env.*`, `$math.*` and variables.
-// Supports: +, -, *, / and simple parentheses, left-to-right (no precedence), and $math.(sin|cos)(expr)
-pub fn evaluate_numeric_expression(expr: &str, vars: &VariableTable, env_bpm: f32, env_beat: f32) -> Option<f32> {
-    let expr = expr.replace(" ", "");
-
-    // Helper to resolve an atom to a number
-    fn resolve_atom(atom: &str, vars: &VariableTable, bpm: f32, beat: f32) -> Option<f32> {
-        if let Some(v) = resolve_env_atom(atom, bpm, beat) { return Some(v); }
-        if let Ok(n) = atom.parse::<f32>() { return Some(n); }
-        if let Some(Value::Number(n)) = vars.get(atom) { return Some(*n); }
-        None
-    }
-
-    // Shunting-like, simplified: first evaluate any $math.func(...) calls anywhere in the expression,
-    // then fold remaining parentheses and evaluate left-to-right.
-    fn eval(expr: &str, vars: &VariableTable, bpm: f32, beat: f32) -> Option<f32> {
-        // 1) Replace $math.* calls progressively
-        let mut s = expr.to_string();
-        // Evaluate modulators first (they may feed easing/math)
-        while let Some(next) = find_and_eval_first_mod_call(&s, evaluate_numeric_expression, vars, bpm, beat) { s = next; }
-        // Then easing functions
-        while let Some(next) = find_and_eval_first_easing_call(&s, evaluate_numeric_expression, vars, bpm, beat) { s = next; }
-        // Finally math transforms
-        while let Some(next) = find_and_eval_first_math_call(&s, evaluate_numeric_expression, vars, bpm, beat) { s = next; }
-
-    // 2) Evaluate remaining (pure) parentheses starting from innermost
-        if let Some(open) = s.rfind('(') {
-            if let Some(close_rel) = s[open..].find(')') { // index relatif
-                let close = open + close_rel;
-                let inner = &s[open + 1..close];
-                let val = eval(inner, vars, bpm, beat)?;
-                let mut replaced = String::new();
-                replaced.push_str(&s[..open]);
-                replaced.push_str(&val.to_string());
-                replaced.push_str(&s[close + 1..]);
-                return eval(&replaced, vars, bpm, beat);
-            }
-        }
-
-        // Tokenize by operators left-to-right
-        let mut parts: Vec<String> = Vec::new();
-        let mut cur = String::new();
-        for ch in s.chars() {
-            if "+-*/".contains(ch) {
-                if !cur.is_empty() { parts.push(cur.clone()); cur.clear(); }
-                parts.push(ch.to_string());
-            } else {
-                cur.push(ch);
-            }
-        }
-        if !cur.is_empty() { parts.push(cur); }
-        if parts.is_empty() { return None; }
-
-        // Resolve atoms and compute
-        let mut acc: Option<f32> = None;
-        let mut op: Option<char> = None;
-        for part in parts {
-            if part.len() == 1 && "+-*/".contains(part.chars().next().unwrap()) {
-                op = part.chars().next();
-                continue;
-            }
-            let val = if let Some(v) = resolve_atom(&part, vars, bpm, beat) {
-                v
-            } else if part.starts_with("$env.") {
-                // $env atom not handled by resolve_atom (when composed), try recursive eval
-                eval(&part, vars, bpm, beat)?
-            } else {
-                return None;
-            };
-
-            acc = Some(match (acc, op) {
-                (None, _) => val,
-                (Some(a), Some('+')) => a + val,
-                (Some(a), Some('-')) => a - val,
-                (Some(a), Some('*')) => a * val,
-                (Some(a), Some('/')) => if val != 0.0 { a / val } else { return Some(f32::INFINITY); },
-                (Some(_), None) => val,
-                _ => return None,
-            });
-        }
-
-        acc
-    }
-
-    eval(&expr, vars, env_bpm, env_beat)
-}
-
-pub fn evaluate_rhs_into_value(raw: &str, vars: &VariableTable, env_bpm: f32, env_beat: f32) -> Value {
-    if let Some(num) = evaluate_numeric_expression(raw, vars, env_bpm, env_beat) {
-        Value::Number(num)
-    } else {
-        Value::String(raw.to_string())
-    }
-}
+use crate::core::audio::special::{
+    find_and_eval_first_easing_call, find_and_eval_first_math_call, find_and_eval_first_mod_call,
+    resolve_env_atom,
+};
+use crate::core::{shared::value::Value, store::variable::VariableTable};
+
+pub fn evaluate_condition_string(expr: &str, vars: &VariableTable) -> bool {
+    let tokens: Vec<&str> = expr.split_whitespace().collect();
+    if tokens.len() != 3 {
+        return false;
+    }
+
+    let left = tokens[0];
+    let op = tokens[1];
+    let right = tokens[2];
+
+    let left_val = match vars.get(left) {
+        Some(Value::Number(n)) => *n,
+        _ => {
+            return false;
+        }
+    };
+
+    let right_val: f32 = right.parse().unwrap_or(0.0);
+
+    match op {
+        ">" => left_val > right_val,
+        "<" => left_val < right_val,
+        ">=" => left_val >= right_val,
+        "<=" => left_val <= right_val,
+        "==" => (left_val - right_val).abs() < f32::EPSILON,
+        "!=" => (left_val - right_val).abs() > f32::EPSILON,
+        _ => false,
+    }
+}
+
+// Very small expression evaluator for `$env.*`, `$math.*` and variables.
+// Supports: +, -, *, / and simple parentheses, left-to-right (no precedence), and $math.(sin|cos)(expr)
+pub fn evaluate_numeric_expression(
+    expr: &str,
+    vars: &VariableTable,
+    env_bpm: f32,
+    env_beat: f32,
+) -> Option<f32> {
+    let expr = expr.replace(" ", "");
+
+    // Helper to resolve an atom to a number
+    fn resolve_atom(atom: &str, vars: &VariableTable, bpm: f32, beat: f32) -> Option<f32> {
+        if let Some(v) = resolve_env_atom(atom, bpm, beat) {
+            return Some(v);
+        }
+        if let Ok(n) = atom.parse::<f32>() {
+            return Some(n);
+        }
+        if let Some(Value::Number(n)) = vars.get(atom) {
+            return Some(*n);
+        }
+        None
+    }
+
+    // Shunting-like, simplified: first evaluate any $math.func(...) calls anywhere in the expression,
+    // then fold remaining parentheses and evaluate left-to-right.
+    fn eval(expr: &str, vars: &VariableTable, bpm: f32, beat: f32) -> Option<f32> {
+        // 1) Replace $math.* calls progressively
+        let mut s = expr.to_string();
+        // Evaluate modulators first (they may feed easing/math)
+        while let Some(next) =
+            find_and_eval_first_mod_call(&s, evaluate_numeric_expression, vars, bpm, beat)
+        {
+            s = next;
+        }
+        // Then easing functions
+        while let Some(next) =
+            find_and_eval_first_easing_call(&s, evaluate_numeric_expression, vars, bpm, beat)
+        {
+            s = next;
+        }
+        // Finally math transforms
+        while let Some(next) =
+            find_and_eval_first_math_call(&s, evaluate_numeric_expression, vars, bpm, beat)
+        {
+            s = next;
+        }
+
+        // 2) Evaluate remaining (pure) parentheses starting from innermost
+        if let Some(open) = s.rfind('(') {
+            if let Some(close_rel) = s[open..].find(')') {
+                // index relatif
+                let close = open + close_rel;
+                let inner = &s[open + 1..close];
+                let val = eval(inner, vars, bpm, beat)?;
+                let mut replaced = String::new();
+                replaced.push_str(&s[..open]);
+                replaced.push_str(&val.to_string());
+                replaced.push_str(&s[close + 1..]);
+                return eval(&replaced, vars, bpm, beat);
+            }
+        }
+
+        // Tokenize by operators left-to-right
+        let mut parts: Vec<String> = Vec::new();
+        let mut cur = String::new();
+        for ch in s.chars() {
+            if "+-*/".contains(ch) {
+                if !cur.is_empty() {
+                    parts.push(cur.clone());
+                    cur.clear();
+                }
+                parts.push(ch.to_string());
+            } else {
+                cur.push(ch);
+            }
+        }
+        if !cur.is_empty() {
+            parts.push(cur);
+        }
+        if parts.is_empty() {
+            return None;
+        }
+
+        // Resolve atoms and compute
+        let mut acc: Option<f32> = None;
+        let mut op: Option<char> = None;
+        for part in parts {
+            if part.len() == 1 && "+-*/".contains(part.chars().next().unwrap()) {
+                op = part.chars().next();
+                continue;
+            }
+            let val = if let Some(v) = resolve_atom(&part, vars, bpm, beat) {
+                v
+            } else if part.starts_with("$env.") {
+                // $env atom not handled by resolve_atom (when composed), try recursive eval
+                eval(&part, vars, bpm, beat)?
+            } else {
+                return None;
+            };
+
+            acc = Some(match (acc, op) {
+                (None, _) => val,
+                (Some(a), Some('+')) => a + val,
+                (Some(a), Some('-')) => a - val,
+                (Some(a), Some('*')) => a * val,
+                (Some(a), Some('/')) => {
+                    if val != 0.0 {
+                        a / val
+                    } else {
+                        return Some(f32::INFINITY);
+                    }
+                }
+                (Some(_), None) => val,
+                _ => return None,
+            });
+        }
+
+        acc
+    }
+
+    eval(&expr, vars, env_bpm, env_beat)
+}
+
+pub fn evaluate_rhs_into_value(
+    raw: &str,
+    vars: &VariableTable,
+    env_bpm: f32,
+    env_beat: f32,
+) -> Value {
+    if let Some(num) = evaluate_numeric_expression(raw, vars, env_bpm, env_beat) {
+        Value::Number(num)
+    } else {
+        Value::String(raw.to_string())
+    }
+}
+
+// Evaluate a simple string concatenation expression like: "hello " + name + "!" + $env.beat
+// - Splits on + outside quotes
+// - Terms can be string literals (double quotes), variables (Number/String/Boolean), or numeric env/math expressions
+// Returns None if parsing fails (fallback to raw print)
+pub fn evaluate_string_expression(
+    expr: &str,
+    vars: &VariableTable,
+    env_bpm: f32,
+    env_beat: f32,
+) -> Option<String> {
+    // Quick reject if no '+' present
+    if !expr.contains('+') {
+        return None;
+    }
+
+    // Split by '+' outside of quotes
+    let mut parts: Vec<String> = Vec::new();
+    let mut cur = String::new();
+    let mut in_quotes = false;
+    let mut escape = false;
+    for ch in expr.chars() {
+        if escape {
+            cur.push(ch);
+            escape = false;
+            continue;
+        }
+        if ch == '\\' {
+            // escape next char
+            escape = true;
+            continue;
+        }
+        if ch == '"' {
+            in_quotes = !in_quotes;
+            cur.push(ch);
+            continue;
+        }
+        if ch == '+' && !in_quotes {
+            parts.push(cur.to_string());
+            cur.clear();
+            continue;
+        }
+        cur.push(ch);
+    }
+    if !cur.is_empty() {
+        parts.push(cur.to_string());
+    }
+    if parts.is_empty() {
+        return None;
+    }
+
+    // Resolve each part into a string
+    fn strip_quotes(s: &str) -> Option<String> {
+        let st = s.trim();
+        if st.len() >= 2 && st.starts_with('"') && st.ends_with('"') {
+            Some(st[1..st.len() - 1].to_string())
+        } else {
+            None
+        }
+    }
+
+    let mut out = String::new();
+    for p in parts {
+        if p.is_empty() {
+            continue;
+        }
+        if let Some(lit) = strip_quotes(&p) {
+            out.push_str(&lit);
+            continue;
+        }
+        // Try variables first
+        if let Some(val) = vars.get(&p) {
+            match val {
+                crate::core::shared::value::Value::String(s) => out.push_str(s),
+                crate::core::shared::value::Value::Number(n) => out.push_str(&format!("{}", n)),
+                crate::core::shared::value::Value::Boolean(b) => out.push_str(&format!("{}", b)),
+                other => out.push_str(&format!("{:?}", other)),
+            }
+            continue;
+        }
+        // Try env/math/numeric expression for this term
+        if let Some(n) = evaluate_numeric_expression(&p, vars, env_bpm, env_beat) {
+            out.push_str(&format!("{}", n));
+            continue;
+        }
+        // Bareword not resolved: include as-is (safe fallback)
+        out.push_str(&p);
+    }
+
+    Some(out)
+}