blob: 2394201512b870bbfc6689474a796be49ce8899b (
plain) (
blame)
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
|
; SCOPES
(module) @local.scope
(dataclass) @local.scope
(datatype) @local.scope
; TODO does not work
;(classMember (body) @local.scope)
(memberPredicate
(body) @local.scope)
(classlessPredicate
(body) @local.scope)
(quantified
(conjunction) @local.scope)
(select) @local.scope
; DEFINITIONS
; module
(module
name: (moduleName) @local.definition.namespace)
; classes
(dataclass
name: (className) @local.definition.type)
(datatype
name: (className) @local.definition.type)
; predicates
(charpred
(className) @local.definition.method)
(memberPredicate
name: (predicateName) @local.definition.method)
(classlessPredicate
name: (predicateName) @local.definition.function)
; variables
(varDecl
(varName
(simpleId) @local.definition.var))
; REFERENCES
(simpleId) @local.reference
|
