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
46
47
48
49
50
51
52
53
54

use crate::functions::emit_warning::emit_warning;
use crate::records::lint_integer_parsing::LintIntegerParsing;
use luaur_ast::enums::constant_number_parse_result::ConstantNumberParseResult;
use luaur_ast::records::ast_expr_constant_number::AstExprConstantNumber;
use luaur_config::enums::code::Code;

pub fn lint_integer_parsing_visit(
    this: &mut LintIntegerParsing,
    node: *mut AstExprConstantNumber,
) -> bool {
    match unsafe { &(*node).parse_result } {
        ConstantNumberParseResult::Ok | ConstantNumberParseResult::Malformed => {}
        ConstantNumberParseResult::Imprecise => {
            emit_warning(
                    unsafe { &mut *this.context },
                    Code::Code_IntegerParsing,
                    unsafe { (*node).base.base.location },
                    format_args!(
                        "Number literal exceeded available precision and was truncated to closest representable number"
                    ),
                );
        }
        ConstantNumberParseResult::BinOverflow => {
            emit_warning(
                unsafe { &mut *this.context },
                Code::Code_IntegerParsing,
                unsafe { (*node).base.base.location },
                format_args!(
                    "Binary number literal exceeded available precision and was truncated to 2^64"
                ),
            );
        }
        ConstantNumberParseResult::HexOverflow => {
            emit_warning(
                    unsafe { &mut *this.context },
                    Code::Code_IntegerParsing,
                    unsafe { (*node).base.base.location },
                    format_args!(
                        "Hexadecimal number literal exceeded available precision and was truncated to 2^64"
                    ),
                );
        }
        ConstantNumberParseResult::IntOverflow => {
            emit_warning(
                unsafe { &mut *this.context },
                Code::Code_IntegerParsing,
                unsafe { (*node).base.base.location },
                format_args!("Integer number literal was clamped because it was out of range"),
            );
        }
    }

    true
}