dol 0.8.1

DOL (Design Ontology Language) - A declarative specification language for ontology-first development
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
151
152
153
154
155
156
157
158
159
160
161

//! Lowering context for AST -> HIR conversion

use super::{DiagnosticKind, LowerDiagnostic};
use crate::ast;
use crate::hir::{HirId, Symbol, SymbolTable};

/// Context for lowering AST to HIR
pub struct LoweringContext {
    /// Symbol table for interning identifiers
    pub symbols: SymbolTable,
    /// Next HIR ID to assign
    next_id: u32,
    /// Diagnostics collected during lowering
    diagnostics: Vec<LowerDiagnostic>,
}

impl LoweringContext {
    /// Create a new lowering context
    pub fn new() -> Self {
        Self {
            symbols: SymbolTable::new(),
            next_id: 0,
            diagnostics: Vec::new(),
        }
    }

    /// Generate a fresh HIR ID
    pub fn fresh_id(&mut self) -> HirId {
        self.next_id += 1;
        HirId::new()
    }

    /// Intern a string as a symbol
    pub fn intern(&mut self, s: &str) -> Symbol {
        self.symbols.intern(s)
    }

    /// Resolve a symbol back to its string representation
    pub fn resolve(&self, sym: Symbol) -> Option<&str> {
        self.symbols.resolve(sym)
    }

    /// Emit a deprecation warning
    pub fn emit_deprecation(&mut self, old: &str, new: &str, span: ast::Span) {
        self.diagnostics.push(LowerDiagnostic {
            kind: DiagnosticKind::Deprecation,
            message: format!("'{}' is deprecated", old),
            span: Some(span),
            suggestion: Some(format!("use '{}' instead", new)),
        });
    }

    /// Emit a warning
    pub fn emit_warning(&mut self, message: &str, span: Option<ast::Span>) {
        self.diagnostics.push(LowerDiagnostic {
            kind: DiagnosticKind::Warning,
            message: message.to_string(),
            span,
            suggestion: None,
        });
    }

    /// Emit an error
    pub fn emit_error(&mut self, message: &str, span: Option<ast::Span>) {
        self.diagnostics.push(LowerDiagnostic {
            kind: DiagnosticKind::Error,
            message: message.to_string(),
            span,
            suggestion: None,
        });
    }

    /// Get all diagnostics
    pub fn diagnostics(&self) -> &[LowerDiagnostic] {
        &self.diagnostics
    }

    /// Check if there are any errors
    pub fn has_errors(&self) -> bool {
        self.diagnostics
            .iter()
            .any(|d| d.kind == DiagnosticKind::Error)
    }

    /// Take diagnostics, consuming them
    pub fn take_diagnostics(&mut self) -> Vec<LowerDiagnostic> {
        std::mem::take(&mut self.diagnostics)
    }
}

impl Default for LoweringContext {
    fn default() -> Self {
        Self::new()
    }
}

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

    #[test]
    fn test_context_creation() {
        let ctx = LoweringContext::new();
        assert!(!ctx.has_errors());
        assert!(ctx.diagnostics().is_empty());
    }

    #[test]
    fn test_symbol_interning() {
        let mut ctx = LoweringContext::new();
        let foo1 = ctx.intern("foo");
        let foo2 = ctx.intern("foo");
        assert_eq!(foo1, foo2);
    }

    #[test]
    fn test_fresh_id() {
        let mut ctx = LoweringContext::new();
        let id1 = ctx.fresh_id();
        let id2 = ctx.fresh_id();
        assert_ne!(id1, id2);
    }

    #[test]
    fn test_deprecation_warning() {
        let mut ctx = LoweringContext::new();
        ctx.emit_deprecation("let", "val", ast::Span::default());
        assert_eq!(ctx.diagnostics().len(), 1);
        assert_eq!(ctx.diagnostics()[0].kind, DiagnosticKind::Deprecation);
    }

    #[test]
    fn test_error_detection() {
        let mut ctx = LoweringContext::new();
        assert!(!ctx.has_errors());

        ctx.emit_warning("just a warning", None);
        assert!(!ctx.has_errors());

        ctx.emit_error("an error occurred", None);
        assert!(ctx.has_errors());
    }

    #[test]
    fn test_take_diagnostics() {
        let mut ctx = LoweringContext::new();
        ctx.emit_warning("warning 1", None);
        ctx.emit_error("error 1", None);

        let diags = ctx.take_diagnostics();
        assert_eq!(diags.len(), 2);
        assert!(ctx.diagnostics().is_empty());
    }

    #[test]
    fn test_symbol_resolution() {
        let mut ctx = LoweringContext::new();
        let sym = ctx.intern("test_symbol");
        assert_eq!(ctx.resolve(sym), Some("test_symbol"));
    }
}