abyss-core 0.5.0

Core language primitives for the AbySS scripting language: AST, chumsky-based parser, static analysis, and formatter. Shared between the CLI interpreter and editor tooling.
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
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150

use crate::ast::Type;
use std::collections::HashMap;

#[derive(Debug, Clone, PartialEq)]
pub struct SymbolInfo {
    pub var_type: Type,
    pub is_mutable: bool,
}

#[derive(Debug, Clone, Default)]
pub struct SymbolTable {
    scopes: Vec<HashMap<String, SymbolInfo>>,
}

impl SymbolTable {
    pub fn new() -> Self {
        Self {
            scopes: vec![HashMap::new()],
        }
    }

    pub fn push_scope(&mut self) {
        self.scopes.push(HashMap::new());
    }

    pub fn pop_scope(&mut self) {
        if self.scopes.len() > 1 {
            self.scopes.pop();
        }
    }

    pub fn define(&mut self, name: String, var_type: Type, is_mutable: bool) -> Result<(), String> {
        if let Some(scope) = self.scopes.last_mut() {
            if scope.contains_key(&name) {
                return Err(format!("Symbol '{}' already defined in this scope", name));
            }
            scope.insert(
                name,
                SymbolInfo {
                    var_type,
                    is_mutable,
                },
            );
            Ok(())
        } else {
            Err("No scope available".to_string())
        }
    }

    pub fn lookup(&self, name: &str) -> Option<&SymbolInfo> {
        for scope in self.scopes.iter().rev() {
            if let Some(info) = scope.get(name) {
                return Some(info);
            }
        }
        None
    }

    pub fn lookup_mut(&mut self, name: &str) -> Option<&mut SymbolInfo> {
        for scope in self.scopes.iter_mut().rev() {
            if let Some(info) = scope.get_mut(name) {
                return Some(info);
            }
        }
        None
    }
}

#[cfg(test)]
mod tests {
    use super::*;

    #[test]
    fn test_symbol_table_scope_management() {
        let mut table = SymbolTable::new();
        assert_eq!(table.scopes.len(), 1);

        table.push_scope();
        assert_eq!(table.scopes.len(), 2);

        table.pop_scope();
        assert_eq!(table.scopes.len(), 1);

        // Should not pop the last scope
        table.pop_scope();
        assert_eq!(table.scopes.len(), 1);
    }

    #[test]
    fn test_define_and_lookup() {
        let mut table = SymbolTable::new();
        table
            .define("x".to_string(), Type::Arcana, false)
            .expect("failed to define symbol");

        let info = table.lookup("x").expect("symbol not found");
        assert_eq!(info.var_type, Type::Arcana);
        assert!(!info.is_mutable);

        assert!(table.lookup("y").is_none());
    }

    #[test]
    fn test_define_duplicate_in_same_scope() {
        let mut table = SymbolTable::new();
        table
            .define("x".to_string(), Type::Arcana, false)
            .expect("failed to define symbol");

        let result = table.define("x".to_string(), Type::Aether, true);
        assert!(result.is_err());
    }

    #[test]
    fn test_shadowing() {
        let mut table = SymbolTable::new();
        table
            .define("x".to_string(), Type::Arcana, false)
            .expect("failed to define symbol");

        table.push_scope();
        table
            .define("x".to_string(), Type::Aether, true)
            .expect("failed to shadow symbol");

        let info = table.lookup("x").expect("symbol not found");
        assert_eq!(info.var_type, Type::Aether);
        assert!(info.is_mutable);

        table.pop_scope();
        let info = table.lookup("x").expect("symbol not found");
        assert_eq!(info.var_type, Type::Arcana);
        assert!(!info.is_mutable);
    }

    #[test]
    fn test_lookup_mut() {
        let mut table = SymbolTable::new();
        table
            .define("x".to_string(), Type::Arcana, true)
            .expect("failed to define symbol");

        if let Some(info) = table.lookup_mut("x") {
            info.is_mutable = false;
        }

        let info = table.lookup("x").expect("symbol not found");
        assert!(!info.is_mutable);
    }
}