helix - Unnamed repository; edit this file 'description' to name the repository.


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

[
  (notes)
  (class_declaration)
  (inheritance)
  (feature_adaptation)
  (creation_clause)
  (converters)

  (feature_declaration)

  (attribute_or_routine)

  (precondition)
  (local_declarations)
  (feature_body)

  (check)
  (multi_branch)
  (multi_branch_expression)
  (conditional)
  (conditional_expression)
  (loop)
  (quantifier_loop)
  (iteration)

  (postcondition)
  (rescue)

  (invariant)
] @indent