2024-01-06 15:05:50 +09:00
|
|
|
; Scopes
|
2023-07-22 15:29:32 +02:00
|
|
|
(document) @local.scope
|
2020-07-26 09:38:53 -05:00
|
|
|
|
2023-07-22 15:29:32 +02:00
|
|
|
(directive) @local.scope
|
2020-07-26 09:38:53 -05:00
|
|
|
|
2024-01-06 15:05:50 +09:00
|
|
|
; Definitions
|
2023-07-22 15:29:32 +02:00
|
|
|
(title) @local.definition
|
2020-09-15 13:45:13 -05:00
|
|
|
|
2020-07-26 09:38:53 -05:00
|
|
|
(substitution_definition
|
2023-07-22 15:29:32 +02:00
|
|
|
name: (substitution) @local.definition)
|
2020-07-26 09:38:53 -05:00
|
|
|
|
|
|
|
|
(footnote
|
2023-07-22 15:29:32 +02:00
|
|
|
name: (label) @local.definition)
|
2020-07-26 09:38:53 -05:00
|
|
|
|
|
|
|
|
(citation
|
2023-07-22 15:29:32 +02:00
|
|
|
name: (label) @local.definition)
|
2020-07-26 09:38:53 -05:00
|
|
|
|
|
|
|
|
(target
|
2023-07-22 15:29:32 +02:00
|
|
|
name: (name) @local.definition)
|
2020-07-26 09:38:53 -05:00
|
|
|
|
|
|
|
|
; Inline targets
|
2023-07-22 15:29:32 +02:00
|
|
|
(inline_target) @local.definition
|
2020-07-26 09:38:53 -05:00
|
|
|
|
2020-08-01 11:56:15 -05:00
|
|
|
; The role directive can define a new role
|
|
|
|
|
((directive
|
|
|
|
|
name: (type) @_type
|
2024-03-21 20:44:35 +09:00
|
|
|
body: (body
|
|
|
|
|
(arguments) @local.definition))
|
2024-01-06 15:05:50 +09:00
|
|
|
(#eq? @_type "role"))
|
2020-07-26 09:38:53 -05:00
|
|
|
|
2024-01-06 15:05:50 +09:00
|
|
|
; References
|
2020-07-26 09:38:53 -05:00
|
|
|
[
|
2024-01-06 15:05:50 +09:00
|
|
|
(substitution_reference)
|
|
|
|
|
(footnote_reference)
|
|
|
|
|
(citation_reference)
|
|
|
|
|
(reference)
|
|
|
|
|
(role)
|
2023-07-22 15:29:32 +02:00
|
|
|
] @local.reference
|