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
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

use alloc::boxed::Box;
use luaur_common::LUAU_ASSERT;

#[allow(non_camel_case_types)]
pub struct ScopedExit {
    pub(crate) func: Option<Box<dyn FnOnce()>>,
}

impl ScopedExit {
    #[allow(non_snake_case)]
    pub fn new(f: Box<dyn FnOnce()>) -> Self {
        LUAU_ASSERT!(true); // In C++, LUAU_ASSERT(func) checks if the std::function is non-null.
        Self { func: Some(f) }
    }
}

impl Default for ScopedExit {
    fn default() -> Self {
        Self { func: None }
    }
}

impl Drop for ScopedExit {
    fn drop(&mut self) {
        if let Some(f) = self.func.take() {
            f();
        }
    }
}

// ScopedExit in C++ is used for RAII-style cleanup.
// The C++ implementation uses std::function<void()>, which is roughly Box<dyn FnOnce()>.
// We use Option to allow moving the function out during drop or swap (move semantics).

#[allow(non_snake_case)]
impl ScopedExit {
    /// Moves the content of `other` into `self`, similar to C++ move assignment.
    pub fn move_from(&mut self, other: &mut Self) {
        self.func = other.func.take();
    }
}

unsafe impl Send for ScopedExit {}
unsafe impl Sync for ScopedExit {}