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