| 1 |
|
| 2 | cmd Main("cat") {
|
| 3 |
|
| 4 | arg FileToDisplay(..) => List<Path> [
|
| 5 | requires FileExists
|
| 6 | ]
|
| 7 |
|
| 8 |
|
| 9 | opt ShowAll("A", "show-all") => Bool
|
| 10 |
|
| 11 |
|
| 12 | opt NumberNonBlank("b", "number-nonblank") => Bool
|
| 13 |
|
| 14 |
|
| 15 | opt NonPrintingEnds("e") => Bool
|
| 16 |
|
| 17 |
|
| 18 | opt ShowEnds("E", "show-ends") => Bool
|
| 19 |
|
| 20 |
|
| 21 | opt Number("n", "number") => Bool
|
| 22 |
|
| 23 |
|
| 24 | opt SqueezeBlank("s", "squeeze-blank") => Bool
|
| 25 |
|
| 26 |
|
| 27 | opt NonPrintingAndTabs("t") => Bool
|
| 28 |
|
| 29 |
|
| 30 | opt ShowTabs("T", "show-tabs") => Bool
|
| 31 |
|
| 32 |
|
| 33 | opt Ignored("u") => Bool
|
| 34 |
|
| 35 |
|
| 36 | opt ShowNonPrinting("v", "show-nonprinting") => Bool
|
| 37 |
|
| 38 |
|
| 39 | opt Help("help") => Bool [
|
| 40 | excludes All
|
| 41 | ]
|
| 42 |
|
| 43 |
|
| 44 | opt Version("version") => Bool [
|
| 45 | excludes All
|
| 46 | ]
|
| 47 | }
|