Unnamed repository; edit this file 'description' to name the repository.
Diffstat (limited to 'runtime/queries/tlaplus/locals.scm')
| -rw-r--r-- | runtime/queries/tlaplus/locals.scm | 52 |
1 files changed, 26 insertions, 26 deletions
diff --git a/runtime/queries/tlaplus/locals.scm b/runtime/queries/tlaplus/locals.scm index 89a9f984..aee8d612 100644 --- a/runtime/queries/tlaplus/locals.scm +++ b/runtime/queries/tlaplus/locals.scm @@ -15,22 +15,22 @@ ] @local.scope ; Definitions -(choose (identifier) @local.definition.variable.parameter) -(choose (tuple_of_identifiers (identifier) @local.definition.variable.parameter)) -(constant_declaration (identifier) @local.definition.constant) -(constant_declaration (operator_declaration name: (_) @local.definition.constant)) -(function_definition name: (identifier) @local.definition.function) -(lambda (identifier) @local.definition.function) -(module_definition name: (_) @local.definition.namespace) -(module_definition parameter: (identifier) @local.definition.variable.parameter) -(module_definition parameter: (operator_declaration name: (_) @local.definition.variable.parameter)) -(operator_definition name: (_) @local.definition.operator) -(operator_definition parameter: (identifier) @local.definition.variable.parameter) -(operator_definition parameter: (operator_declaration name: (_) @local.definition.variable.parameter)) -(quantifier_bound (identifier) @local.definition.variable.parameter) -(quantifier_bound (tuple_of_identifiers (identifier) @local.definition.variable.parameter)) -(unbounded_quantification (identifier) @local.definition.variable.parameter) -(variable_declaration (identifier) @local.definition.variable.builtin) +(choose (identifier) @local.definition) +(choose (tuple_of_identifiers (identifier) @local.definition)) +(constant_declaration (identifier) @local.definition) +(constant_declaration (operator_declaration name: (_) @local.definition)) +(function_definition name: (identifier) @local.definition) +(lambda (identifier) @local.definition) +(module_definition name: (_) @local.definition) +(module_definition parameter: (identifier) @local.definition) +(module_definition parameter: (operator_declaration name: (_) @local.definition)) +(operator_definition name: (_) @local.definition) +(operator_definition parameter: (identifier) @local.definition) +(operator_definition parameter: (operator_declaration name: (_) @local.definition)) +(quantifier_bound (identifier) @local.definition) +(quantifier_bound (tuple_of_identifiers (identifier) @local.definition)) +(unbounded_quantification (identifier) @local.definition) +(variable_declaration (identifier) @local.definition) ; Proof scopes and definitions [ @@ -39,12 +39,12 @@ (theorem) ] @local.scope -(assume_prove (new (identifier) @local.definition.variable.parameter)) -(assume_prove (new (operator_declaration name: (_) @local.definition.variable.parameter))) -(assumption name: (identifier) @local.definition.constant) -(pick_proof_step (identifier) @local.definition.variable.parameter) -(take_proof_step (identifier) @local.definition.variable.parameter) -(theorem name: (identifier) @local.definition.constant) +(assume_prove (new (identifier) @local.definition)) +(assume_prove (new (operator_declaration name: (_) @local.definition))) +(assumption name: (identifier) @local.definition) +(pick_proof_step (identifier) @local.definition) +(take_proof_step (identifier) @local.definition) +(theorem name: (identifier) @local.definition) ;PlusCal scopes and definitions [ @@ -54,10 +54,10 @@ (pcal_with) ] @local.scope -(pcal_macro_decl parameter: (identifier) @local.definition.variable.parameter) -(pcal_proc_var_decl (identifier) @local.definition.variable.parameter) -(pcal_var_decl (identifier) @local.definition.variable.parameter) -(pcal_with (identifier) @local.definition.variable.parameter) +(pcal_macro_decl parameter: (identifier) @local.definition) +(pcal_proc_var_decl (identifier) @local.definition) +(pcal_var_decl (identifier) @local.definition) +(pcal_with (identifier) @local.definition) ; References (identifier_ref) @local.reference |