aiscript-vm 0.2.0

AIScript programming language interpreter
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

use std::collections::HashSet;

use crate::{ast::Literal, lexer::Token};
#[derive(Debug, Clone, Copy, PartialEq)]
enum EnumValueType {
    Integer,
    String,
    Boolean,
    Unset,
}

pub(crate) struct EnumVariantChecker<'gc> {
    enum_name: &'gc str,
    variant_names: HashSet<&'gc str>,
    value_type: EnumValueType,
    used_values: HashSet<Literal<'gc>>,
    next_int_value: f64,
}

impl<'gc> EnumVariantChecker<'gc> {
    pub(crate) fn new(enum_name: &'gc str) -> Self {
        Self {
            enum_name,
            variant_names: HashSet::default(),
            value_type: EnumValueType::Unset,
            used_values: HashSet::new(),
            next_int_value: 0.0,
        }
    }

    pub(crate) fn check_variant(&mut self, variant_name: Token<'gc>) -> Result<(), String> {
        if !self.variant_names.insert(variant_name.lexeme) {
            return Err(format!(
                "Duplicate variant '{}' in enum '{}'.",
                variant_name.lexeme, self.enum_name
            ));
        }
        Ok(())
    }

    pub(crate) fn check_value(
        &mut self,
        variant_name: Token<'gc>,
        literal: &Literal<'gc>,
    ) -> Result<(), String> {
        // Check value type
        match (self.value_type, literal) {
            // First value sets the type
            (EnumValueType::Unset, Literal::Number(n)) => {
                self.value_type = EnumValueType::Integer;
                self.next_int_value = *n + 1.0;
            }
            (EnumValueType::Unset, Literal::String(_)) => {
                self.value_type = EnumValueType::String;
            }
            (EnumValueType::Unset, Literal::Boolean(_)) => {
                self.value_type = EnumValueType::Boolean;
            }

            // Check type consistency
            (EnumValueType::Integer, Literal::Number(n)) => {
                if *n < self.next_int_value {
                    return Err(format!(
                        "Enum variant '{}' value {} must be greater than or equal to {} (next auto-increment value)",
                        variant_name.lexeme, n, self.next_int_value
                    ));
                }
                self.next_int_value = *n + 1.0;
            }
            (EnumValueType::String, Literal::String(_)) => {}
            (EnumValueType::Boolean, Literal::Boolean(_)) => {}

            // Type mismatch errors
            (expected, _) => {
                let type_name = match expected {
                    EnumValueType::Integer => "integer",
                    EnumValueType::String => "string",
                    EnumValueType::Boolean => "boolean",
                    EnumValueType::Unset => unreachable!(),
                };
                return Err(format!(
                    "Enum variant '{}' must be of type {}",
                    variant_name.lexeme, type_name
                ));
            }
        }

        // Check for duplicates
        if self.used_values.contains(literal) {
            return Err(format!(
                "Duplicate value {} in enum variant '{}'.",
                literal, variant_name.lexeme
            ));
        }

        self.used_values.insert(*literal);
        Ok(())
    }

    pub(crate) fn next_value(&mut self) -> Option<Literal<'gc>> {
        match self.value_type {
            EnumValueType::Integer => {
                let value = Literal::Number(self.next_int_value);
                self.used_values.insert(value);
                self.next_int_value += 1.0;
                Some(value)
            }
            _ => None,
        }
    }

    pub(crate) fn is_auto_increment_supported(&self) -> bool {
        matches!(
            self.value_type,
            EnumValueType::Integer | EnumValueType::Unset
        )
    }
}