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
41
42

use luaur_ast::records::ast_stat_block::AstStatBlock;
use luaur_ast::records::ast_visitor::AstVisitor;

#[derive(Debug, Clone)]
pub struct NearestLikelyBlockFinder {
    pub stmt_block_recent_ast: *mut AstStatBlock,
    pub found: Option<*mut AstStatBlock>,
}

impl NearestLikelyBlockFinder {
    pub fn nearest_likely_block_finder(stmt_block_recent_ast: *mut AstStatBlock) -> Self {
        Self {
            stmt_block_recent_ast,
            found: None,
        }
    }
}

// C++ `struct NearestLikelyBlockFinder : public AstVisitor` with a single
// `bool visit(AstStatBlock* block)` override (FragmentAutocomplete.cpp). Driven
// via `stale->visit(&lsf)` so the full AST is traversed and every nested block
// is considered; all other node visits fall through to the default (recurse).
impl AstVisitor for NearestLikelyBlockFinder {
    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;
            let recent_location = (*self.stmt_block_recent_ast).base.base.location;
            if block_location.begin <= recent_location.begin {
                if let Some(found) = self.found {
                    let found_location = (*found).base.base.location;
                    if found_location.begin < block_location.begin {
                        self.found = Some(block);
                    }
                } else {
                    self.found = Some(block);
                }
            }
        }
        true
    }
}