luaur-analysis 0.1.0

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 luaur_ast::records::comment::Comment;
use luaur_ast::records::lexeme::Type;
use luaur_ast::records::location::Location;
use luaur_ast::records::position::Position;

pub fn is_within_comment(comment_locations: &alloc::vec::Vec<Comment>, pos: Position) -> bool {
    // Build a sentinel Comment to use with lower_bound
    let sentinel = Comment {
        r#type: Type::Comment,
        location: Location::new(pos, pos),
    };

    // Find the first comment whose end is >= pos
    let iter = comment_locations.iter().position(|c| {
        if c.r#type == Type::Comment {
            c.location.end.line >= pos.line
        } else {
            c.location.end >= pos
        }
    });

    if let Some(idx) = iter {
        if contains(pos, comment_locations[idx]) {
            return true;
        }

        // Try the next comment, if it exists
        let idx = idx + 1;
        if idx < comment_locations.len() && contains(pos, comment_locations[idx]) {
            return true;
        }
    }

    false
}

fn contains(pos: Position, comment: Comment) -> bool {
    if comment.location.contains(pos) {
        return true;
    } else if comment.r#type == Type::BrokenComment && comment.location.begin <= pos {
        return true;
    } else if comment.r#type == Type::Comment
        && comment.location.end.line == pos.line
        && comment.location.begin <= pos
    {
        return true;
    } else {
        return false;
    }
}

// Pinned overload name advertised by the dependency cards.
#[allow(unused_imports, non_snake_case)]
pub use is_within_comment as is_within_comment_vector_comment_position;