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

use crate::records::dfg_scope::DfgScope;
use crate::type_aliases::def_id_def::DefId;
use alloc::string::String;

impl DfgScope {
    pub fn lookup_def_id_string(&self, def: DefId, key: &String) -> Option<DefId> {
        // C++: for (current = this; current; current = current->parent)
        //          if (auto props = current->props.find(def))
        //              if (auto it = props->find(key); it != props->end())
        //                  return NotNull{it->second};
        let mut current: Option<&DfgScope> = Some(self);
        while let Some(scope) = current {
            if let Some(props) = scope.props.find(&def) {
                if let Some(value) = props.get(key) {
                    return Some(*value);
                }
            }
            current = unsafe { scope.parent.as_ref() };
        }
        None
    }
}