bamts-compiler 0.1.0

TypeScript/JavaScript compiler frontend for BamTS
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::{checker::SemanticHazard, diagnostic::Diagnostic};

use super::{SemanticRuleContext, emit};

pub(super) fn analyze(context: &SemanticRuleContext<'_>, diagnostics: &mut Vec<Diagnostic>) {
    emit(
        context,
        diagnostics,
        SemanticHazard::DivergentAccessor,
        "BAMTS-W011",
        "accessor read and write types diverge",
        "use one normalized property type for both accessor directions",
    );
    emit(
        context,
        diagnostics,
        SemanticHazard::VirtualCallInConstructor,
        "BAMTS-W038",
        "constructor dispatches to an overridable method",
        "move virtual dispatch after construction or make the method non-overridable",
    );
    emit(
        context,
        diagnostics,
        SemanticHazard::InitializedFieldShadowsAccessor,
        "BAMTS-W040",
        "initialized field shadows an inherited accessor",
        "rename the field or override the accessor deliberately",
    );
    emit(
        context,
        diagnostics,
        SemanticHazard::ImplicitOverride,
        "BAMTS-W041",
        "overriding member omits the override modifier",
        "add the `override` modifier",
    );
    emit(
        context,
        diagnostics,
        SemanticHazard::UnsafeToStringTag,
        "BAMTS-W080",
        "Symbol.toStringTag is unsafe for brand reasoning",
        "use a string tag and do not treat Object.prototype.toString as a trusted brand check",
    );
    emit(
        context,
        diagnostics,
        SemanticHazard::UninitializedFieldShadowsAccessor,
        "BAMTS-W081",
        "uninitialized field shadows an inherited accessor",
        "use `declare`, initialize deliberately, or rename the field",
    );
}