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

use crate::enums::table_state::TableState;
use crate::records::generic_type::GenericType;
use crate::records::replace_generics::ReplaceGenerics;
use crate::records::table_type::TableType;
use crate::type_aliases::type_id::TypeId;

impl ReplaceGenerics {
    pub fn is_dirty_type_id(&self, ty: TypeId) -> bool {
        let log = self.base.base.log;

        let ttv = unsafe { (*log).txn_log_get_mutable::<TableType, TypeId>(ty) };
        if !ttv.is_null() {
            return unsafe { (*ttv).state } == TableState::Generic;
        }

        let gtv = unsafe { (*log).txn_log_get_mutable::<GenericType, TypeId>(ty) };
        !gtv.is_null() && self.generics.iter().any(|&generic| generic == ty)
    }
}