luaur-analysis 0.1.1

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

use crate::records::property_type::Property;
use crate::type_aliases::type_id::TypeId;

impl Property {
    pub fn create(read: Option<TypeId>, write: Option<TypeId>) -> Self {
        if let Some(read_ty) = read {
            if let Some(write_ty) = write {
                return Property::rw_type_id_type_id(read_ty, write_ty);
            } else {
                return Property::readonly(read_ty);
            }
        }

        if let Some(write_ty) = write {
            return Property::writeonly(write_ty);
        }

        luaur_common::LUAU_ASSERT!(read.is_some() && write.is_some());
        Property::rw_type_id_type_id(read.unwrap(), write.unwrap())
    }
}