luaur-analysis 0.1.1

Luau type checker and type inference (Rust).
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

//! Source: `Analysis/include/Luau/ControlFlowGraph.h:233` (hand-ported)
//! C++ `struct CFGAllocator`.
use crate::records::block::Block;
use crate::records::refinement_arena_control_flow_graph::RefinementArena;
use crate::records::typed_allocator::TypedAllocator;
use crate::type_aliases::definition::Definition;
use crate::type_aliases::instruction::Instruction;

#[allow(non_snake_case)]
#[derive(Debug)]
pub struct CfgAllocator {
    // public:
    pub refinement_arena: RefinementArena,
    // private:
    pub(crate) block: TypedAllocator<Block>,
    pub(crate) instructions: TypedAllocator<Instruction>,
    pub(crate) defs: TypedAllocator<Definition>,
    pub(crate) frozen: bool,
}

impl Default for CfgAllocator {
    fn default() -> Self {
        Self {
            // `RefinementArena` holds a single `TypedAllocator<Refinement>`
            // (default-constructed). Built via struct literal (field is
            // `pub(crate)`, same crate) to avoid a Default impl on the arena.
            refinement_arena: RefinementArena {
                allocator: TypedAllocator::default(),
            },
            block: TypedAllocator::default(),
            instructions: TypedAllocator::default(),
            defs: TypedAllocator::default(),
            // C++ `bool frozen = false;`
            frozen: false,
        }
    }
}

unsafe impl Send for CfgAllocator {}
unsafe impl Sync for CfgAllocator {}