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
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40

use crate::type_aliases::type_id::TypeId;
use alloc::string::String;
use luaur_ast::records::location::Location;

#[derive(Debug, Clone, PartialEq, Eq, Hash)]
pub struct AssignPropConstraint {
    pub(crate) lhs_type: TypeId,
    pub(crate) prop_name: String,
    pub(crate) rhs_type: TypeId,
    pub(crate) prop_location: Option<Location>,
    pub(crate) prop_type: TypeId,
    pub(crate) decrement_prop_count: bool,
}

#[allow(non_snake_case)]
impl AssignPropConstraint {
    pub fn lhsType(&self) -> TypeId {
        self.lhs_type
    }

    pub fn propName(&self) -> &str {
        &self.prop_name
    }

    pub fn rhsType(&self) -> TypeId {
        self.rhs_type
    }

    pub fn propLocation(&self) -> &Option<Location> {
        &self.prop_location
    }

    pub fn propType(&self) -> TypeId {
        self.prop_type
    }

    pub fn decrementPropCount(&self) -> bool {
        self.decrement_prop_count
    }
}