aboutsummaryrefslogtreecommitdiffstats
path: root/test-files/mds-kbdc/validate-tree/valid/assumption-include_assumption
blob: cfd7d938bcc9788d2cd192642993b6622599e6ae (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
assumption
  have_range "a" "z"
end assumption
include "assumption"

# (assumption (@ 1 0-10)
#   (.inner
#     (have_range (@ 2 2-12) ‘"a"’ ‘"z"’)
#   )
# )
# (include (@ 4 0-7) ‘.../assumption’
#   (.inner
#     (assumption (@ 1 0-10)
#       (.inner
#         (have (@ 2 2-6)
#           (.data
#             (keys (@ 2 7-14) ‘<space>’)
#           )
#         )
#         (have_chars (@ 3 2-12) ‘" "’)
#         (have_range (@ 4 2-12) ‘"a"’ ‘"z"’)
#       )
#     )
#   )
# )