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
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 crate::functions::get_tag::get_tag;
use crate::functions::get_type_function_runtime_alt_o::get_type_function_type_id;
use crate::functions::get_type_user_data::get_type_user_data;
use crate::records::type_function_boolean_singleton::TypeFunctionBooleanSingleton;
use crate::records::type_function_primitive_type::TypeFunctionPrimitiveType;
use crate::records::type_function_singleton_type::TypeFunctionSingletonType;
use crate::records::type_function_string_singleton::TypeFunctionStringSingleton;
use crate::type_aliases::lua_state::lua_State;
use core::ffi::c_int;
use luaur_vm::functions::lua_gettop::lua_gettop;
use luaur_vm::functions::lua_l_error_l::lua_l_error_l;
use luaur_vm::functions::lua_pushboolean::lua_pushboolean;
use luaur_vm::functions::lua_pushlstring::lua_pushlstring;
use luaur_vm::functions::lua_pushnil::lua_pushnil;

pub unsafe fn get_singleton_value(l: *mut lua_State) -> c_int {
    let vm_l = l as *mut luaur_vm::records::lua_state::lua_State;
    let argument_count = lua_gettop(vm_l);
    if argument_count != 1 {
        lua_l_error_l(
            vm_l,
            c"%s".as_ptr(),
            core::format_args!(
                "type.value: expected 1 argument, but got {}",
                argument_count
            ),
        );
    }

    let self_ty = get_type_user_data(l, 1);
    let tfpt = get_type_function_type_id::<TypeFunctionPrimitiveType>(self_ty);
    if !tfpt.is_null() {
        if (*tfpt).r#type != crate::enums::type_type_function_runtime::Type::NilType {
            lua_l_error_l(
                vm_l,
                c"%s".as_ptr(),
                core::format_args!(
                    "type.value: expected self to be a singleton, but got {} instead",
                    get_tag(l, self_ty)
                ),
            );
        }

        lua_pushnil(vm_l);
        return 1;
    }

    let tfst = get_type_function_type_id::<TypeFunctionSingletonType>(self_ty);
    if tfst.is_null() {
        lua_l_error_l(
            vm_l,
            c"%s".as_ptr(),
            core::format_args!(
                "type.value: expected self to be a singleton, but got {} instead",
                get_tag(l, self_ty)
            ),
        );
    }

    if let Some(tfbst) = (*tfst).variant.get_if::<TypeFunctionBooleanSingleton>() {
        lua_pushboolean(vm_l, tfbst.value as c_int);
        return 1;
    }

    if let Some(tfsst) = (*tfst).variant.get_if::<TypeFunctionStringSingleton>() {
        let s = &tfsst.value;
        lua_pushlstring(vm_l, s.as_ptr() as *const core::ffi::c_char, s.len());
        return 1;
    }

    lua_l_error_l(
        vm_l,
        c"%s".as_ptr(),
        core::format_args!(
            "type.value: can't call `value` method on `{}` type",
            get_tag(l, self_ty)
        ),
    );
    0
}