| 6dd74de | 1 | grammar PacketGrammar | ||
| 6dd74de | 2 | import "../common/common"; | ||
| 6dd74de | 3 | |||
| 6dd74de | 4 | entry Packet: | ||
| 6dd74de | 5 | NEWLINE* | ||
| 6dd74de | 6 | ("packet"| "packet-beta") | ||
| 6dd74de | 7 | ( | ||
| 6dd74de | 8 | TitleAndAccessibilities | ||
| 6dd74de | 9 | | blocks+=PacketBlock | ||
| 6dd74de | 10 | | NEWLINE | ||
| 6dd74de | 11 | )* | ||
| 6dd74de | 12 | ; | ||
| 6dd74de | 13 | |||
| 6dd74de | 14 | PacketBlock: | ||
| 6dd74de | 15 | ( | ||
| 6dd74de | 16 | start=INT('-' end=INT)? | ||
| 6dd74de | 17 | | '+' bits=INT | ||
| 6dd74de | 18 | ) | ||
| 6dd74de | 19 | ':' label=STRING | ||
| 6dd74de | 20 | EOL | ||
| 6dd74de | 21 | ; |