scryer-engine 0.3.0

Tree-sitter AST indexing and reference resolution engine for Scryer code intelligence
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
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108

//! Every line marked `@ref` must produce a reference to `target` (see tests/support/recall.rs).

pub fn target() -> u32 {
    1
}

pub fn take(x: u32) -> u32 {
    x
}

pub fn c01_direct() {
    target(); // @ref target
}

pub fn c02_argument() {
    take(target()); // @ref target
}

pub fn c03_binding() {
    let _x = target(); // @ref target
}

pub fn c04_closure() {
    let _ = Some(1).map(|_| target()); // @ref target
}

pub fn c05_method_chain() {
    let _ = Some(target()).map(|x| x + 1).unwrap_or(0); // @ref target
}

pub fn c06_condition() {
    if target() > 0 {} // @ref target
}

pub fn c07_match() {
    match target() { // @ref target
        _ => {}
    }
}

pub fn c08_return() -> u32 {
    return target(); // @ref target
}

pub fn c09_binary() -> u32 {
    take(1) + target() // @ref target
}

pub fn c10_println() {
    println!("{}", target()); // @ref target phase=3
}

pub fn c11_format() {
    let _ = format!("{}", target()); // @ref target phase=3
}

pub fn c12_assert_eq() {
    assert_eq!(target(), 1); // @ref target phase=3
}

pub fn c13_vec() {
    let _ = vec![target()]; // @ref target phase=3
}

pub fn c14_matches() {
    let _ = matches!(target(), 1); // @ref target phase=3
}

pub fn c15_function_as_value() {
    let _f: fn() -> u32 = target; // @ref target role=value phase=4
}

pub trait Tr {
    fn tm(&self) -> u32;
}

pub struct Impl0;

impl Tr for Impl0 {
    fn tm(&self) -> u32 {
        1
    }
}

pub fn c16_trait_path(s: &Impl0) -> u32 {
    Tr::tm(s) // @ref tm phase=5
}

pub fn c17_generic_receiver<T: Tr>(s: &T) -> u32 {
    T::tm(s) // @ref tm phase=5
}

pub fn c18_qualified_path(s: &Impl0) -> u32 {
    <Impl0 as Tr>::tm(s) // @ref tm phase=5
}

pub const C19_CONST: u32 = 1 + helper_for_const(); // @ref helper_for_const phase=5

pub fn helper_for_const() -> u32 {
    2
}

pub struct ParamType;

pub fn c20_parameter_type(p: &ParamType) -> u32 { // @ref ParamType role=type_annotation
    let _ = p;
    0
}