()
| 11297 | } |
| 11298 | |
| 11299 | function parse_OrderingModeDecl() |
| 11300 | { |
| 11301 | eventHandler.startNonterminal("OrderingModeDecl", e0); |
| 11302 | shift(109); // 'declare' |
| 11303 | lookahead1W(71); // S^WS | '(:' | 'ordering' |
| 11304 | shift(207); // 'ordering' |
| 11305 | lookahead1W(135); // S^WS | '(:' | 'ordered' | 'unordered' |
| 11306 | switch (l1) |
| 11307 | { |
| 11308 | case 206: // 'ordered' |
| 11309 | shift(206); // 'ordered' |
| 11310 | break; |
| 11311 | default: |
| 11312 | shift(262); // 'unordered' |
| 11313 | } |
| 11314 | eventHandler.endNonterminal("OrderingModeDecl", e0); |
| 11315 | } |
| 11316 | |
| 11317 | function parse_EmptyOrderDecl() |
| 11318 | { |
no test coverage detected
searching dependent graphs…