solilang 0.21.1

A statically-typed, class-based OOP language with pipeline operators
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
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60

//! Literal expression evaluation.

use crate::ast::ExprKind;
use crate::interpreter::value::Value;
use crate::span::Span;

use super::{Interpreter, RuntimeResult};
use crate::error::RuntimeError;

impl Interpreter {
    /// Evaluate an interpolated string expression.
    pub(crate) fn evaluate_interpolated_string(
        &mut self,
        parts: &Vec<crate::ast::expr::InterpolatedPart>,
        _span: Span,
    ) -> RuntimeResult<Value> {
        let mut result = String::new();
        for part in parts {
            match part {
                crate::ast::expr::InterpolatedPart::Literal(s) => {
                    result.push_str(s);
                }
                crate::ast::expr::InterpolatedPart::Expression(expr) => {
                    let value = self.evaluate(expr)?;
                    result.push_str(&value.to_string());
                }
            }
        }
        Ok(Value::String(result))
    }

    /// Evaluate a literal value from an expression kind.
    /// Used for pattern matching.
    pub(crate) fn evaluate_literal(&self, literal: &ExprKind) -> RuntimeResult<Value> {
        match literal {
            ExprKind::IntLiteral(n) => Ok(Value::Int(*n)),
            ExprKind::FloatLiteral(n) => Ok(Value::Float(*n)),
            ExprKind::StringLiteral(s) => Ok(Value::String(s.clone())),
            ExprKind::BoolLiteral(b) => Ok(Value::Bool(*b)),
            ExprKind::Null => Ok(Value::Null),
            _ => Err(RuntimeError::type_error(
                "expected literal expression",
                Span::default(),
            )),
        }
    }

    /// Compare two values for equality.
    /// Used for pattern matching.
    pub(crate) fn values_equal(&self, a: &Value, b: &Value) -> bool {
        match (a, b) {
            (Value::Int(a), Value::Int(b)) => a == b,
            (Value::Float(a), Value::Float(b)) => a == b,
            (Value::String(a), Value::String(b)) => a == b,
            (Value::Bool(a), Value::Bool(b)) => a == b,
            (Value::Null, Value::Null) => true,
            _ => false,
        }
    }
}