luaur-analysis 0.1.3

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

//! Source: `Analysis/src/ControlFlowGraph.cpp:120-124` (hand-ported)
//! C++ `BlockId ControlFlowGraph::newBlock(BlockKind kind, std::string debugName)`.
use crate::enums::block_kind::BlockKind;
use crate::records::control_flow_graph::ControlFlowGraph;
use crate::type_aliases::block_id::BlockId;
use alloc::string::String;

impl ControlFlowGraph {
    pub fn new_block(&mut self, kind: BlockKind, debug_name: String) -> BlockId {
        // C++:
        //   Block* b = allocator->newBlock(kind, debugName);
        //   return blocks.emplace_back(b);
        let b: BlockId = unsafe { (*self.allocator).new_block(kind, debug_name) };
        self.blocks.push(b);
        b
    }
}