fallow-engine 3.34.1

Typed analysis engine facade for fallow consumers
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
69
70
71
72
73
74
75
76
77

use super::*;

/// True when an atomic invocation span covers the first occurrence of `marker`.
fn marker_is_atomic(code: &str, marker: &str) -> bool {
    let offset = u32::try_from(code.find(marker).expect("marker in code")).unwrap();
    let path = PathBuf::from("test.ts");
    tokenize_file(&path, code, false)
        .atomic_invocation_spans
        .iter()
        .any(|span| span.start <= offset && offset < span.end)
}

#[test]
fn call_with_data_arguments_is_atomic() {
    let code = "createWidget(project.id, { source: 'settings', reason: MARKER });";
    assert!(marker_is_atomic(code, "MARKER"));
}

#[test]
fn call_with_callback_argument_is_not_atomic() {
    let code = "router.get('/a', (ctx) => { return ctx.input + MARKER; });";
    assert!(!marker_is_atomic(code, "MARKER"));
}

#[test]
fn call_with_object_method_argument_is_not_atomic() {
    let code = "export default defineComponent({\n  name: 'a',\n  computed: {\n    total(): number {\n      return this.subtotal + MARKER;\n    },\n  },\n});";
    assert!(!marker_is_atomic(code, "MARKER"));
}

#[test]
fn call_with_arrow_property_in_nested_object_is_not_atomic() {
    let code = "configure({ handlers: { onSave: (value) => value + MARKER } });";
    assert!(!marker_is_atomic(code, "MARKER"));
}

#[test]
fn immediately_invoked_function_is_not_atomic() {
    let code = "(function () { const value = MARKER + 1; return value; })();";
    assert!(!marker_is_atomic(code, "MARKER"));
}

#[test]
fn returned_call_with_data_arguments_is_atomic() {
    let code = "function build() { return createWidget(project.id, MARKER); }";
    assert!(marker_is_atomic(code, "MARKER"));
}

/// True when a literal argument span covers the first occurrence of `marker`.
fn marker_is_in_literal_argument(code: &str, marker: &str) -> bool {
    let offset = u32::try_from(code.find(marker).expect("marker in code")).unwrap();
    let path = PathBuf::from("test.ts");
    tokenize_file(&path, code, false)
        .literal_argument_spans
        .iter()
        .any(|span| span.start <= offset && offset < span.end)
}

#[test]
fn object_argument_of_atomic_call_is_a_literal_argument() {
    let code = "export default defineComponent({ props: { title: { type: MARKER } } });";
    assert!(marker_is_atomic(code, "MARKER"));
    assert!(marker_is_in_literal_argument(code, "MARKER"));
}

#[test]
fn array_argument_behind_a_type_assertion_is_a_literal_argument() {
    let code = "register([first, second, MARKER] as const);";
    assert!(marker_is_in_literal_argument(code, "MARKER"));
}

#[test]
fn positional_argument_is_not_a_literal_argument() {
    let code = "createWidget(project.id, MARKER, { source: 'settings' });";
    assert!(marker_is_atomic(code, "MARKER"));
    assert!(!marker_is_in_literal_argument(code, "MARKER"));
}