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

use crate::records::lint_duplicate_condition::LintDuplicateCondition;
use alloc::vec::Vec;
use luaur_ast::records::ast_expr::AstExpr;
use luaur_config::enums::code::Code;

impl LintDuplicateCondition {
    pub fn detect_duplicates(&mut self, conditions: &Vec<*mut AstExpr>) {
        const K_MAX_DISTANCE: usize = 5;

        for i in 0..conditions.len() {
            let start = i.saturating_sub(K_MAX_DISTANCE);

            for j in start..i {
                if crate::functions::similar::similar(conditions[j], conditions[i]) {
                    let current = unsafe { (*conditions[i]).base.location };
                    let previous = unsafe { (*conditions[j]).base.location };

                    if current.begin.line == previous.begin.line {
                        crate::functions::emit_warning::emit_warning(
                            unsafe { &mut *self.context },
                            Code::Code_DuplicateCondition,
                            current,
                            format_args!(
                                "Condition has already been checked on column {}",
                                previous.begin.column + 1
                            ),
                        );
                    } else {
                        crate::functions::emit_warning::emit_warning(
                            unsafe { &mut *self.context },
                            Code::Code_DuplicateCondition,
                            current,
                            format_args!(
                                "Condition has already been checked on line {}",
                                previous.begin.line + 1
                            ),
                        );
                    }

                    break;
                }
            }
        }
    }
}