Unnamed repository; edit this file 'description' to name the repository.
Diffstat (limited to 'runtime/queries/eiffel/highlights.scm')
| -rw-r--r-- | runtime/queries/eiffel/highlights.scm | 108 |
1 files changed, 108 insertions, 0 deletions
diff --git a/runtime/queries/eiffel/highlights.scm b/runtime/queries/eiffel/highlights.scm new file mode 100644 index 00000000..90b0cfdb --- /dev/null +++ b/runtime/queries/eiffel/highlights.scm @@ -0,0 +1,108 @@ +[ + "alias" + "convert" + "inherit" + "redefine" + "undefine" + "rename" + "select" + "note" + "create" +] @keyword.control.import + +["export"] @keyword.control.export + +[ + "do" + "end" + "once" + "attribute" +] @keyword.control + +[ + "class" + "local" +] @keyword.storage.type + +[ + "feature" + "agent" +] @keyword.function + +[ + "frozen" + "deferred" + "detachable" + "expanded" + "attached" + "old" + "like" +] @keyword.storage.modifier + +(conditional ["if" "elseif" "end"] @keyword.control.conditional) +(else_part ["else"] @keyword.control.conditional) +(then_part ["then"] @keyword.control.conditional) + +(conditional_expression ["if" "else" "elseif" "end"] @keyword.control.conditional) +(else_part_expression ["else"] @keyword.control.conditional) +(then_part_expression ["then"] @keyword.control.conditional) + +(multi_branch "inspect" @keyword.control.conditional) +(when_part ["when" "then"] @keyword.control.conditional) + +(multi_branch_expression "inspect" @keyword.control.conditional) +(when_part_expression ["when" "then"] @keyword.control.conditional) + +(quantifier_loop ["∀" "∃" ":" "¦"] @keyword.control.repeat) +(quantifier_loop_body ["all" "some"] @keyword.control.repeat) +(iteration ["across" "as"] @keyword.control.repeat) +(initialization "from" @keyword.control.repeat) +(exit_condition "until" @keyword.control.repeat) +(loop_body "loop" @keyword.control.repeat) +(variant "variant" @keyword.control.repeat) +(loop (invariant "invariant" @keyword.control.repeat)) +(loop ["⟳" ":" "¦" "⟲"]@keyword.control.repeat) +(loop "end" @keyword.control.repeat) + +[ + "require" + "ensure" + "invariant" + "check" +] @keyword.control.exception + +["(" ")" "[" "]" "<<" ">>"] @punctuation.bracket +["," ":" ";"] @punctuation.delimiter + +[ + (unary) + ":=" + (binary_caret) + (binary_mul_div) + (binary_plus_minus) + (binary_comparison) + (binary_and) + (binary_or) + (binary_implies) + (comparison) + (unary_not) +] @operator + +(result) @variable.builtin +(anchored (call (_) @variable)) +[(verbatim_string) (basic_manifest_string)] @string +[(integer_constant) (real_constant)] @constant.numeric +(boolean_constant) @constant.builtin.boolean +(void) @constant.builtin +(current) @variable.builtin +(extended_feature_name (identifier) @function.method) + +(iteration (identifier) @variable) +(quantifier_loop (identifier) @variable) +(entity_declaration_group (identifier) @variable) + +(class_name) @type +(formal_generic) @type.parameter + +(comment) @comment.line +(header_comment) @comment.line.documentation |