scryer-engine 0.2.1

Tree-sitter and stack-graphs AST indexing 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

;; Scryer Stack Graphs Rules for Rust
;; Defines name-binding graph construction for Rust declarations, references, and scopes.

global ROOT_NODE
global JUMP_TO_SCOPE_NODE

;; =============================================================================
;; Declarations (Definitions)
;; =============================================================================

;; Functions
(function_item name: (identifier) @name) {
  node def
  attr (def) type = "pop_symbol", symbol = (source-text @name), is_definition, syntax_type = "function", source_node = @name
  edge ROOT_NODE -> def
}

;; Structs
(struct_item name: (type_identifier) @name) {
  node def
  attr (def) type = "pop_symbol", symbol = (source-text @name), is_definition, syntax_type = "struct", source_node = @name
  edge ROOT_NODE -> def
}

;; Enums
(enum_item name: (type_identifier) @name) {
  node def
  attr (def) type = "pop_symbol", symbol = (source-text @name), is_definition, syntax_type = "enum", source_node = @name
  edge ROOT_NODE -> def
}

;; Traits
(trait_item name: (type_identifier) @name) {
  node def
  attr (def) type = "pop_symbol", symbol = (source-text @name), is_definition, syntax_type = "trait", source_node = @name
  edge ROOT_NODE -> def
}

;; Modules
(mod_item name: (identifier) @name) {
  node def
  attr (def) type = "pop_symbol", symbol = (source-text @name), is_definition, syntax_type = "module", source_node = @name
  edge ROOT_NODE -> def
}

;; Type Aliases
(type_item name: (type_identifier) @name) {
  node def
  attr (def) type = "pop_symbol", symbol = (source-text @name), is_definition, syntax_type = "type", source_node = @name
  edge ROOT_NODE -> def
}

;; Constants
(const_item name: (identifier) @name) {
  node def
  attr (def) type = "pop_symbol", symbol = (source-text @name), is_definition, syntax_type = "const", source_node = @name
  edge ROOT_NODE -> def
}

;; Statics
(static_item name: (identifier) @name) {
  node def
  attr (def) type = "pop_symbol", symbol = (source-text @name), is_definition, syntax_type = "static", source_node = @name
  edge ROOT_NODE -> def
}

;; =============================================================================
;; References
;; =============================================================================

;; Function calls: direct call f()
(call_expression function: (identifier) @name) {
  node ref
  attr (ref) type = "push_symbol", symbol = (source-text @name), is_reference, source_node = @name
  edge ref -> ROOT_NODE
}

;; Scoped function calls: mod::f()
(call_expression function: (scoped_identifier path: (identifier) @mod_name name: (identifier) @name)) {
  node ref_mod
  node ref_fn
  attr (ref_mod) type = "push_symbol", symbol = (source-text @mod_name), is_reference, source_node = @mod_name
  attr (ref_fn) type = "push_symbol", symbol = (source-text @name), is_reference, source_node = @name
  edge ref_fn -> ref_mod
  edge ref_mod -> ROOT_NODE
}

;; Type reference in field declaration
(field_declaration type: (type_identifier) @name) {
  node ref
  attr (ref) type = "push_symbol", symbol = (source-text @name), is_reference, source_node = @name
  edge ref -> ROOT_NODE
}

;; Type reference in parameter
(parameter type: (type_identifier) @name) {
  node ref
  attr (ref) type = "push_symbol", symbol = (source-text @name), is_reference, source_node = @name
  edge ref -> ROOT_NODE
}

;; Type reference in return type
(function_item return_type: (type_identifier) @name) {
  node ref
  attr (ref) type = "push_symbol", symbol = (source-text @name), is_reference, source_node = @name
  edge ref -> ROOT_NODE
}