semantic-analyzer 0.4.7

Semantic analyzer library for compilers written in Rust for semantic analysis of programming languages AST
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

use semantic_analyzer::semantic::State;
use semantic_analyzer::types::PrimitiveValue;
use semantic_analyzer::types::block_state::BlockState;
use semantic_analyzer::types::error::StateErrorKind;
use semantic_analyzer::types::expression::{ExpressionResult, ExpressionResultValue};
use semantic_analyzer::types::semantic::{ExtendedExpression, SemanticContextInstruction};
use semantic_analyzer::types::types::{PrimitiveTypes, Type};
#[cfg(feature = "codec")]
use serde::{Deserialize, Serialize};
use std::cell::RefCell;
use std::marker::PhantomData;
use std::rc::Rc;

#[derive(Clone, Debug, PartialEq, Eq)]
#[cfg_attr(feature = "codec", derive(Serialize, Deserialize))]
pub struct CustomExpression<I: SemanticContextInstruction> {
    _marker: PhantomData<I>,
}

impl<I: SemanticContextInstruction> ExtendedExpression<I> for CustomExpression<I> {
    fn expression(
        &self,
        _state: &mut State<Self, I>,
        _block_state: &Rc<RefCell<BlockState<I>>>,
    ) -> ExpressionResult {
        ExpressionResult {
            expr_type: Type::Primitive(PrimitiveTypes::Ptr),
            expr_value: ExpressionResultValue::PrimitiveValue(PrimitiveValue::Ptr),
        }
    }
}

#[derive(Debug, Clone, PartialEq, Eq)]
#[cfg_attr(feature = "codec", derive(Serialize, Deserialize))]
pub struct CustomExpressionInstruction;

impl SemanticContextInstruction for CustomExpressionInstruction {}

pub struct SemanticTest<I: SemanticContextInstruction> {
    pub state: State<CustomExpression<I>, I>,
}

impl Default for SemanticTest<CustomExpressionInstruction> {
    fn default() -> Self {
        Self::new()
    }
}

impl SemanticTest<CustomExpressionInstruction> {
    pub fn new() -> Self {
        Self {
            state: State::new(),
        }
    }

    #[allow(dead_code)]
    pub const fn is_empty_error(&self) -> bool {
        self.state.errors.is_empty()
    }

    #[allow(dead_code)]
    pub fn clean_errors(&mut self) {
        self.state.errors.clear();
    }

    #[allow(dead_code)]
    pub const fn check_errors_len(&self, len: usize) -> bool {
        self.state.errors.len() == len
    }

    #[allow(dead_code)]
    pub fn check_error(&self, err_kind: &StateErrorKind) -> bool {
        &self.state.errors.first().unwrap().kind == err_kind
    }

    #[allow(dead_code)]
    pub fn check_error_index(&self, index: usize, err_kind: &StateErrorKind) -> bool {
        &self.state.errors.get(index).unwrap().kind == err_kind
    }
}