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

use luaur_ast::records::ast_stat::AstStat;
use luaur_ast::records::ast_stat_block::AstStatBlock;
use luaur_ast::records::ast_visitor::AstVisitor;
use luaur_ast::records::location::Location;
use luaur_ast::records::position::Position;

#[derive(Debug, Clone)]
pub struct NearestStatementFinder {
    pub(crate) cursor: Position,
    pub(crate) nearest: *mut AstStat,
    pub(crate) parent: *mut AstStatBlock,
}

impl NearestStatementFinder {
    pub fn new(cursor_position: Position) -> Self {
        Self {
            cursor: cursor_position,
            nearest: core::ptr::null_mut(),
            parent: core::ptr::null_mut(),
        }
    }
}

impl NearestStatementFinder {
    pub fn nearest_statement_finder(cursor_position: &Position) -> Self {
        Self::new(*cursor_position)
    }
}

impl AstVisitor for NearestStatementFinder {
    fn visit_stat_block(&mut self, node: *mut core::ffi::c_void) -> bool {
        let block = node as *mut AstStatBlock;
        unsafe {
            let block_location = (*block).base.base.location;
            if block_location.contains(self.cursor) || block_location.end == self.cursor {
                self.parent = block;

                // Find last statement whose begin <= cursor.
                for v in (*block).body.iter() {
                    let v = *v;
                    let stmt_location = unsafe { (*v).base.location };
                    if stmt_location.begin <= self.cursor {
                        self.nearest = v;
                    }
                }

                true
            } else {
                false
            }
        }
    }
}