source:
app/src/dgp/cmdline_dgp.ggo
@
6b3be72
| Last change on this file since 6b3be72 was df77b87, checked in by obrebski <obrebski@…>, 16 years ago | |
|---|---|
|
|
| File size: 355 bytes | |
| Line | |
|---|---|
| 1 | package "dgp" |
| 2 | version "0.1" |
| 3 | |
| 4 | option "grammar" g "Grammar file" |
| 5 | string typestr="filename" default="dgp.dgp" |
| 6 | |
| 7 | option "long" l "Long output" |
| 8 | flag off |
| 9 | |
| 10 | option "debug" d "Debug mode." |
| 11 | flag off |
| 12 | |
| 13 | option "info" - "Print info. |
| 14 | h - heads d - dependents |
| 15 | s - sets |
| 16 | c - constraints n - node/arc counts t - parse time |
| 17 | " |
| 18 | string no default="h" |
Note: See TracBrowser
for help on using the repository browser.
