blob: f7d398537918d24e11c2e9ef15848c48468cd4df (
plain)
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
31
32
33
34
35
36
|
WHITESPACE = _{ " " }
Rew = ! { ( ASCII_DIGIT | ASCII_ALPHA_UPPER | "_" | "-" ) + }
Lit = ! { ( ASCII_ALPHANUMERIC | "_" | "-" ) + }
Word = _ { Rew | Lit }
WordGroup = _ { Word ~ ( " " ~ Word ) * }
// Argument groups are nonatomic;
// "<whitespace |between|the|bar|or|braces |is | OK>"
ArgOptChoiceGroup = { ( "[" ~ Word + ~
( "|" ~ ( Word
| ArgChoiceGroup ) + ) * ~
"]" ) + }
ArgReqChoiceGroup = { ( "<" ~ Word + ~
( "|" ~ ( Word
| ArgChoiceGroup ) + ) * ~
">" ) + }
ArgChoiceGroup = _ { ArgOptChoiceGroup
| ArgReqChoiceGroup }
Command = {
( WordGroup ) ~
( ArgChoiceGroup ) *
}
HelpMenu = {
SOI ~
(
Command ~
NEWLINE
) * ~
EOI
}
|