lua_semantics 0.9.0

semantic analysis and enhanced AST converter for lua_parser crate
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

use std::{cell::RefCell, rc::Rc};

use crate::ExprLocalVariable;

#[derive(Debug, Clone)]
pub enum Scope {
    /// scope for local variable declaration.
    Block(ScopeBlock),
    /// scope for function
    Function(ScopeFunction),
}

#[derive(Debug, Clone)]
pub struct ScopeBlock {
    /// unique id for scope
    pub id: usize,

    /// To calculate stack size.
    pub max_variables: usize,

    /// stack offset of this scope
    pub offset: usize,

    /// variables in this scope, in order of declaration.
    pub variables: Vec<Rc<RefCell<VariableInfo>>>,

    pub is_loop: bool,

    pub labels: Vec<String>,
}

#[derive(Debug, Clone)]
pub struct VariableInfo {
    /// name of variable
    pub name: String,
    /// `true` if this variable should be reference. ( for upvalue capture )
    pub is_reference: bool,
    /// stack offset
    pub offset: usize,
}

#[derive(Debug, Clone)]
pub struct UpvalueInfo {
    /// name of local variable
    pub name: String,
    /// where this upvalue is captured from, in parent function scope
    pub from: ExprLocalVariable,
}

#[derive(Debug, Clone)]
pub struct ScopeFunction {
    /// unique id for scope
    pub id: usize,

    /// To calculate stack size.
    pub max_variables: usize,

    pub upvalues: Vec<UpvalueInfo>,

    pub variadic: bool,
}