tsz-solver 0.1.0

TypeScript type solver for the tsz compiler
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
55
56
57
58
59
60
61
62
63
64
65
66
67
68

use crate::{
    TypeDatabase, TypeId, TypeInterner, fallback_compound_assignment_result,
    is_compound_assignment_operator, map_compound_assignment_to_binary,
};
use tsz_scanner::SyntaxKind;

#[test]
fn recognizes_compound_assignment_tokens() {
    assert!(is_compound_assignment_operator(
        SyntaxKind::PlusEqualsToken as u16
    ));
    assert!(is_compound_assignment_operator(
        SyntaxKind::QuestionQuestionEqualsToken as u16
    ));
    assert!(!is_compound_assignment_operator(
        SyntaxKind::EqualsToken as u16
    ));
}

#[test]
fn maps_compound_assignment_to_binary_operator() {
    assert_eq!(
        map_compound_assignment_to_binary(SyntaxKind::AsteriskAsteriskEqualsToken as u16),
        Some("**")
    );
    assert_eq!(
        map_compound_assignment_to_binary(SyntaxKind::BarBarEqualsToken as u16),
        Some("||")
    );
    assert_eq!(
        map_compound_assignment_to_binary(SyntaxKind::EqualsToken as u16),
        None
    );
}

#[test]
fn fallback_result_keeps_plus_equals_unknown_unless_numeric_rhs() {
    let interner = TypeInterner::new();
    let db: &dyn TypeDatabase = &interner;

    assert_eq!(
        fallback_compound_assignment_result(db, SyntaxKind::PlusEqualsToken as u16, None),
        None
    );
    assert_eq!(
        fallback_compound_assignment_result(
            db,
            SyntaxKind::PlusEqualsToken as u16,
            Some(interner.literal_number(1.0)),
        ),
        Some(TypeId::NUMBER)
    );
}

#[test]
fn fallback_result_numeric_operators_return_number() {
    let interner = TypeInterner::new();
    let db: &dyn TypeDatabase = &interner;

    assert_eq!(
        fallback_compound_assignment_result(db, SyntaxKind::MinusEqualsToken as u16, None),
        Some(TypeId::NUMBER)
    );
    assert_eq!(
        fallback_compound_assignment_result(db, SyntaxKind::BarBarEqualsToken as u16, None),
        None
    );
}